Trace number 4093633

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.11 1800.72

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM4968680d12488161e407b87be5e33fb1
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1800.01
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2100
Total number of constraints130
Number of soft constraints130
Number of constraints which are clauses70
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Top cost 6361
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 6360
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
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-16T17:37:31+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","--wbo","--search=bcd2","HOME/instance-4093633-1466091451.wbo"]
0.00/0.01	c use --random-gen="236750592 301379821 2276464690 127526242 3165304698 2201519196 2153927947 2163854485 393973786 4010129130 2185953442 582182818 1300185352 3381071427 2578912553 3536846402 3414567723 2169312694 3026764709 2842740281 3759518405 1895732062 2161894572 3355472371 460417207 2421017355 1470153580 3507028592 1475485468 2218602666 1764041677 2325362871 505504527 2941351576 3490363571 2155365693 2693301599 316545403 191705783 2685244920 1660106131 3499260644 3373555606 1211083781 3130610238 3619961010 3709238929 2521009605 1193528266 215674015 3172571159 2232759715 2496853770 1868255116 242321251 2514488656 3349486657 1183368035 2722432423 4145685842 518694657 183424372 1962103487 1456610109 2307245711 2600271913 3589675276 2772203253 1137534262 1498869644 3841950927 53847752 2864494512 2538099972 1981107910 4018999776 2767966314 304535936 2341876125 1503229793 2091098712 1274323471 9075292 3451387039 101246618 2989084997 2473182829 138934890 4145776797 2640941609 4178665135 117160114 2569154783 1114245725 1922836814 964946984 3560462215 3825192026 3406720084 1816979199 2518120147 1621013606 2571597291 3787652904 2330059521 2954707439 615578427 1566936214 4243556692 4169548903 260026140 958634576 1404726839 635373616 263519077 3976974934 2378567354 1724381452 3166857568 1257162092 893422729 3238561229 3648986297 1141063211 997844246 4146494678 1980758980 743276719 3620061001 3439768642 2395287788 2977334201 1170233057 1600504552 3136269968 1855060659 3873944787 662542638 1208656812 2131802529 1813785146 3320616264 2983142899 2186678056 2695415308 3642937018 1329349423 1896469762 3237960866 144863884 2208181521 31919436 2432967112 3281647233 2008336877 1784384640 2207939667 854149363 829042456 1315992056 3618579778 1563291521 4067086329 3822948711 1866832859 189613283 2138915043 2331378258 3899765037 3530440358 776277437 2346321278 3492317617 3037622087 1783670931 2005826429 1908689505 408472312 1612628199 1068643917 309948153 225118762 3769678158 2489745430 2435088131 4085087090 2034121492 991014771 2976321134 1191629895 3444438132 646622885 1054878802 1671745361 1586292153 428906724 211951163 3241002861 3742626167 1776519435 4219825605 2250782832 2214080244 3633179264 580644475 1986234567 754244426 4142673316 3732996641 2551941481 2487537607 3199344822 938100 1201816242 517197994 3903308134 1927887103 3635645164 16978728 782444057 3859514582 141880186 2906155097 2025848707 1259986997 2649395215 183626154 2668489191 3728954169 3525397263 3214995424 2911585809 1661651011 2038467246 408419542 3814402284 373471681 2709467684 2298593813 2825016135 3314862372 1559481639 3517733011 1582453917 1765756551 3167793751 479183871 3336482807 1091023548 3355187819 1050646006 4166695925 2578308809 760556640 1781934307 3816167713 255 362436" option to reproduce the execution
0.09/0.10	c #vars 2100
0.09/0.10	c #constraints 130
0.09/0.11	c BCD2: Hardening is enabled.
0.09/0.11	c BCD2: BiasedSearch is enabled.
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |      786      0 |        0 |        0
0.09/0.12	c  0.0s |       0 |      190 |        0 |      786      0 |        0 |        0
0.09/0.12	c #cpu_time = 0.003s
0.09/0.12	c #wall_clock_time = 0.003s
0.09/0.12	c #decision = 190
0.09/0.12	c #random_decision = 0
0.09/0.12	c #conflict = 0
0.09/0.12	c #restart = 0
0.09/0.12	o 3224
0.09/0.12	c BCD2: updating upper bound: 6360 -> 3223
0.09/0.12	c BCD2: 0 <= obj <= 3223
0.09/0.12	c BCD2: #cores=0, #unrelaxed=130, #relaxed=0, #hardened=0
0.09/0.12	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.12	c Solving starts ...
0.09/0.12	c ============================[ Search Statistics ]============================
0.09/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.12	c =============================================================================
0.09/0.12	c  0.0s |       0 |        0 |        0 |      786      0 |        0 |        0
0.09/0.15	c  0.0s |       1 |      274 |      100 |      786      0 |        0 |        0
0.19/0.21	c  0.1s |       2 |      929 |      250 |      865      0 |        0 |        0
0.29/0.34	c  0.2s |       3 |     1935 |      475 |      952      0 |        0 |        0
0.49/0.59	c  0.5s |       4 |     3032 |      813 |     1048      0 |        0 |        0
0.89/0.99	c  0.9s |       5 |     4243 |     1320 |     1153      0 |        0 |        0
1.49/1.55	c  1.4s |       6 |     5803 |     2081 |     1396      1 |        0 |        0
2.39/2.48	c  2.4s |       7 |     7838 |     3223 |     1536      2 |        0 |        0
3.99/4.09	c  4.0s |       8 |    10537 |     4936 |     1690      3 |        0 |        0
5.89/5.93	c  5.8s |       9 |    14185 |     7506 |     1860      5 |        0 |        0
7.89/7.97	c  7.9s |       9 |    17642 |    10006 |     1860      7 |        0 |        0
9.29/9.39	c  9.3s |      10 |    19190 |    11361 |     2047      8 |        0 |        0
11.38/11.40	c 11.3s |      10 |    22770 |    13361 |     2047      9 |        0 |        0
13.38/13.41	c 13.3s |      10 |    24506 |    14661 |     2047     10 |        0 |        0
15.49/15.57	c 15.5s |      10 |    25955 |    15861 |     2047     11 |        0 |        0
17.59/17.63	c 17.5s |      11 |    27456 |    17144 |     2252     12 |        0 |        0
19.68/19.72	c 19.6s |      11 |    30254 |    19044 |     2252     13 |        0 |        0
21.68/21.75	c 21.6s |      11 |    31781 |    20444 |     2252     14 |        0 |        0
23.78/23.85	c 23.7s |      11 |    33507 |    21944 |     2252     15 |        0 |        0
25.88/25.94	c 25.8s |      11 |    35067 |    23344 |     2252     15 |        0 |        0
27.98/28.06	c 27.9s |      11 |    36756 |    24844 |     2252     16 |        0 |        0
29.48/29.57	c 29.5s |      12 |    37828 |    25819 |     2478     17 |        0 |        0
31.49/31.58	c 31.5s |      12 |    41787 |    28219 |     2478     18 |        0 |        0
33.59/33.67	c 33.6s |      12 |    44116 |    30019 |     2478     19 |        0 |        0
35.69/35.78	c 35.7s |      12 |    48717 |    31819 |     2478     20 |        0 |        0
37.79/37.89	c 37.8s |      12 |    50727 |    33119 |     2478     21 |        0 |        0
39.89/39.96	c 39.8s |      12 |    53518 |    34519 |     2478     22 |        0 |        0
41.99/42.08	c 42.0s |      12 |    56284 |    35919 |     2478     23 |        0 |        0
44.09/44.12	c 44.0s |      12 |    57665 |    37119 |     2478     23 |        0 |        0
46.08/46.14	c 46.0s |      12 |    58994 |    38219 |     2478     24 |        0 |        0
47.29/47.33	c 47.2s |      13 |    59682 |    38832 |     2726     24 |        0 |        0
49.38/49.41	c 49.3s |      13 |    65284 |    40632 |     2726     25 |        0 |        0
51.48/51.52	c 51.4s |      13 |    67326 |    42432 |     2726     26 |        0 |        0
53.48/53.56	c 53.4s |      13 |    69176 |    44032 |     2726     27 |        0 |        0
55.58/55.62	c 55.5s |      13 |    70765 |    45432 |     2726     28 |        0 |        0
57.68/57.77	c 57.7s |      13 |    72171 |    46732 |     2726     28 |        0 |        0
59.88/59.90	c 59.8s |      13 |    73979 |    48332 |     2726     29 |        0 |        0
61.88/61.94	c 61.8s |      13 |    75536 |    49732 |     2726     30 |        0 |        0
63.89/63.98	c 63.9s |      13 |    77090 |    51132 |     2726     31 |        0 |        0
65.99/66.01	c 65.9s |      13 |    78889 |    52732 |     2726     32 |        0 |        0
68.08/68.14	c 68.0s |      13 |    80535 |    54232 |     2726     32 |        0 |        0
70.18/70.24	c 70.1s |      13 |    82107 |    55632 |     2726     33 |        0 |        0
72.28/72.35	c 72.2s |      13 |    83556 |    56932 |     2726     34 |        0 |        0
74.38/74.49	c 74.4s |      13 |    85134 |    58332 |     2999     34 |        0 |        0
74.48/74.53	c 74.4s |      14 |    85152 |    58352 |     2999     34 |        0 |        0
76.48/76.55	c 76.4s |      14 |    87715 |    59852 |     2999     35 |        0 |        0
78.48/78.56	c 78.4s |      14 |    89397 |    61252 |     2999     36 |        0 |        0
80.58/80.69	c 80.6s |      14 |    91099 |    62652 |     2999     36 |        0 |        0
82.68/82.71	c 82.6s |      14 |    92496 |    63852 |     2999     37 |        0 |        0
84.68/84.75	c 84.6s |      14 |    93767 |    64952 |     2999     38 |        0 |        0
86.67/86.79	c 86.7s |      14 |    95564 |    66452 |     2999     38 |        0 |        0
88.77/88.84	c 88.7s |      14 |    97168 |    67852 |     2999     39 |        0 |        0
90.87/90.95	c 90.8s |      14 |    98641 |    69152 |     2999     40 |        0 |        0
93.07/93.10	c 93.0s |      14 |   100677 |    70852 |     2999     40 |        0 |        0
95.17/95.21	c 95.1s |      14 |   102196 |    72152 |     2999     41 |        0 |        0
97.17/97.23	c 97.1s |      14 |   103551 |    73352 |     2999     42 |        0 |        0
99.17/99.29	c 99.2s |      14 |   104912 |    74552 |     2999     42 |        0 |        0
101.37/101.45	c  101s |      14 |   106256 |    75752 |     2999     43 |        0 |        0
103.48/103.52	c  103s |      14 |   107614 |    76952 |     2999     43 |        0 |        0
105.47/105.58	c  105s |      14 |   109351 |    78452 |     2999     44 |        0 |        0
107.57/107.64	c  107s |      14 |   110978 |    79852 |     2999     45 |        0 |        0
109.67/109.70	c  109s |      14 |   112498 |    81152 |     2999     45 |        0 |        0
111.77/111.85	c  111s |      14 |   113944 |    82452 |     2999     46 |        0 |        0
113.97/114.05	c  113s |      14 |   115248 |    83652 |     2999     47 |        0 |        0
116.07/116.18	c  116s |      14 |   116707 |    84952 |     2999     47 |        0 |        0
118.17/118.20	c  118s |      14 |   117928 |    86052 |     2999     48 |        0 |        0
120.17/120.22	c  120s |      14 |   119567 |    87452 |     3299     48 |        0 |        0
120.47/120.53	c  120s |      15 |   119763 |    87632 |     3299     48 |        0 |        0
122.47/122.57	c  122s |      15 |   123342 |    89632 |     3299     49 |        0 |        0
124.47/124.58	c  124s |      15 |   125265 |    91332 |     3299     50 |        0 |        0
126.57/126.64	c  126s |      15 |   126691 |    92632 |     3299     51 |        0 |        0
128.57/128.70	c  128s |      15 |   128372 |    94132 |     3299     51 |        0 |        0
130.67/130.80	c  130s |      15 |   129888 |    95532 |     3299     52 |        0 |        0
132.86/132.93	c  132s |      15 |   131508 |    97032 |     3299     53 |        0 |        0
134.96/135.00	c  134s |      15 |   132912 |    98332 |     3299     53 |        0 |        0
137.06/137.10	c  136s |      15 |   134521 |    99732 |     3299     54 |        0 |        0
139.16/139.22	c  139s |      15 |   136343 |   101332 |     3299     54 |        0 |        0
141.26/141.32	c  141s |      15 |   138070 |   102832 |     3299     55 |        0 |        0
143.26/143.35	c  143s |      15 |   139647 |   104232 |     3299     56 |        0 |        0
145.46/145.51	c  145s |      15 |   141084 |   105532 |     3299     56 |        0 |        0
147.47/147.56	c  147s |      15 |   142452 |   106732 |     3299     57 |        0 |        0
149.46/149.58	c  149s |      15 |   144133 |   108232 |     3299     58 |        0 |        0
151.56/151.63	c  151s |      15 |   145549 |   109532 |     3299     58 |        0 |        0
153.66/153.70	c  153s |      15 |   146626 |   110532 |     3299     59 |        0 |        0
155.66/155.75	c  155s |      15 |   148334 |   112032 |     3299     59 |        0 |        0
157.76/157.80	c  157s |      15 |   149765 |   113332 |     3299     60 |        0 |        0
159.86/159.92	c  159s |      15 |   151222 |   114632 |     3299     60 |        0 |        0
161.96/162.04	c  161s |      15 |   152676 |   115932 |     3299     61 |        0 |        0
164.06/164.15	c  164s |      15 |   154142 |   117232 |     3299     62 |        0 |        0
166.17/166.23	c  166s |      15 |   155642 |   118632 |     3299     62 |        0 |        0
168.27/168.36	c  168s |      15 |   156938 |   119832 |     3299     63 |        0 |        0
170.36/170.40	c  170s |      15 |   158862 |   121532 |     3299     63 |        0 |        0
172.46/172.53	c  172s |      15 |   160629 |   123132 |     3299     64 |        0 |        0
174.46/174.57	c  174s |      15 |   162148 |   124532 |     3299     65 |        0 |        0
176.66/176.70	c  176s |      15 |   163668 |   125932 |     3299     65 |        0 |        0
178.66/178.79	c  178s |      15 |   165302 |   127432 |     3299     66 |        0 |        0
180.76/180.88	c  180s |      15 |   166764 |   128732 |     3299     67 |        0 |        0
182.76/182.89	c  182s |      15 |   168285 |   130132 |     3299     67 |        0 |        0
184.87/184.91	c  184s |      15 |   169729 |   131432 |     3629     68 |        0 |        0
184.96/185.09	c  184s |      16 |   169856 |   131552 |     3629     68 |        0 |        0
187.07/187.13	c  187s |      16 |   173747 |   133852 |     3629     69 |        0 |        0
189.06/189.15	c  189s |      16 |   175536 |   135452 |     3629     69 |        0 |        0
191.16/191.28	c  191s |      16 |   177304 |   137052 |     3629     70 |        0 |        0
193.36/193.40	c  193s |      16 |   179086 |   138652 |     3629     71 |        0 |        0
195.36/195.49	c  195s |      16 |   180590 |   139952 |     3629     71 |        0 |        0
197.46/197.53	c  197s |      16 |   182047 |   141252 |     3629     72 |        0 |        0
199.46/199.56	c  199s |      16 |   183610 |   142652 |     3629     72 |        0 |        0
201.46/201.59	c  201s |      16 |   184939 |   143852 |     3629     73 |        0 |        0
203.66/203.76	c  203s |      16 |   186380 |   145152 |     3629     73 |        0 |        0
205.67/205.80	c  205s |      16 |   187790 |   146452 |     3629     74 |        0 |        0
207.87/207.96	c  207s |      16 |   189334 |   147852 |     3629     75 |        0 |        0
209.96/210.02	c  209s |      16 |   190942 |   149352 |     3629     75 |        0 |        0
211.96/212.04	c  211s |      16 |   192475 |   150752 |     3629     76 |        0 |        0
214.06/214.13	c  214s |      16 |   194115 |   152252 |     3629     76 |        0 |        0
216.16/216.22	c  216s |      16 |   195649 |   153652 |     3629     77 |        0 |        0
218.26/218.31	c  218s |      16 |   196836 |   154752 |     3629     77 |        0 |        0
220.36/220.43	c  220s |      16 |   198611 |   156252 |     3629     78 |        0 |        0
222.46/222.51	c  222s |      16 |   200505 |   157952 |     3629     79 |        0 |        0
224.46/224.59	c  224s |      16 |   202160 |   159452 |     3629     79 |        0 |        0
226.56/226.67	c  226s |      16 |   203703 |   160852 |     3629     80 |        0 |        0
228.65/228.72	c  228s |      16 |   205126 |   162152 |     3629     80 |        0 |        0
230.65/230.78	c  230s |      16 |   206546 |   163452 |     3629     81 |        0 |        0
232.75/232.86	c  232s |      16 |   207941 |   164752 |     3629     81 |        0 |        0
234.85/234.90	c  234s |      16 |   209511 |   166152 |     3629     82 |        0 |        0
236.85/236.96	c  236s |      16 |   211197 |   167652 |     3629     83 |        0 |        0
238.95/239.09	c  238s |      16 |   212804 |   169152 |     3629     83 |        0 |        0
241.15/241.20	c  241s |      16 |   214469 |   170652 |     3629     84 |        0 |        0
243.25/243.39	c  243s |      16 |   216132 |   172152 |     3629     85 |        0 |        0
245.36/245.41	c  245s |      16 |   217516 |   173452 |     3629     85 |        0 |        0
247.35/247.42	c  247s |      16 |   219272 |   175052 |     3629     86 |        0 |        0
249.45/249.54	c  249s |      16 |   220776 |   176452 |     3629     86 |        0 |        0
251.55/251.65	c  251s |      16 |   222334 |   177852 |     3629     87 |        0 |        0
253.75/253.87	c  253s |      16 |   224160 |   179452 |     3629     88 |        0 |        0
255.85/255.94	c  255s |      16 |   225726 |   180852 |     3629     88 |        0 |        0
257.85/257.97	c  257s |      16 |   227276 |   182252 |     3629     89 |        0 |        0
260.05/260.14	c  260s |      16 |   228960 |   183752 |     3629     89 |        0 |        0
262.15/262.21	c  262s |      16 |   230401 |   185052 |     3629     90 |        0 |        0
264.15/264.25	c  264s |      16 |   231692 |   186252 |     3629     90 |        0 |        0
266.15/266.28	c  266s |      16 |   233010 |   187452 |     3629     91 |        0 |        0
268.25/268.34	c  268s |      16 |   234341 |   188652 |     3629     91 |        0 |        0
270.34/270.40	c  270s |      16 |   235639 |   189852 |     3629     92 |        0 |        0
272.34/272.41	c  272s |      16 |   236947 |   191052 |     3629     92 |        0 |        0
274.34/274.46	c  274s |      16 |   238363 |   192352 |     3629     93 |        0 |        0
276.34/276.49	c  276s |      16 |   239545 |   193452 |     3629     93 |        0 |        0
278.44/278.53	c  278s |      16 |   240719 |   194552 |     3629     94 |        0 |        0
280.45/280.59	c  280s |      16 |   241821 |   195552 |     3629     94 |        0 |        0
282.54/282.60	c  282s |      16 |   243323 |   196952 |     3992     95 |        0 |        0
283.14/283.24	c  283s |      17 |   243824 |   197432 |     3992     95 |        0 |        0
285.24/285.36	c  285s |      17 |   247466 |   199432 |     3992     95 |        0 |        0
287.34/287.42	c  287s |      17 |   248936 |   200732 |     3992     96 |        0 |        0
289.45/289.58	c  289s |      17 |   250531 |   202132 |     3992     96 |        0 |        0
291.55/291.69	c  291s |      17 |   251775 |   203232 |     3992     97 |        0 |        0
293.75/293.85	c  293s |      17 |   253139 |   204432 |     3992     97 |        0 |        0
295.85/295.92	c  295s |      17 |   254273 |   205432 |     3992     97 |        0 |        0
297.84/297.97	c  297s |      17 |   255372 |   206432 |     3992     98 |        0 |        0
300.05/300.15	c  300s |      17 |   256516 |   207432 |     3992     98 |        0 |        0
302.24/302.36	c  302s |      17 |   257629 |   208432 |     3992     98 |        0 |        0
304.34/304.42	c  304s |      17 |   258420 |   209132 |     3992     99 |        0 |        0
306.34/306.45	c  306s |      17 |   259551 |   210132 |     3992     99 |        0 |        0
308.35/308.47	c  308s |      17 |   260963 |   211332 |     3992     99 |        0 |        0
310.44/310.50	c  310s |      17 |   261990 |   212232 |     3992    100 |        0 |        0
312.54/312.64	c  312s |      17 |   263220 |   213332 |     3992    100 |        0 |        0
314.55/314.66	c  314s |      17 |   264258 |   214232 |     3992    100 |        0 |        0
316.64/316.73	c  316s |      17 |   265298 |   215132 |     3992    101 |        0 |        0
318.64/318.76	c  318s |      17 |   266206 |   215932 |     3992    101 |        0 |        0
320.74/320.83	c  320s |      17 |   267250 |   216832 |     3992    101 |        0 |        0
322.84/322.94	c  322s |      17 |   268408 |   217832 |     3992    101 |        0 |        0
324.94/325.05	c  324s |      17 |   269582 |   218832 |     3992    102 |        0 |        0
327.04/327.19	c  327s |      17 |   271101 |   220132 |     3992    102 |        0 |        0
329.24/329.30	c  329s |      17 |   272136 |   221032 |     3992    103 |        0 |        0
331.24/331.34	c  331s |      17 |   273206 |   221932 |     3992    103 |        0 |        0
333.24/333.39	c  333s |      17 |   274727 |   223232 |     3992    103 |        0 |        0
335.34/335.45	c  335s |      17 |   275896 |   224232 |     3992    104 |        0 |        0
337.34/337.46	c  337s |      17 |   277240 |   225332 |     3992    104 |        0 |        0
339.34/339.49	c  339s |      17 |   278334 |   226232 |     3992    104 |        0 |        0
341.44/341.59	c  341s |      17 |   279639 |   227332 |     3992    105 |        0 |        0
343.53/343.63	c  343s |      17 |   280916 |   228432 |     3992    105 |        0 |        0
345.74/345.84	c  345s |      17 |   282301 |   229632 |     3992    105 |        0 |        0
347.84/347.96	c  347s |      17 |   283295 |   230532 |     3992    106 |        0 |        0
349.94/350.03	c  349s |      17 |   284612 |   231632 |     3992    106 |        0 |        0
351.95/352.07	c  351s |      17 |   285859 |   232732 |     3992    106 |        0 |        0
354.14/354.24	c  354s |      17 |   287005 |   233732 |     3992    107 |        0 |        0
356.34/356.45	c  356s |      17 |   288256 |   234832 |     3992    107 |        0 |        0
358.44/358.55	c  358s |      17 |   289654 |   235932 |     3992    108 |        0 |        0
360.43/360.59	c  360s |      17 |   291095 |   237132 |     3992    108 |        0 |        0
362.53/362.65	c  362s |      17 |   292260 |   238132 |     3992    108 |        0 |        0
364.63/364.73	c  364s |      17 |   293434 |   239132 |     3992    109 |        0 |        0
366.64/366.77	c  366s |      17 |   294563 |   240132 |     3992    109 |        0 |        0
368.84/368.97	c  368s |      17 |   295827 |   241232 |     3992    109 |        0 |        0
371.04/371.12	c  371s |      17 |   296729 |   242032 |     3992    110 |        0 |        0
373.13/373.27	c  373s |      17 |   297976 |   243132 |     3992    110 |        0 |        0
375.23/375.32	c  375s |      17 |   299504 |   244432 |     3992    110 |        0 |        0
377.34/377.41	c  377s |      17 |   300785 |   245532 |     3992    111 |        0 |        0
379.33/379.42	c  379s |      17 |   302050 |   246632 |     3992    111 |        0 |        0
381.53/381.63	c  381s |      17 |   303335 |   247732 |     3992    111 |        0 |        0
383.63/383.77	c  383s |      17 |   304794 |   248932 |     3992    112 |        0 |        0
385.83/385.92	c  385s |      17 |   306451 |   250332 |     3992    112 |        0 |        0
387.93/388.03	c  387s |      17 |   307738 |   251432 |     3992    113 |        0 |        0
389.93/390.05	c  389s |      17 |   309014 |   252532 |     3992    113 |        0 |        0
391.93/392.07	c  391s |      17 |   310245 |   253632 |     3992    113 |        0 |        0
394.13/394.20	c  394s |      17 |   311802 |   254932 |     3992    114 |        0 |        0
396.13/396.20	c  396s |      17 |   313073 |   256032 |     3992    114 |        0 |        0
398.24/398.33	c  398s |      17 |   314195 |   257032 |     3992    115 |        0 |        0
400.33/400.43	c  400s |      17 |   315454 |   258132 |     3992    115 |        0 |        0
402.33/402.49	c  402s |      17 |   316552 |   259132 |     3992    115 |        0 |        0
404.43/404.54	c  404s |      17 |   317554 |   260032 |     3992    116 |        0 |        0
406.63/406.73	c  406s |      17 |   318885 |   261232 |     3992    116 |        0 |        0
408.63/408.78	c  408s |      17 |   320008 |   262232 |     3992    116 |        0 |        0
410.83/410.91	c  410s |      17 |   321015 |   263132 |     3992    117 |        0 |        0
412.92/413.05	c  412s |      17 |   322247 |   264232 |     3992    117 |        0 |        0
415.03/415.17	c  415s |      17 |   323501 |   265332 |     3992    117 |        0 |        0
417.33/417.45	c  417s |      17 |   324403 |   266132 |     3992    118 |        0 |        0
419.42/419.53	c  419s |      17 |   325636 |   267232 |     3992    118 |        0 |        0
421.53/421.66	c  421s |      17 |   326766 |   268232 |     3992    118 |        0 |        0
423.63/423.79	c  423s |      17 |   327635 |   269032 |     3992    119 |        0 |        0
425.92/426.08	c  425s |      17 |   328520 |   269832 |     3992    119 |        0 |        0
428.12/428.26	c  428s |      17 |   329871 |   271032 |     3992    119 |        0 |        0
430.22/430.36	c  430s |      17 |   330897 |   271932 |     3992    120 |        0 |        0
432.23/432.38	c  432s |      17 |   331883 |   272832 |     3992    120 |        0 |        0
434.33/434.47	c  434s |      17 |   332996 |   273832 |     3992    120 |        0 |        0
436.43/436.59	c  436s |      17 |   334485 |   275132 |     3992    121 |        0 |        0
438.53/438.63	c  438s |      17 |   335821 |   276332 |     3992    121 |        0 |        0
440.72/440.80	c  440s |      17 |   337022 |   277432 |     3992    121 |        0 |        0
442.72/442.86	c  442s |      17 |   338160 |   278432 |     3992    122 |        0 |        0
444.82/444.99	c  444s |      17 |   339371 |   279532 |     3992    122 |        0 |        0
447.02/447.19	c  447s |      17 |   340371 |   280432 |     3992    122 |        0 |        0
449.12/449.23	c  449s |      17 |   341383 |   281332 |     3992    123 |        0 |        0
451.32/451.41	c  451s |      17 |   342504 |   282332 |     3992    123 |        0 |        0
453.32/453.44	c  453s |      17 |   343531 |   283232 |     3992    123 |        0 |        0
455.43/455.58	c  455s |      17 |   344532 |   284132 |     3992    124 |        0 |        0
457.53/457.68	c  457s |      17 |   345770 |   285232 |     3992    124 |        0 |        0
459.73/459.88	c  459s |      17 |   346901 |   286232 |     3992    124 |        0 |        0
461.82/461.91	c  461s |      17 |   347901 |   287132 |     3992    125 |        0 |        0
464.01/464.13	c  464s |      17 |   349260 |   288332 |     3992    125 |        0 |        0
466.22/466.36	c  466s |      17 |   350372 |   289332 |     3992    125 |        0 |        0
468.32/468.49	c  468s |      17 |   351516 |   290332 |     3992    126 |        0 |        0
470.42/470.50	c  470s |      17 |   353039 |   291632 |     3992    126 |        0 |        0
472.42/472.52	c  472s |      17 |   354361 |   292732 |     3992    127 |        0 |        0
474.61/474.70	c  474s |      17 |   355751 |   293932 |     3992    127 |        0 |        0
476.62/476.75	c  476s |      17 |   357159 |   295132 |     4392    127 |        0 |        0
478.82/478.90	c  478s |      17 |   358233 |   296132 |     4392    128 |        0 |        0
479.02/479.19	c  479s |      18 |   358376 |   296252 |     4392    128 |        0 |        0
481.12/481.29	c  481s |      18 |   361534 |   298452 |     4392    129 |        0 |        0
483.22/483.33	c  483s |      18 |   363473 |   300152 |     4392    129 |        0 |        0
485.22/485.34	c  485s |      18 |   365257 |   301752 |     4392    130 |        0 |        0
487.22/487.40	c  487s |      18 |   366902 |   303252 |     4392    130 |        0 |        0
489.42/489.51	c  489s |      18 |   368561 |   304752 |     4392    131 |        0 |        0
491.52/491.60	c  491s |      18 |   370097 |   306152 |     4392    131 |        0 |        0
493.52/493.67	c  493s |      18 |   371844 |   307652 |     4392    132 |        0 |        0
495.51/495.68	c  495s |      18 |   373195 |   308852 |     4392    132 |        0 |        0
497.61/497.73	c  497s |      18 |   374531 |   310052 |     4392    133 |        0 |        0
499.61/499.76	c  499s |      18 |   376071 |   311452 |     4392    133 |        0 |        0
501.71/501.87	c  501s |      18 |   377613 |   312852 |     4392    134 |        0 |        0
503.82/503.93	c  503s |      18 |   379262 |   314352 |     4392    134 |        0 |        0
505.81/505.93	c  505s |      18 |   380786 |   315752 |     4392    135 |        0 |        0
507.81/507.95	c  507s |      18 |   382195 |   317052 |     4392    135 |        0 |        0
509.91/510.03	c  509s |      18 |   383995 |   318652 |     4392    136 |        0 |        0
512.01/512.18	c  512s |      18 |   385680 |   320152 |     4392    136 |        0 |        0
514.21/514.31	c  514s |      18 |   387306 |   321652 |     4392    137 |        0 |        0
516.21/516.34	c  516s |      18 |   388618 |   322852 |     4392    137 |        0 |        0
518.31/518.49	c  518s |      18 |   390296 |   324352 |     4392    138 |        0 |        0
520.51/520.67	c  520s |      18 |   391824 |   325752 |     4392    139 |        0 |        0
522.61/522.75	c  522s |      18 |   393623 |   327352 |     4392    139 |        0 |        0
524.81/524.91	c  524s |      18 |   394931 |   328552 |     4392    140 |        0 |        0
526.81/526.97	c  526s |      18 |   396677 |   330052 |     4392    140 |        0 |        0
528.91/529.01	c  528s |      18 |   398366 |   331552 |     4392    141 |        0 |        0
531.01/531.10	c  530s |      18 |   399868 |   332852 |     4392    141 |        0 |        0
533.01/533.15	c  533s |      18 |   401838 |   334452 |     4392    142 |        0 |        0
535.10/535.21	c  535s |      18 |   403396 |   335852 |     4392    142 |        0 |        0
537.20/537.32	c  537s |      18 |   405180 |   337452 |     4392    143 |        0 |        0
539.30/539.48	c  539s |      18 |   406704 |   338852 |     4392    143 |        0 |        0
541.30/541.49	c  541s |      18 |   408152 |   340152 |     4392    144 |        0 |        0
543.41/543.59	c  543s |      18 |   409745 |   341552 |     4392    144 |        0 |        0
545.61/545.73	c  545s |      18 |   411264 |   342952 |     4392    145 |        0 |        0
547.71/547.87	c  547s |      18 |   412937 |   344452 |     4392    145 |        0 |        0
549.80/549.92	c  549s |      18 |   414475 |   345852 |     4392    146 |        0 |        0
551.91/552.07	c  551s |      18 |   416191 |   347352 |     4392    146 |        0 |        0
553.91/554.10	c  553s |      18 |   417816 |   348652 |     4392    147 |        0 |        0
556.01/556.18	c  556s |      18 |   419621 |   350252 |     4392    147 |        0 |        0
558.11/558.27	c  558s |      18 |   421179 |   351652 |     4392    148 |        0 |        0
560.21/560.33	c  560s |      18 |   422676 |   352952 |     4392    148 |        0 |        0
562.31/562.41	c  562s |      18 |   424167 |   354252 |     4392    149 |        0 |        0
564.31/564.49	c  564s |      18 |   425445 |   355352 |     4392    149 |        0 |        0
566.51/566.61	c  566s |      18 |   426997 |   356652 |     4392    150 |        0 |        0
568.51/568.68	c  568s |      18 |   428355 |   357852 |     4392    150 |        0 |        0
570.61/570.71	c  570s |      18 |   429848 |   359152 |     4392    151 |        0 |        0
572.71/572.85	c  572s |      18 |   431177 |   360352 |     4392    151 |        0 |        0
574.90/575.01	c  574s |      18 |   432440 |   361452 |     4392    152 |        0 |        0
576.90/577.02	c  576s |      18 |   433793 |   362652 |     4392    152 |        0 |        0
579.00/579.18	c  579s |      18 |   435141 |   363852 |     4392    152 |        0 |        0
581.20/581.33	c  581s |      18 |   436602 |   365152 |     4392    153 |        0 |        0
583.20/583.38	c  583s |      18 |   437827 |   366252 |     4392    153 |        0 |        0
585.30/585.44	c  585s |      18 |   439053 |   367352 |     4392    154 |        0 |        0
587.41/587.57	c  587s |      18 |   440283 |   368452 |     4392    154 |        0 |        0
589.51/589.66	c  589s |      18 |   441553 |   369552 |     4392    155 |        0 |        0
591.60/591.75	c  591s |      18 |   443062 |   370852 |     4392    155 |        0 |        0
593.80/593.90	c  593s |      18 |   444474 |   372052 |     4392    155 |        0 |        0
595.90/596.06	c  595s |      18 |   446090 |   373452 |     4392    156 |        0 |        0
598.00/598.13	c  598s |      18 |   447333 |   374552 |     4392    156 |        0 |        0
600.10/600.24	c  600s |      18 |   448985 |   376052 |     4392    157 |        0 |        0
602.20/602.35	c  602s |      18 |   450617 |   377552 |     4392    157 |        0 |        0
604.30/604.45	c  604s |      18 |   452158 |   378952 |     4392    158 |        0 |        0
606.30/606.46	c  606s |      18 |   453551 |   380252 |     4392    158 |        0 |        0
608.40/608.53	c  608s |      18 |   454953 |   381552 |     4392    159 |        0 |        0
610.51/610.67	c  610s |      18 |   456357 |   382852 |     4392    159 |        0 |        0
612.60/612.78	c  612s |      18 |   457923 |   384252 |     4392    160 |        0 |        0
614.70/614.85	c  614s |      18 |   459308 |   385552 |     4392    160 |        0 |        0
616.70/616.89	c  616s |      18 |   460868 |   386952 |     4392    161 |        0 |        0
618.80/618.94	c  618s |      18 |   462271 |   388252 |     4392    161 |        0 |        0
620.80/621.00	c  620s |      18 |   463691 |   389552 |     4392    162 |        0 |        0
622.90/623.02	c  622s |      18 |   464970 |   390752 |     4392    162 |        0 |        0
625.00/625.12	c  624s |      18 |   466183 |   391852 |     4392    163 |        0 |        0
627.00/627.15	c  627s |      18 |   467458 |   393052 |     4392    163 |        0 |        0
629.20/629.35	c  629s |      18 |   468751 |   394252 |     4392    164 |        0 |        0
631.30/631.42	c  631s |      18 |   470085 |   395452 |     4392    164 |        0 |        0
633.29/633.44	c  633s |      18 |   471798 |   396952 |     4392    165 |        0 |        0
635.39/635.58	c  635s |      18 |   473333 |   398352 |     4392    165 |        0 |        0
637.59/637.71	c  637s |      18 |   474503 |   399452 |     4392    165 |        0 |        0
639.59/639.78	c  639s |      18 |   475930 |   400752 |     4392    166 |        0 |        0
641.79/641.91	c  641s |      18 |   477365 |   402052 |     4392    166 |        0 |        0
643.79/643.97	c  643s |      18 |   478677 |   403252 |     4392    167 |        0 |        0
645.89/646.06	c  645s |      18 |   480103 |   404552 |     4392    167 |        0 |        0
647.99/648.12	c  648s |      18 |   481389 |   405752 |     4392    168 |        0 |        0
650.00/650.16	c  650s |      18 |   482898 |   407052 |     4392    168 |        0 |        0
651.99/652.17	c  652s |      18 |   484096 |   408152 |     4392    169 |        0 |        0
654.19/654.33	c  654s |      18 |   485499 |   409452 |     4392    169 |        0 |        0
656.29/656.47	c  656s |      18 |   486825 |   410652 |     4392    170 |        0 |        0
658.39/658.59	c  658s |      18 |   488451 |   412152 |     4392    170 |        0 |        0
660.49/660.62	c  660s |      18 |   489731 |   413352 |     4392    170 |        0 |        0
662.49/662.67	c  662s |      18 |   491286 |   414752 |     4392    171 |        0 |        0
664.59/664.78	c  664s |      18 |   492574 |   415952 |     4392    171 |        0 |        0
666.69/666.83	c  666s |      18 |   493995 |   417252 |     4392    172 |        0 |        0
668.79/668.93	c  668s |      18 |   495395 |   418552 |     4392    172 |        0 |        0
670.79/670.95	c  670s |      18 |   496828 |   419852 |     4392    173 |        0 |        0
672.89/673.04	c  672s |      18 |   498195 |   421152 |     4392    173 |        0 |        0
674.88/675.05	c  674s |      18 |   499550 |   422352 |     4392    174 |        0 |        0
676.99/677.18	c  677s |      18 |   501082 |   423752 |     4392    174 |        0 |        0
679.18/679.31	c  679s |      18 |   502362 |   424952 |     4392    175 |        0 |        0
681.18/681.39	c  681s |      18 |   503935 |   426352 |     4392    175 |        0 |        0
683.18/683.39	c  683s |      18 |   505389 |   427652 |     4392    176 |        0 |        0
685.29/685.46	c  685s |      18 |   506928 |   429052 |     4392    176 |        0 |        0
687.28/687.50	c  687s |      18 |   508118 |   430152 |     4392    177 |        0 |        0
689.48/689.63	c  689s |      18 |   509778 |   431652 |     4392    177 |        0 |        0
691.48/691.65	c  691s |      18 |   511098 |   432852 |     4392    178 |        0 |        0
693.58/693.74	c  693s |      18 |   512677 |   434252 |     4392    178 |        0 |        0
695.68/695.84	c  695s |      18 |   514085 |   435552 |     4392    179 |        0 |        0
697.78/697.93	c  697s |      18 |   515593 |   436952 |     4392    179 |        0 |        0
699.78/699.97	c  699s |      18 |   516937 |   438152 |     4392    180 |        0 |        0
701.79/701.98	c  701s |      18 |   518349 |   439452 |     4392    180 |        0 |        0
703.99/704.13	c  704s |      18 |   519621 |   440652 |     4392    180 |        0 |        0
706.09/706.24	c  706s |      18 |   521174 |   442052 |     4832    181 |        0 |        0
708.29/708.41	c  708s |      18 |   522711 |   443452 |     4832    181 |        0 |        0
709.98/710.14	c  710s |      19 |   523847 |   444482 |     4832    182 |        0 |        0
712.08/712.25	c  712s |      19 |   527791 |   446882 |     4832    182 |        0 |        0
714.18/714.30	c  714s |      19 |   529783 |   448582 |     4832    183 |        0 |        0
716.28/716.47	c  716s |      19 |   531807 |   450082 |     4832    184 |        0 |        0
718.37/718.50	c  718s |      19 |   533296 |   451382 |     4832    184 |        0 |        0
720.48/720.64	c  720s |      19 |   534768 |   452682 |     4832    184 |        0 |        0
722.47/722.68	c  722s |      19 |   536371 |   453882 |     4832    185 |        0 |        0
724.67/724.82	c  724s |      19 |   538302 |   455282 |     4832    185 |        0 |        0
726.67/726.84	c  726s |      19 |   539710 |   456482 |     4832    186 |        0 |        0
728.77/728.96	c  728s |      19 |   541535 |   457682 |     4832    186 |        0 |        0
731.07/731.23	c  731s |      19 |   543250 |   459082 |     4832    187 |        0 |        0
733.08/733.24	c  733s |      19 |   544691 |   460382 |     4832    187 |        0 |        0
735.08/735.29	c  735s |      19 |   546392 |   461782 |     4832    187 |        0 |        0
737.28/737.40	c  737s |      19 |   547890 |   462982 |     4832    188 |        0 |        0
739.27/739.45	c  739s |      19 |   549186 |   464082 |     4832    188 |        0 |        0
741.38/741.52	c  741s |      19 |   550408 |   465082 |     4832    189 |        0 |        0
743.48/743.63	c  743s |      19 |   551538 |   466082 |     4832    189 |        0 |        0
745.57/745.71	c  745s |      19 |   552656 |   467082 |     4832    189 |        0 |        0
747.57/747.73	c  747s |      19 |   553662 |   467982 |     4832    190 |        0 |        0
749.56/749.77	c  749s |      19 |   554637 |   468882 |     4832    190 |        0 |        0
751.56/751.77	c  751s |      19 |   555490 |   469682 |     4832    190 |        0 |        0
753.66/753.84	c  753s |      19 |   557436 |   471082 |     4832    191 |        0 |        0
755.67/755.84	c  755s |      19 |   559459 |   472782 |     4832    191 |        0 |        0
757.66/757.89	c  757s |      19 |   561827 |   473982 |     4832    192 |        0 |        0
759.75/759.98	c  759s |      19 |   563310 |   475282 |     4832    192 |        0 |        0
761.85/762.02	c  761s |      19 |   564815 |   476582 |     4832    192 |        0 |        0
764.05/764.20	c  764s |      19 |   566240 |   477882 |     4832    193 |        0 |        0
766.15/766.37	c  766s |      19 |   567592 |   479082 |     4832    193 |        0 |        0
768.15/768.38	c  768s |      19 |   569664 |   480582 |     4832    194 |        0 |        0
770.25/770.41	c  770s |      19 |   570945 |   481682 |     4832    194 |        0 |        0
772.35/772.56	c  772s |      19 |   572057 |   482682 |     4832    194 |        0 |        0
774.45/774.69	c  774s |      19 |   573410 |   483882 |     4832    195 |        0 |        0
776.65/776.83	c  776s |      19 |   574699 |   485082 |     4832    195 |        0 |        0
778.75/778.94	c  778s |      19 |   575931 |   486182 |     4832    196 |        0 |        0
780.85/781.07	c  780s |      19 |   577308 |   487382 |     4832    196 |        0 |        0
782.84/783.08	c  782s |      19 |   578463 |   488382 |     4832    196 |        0 |        0
784.94/785.15	c  785s |      19 |   579589 |   489382 |     4832    197 |        0 |        0
787.14/787.34	c  787s |      19 |   581029 |   490582 |     4832    197 |        0 |        0
789.34/789.56	c  789s |      19 |   582553 |   491582 |     4832    197 |        0 |        0
791.44/791.61	c  791s |      19 |   583877 |   492682 |     4832    198 |        0 |        0
793.54/793.77	c  793s |      19 |   585133 |   493782 |     4832    198 |        0 |        0
795.74/795.90	c  795s |      19 |   586433 |   494782 |     4832    199 |        0 |        0
797.83/798.08	c  797s |      19 |   587800 |   495982 |     4832    199 |        0 |        0
799.93/800.14	c  800s |      19 |   589905 |   497382 |     4832    199 |        0 |        0
802.03/802.27	c  802s |      19 |   591683 |   498882 |     4832    200 |        0 |        0
804.13/804.32	c  804s |      19 |   593166 |   499982 |     4832    200 |        0 |        0
806.14/806.39	c  806s |      19 |   594404 |   500982 |     4832    201 |        0 |        0
808.34/808.57	c  808s |      19 |   595806 |   502082 |     4832    201 |        0 |        0
810.43/810.67	c  810s |      19 |   596830 |   502982 |     4832    201 |        0 |        0
812.63/812.89	c  812s |      19 |   597826 |   503882 |     4832    202 |        0 |        0
814.83/815.04	c  814s |      19 |   598895 |   504782 |     4832    202 |        0 |        0
817.03/817.21	c  817s |      19 |   600789 |   505882 |     4832    202 |        0 |        0
819.12/819.37	c  819s |      19 |   601914 |   506782 |     4832    203 |        0 |        0
821.22/821.41	c  821s |      19 |   604314 |   508782 |     4832    203 |        0 |        0
823.32/823.50	c  823s |      19 |   606065 |   510282 |     4832    204 |        0 |        0
825.42/825.64	c  825s |      19 |   607707 |   511682 |     4832    204 |        0 |        0
827.42/827.65	c  827s |      19 |   609147 |   512882 |     4832    205 |        0 |        0
829.51/829.72	c  829s |      19 |   610750 |   514282 |     4832    205 |        0 |        0
831.61/831.80	c  831s |      19 |   612104 |   515382 |     4832    205 |        0 |        0
833.72/833.98	c  833s |      19 |   614142 |   516982 |     4832    206 |        0 |        0
835.92/836.11	c  835s |      19 |   615669 |   518182 |     4832    206 |        0 |        0
838.02/838.25	c  838s |      19 |   617230 |   519382 |     4832    207 |        0 |        0
840.11/840.33	c  840s |      19 |   618563 |   520482 |     4832    207 |        0 |        0
842.21/842.49	c  842s |      19 |   620343 |   521782 |     4832    208 |        0 |        0
844.31/844.52	c  844s |      19 |   622371 |   522982 |     4832    208 |        0 |        0
846.51/846.70	c  846s |      19 |   623939 |   524182 |     4832    208 |        0 |        0
848.60/848.84	c  848s |      19 |   625457 |   525482 |     4832    209 |        0 |        0
850.80/851.04	c  850s |      19 |   626787 |   526582 |     4832    209 |        0 |        0
852.80/853.09	c  852s |      19 |   628044 |   527582 |     4832    210 |        0 |        0
855.00/855.22	c  855s |      19 |   629693 |   528782 |     4832    210 |        0 |        0
857.20/857.46	c  857s |      19 |   631199 |   529882 |     4832    210 |        0 |        0
859.29/859.54	c  859s |      19 |   632742 |   531182 |     4832    211 |        0 |        0
861.49/861.71	c  861s |      19 |   634396 |   532582 |     4832    211 |        0 |        0
863.49/863.74	c  863s |      19 |   635584 |   533582 |     4832    212 |        0 |        0
865.60/865.81	c  865s |      19 |   636944 |   534682 |     4832    212 |        0 |        0
867.59/867.89	c  867s |      19 |   638227 |   535782 |     4832    212 |        0 |        0
869.79/870.02	c  869s |      19 |   639745 |   536982 |     4832    213 |        0 |        0
871.89/872.10	c  871s |      19 |   641161 |   538182 |     4832    213 |        0 |        0
873.89/874.14	c  874s |      19 |   642960 |   539582 |     4832    214 |        0 |        0
875.98/876.24	c  876s |      19 |   644653 |   540982 |     4832    214 |        0 |        0
878.08/878.37	c  878s |      19 |   645982 |   542082 |     4832    214 |        0 |        0
880.18/880.40	c  880s |      19 |   647337 |   543182 |     4832    215 |        0 |        0
882.28/882.54	c  882s |      19 |   649051 |   544482 |     4832    215 |        0 |        0
884.29/884.55	c  884s |      19 |   650311 |   545582 |     4832    216 |        0 |        0
886.39/886.62	c  886s |      19 |   651849 |   546782 |     4832    216 |        0 |        0
888.48/888.79	c  888s |      19 |   653063 |   547782 |     4832    216 |        0 |        0
890.58/890.80	c  890s |      19 |   654392 |   548782 |     4832    217 |        0 |        0
892.58/892.86	c  892s |      19 |   655923 |   550082 |     4832    217 |        0 |        0
894.78/895.00	c  894s |      19 |   657441 |   551382 |     4832    218 |        0 |        0
896.78/897.01	c  896s |      19 |   658922 |   552682 |     4832    218 |        0 |        0
898.78/899.03	c  898s |      19 |   660370 |   553982 |     4832    218 |        0 |        0
900.87/901.15	c  901s |      19 |   661858 |   555282 |     4832    219 |        0 |        0
902.88/903.16	c  903s |      19 |   663225 |   556482 |     4832    219 |        0 |        0
904.97/905.20	c  905s |      19 |   664324 |   557482 |     4832    220 |        0 |        0
907.07/907.36	c  907s |      19 |   665679 |   558682 |     4832    220 |        0 |        0
909.17/909.45	c  909s |      19 |   667190 |   559982 |     4832    220 |        0 |        0
911.17/911.47	c  911s |      19 |   668785 |   561282 |     4832    221 |        0 |        0
913.37/913.60	c  913s |      19 |   670241 |   562582 |     4832    221 |        0 |        0
915.46/915.77	c  915s |      19 |   671571 |   563782 |     4832    222 |        0 |        0
917.56/917.86	c  917s |      19 |   672909 |   564982 |     4832    222 |        0 |        0
919.66/919.98	c  919s |      19 |   674149 |   566082 |     4832    222 |        0 |        0
921.76/922.00	c  921s |      19 |   675435 |   567182 |     4832    223 |        0 |        0
923.76/924.05	c  923s |      19 |   676525 |   568182 |     4832    223 |        0 |        0
925.86/926.20	c  926s |      19 |   677536 |   569082 |     4832    224 |        0 |        0
927.95/928.21	c  928s |      19 |   679043 |   570282 |     4832    224 |        0 |        0
929.95/930.26	c  930s |      19 |   680292 |   571382 |     4832    224 |        0 |        0
932.05/932.35	c  932s |      19 |   681596 |   572482 |     4832    225 |        0 |        0
934.15/934.44	c  934s |      19 |   682869 |   573582 |     4832    225 |        0 |        0
936.35/936.62	c  936s |      19 |   684151 |   574682 |     4832    225 |        0 |        0
938.34/938.65	c  938s |      19 |   685517 |   575782 |     4832    226 |        0 |        0
940.35/940.68	c  940s |      19 |   687181 |   577182 |     4832    226 |        0 |        0
942.55/942.80	c  942s |      19 |   688481 |   578282 |     4832    227 |        0 |        0
944.54/944.88	c  944s |      19 |   689885 |   579482 |     4832    227 |        0 |        0
946.74/947.09	c  946s |      19 |   691145 |   580582 |     4832    227 |        0 |        0
948.93/949.25	c  949s |      19 |   692320 |   581582 |     4832    228 |        0 |        0
951.13/951.47	c  951s |      19 |   693441 |   582582 |     4832    228 |        0 |        0
953.33/953.64	c  953s |      19 |   694468 |   583482 |     4832    228 |        0 |        0
955.43/955.73	c  955s |      19 |   695566 |   584382 |     4832    229 |        0 |        0
957.53/957.86	c  957s |      19 |   697341 |   585882 |     4832    229 |        0 |        0
959.63/959.99	c  959s |      19 |   698899 |   587082 |     4832    230 |        0 |        0
961.73/962.07	c  961s |      19 |   700203 |   588182 |     4832    230 |        0 |        0
963.83/964.19	c  964s |      19 |   701451 |   589282 |     4832    230 |        0 |        0
965.93/966.22	c  966s |      19 |   702383 |   590082 |     4832    231 |        0 |        0
967.92/968.29	c  968s |      19 |   704142 |   591482 |     4832    231 |        0 |        0
970.03/970.36	c  970s |      19 |   705384 |   592582 |     4832    231 |        0 |        0
972.13/972.42	c  972s |      19 |   706560 |   593582 |     4832    232 |        0 |        0
974.22/974.54	c  974s |      19 |   707786 |   594682 |     4832    232 |        0 |        0
976.22/976.55	c  976s |      19 |   708783 |   595582 |     4832    232 |        0 |        0
978.41/978.71	c  978s |      19 |   710239 |   596882 |     4832    233 |        0 |        0
980.41/980.71	c  980s |      19 |   711555 |   598082 |     4832    233 |        0 |        0
982.41/982.74	c  982s |      19 |   712642 |   599082 |     4832    234 |        0 |        0
984.51/984.90	c  984s |      19 |   714057 |   600382 |     4832    234 |        0 |        0
986.61/986.91	c  986s |      19 |   715136 |   601382 |     4832    234 |        0 |        0
988.61/988.96	c  988s |      19 |   716204 |   602382 |     4832    235 |        0 |        0
990.71/991.03	c  990s |      19 |   717557 |   603582 |     4832    235 |        0 |        0
992.71/993.04	c  992s |      19 |   718721 |   604582 |     4832    235 |        0 |        0
994.91/995.21	c  995s |      19 |   719957 |   605682 |     4832    236 |        0 |        0
997.01/997.36	c  997s |      19 |   721158 |   606782 |     4832    236 |        0 |        0
999.10/999.43	c  999s |      19 |   722287 |   607782 |     4832    236 |        0 |        0
1001.20/1001.58	c 1001s |      19 |   723635 |   608882 |     4832    237 |        0 |        0
1003.40/1003.77	c 1003s |      19 |   724812 |   609782 |     4832    237 |        0 |        0
1005.60/1005.95	c 1005s |      19 |   726199 |   610682 |     4832    237 |        0 |        0
1007.59/1007.97	c 1007s |      19 |   727249 |   611582 |     4832    238 |        0 |        0
1009.60/1009.98	c 1009s |      19 |   728311 |   612482 |     4832    238 |        0 |        0
1011.80/1012.11	c 1011s |      19 |   729400 |   613382 |     4832    238 |        0 |        0
1013.90/1014.20	c 1014s |      19 |   730297 |   614182 |     4832    239 |        0 |        0
1015.99/1016.34	c 1016s |      19 |   731431 |   615082 |     4832    239 |        0 |        0
1018.09/1018.45	c 1018s |      19 |   732617 |   615882 |     4832    239 |        0 |        0
1020.18/1020.58	c 1020s |      19 |   733822 |   616882 |     4832    240 |        0 |        0
1022.28/1022.65	c 1022s |      19 |   734888 |   617782 |     4832    240 |        0 |        0
1024.38/1024.77	c 1024s |      19 |   735745 |   618582 |     4832    240 |        0 |        0
1026.58/1026.99	c 1026s |      19 |   736726 |   619482 |     4832    240 |        0 |        0
1028.78/1029.10	c 1028s |      19 |   738281 |   620782 |     4832    241 |        0 |        0
1030.78/1031.11	c 1030s |      19 |   739951 |   622282 |     4832    241 |        0 |        0
1032.78/1033.13	c 1033s |      19 |   741360 |   623582 |     4832    242 |        0 |        0
1034.78/1035.20	c 1035s |      19 |   742792 |   624882 |     4832    242 |        0 |        0
1036.98/1037.31	c 1037s |      19 |   744093 |   626082 |     4832    243 |        0 |        0
1039.07/1039.43	c 1039s |      19 |   745500 |   627382 |     4832    243 |        0 |        0
1041.27/1041.60	c 1041s |      19 |   746851 |   628582 |     4832    243 |        0 |        0
1043.27/1043.63	c 1043s |      19 |   748063 |   629682 |     4832    244 |        0 |        0
1045.47/1045.80	c 1045s |      19 |   749439 |   630882 |     4832    244 |        0 |        0
1047.57/1047.95	c 1047s |      19 |   750789 |   632082 |     4832    245 |        0 |        0
1049.66/1050.01	c 1049s |      19 |   752101 |   633282 |     4832    245 |        0 |        0
1051.66/1052.02	c 1051s |      19 |   753363 |   634382 |     4832    245 |        0 |        0
1053.76/1054.15	c 1054s |      19 |   754603 |   635482 |     4832    246 |        0 |        0
1055.96/1056.31	c 1056s |      19 |   755981 |   636682 |     4832    246 |        0 |        0
1057.98/1058.33	c 1058s |      19 |   756996 |   637582 |     4832    247 |        0 |        0
1060.08/1060.45	c 1060s |      19 |   758351 |   638782 |     4832    247 |        0 |        0
1062.07/1062.45	c 1062s |      19 |   759359 |   639682 |     4832    247 |        0 |        0
1064.07/1064.46	c 1064s |      19 |   760480 |   640682 |     4832    248 |        0 |        0
1066.17/1066.58	c 1066s |      19 |   761729 |   641782 |     4832    248 |        0 |        0
1068.26/1068.68	c 1068s |      19 |   762832 |   642782 |     4832    248 |        0 |        0
1070.46/1070.87	c 1070s |      19 |   763809 |   643682 |     4832    249 |        0 |        0
1072.56/1072.96	c 1072s |      19 |   764948 |   644682 |     4832    249 |        0 |        0
1074.76/1075.16	c 1075s |      19 |   766523 |   645682 |     4832    249 |        0 |        0
1076.96/1077.35	c 1077s |      19 |   767766 |   646782 |     4832    250 |        0 |        0
1078.96/1079.37	c 1079s |      19 |   768892 |   647782 |     4832    250 |        0 |        0
1081.06/1081.42	c 1081s |      19 |   770071 |   648782 |     4832    250 |        0 |        0
1083.06/1083.46	c 1083s |      19 |   771398 |   649882 |     4832    251 |        0 |        0
1085.16/1085.54	c 1085s |      19 |   772540 |   650882 |     4832    251 |        0 |        0
1087.35/1087.71	c 1087s |      19 |   774046 |   652082 |     4832    251 |        0 |        0
1089.35/1089.72	c 1089s |      19 |   775071 |   652982 |     4832    252 |        0 |        0
1091.45/1091.89	c 1091s |      19 |   776301 |   654082 |     4832    252 |        0 |        0
1093.55/1093.93	c 1093s |      19 |   777406 |   654982 |     4832    252 |        0 |        0
1095.65/1096.07	c 1095s |      19 |   778471 |   655882 |     4832    253 |        0 |        0
1097.84/1098.20	c 1098s |      19 |   780287 |   657382 |     4832    253 |        0 |        0
1100.04/1100.48	c 1100s |      19 |   781655 |   658482 |     4832    254 |        0 |        0
1102.14/1102.50	c 1102s |      19 |   782948 |   659582 |     4832    254 |        0 |        0
1104.15/1104.58	c 1104s |      19 |   784285 |   660682 |     4832    254 |        0 |        0
1106.35/1106.76	c 1106s |      19 |   785447 |   661682 |     4832    255 |        0 |        0
1108.44/1108.87	c 1108s |      19 |   786896 |   662882 |     5316    255 |        0 |        0
1110.53/1110.97	c 1110s |      19 |   788166 |   663882 |     5316    255 |        0 |        0
1112.63/1113.01	c 1112s |      19 |   789185 |   664782 |     5316    255 |        0 |        0
1114.63/1115.08	c 1114s |      19 |   790071 |   665582 |     5316    256 |        0 |        0
1116.83/1117.23	c 1117s |      19 |   791198 |   666582 |     5316    256 |        0 |        0
1117.34/1117.75	c 1117s |      20 |   791509 |   666827 |     5316    256 |        0 |        0
1119.33/1119.79	c 1119s |      20 |   795227 |   669027 |     5316    257 |        0 |        0
1121.33/1121.79	c 1121s |      20 |   797154 |   670727 |     5316    257 |        0 |        0
1123.43/1123.88	c 1123s |      20 |   798825 |   672227 |     5316    258 |        0 |        0
1125.52/1125.96	c 1125s |      20 |   800575 |   673827 |     5316    258 |        0 |        0
1127.62/1128.06	c 1127s |      20 |   801985 |   675127 |     5316    259 |        0 |        0
1129.72/1130.14	c 1130s |      20 |   803744 |   676727 |     5316    259 |        0 |        0
1132.02/1132.40	c 1132s |      20 |   805241 |   678027 |     5316    260 |        0 |        0
1134.12/1134.56	c 1134s |      20 |   807213 |   679727 |     5316    260 |        0 |        0
1136.22/1136.64	c 1136s |      20 |   808789 |   681127 |     5316    260 |        0 |        0
1138.32/1138.76	c 1138s |      20 |   810359 |   682527 |     5316    261 |        0 |        0
1140.52/1140.91	c 1140s |      20 |   811903 |   683927 |     5316    261 |        0 |        0
1142.52/1142.92	c 1142s |      20 |   813236 |   685127 |     5316    262 |        0 |        0
1144.62/1145.00	c 1144s |      20 |   814769 |   686527 |     5316    262 |        0 |        0
1146.62/1147.02	c 1146s |      20 |   816084 |   687727 |     5316    263 |        0 |        0
1148.71/1149.13	c 1149s |      20 |   817732 |   689227 |     5316    263 |        0 |        0
1150.71/1151.15	c 1151s |      20 |   819130 |   690527 |     5316    263 |        0 |        0
1152.81/1153.20	c 1153s |      20 |   820677 |   691927 |     5316    264 |        0 |        0
1154.81/1155.25	c 1155s |      20 |   822219 |   693327 |     5316    264 |        0 |        0
1156.92/1157.34	c 1157s |      20 |   823553 |   694527 |     5316    265 |        0 |        0
1158.90/1159.35	c 1159s |      20 |   825114 |   695927 |     5316    265 |        0 |        0
1161.31/1161.74	c 1161s |      20 |   826644 |   697327 |     5316    266 |        0 |        0
1163.41/1163.85	c 1163s |      20 |   828224 |   698727 |     5316    266 |        0 |        0
1165.50/1165.97	c 1165s |      20 |   829890 |   700227 |     5316    266 |        0 |        0
1167.59/1168.00	c 1167s |      20 |   831362 |   701527 |     5316    267 |        0 |        0
1169.59/1170.06	c 1169s |      20 |   832879 |   702927 |     5316    267 |        0 |        0
1171.69/1172.19	c 1172s |      20 |   834303 |   704227 |     5316    268 |        0 |        0
1173.79/1174.26	c 1174s |      20 |   835895 |   705627 |     5316    268 |        0 |        0
1175.79/1176.26	c 1176s |      20 |   837118 |   706727 |     5316    268 |        0 |        0
1177.89/1178.38	c 1178s |      20 |   838453 |   707927 |     5316    269 |        0 |        0
1180.09/1180.51	c 1180s |      20 |   839951 |   709227 |     5316    269 |        0 |        0
1182.19/1182.63	c 1182s |      20 |   841325 |   710427 |     5316    270 |        0 |        0
1184.29/1184.76	c 1184s |      20 |   842810 |   711727 |     5316    270 |        0 |        0
1186.38/1186.86	c 1186s |      20 |   843941 |   712727 |     5316    270 |        0 |        0
1188.48/1188.96	c 1188s |      20 |   845047 |   713727 |     5316    271 |        0 |        0
1190.48/1190.97	c 1190s |      20 |   846172 |   714727 |     5316    271 |        0 |        0
1192.58/1193.00	c 1192s |      20 |   847496 |   715927 |     5316    271 |        0 |        0
1194.68/1195.15	c 1195s |      20 |   848845 |   717127 |     5316    272 |        0 |        0
1196.88/1197.30	c 1197s |      20 |   850217 |   718327 |     5316    272 |        0 |        0
1198.88/1199.32	c 1199s |      20 |   851319 |   719327 |     5316    272 |        0 |        0
1200.98/1201.49	c 1201s |      20 |   852410 |   720327 |     5316    273 |        0 |        0
1203.08/1203.58	c 1203s |      20 |   853531 |   721327 |     5316    273 |        0 |        0
1205.28/1205.72	c 1205s |      20 |   854870 |   722527 |     5316    273 |        0 |        0
1207.38/1207.85	c 1207s |      20 |   856107 |   723627 |     5316    274 |        0 |        0
1209.58/1210.02	c 1209s |      20 |   857437 |   724827 |     5316    274 |        0 |        0
1211.67/1212.15	c 1212s |      20 |   858535 |   725827 |     5316    274 |        0 |        0
1213.78/1214.26	c 1214s |      20 |   860000 |   727127 |     5316    275 |        0 |        0
1215.88/1216.30	c 1216s |      20 |   861469 |   728427 |     5316    275 |        0 |        0
1217.87/1218.37	c 1218s |      20 |   862694 |   729527 |     5316    275 |        0 |        0
1219.97/1220.45	c 1220s |      20 |   864008 |   730727 |     5316    276 |        0 |        0
1222.07/1222.56	c 1222s |      20 |   865430 |   732027 |     5316    276 |        0 |        0
1224.17/1224.66	c 1224s |      20 |   866628 |   733127 |     5316    277 |        0 |        0
1226.27/1226.76	c 1226s |      20 |   868205 |   734527 |     5316    277 |        0 |        0
1228.27/1228.80	c 1228s |      20 |   869632 |   735827 |     5316    277 |        0 |        0
1230.47/1230.90	c 1230s |      20 |   870942 |   737027 |     5316    278 |        0 |        0
1232.56/1233.07	c 1232s |      20 |   872223 |   738227 |     5316    278 |        0 |        0
1234.56/1235.09	c 1234s |      20 |   873695 |   739527 |     5316    279 |        0 |        0
1236.66/1237.19	c 1237s |      20 |   875563 |   741227 |     5316    279 |        0 |        0
1238.75/1239.21	c 1239s |      20 |   876971 |   742527 |     5316    280 |        0 |        0
1240.85/1241.32	c 1241s |      20 |   878642 |   743927 |     5316    280 |        0 |        0
1242.85/1243.35	c 1243s |      20 |   879868 |   745027 |     5316    280 |        0 |        0
1244.85/1245.37	c 1245s |      20 |   880988 |   746027 |     5316    281 |        0 |        0
1247.05/1247.52	c 1247s |      20 |   882446 |   747327 |     5316    281 |        0 |        0
1249.15/1249.61	c 1249s |      20 |   883735 |   748527 |     5316    281 |        0 |        0
1251.14/1251.65	c 1251s |      20 |   885078 |   749727 |     5316    282 |        0 |        0
1253.24/1253.73	c 1253s |      20 |   886528 |   751027 |     5316    282 |        0 |        0
1255.34/1255.84	c 1255s |      20 |   887722 |   752127 |     5316    283 |        0 |        0
1257.44/1257.98	c 1257s |      20 |   889131 |   753427 |     5316    283 |        0 |        0
1259.53/1260.09	c 1259s |      20 |   890626 |   754727 |     5316    283 |        0 |        0
1261.63/1262.18	c 1262s |      20 |   892195 |   756127 |     5316    284 |        0 |        0
1263.73/1264.22	c 1264s |      20 |   893881 |   757627 |     5316    284 |        0 |        0
1265.83/1266.36	c 1266s |      20 |   895165 |   758827 |     5316    285 |        0 |        0
1267.83/1268.36	c 1268s |      20 |   896494 |   760027 |     5316    285 |        0 |        0
1269.92/1270.49	c 1270s |      20 |   897885 |   761327 |     5316    285 |        0 |        0
1272.02/1272.58	c 1272s |      20 |   899200 |   762527 |     5316    286 |        0 |        0
1274.22/1274.71	c 1274s |      20 |   900730 |   763927 |     5316    286 |        0 |        0
1276.32/1276.85	c 1276s |      20 |   901951 |   765027 |     5316    287 |        0 |        0
1278.41/1278.90	c 1278s |      20 |   903388 |   766327 |     5316    287 |        0 |        0
1280.41/1280.94	c 1280s |      20 |   904725 |   767527 |     5316    287 |        0 |        0
1282.51/1283.02	c 1282s |      20 |   905928 |   768627 |     5316    288 |        0 |        0
1284.61/1285.12	c 1284s |      20 |   907316 |   769827 |     5316    288 |        0 |        0
1286.62/1287.14	c 1287s |      20 |   908758 |   771127 |     5316    288 |        0 |        0
1288.71/1289.21	c 1289s |      20 |   910057 |   772327 |     5316    289 |        0 |        0
1290.70/1291.22	c 1291s |      20 |   911389 |   773527 |     5316    289 |        0 |        0
1292.70/1293.24	c 1293s |      20 |   912680 |   774727 |     5316    290 |        0 |        0
1294.70/1295.26	c 1295s |      20 |   913965 |   775927 |     5316    290 |        0 |        0
1296.80/1297.37	c 1297s |      20 |   915411 |   777227 |     5316    290 |        0 |        0
1298.90/1299.48	c 1299s |      20 |   916837 |   778527 |     5316    291 |        0 |        0
1301.10/1301.60	c 1301s |      20 |   918041 |   779627 |     5316    291 |        0 |        0
1303.19/1303.74	c 1303s |      20 |   919353 |   780827 |     5316    291 |        0 |        0
1305.20/1305.75	c 1305s |      20 |   920752 |   782027 |     5316    292 |        0 |        0
1307.40/1307.93	c 1307s |      20 |   922368 |   783427 |     5316    292 |        0 |        0
1309.39/1309.95	c 1309s |      20 |   923453 |   784427 |     5316    293 |        0 |        0
1311.49/1312.08	c 1311s |      20 |   924762 |   785627 |     5316    293 |        0 |        0
1313.69/1314.24	c 1314s |      20 |   926073 |   786827 |     5316    293 |        0 |        0
1315.69/1316.26	c 1316s |      20 |   927311 |   787927 |     5316    294 |        0 |        0
1317.68/1318.29	c 1318s |      20 |   928990 |   789427 |     5316    294 |        0 |        0
1319.68/1320.29	c 1320s |      20 |   930441 |   790727 |     5316    294 |        0 |        0
1321.80/1322.30	c 1322s |      20 |   931884 |   792027 |     5316    295 |        0 |        0
1323.89/1324.44	c 1324s |      20 |   933100 |   793127 |     5316    295 |        0 |        0
1326.09/1326.61	c 1326s |      20 |   934061 |   794027 |     5316    296 |        0 |        0
1328.18/1328.74	c 1328s |      20 |   935460 |   795227 |     5316    296 |        0 |        0
1330.28/1330.83	c 1330s |      20 |   936798 |   796427 |     5316    296 |        0 |        0
1332.28/1332.86	c 1332s |      20 |   937892 |   797427 |     5316    297 |        0 |        0
1334.28/1334.88	c 1334s |      20 |   939200 |   798627 |     5316    297 |        0 |        0
1336.48/1337.02	c 1336s |      20 |   940392 |   799727 |     5316    297 |        0 |        0
1338.57/1339.12	c 1339s |      20 |   941565 |   800827 |     5316    298 |        0 |        0
1340.57/1341.14	c 1341s |      20 |   942750 |   801927 |     5316    298 |        0 |        0
1342.68/1343.24	c 1343s |      20 |   944060 |   803127 |     5316    298 |        0 |        0
1344.67/1345.29	c 1345s |      20 |   945209 |   804127 |     5316    299 |        0 |        0
1346.77/1347.30	c 1347s |      20 |   946952 |   805627 |     5316    299 |        0 |        0
1348.77/1349.32	c 1349s |      20 |   948116 |   806627 |     5316    299 |        0 |        0
1350.77/1351.35	c 1351s |      20 |   949227 |   807627 |     5316    300 |        0 |        0
1352.87/1353.41	c 1353s |      20 |   950542 |   808827 |     5316    300 |        0 |        0
1354.97/1355.56	c 1355s |      20 |   951757 |   809927 |     5316    300 |        0 |        0
1357.17/1357.73	c 1357s |      20 |   953121 |   811127 |     5316    301 |        0 |        0
1359.27/1359.85	c 1359s |      20 |   954689 |   812527 |     5316    301 |        0 |        0
1361.37/1361.96	c 1361s |      20 |   956045 |   813727 |     5316    302 |        0 |        0
1363.36/1363.98	c 1363s |      20 |   957496 |   815027 |     5316    302 |        0 |        0
1365.46/1366.09	c 1365s |      20 |   958728 |   816127 |     5316    302 |        0 |        0
1367.56/1368.10	c 1367s |      20 |   959963 |   817227 |     5316    303 |        0 |        0
1369.66/1370.24	c 1370s |      20 |   961190 |   818327 |     5316    303 |        0 |        0
1371.76/1372.31	c 1372s |      20 |   962453 |   819427 |     5316    303 |        0 |        0
1373.76/1374.38	c 1374s |      20 |   963934 |   820727 |     5316    304 |        0 |        0
1375.86/1376.41	c 1376s |      20 |   965336 |   822027 |     5316    304 |        0 |        0
1377.96/1378.52	c 1378s |      20 |   966509 |   823127 |     5316    305 |        0 |        0
1380.07/1380.61	c 1380s |      20 |   967864 |   824327 |     5316    305 |        0 |        0
1382.06/1382.65	c 1382s |      20 |   969185 |   825527 |     5316    305 |        0 |        0
1384.16/1384.75	c 1384s |      20 |   970501 |   826727 |     5316    306 |        0 |        0
1386.26/1386.86	c 1386s |      20 |   971824 |   827927 |     5316    306 |        0 |        0
1388.36/1388.94	c 1388s |      20 |   973162 |   829127 |     5316    306 |        0 |        0
1390.36/1390.98	c 1390s |      20 |   974500 |   830327 |     5316    307 |        0 |        0
1392.56/1393.11	c 1392s |      20 |   975726 |   831427 |     5316    307 |        0 |        0
1394.66/1395.29	c 1395s |      20 |   977086 |   832627 |     5316    307 |        0 |        0
1396.76/1397.33	c 1397s |      20 |   978461 |   833827 |     5316    308 |        0 |        0
1398.86/1399.41	c 1399s |      20 |   979923 |   835127 |     5316    308 |        0 |        0
1400.86/1401.45	c 1401s |      20 |   981120 |   836227 |     5316    309 |        0 |        0
1402.95/1403.53	c 1403s |      20 |   982449 |   837427 |     5316    309 |        0 |        0
1405.15/1405.70	c 1405s |      20 |   983650 |   838527 |     5316    309 |        0 |        0
1407.15/1407.70	c 1407s |      20 |   985065 |   839727 |     5316    310 |        0 |        0
1409.15/1409.74	c 1409s |      20 |   986514 |   841027 |     5316    310 |        0 |        0
1411.25/1411.84	c 1411s |      20 |   987998 |   842327 |     5316    310 |        0 |        0
1413.35/1413.94	c 1413s |      20 |   989541 |   843727 |     5316    311 |        0 |        0
1415.55/1416.12	c 1415s |      20 |   990981 |   845027 |     5316    311 |        0 |        0
1417.65/1418.27	c 1418s |      20 |   992203 |   846127 |     5316    312 |        0 |        0
1419.85/1420.41	c 1420s |      20 |   993445 |   847227 |     5316    312 |        0 |        0
1421.95/1422.53	c 1422s |      20 |   994555 |   848227 |     5316    312 |        0 |        0
1424.06/1424.63	c 1424s |      20 |   995643 |   849227 |     5316    313 |        0 |        0
1426.16/1426.72	c 1426s |      20 |   997043 |   850427 |     5316    313 |        0 |        0
1428.15/1428.73	c 1428s |      20 |   998642 |   851827 |     5316    313 |        0 |        0
1430.15/1430.76	c 1430s |      20 |   999828 |   852927 |     5316    314 |        0 |        0
1432.25/1432.82	c 1432s |      20 |  1001027 |   854027 |     5316    314 |        0 |        0
1434.25/1434.82	c 1434s |      20 |  1002359 |   855227 |     5316    314 |        0 |        0
1436.25/1436.84	c 1436s |      20 |  1003570 |   856327 |     5316    315 |        0 |        0
1438.25/1438.90	c 1438s |      20 |  1004907 |   857527 |     5316    315 |        0 |        0
1440.35/1440.99	c 1440s |      20 |  1006003 |   858527 |     5316    316 |        0 |        0
1442.45/1443.06	c 1442s |      20 |  1007461 |   859827 |     5316    316 |        0 |        0
1444.55/1445.12	c 1445s |      20 |  1008716 |   860927 |     5316    316 |        0 |        0
1446.64/1447.22	c 1447s |      20 |  1010052 |   862127 |     5316    317 |        0 |        0
1448.74/1449.37	c 1449s |      20 |  1011501 |   863427 |     5316    317 |        0 |        0
1450.84/1451.49	c 1451s |      20 |  1012849 |   864627 |     5316    317 |        0 |        0
1452.94/1453.54	c 1453s |      20 |  1014183 |   865827 |     5316    318 |        0 |        0
1455.04/1455.65	c 1455s |      20 |  1015426 |   866927 |     5316    318 |        0 |        0
1457.14/1457.74	c 1457s |      20 |  1016740 |   868127 |     5316    318 |        0 |        0
1459.25/1459.90	c 1459s |      20 |  1017996 |   869227 |     5316    319 |        0 |        0
1461.24/1461.90	c 1461s |      20 |  1019349 |   870427 |     5316    319 |        0 |        0
1463.44/1464.06	c 1463s |      20 |  1020561 |   871527 |     5316    320 |        0 |        0
1465.54/1466.19	c 1466s |      20 |  1021744 |   872627 |     5316    320 |        0 |        0
1467.74/1468.35	c 1468s |      20 |  1023009 |   873727 |     5316    320 |        0 |        0
1469.84/1470.48	c 1470s |      20 |  1024232 |   874827 |     5316    321 |        0 |        0
1472.04/1472.60	c 1472s |      20 |  1025635 |   876127 |     5316    321 |        0 |        0
1474.14/1474.76	c 1474s |      20 |  1026970 |   877327 |     5316    321 |        0 |        0
1476.24/1476.80	c 1476s |      20 |  1028175 |   878427 |     5316    322 |        0 |        0
1478.25/1478.80	c 1478s |      20 |  1029675 |   879727 |     5316    322 |        0 |        0
1480.25/1480.84	c 1480s |      20 |  1031146 |   881027 |     5316    323 |        0 |        0
1482.35/1482.95	c 1482s |      20 |  1032683 |   882427 |     5316    323 |        0 |        0
1484.55/1485.13	c 1485s |      20 |  1034087 |   883727 |     5316    323 |        0 |        0
1486.54/1487.15	c 1487s |      20 |  1035077 |   884627 |     5316    324 |        0 |        0
1488.64/1489.27	c 1489s |      20 |  1036266 |   885727 |     5316    324 |        0 |        0
1490.74/1491.33	c 1491s |      20 |  1037712 |   886827 |     5316    324 |        0 |        0
1492.74/1493.36	c 1493s |      20 |  1038978 |   887927 |     5316    325 |        0 |        0
1494.74/1495.38	c 1495s |      20 |  1040449 |   889227 |     5316    325 |        0 |        0
1496.84/1497.49	c 1497s |      20 |  1041888 |   890527 |     5316    325 |        0 |        0
1499.04/1499.61	c 1499s |      20 |  1043314 |   891827 |     5316    326 |        0 |        0
1501.14/1501.75	c 1501s |      20 |  1044620 |   893027 |     5316    326 |        0 |        0
1503.15/1503.78	c 1503s |      20 |  1045662 |   893927 |     5316    326 |        0 |        0
1505.24/1505.86	c 1505s |      20 |  1046918 |   895027 |     5316    327 |        0 |        0
1507.24/1507.88	c 1507s |      20 |  1048008 |   896027 |     5316    327 |        0 |        0
1509.34/1509.92	c 1509s |      20 |  1049236 |   897127 |     5316    327 |        0 |        0
1511.34/1511.97	c 1511s |      20 |  1050717 |   898427 |     5316    328 |        0 |        0
1513.44/1514.05	c 1513s |      20 |  1052030 |   899627 |     5316    328 |        0 |        0
1515.44/1516.08	c 1515s |      20 |  1053260 |   900727 |     5316    329 |        0 |        0
1517.55/1518.14	c 1518s |      20 |  1054572 |   901927 |     5316    329 |        0 |        0
1519.65/1520.27	c 1520s |      20 |  1055919 |   903127 |     5316    329 |        0 |        0
1521.74/1522.31	c 1522s |      20 |  1057165 |   904227 |     5316    330 |        0 |        0
1523.84/1524.44	c 1524s |      20 |  1058464 |   905427 |     5316    330 |        0 |        0
1525.94/1526.55	c 1526s |      20 |  1059659 |   906527 |     5316    330 |        0 |        0
1527.94/1528.56	c 1528s |      20 |  1060898 |   907627 |     5316    331 |        0 |        0
1530.04/1530.60	c 1530s |      20 |  1062377 |   908927 |     5316    331 |        0 |        0
1532.14/1532.79	c 1532s |      20 |  1063715 |   910127 |     5316    332 |        0 |        0
1534.34/1534.91	c 1534s |      20 |  1065059 |   911327 |     5316    332 |        0 |        0
1536.43/1537.08	c 1536s |      20 |  1066389 |   912527 |     5316    332 |        0 |        0
1538.53/1539.12	c 1539s |      20 |  1067615 |   913627 |     5316    333 |        0 |        0
1540.64/1541.21	c 1541s |      20 |  1069093 |   914927 |     5316    333 |        0 |        0
1542.74/1543.38	c 1543s |      20 |  1070259 |   916027 |     5316    333 |        0 |        0
1544.83/1545.41	c 1545s |      20 |  1071330 |   917027 |     5316    334 |        0 |        0
1546.83/1547.43	c 1547s |      20 |  1072559 |   918127 |     5316    334 |        0 |        0
1548.93/1549.50	c 1549s |      20 |  1073875 |   919327 |     5316    334 |        0 |        0
1551.03/1551.66	c 1551s |      20 |  1075177 |   920527 |     5316    335 |        0 |        0
1553.13/1553.76	c 1553s |      20 |  1076311 |   921527 |     5316    335 |        0 |        0
1555.13/1555.77	c 1555s |      20 |  1077800 |   922827 |     5316    335 |        0 |        0
1557.14/1557.78	c 1557s |      20 |  1079185 |   924027 |     5316    336 |        0 |        0
1559.24/1559.83	c 1559s |      20 |  1080419 |   925127 |     5316    336 |        0 |        0
1561.33/1561.97	c 1561s |      20 |  1081487 |   926127 |     5316    336 |        0 |        0
1563.43/1564.02	c 1563s |      20 |  1082564 |   927127 |     5316    337 |        0 |        0
1565.53/1566.13	c 1566s |      20 |  1083985 |   928427 |     5316    337 |        0 |        0
1567.53/1568.17	c 1568s |      20 |  1085195 |   929527 |     5316    338 |        0 |        0
1569.72/1570.33	c 1570s |      20 |  1086496 |   930727 |     5316    338 |        0 |        0
1571.72/1572.34	c 1572s |      20 |  1087700 |   931827 |     5316    338 |        0 |        0
1573.82/1574.49	c 1574s |      20 |  1088928 |   932927 |     5316    339 |        0 |        0
1575.92/1576.58	c 1576s |      20 |  1090375 |   934227 |     5316    339 |        0 |        0
1578.03/1578.69	c 1578s |      20 |  1091924 |   935627 |     5316    339 |        0 |        0
1580.23/1580.85	c 1580s |      20 |  1093246 |   936827 |     5316    340 |        0 |        0
1582.33/1582.97	c 1582s |      20 |  1094574 |   938027 |     5316    340 |        0 |        0
1584.42/1585.02	c 1584s |      20 |  1095788 |   939127 |     5316    341 |        0 |        0
1586.42/1587.03	c 1586s |      20 |  1097103 |   940327 |     5316    341 |        0 |        0
1588.42/1589.08	c 1588s |      20 |  1098414 |   941527 |     5316    341 |        0 |        0
1590.62/1591.24	c 1591s |      20 |  1099740 |   942727 |     5316    342 |        0 |        0
1592.72/1593.30	c 1593s |      20 |  1101063 |   943927 |     5316    342 |        0 |        0
1594.72/1595.38	c 1595s |      20 |  1102305 |   945027 |     5316    342 |        0 |        0
1596.73/1597.39	c 1597s |      20 |  1103515 |   946127 |     5316    343 |        0 |        0
1599.02/1599.62	c 1599s |      20 |  1104852 |   947327 |     5316    343 |        0 |        0
1601.03/1601.68	c 1601s |      20 |  1106438 |   948627 |     5316    343 |        0 |        0
1603.23/1603.82	c 1603s |      20 |  1108192 |   950127 |     5316    344 |        0 |        0
1605.22/1605.88	c 1605s |      20 |  1109769 |   951527 |     5316    344 |        0 |        0
1607.32/1607.97	c 1607s |      20 |  1111238 |   952827 |     5316    345 |        0 |        0
1609.42/1610.01	c 1609s |      20 |  1112649 |   954027 |     5316    345 |        0 |        0
1611.62/1612.29	c 1612s |      20 |  1114056 |   955227 |     5316    346 |        0 |        0
1613.82/1614.43	c 1614s |      20 |  1115571 |   956527 |     5316    346 |        0 |        0
1615.92/1616.53	c 1616s |      20 |  1116909 |   957727 |     5316    346 |        0 |        0
1618.02/1618.63	c 1618s |      20 |  1118131 |   958827 |     5316    347 |        0 |        0
1620.02/1620.65	c 1620s |      20 |  1119478 |   960027 |     5316    347 |        0 |        0
1622.12/1622.77	c 1622s |      20 |  1120664 |   961127 |     5316    347 |        0 |        0
1624.32/1624.99	c 1624s |      20 |  1121947 |   962227 |     5316    348 |        0 |        0
1626.51/1627.15	c 1627s |      20 |  1123294 |   963427 |     5316    348 |        0 |        0
1628.52/1629.16	c 1629s |      20 |  1124393 |   964427 |     5316    348 |        0 |        0
1630.52/1631.17	c 1631s |      20 |  1125514 |   965427 |     5316    349 |        0 |        0
1632.72/1633.34	c 1633s |      20 |  1126825 |   966627 |     5316    349 |        0 |        0
1634.82/1635.41	c 1635s |      20 |  1128046 |   967727 |     5316    349 |        0 |        0
1636.82/1637.43	c 1637s |      20 |  1129305 |   968827 |     5316    350 |        0 |        0
1638.82/1639.49	c 1639s |      20 |  1130601 |   970027 |     5316    350 |        0 |        0
1640.92/1641.50	c 1641s |      20 |  1131828 |   971127 |     5316    350 |        0 |        0
1642.93/1643.52	c 1643s |      20 |  1132938 |   972127 |     5316    351 |        0 |        0
1645.03/1645.62	c 1645s |      20 |  1134157 |   973227 |     5316    351 |        0 |        0
1647.12/1647.72	c 1647s |      20 |  1135514 |   974427 |     5316    351 |        0 |        0
1649.22/1649.80	c 1649s |      20 |  1136731 |   975527 |     5316    352 |        0 |        0
1651.32/1651.97	c 1651s |      20 |  1138208 |   976827 |     5316    352 |        0 |        0
1653.42/1654.01	c 1653s |      20 |  1139423 |   977927 |     5316    353 |        0 |        0
1655.52/1656.10	c 1655s |      20 |  1140851 |   979227 |     5316    353 |        0 |        0
1657.52/1658.19	c 1658s |      20 |  1142185 |   980427 |     5316    353 |        0 |        0
1659.62/1660.29	c 1660s |      20 |  1143306 |   981427 |     5316    354 |        0 |        0
1661.82/1662.45	c 1662s |      20 |  1144865 |   982827 |     5316    354 |        0 |        0
1663.92/1664.53	c 1664s |      20 |  1146223 |   984027 |     5316    354 |        0 |        0
1666.02/1666.69	c 1666s |      20 |  1147579 |   985227 |     5316    355 |        0 |        0
1668.12/1668.77	c 1668s |      20 |  1149170 |   986627 |     5316    355 |        0 |        0
1670.22/1670.88	c 1670s |      20 |  1150609 |   987927 |     5316    356 |        0 |        0
1672.21/1672.89	c 1672s |      20 |  1151923 |   989127 |     5316    356 |        0 |        0
1674.41/1675.02	c 1674s |      20 |  1153132 |   990227 |     5316    356 |        0 |        0
1676.51/1677.19	c 1677s |      20 |  1154339 |   991327 |     5316    357 |        0 |        0
1678.61/1679.26	c 1679s |      20 |  1155941 |   992727 |     5316    357 |        0 |        0
1680.71/1681.37	c 1681s |      20 |  1157276 |   993927 |     5848    357 |        0 |        0
1682.81/1683.41	c 1683s |      20 |  1158494 |   995027 |     5848    358 |        0 |        0
1684.91/1685.51	c 1685s |      20 |  1159792 |   996227 |     5848    358 |        0 |        0
1687.01/1687.61	c 1687s |      20 |  1160996 |   997327 |     5848    358 |        0 |        0
1689.02/1689.61	c 1689s |      20 |  1161991 |   998227 |     5848    359 |        0 |        0
1691.01/1691.65	c 1691s |      20 |  1163491 |   999527 |     5848    359 |        0 |        0
1692.61/1693.20	c 1693s |      21 |  1164438 |  1000345 |     5848    359 |        0 |        0
1694.62/1695.24	c 1695s |      21 |  1167026 |  1002045 |     5848    360 |        0 |        0
1696.72/1697.34	c 1697s |      21 |  1168829 |  1003645 |     5848    360 |        0 |        0
1698.81/1699.47	c 1699s |      21 |  1170257 |  1004945 |     5848    361 |        0 |        0
1700.91/1701.57	c 1701s |      21 |  1171685 |  1006245 |     5848    361 |        0 |        0
1703.11/1703.75	c 1703s |      21 |  1172986 |  1007445 |     5848    361 |        0 |        0
1705.11/1705.75	c 1705s |      21 |  1174290 |  1008545 |     5848    362 |        0 |        0
1707.21/1707.89	c 1707s |      21 |  1175806 |  1009845 |     5848    362 |        0 |        0
1709.31/1709.96	c 1709s |      21 |  1177041 |  1010945 |     5848    362 |        0 |        0
1711.41/1712.05	c 1711s |      21 |  1178258 |  1012045 |     5848    363 |        0 |        0
1713.51/1714.13	c 1714s |      21 |  1179585 |  1013245 |     5848    363 |        0 |        0
1715.52/1716.16	c 1716s |      21 |  1180726 |  1014245 |     5848    363 |        0 |        0
1717.71/1718.31	c 1718s |      21 |  1181855 |  1015245 |     5848    364 |        0 |        0
1719.81/1720.44	c 1720s |      21 |  1182956 |  1016245 |     5848    364 |        0 |        0
1721.91/1722.59	c 1722s |      21 |  1184312 |  1017445 |     5848    364 |        0 |        0
1724.11/1724.70	c 1724s |      21 |  1185398 |  1018445 |     5848    364 |        0 |        0
1726.21/1726.85	c 1726s |      21 |  1186606 |  1019545 |     5848    365 |        0 |        0
1728.31/1728.97	c 1728s |      21 |  1187803 |  1020645 |     5848    365 |        0 |        0
1730.41/1731.06	c 1730s |      21 |  1188873 |  1021645 |     5848    365 |        0 |        0
1732.41/1733.06	c 1732s |      21 |  1189876 |  1022545 |     5848    366 |        0 |        0
1734.41/1735.07	c 1734s |      21 |  1191317 |  1023845 |     5848    366 |        0 |        0
1736.51/1737.10	c 1736s |      21 |  1192515 |  1024945 |     5848    366 |        0 |        0
1738.51/1739.19	c 1739s |      21 |  1193711 |  1026045 |     5848    367 |        0 |        0
1740.60/1741.23	c 1741s |      21 |  1194949 |  1027145 |     5848    367 |        0 |        0
1742.60/1743.26	c 1743s |      21 |  1196214 |  1028245 |     5848    367 |        0 |        0
1744.70/1745.30	c 1745s |      21 |  1197280 |  1029245 |     5848    368 |        0 |        0
1746.90/1747.55	c 1747s |      21 |  1198471 |  1030345 |     5848    368 |        0 |        0
1749.10/1749.74	c 1749s |      21 |  1199844 |  1031545 |     5848    368 |        0 |        0
1751.30/1752.00	c 1751s |      21 |  1200917 |  1032545 |     5848    369 |        0 |        0
1753.50/1754.14	c 1754s |      21 |  1202522 |  1033945 |     5848    369 |        0 |        0
1755.60/1756.24	c 1756s |      21 |  1203859 |  1035145 |     5848    369 |        0 |        0
1757.80/1758.44	c 1758s |      21 |  1204931 |  1036145 |     5848    370 |        0 |        0
1759.80/1760.45	c 1760s |      21 |  1206242 |  1037345 |     5848    370 |        0 |        0
1761.90/1762.54	c 1762s |      21 |  1207439 |  1038445 |     5848    370 |        0 |        0
1764.20/1764.85	c 1764s |      21 |  1208539 |  1039445 |     5848    371 |        0 |        0
1766.20/1766.86	c 1766s |      21 |  1209867 |  1040645 |     5848    371 |        0 |        0
1768.30/1768.96	c 1768s |      21 |  1211201 |  1041845 |     5848    371 |        0 |        0
1770.59/1771.26	c 1771s |      21 |  1212421 |  1042945 |     5848    372 |        0 |        0
1772.79/1773.41	c 1773s |      21 |  1213708 |  1044145 |     5848    372 |        0 |        0
1774.80/1775.48	c 1775s |      21 |  1214813 |  1045145 |     5848    372 |        0 |        0
1777.00/1777.61	c 1777s |      21 |  1216004 |  1046245 |     5848    372 |        0 |        0
1779.09/1779.76	c 1779s |      21 |  1217384 |  1047445 |     5848    373 |        0 |        0
1781.19/1781.89	c 1781s |      21 |  1218587 |  1048545 |     5848    373 |        0 |        0
1783.29/1783.91	c 1783s |      21 |  1219666 |  1049545 |     5848    373 |        0 |        0
1785.29/1785.94	c 1785s |      21 |  1220741 |  1050545 |     5848    374 |        0 |        0
1787.39/1788.06	c 1787s |      21 |  1222045 |  1051745 |     5848    374 |        0 |        0
1789.49/1790.15	c 1790s |      21 |  1223253 |  1052845 |     5848    374 |        0 |        0
1791.49/1792.18	c 1792s |      21 |  1224133 |  1053645 |     5848    375 |        0 |        0
1793.60/1794.25	c 1794s |      21 |  1225498 |  1054845 |     5848    375 |        0 |        0
1795.80/1796.44	c 1796s |      21 |  1226796 |  1056045 |     5848    375 |        0 |        0
1797.90/1798.52	c 1798s |      21 |  1227987 |  1057145 |     5848    376 |        0 |        0
1800.10/1800.70	c 1800s |      21 |  1229262 |  1058345 |     5848    376 |        0 |        0

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-4093633-1466091451/watcher-4093633-1466091451 -o /tmp/evaluation-result-4093633-1466091451/solver-4093633-1466091451 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093633-1466091451.wbo 

pid=16527
running on 4 cores: 1,3,5,7

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: 1.99 2.06 2.03 3/179 16530
/proc/meminfo: memFree=30368640/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 2704 0 0 0 0 0 0 0 20 0 4 0 11190775 741797888 3065 33554432000 4194304 16246674 140736256537840 140736256537264 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 181871 3074 441 2943 0 178765 0
[pid=16530/tid=16531] ppid=16527 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 760672256 3135 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=746940 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 764866560 3151 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=751036 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11190775 769060864 3169 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 1.99 2.06 2.03 3/179 16530
/proc/meminfo: memFree=30368640/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 25399 0 0 0 6 3 0 0 20 0 4 0 11190775 1247350784 25754 33554432000 4194304 16246674 140736256537840 140736256537264 12486453 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 304529 25763 603 2943 0 301423 0
[pid=16530/tid=16531] ppid=16527 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1247350784 25771 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1247350784 25780 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11190775 1247350784 25788 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200515 s]
/proc/loadavg: 1.99 2.06 2.03 3/179 16530
/proc/meminfo: memFree=30368640/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 49152 0 0 0 14 5 0 0 20 0 4 0 11190775 1247350784 49499 33554432000 4194304 16246674 140736256537840 140736256537264 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 304529 49510 805 2943 0 301423 0
[pid=16530/tid=16531] ppid=16527 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1247350784 49517 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1247350784 49525 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11190775 1247350784 49536 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300454 s]
/proc/loadavg: 1.99 2.06 2.03 3/179 16530
/proc/meminfo: memFree=30368640/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 74479 0 0 0 20 9 0 0 20 0 4 0 11190775 1247350784 74826 33554432000 4194304 16246674 140736256537840 140736256537264 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 304529 74839 805 2943 0 301423 0
[pid=16530/tid=16531] ppid=16527 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1247350784 74850 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1247350784 74858 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11190775 1247350784 74864 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700377 s]
/proc/loadavg: 1.99 2.06 2.03 3/179 16530
/proc/meminfo: memFree=30368640/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 181184 0 0 0 46 23 0 0 20 0 4 0 11190775 1247350784 181531 33554432000 4194304 16246674 140736256537840 140736256537264 12479207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 304529 181543 805 2943 0 301423 0
[pid=16530/tid=16531] ppid=16527 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1247350784 181548 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1247350784 181563 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11190775 1247350784 181572 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 1.99 2.06 2.03 3/183 16534
/proc/meminfo: memFree=29381992/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 246538 0 0 0 117 32 0 0 20 0 4 0 11190775 1251545088 246863 33554432000 4194304 16246674 140736256537840 140736256537152 5545776 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 305553 246863 870 2943 0 302447 0
[pid=16530/tid=16531] ppid=16527 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1251545088 246863 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1251545088 246863 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1251545088 246863 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1222212

[startup+3.10041 s]
/proc/loadavg: 1.99 2.06 2.03 3/183 16534
/proc/meminfo: memFree=29297292/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 267708 0 0 0 274 35 0 0 20 0 4 0 11190775 1338576896 268033 33554432000 4194304 16246674 140736256537840 140736256519744 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 326801 268033 872 2943 0 323695 0
[pid=16530/tid=16531] ppid=16527 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1338576896 268033 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1338576896 268033 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1338576896 268033 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30038 s]
/proc/loadavg: 2.07 2.08 2.04 3/183 16534
/proc/meminfo: memFree=29295308/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 267923 0 0 0 594 35 0 0 20 0 4 0 11190775 1338576896 268248 33554432000 4194304 16246674 140736256537840 140736256519744 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 326801 268248 875 2943 0 323695 0
[pid=16530/tid=16531] ppid=16527 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1338576896 268248 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1338576896 268248 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1338576896 268248 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.07 2.08 2.04 3/183 16534
/proc/meminfo: memFree=29284588/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1311300 CPUtime=12.68 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 268947 0 0 0 1233 35 0 0 20 0 4 0 11190775 1342771200 269272 33554432000 4194304 16246674 140736256537840 140736256519744 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 327825 269272 875 2943 0 324719 0
[pid=16530/tid=16531] ppid=16527 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1342771200 269272 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1342771200 269272 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1342771200 269272 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 2.05 2.07 2.03 3/183 16534
/proc/meminfo: memFree=29281672/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1314372 CPUtime=25.48 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 269715 0 0 0 2513 35 0 0 20 0 4 0 11190775 1345916928 270040 33554432000 4194304 16246674 140736256537840 140736256519744 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 328593 270040 875 2943 0 325487 0
[pid=16530/tid=16531] ppid=16527 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1345916928 270040 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1345916928 270040 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1345916928 270040 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.11 2.08 2.04 3/184 16535
/proc/meminfo: memFree=29277728/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1318468 CPUtime=51.08 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 270558 0 0 0 5072 36 0 0 20 0 4 0 11190775 1350111232 270883 33554432000 4194304 16246674 140736256537840 140736256519744 13963936 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 329617 270883 875 2943 0 326511 0
[pid=16530/tid=16531] ppid=16527 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1350111232 270883 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1350111232 270883 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1350111232 270883 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.301 s]
/proc/loadavg: 2.12 2.08 2.04 3/183 16536
/proc/meminfo: memFree=29277120/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1318468 CPUtime=102.28 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 270739 0 0 0 10192 36 0 0 20 0 4 0 11190775 1350111232 271064 33554432000 4194304 16246674 140736256537840 140736256519744 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 329617 271064 875 2943 0 326511 0
[pid=16530/tid=16531] ppid=16527 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1350111232 271064 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1350111232 271064 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1350111232 271064 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1327684

[startup+1362.3 s]
/proc/loadavg: 2.15 2.14 2.09 3/184 16571
/proc/meminfo: memFree=29253660/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1327684 CPUtime=1361.77 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 273480 0 0 0 136117 60 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140736256519744 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 331921 273372 875 2943 0 328815 0
[pid=16530/tid=16531] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1327684

[startup+1422.3 s]
/proc/loadavg: 2.05 2.11 2.09 3/184 16595
/proc/meminfo: memFree=29254084/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1327684 CPUtime=1421.76 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 273485 0 0 0 142116 60 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140736256519744 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 331921 273372 875 2943 0 328815 0
[pid=16530/tid=16531] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1327684

[startup+1482.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 16596
/proc/meminfo: memFree=29254360/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1327684 CPUtime=1481.75 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 273485 0 0 0 148114 61 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140736256519744 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 331921 273372 875 2943 0 328815 0
[pid=16530/tid=16531] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1327684

[startup+1542.31 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 16597
/proc/meminfo: memFree=29254736/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1327684 CPUtime=1541.74 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 273485 0 0 0 154113 61 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140736256519744 13759557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 331921 273372 875 2943 0 328815 0
[pid=16530/tid=16531] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1327684

[startup+1602.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/183 16598
/proc/meminfo: memFree=29254484/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1327684 CPUtime=1601.72 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 273485 0 0 0 160111 61 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140736256519744 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 331921 273372 875 2943 0 328815 0
[pid=16530/tid=16531] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1327684

[startup+1662.3 s]
/proc/loadavg: 2.13 2.11 2.09 4/182 16599
/proc/meminfo: memFree=29254488/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1327684 CPUtime=1661.72 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 273485 0 0 0 166110 62 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140736256519744 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 331921 273372 875 2943 0 328815 0
[pid=16530/tid=16531] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1327684

[startup+1722.3 s]
/proc/loadavg: 2.19 2.14 2.10 3/183 16601
/proc/meminfo: memFree=29252376/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1327684 CPUtime=1721.71 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 273485 0 0 0 172109 62 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140736256519744 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 331921 273372 875 2943 0 328815 0
[pid=16530/tid=16531] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1327684

[startup+1782.3 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 16602
/proc/meminfo: memFree=29250940/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1327684 CPUtime=1781.69 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 273485 0 0 0 178107 62 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140736256519744 5545788 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 331921 273372 875 2943 0 328815 0
[pid=16530/tid=16531] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1327684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.20 2.14 2.10 3/183 16651
/proc/meminfo: memFree=29663160/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1327684 CPUtime=1800.1 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 273485 0 0 0 179948 62 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140736256519744 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 331921 273372 875 2943 0 328815 0
[pid=16530/tid=16531] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1327684

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 16530 sig 9
??? kill -16530 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.7 s]
/proc/loadavg: 2.20 2.14 2.10 3/183 16651
/proc/meminfo: memFree=29663160/32872528 swapFree=532956/565660
[pid=16530] ppid=16527 vsize=1327684 CPUtime=1800.1 cores=1,3,5,7
/proc/16530/stat : 16530 (toysat) R 16527 16530 11130 0 -1 4202496 273485 0 0 0 179948 62 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140736256519744 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16530/statm: 331921 273372 875 2943 0 328815 0
[pid=16530/tid=16531] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16531/stat : 16531 (toysat) S 16527 16530 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607607516400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16530/tid=16532] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16532/stat : 16532 (toysat) S 16527 16530 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607597026544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16530/tid=16533] ppid=16527 vsize=1327684 CPUtime=0 cores=1,3,5,7
/proc/16530/task/16533/stat : 16533 (toysat) S 16527 16530 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11190775 1359548416 273372 33554432000 4194304 16246674 140736256537840 140607586553008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1327684

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.11
CPU user time (s): 1799.48
CPU system time (s): 0.629904
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 1327684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.629904
maximum resident set size= 1093488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273485
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= 454
involuntary context switches= 2247

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0402 second user time and 16.6805 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 17:37:31
IDJOB=4093633
IDBENCH=79161
IDSOLVER=2553
FILE ID=node138/4093633-1466091451
RUNJOBID= node138-1466074865-13652
PBS_JOBID= 19904002
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093633-1466091451/watcher-4093633-1466091451 -o /tmp/evaluation-result-4093633-1466091451/solver-4093633-1466091451 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093633-1466091451.wbo

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

MD5SUM BENCH= 4968680d12488161e407b87be5e33fb1
RANDOM SEED=1010838545

node138.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.395
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.79
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.395
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.395
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.395
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.395
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.395
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.395
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.54
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.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30369020 kB
Buffers:           44324 kB
Cached:           117316 kB
SwapCached:         1380 kB
Active:          1151336 kB
Inactive:          84644 kB
Active(anon):    1075040 kB
Inactive(anon):     1664 kB
Active(file):      76296 kB
Inactive(file):    82980 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             33020 kB
Writeback:             0 kB
AnonPages:       1639324 kB
Mapped:            10588 kB
Shmem:                 0 kB
Slab:             568772 kB
SReclaimable:      12084 kB
SUnreclaim:       556688 kB
KernelStack:        1472 kB
PageTables:         7284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1786424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71716 MiB
End job on node138 at 2016-06-16 18:07:32