Trace number 4093405

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.07 1800.51

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-51-50--soft-66-100-0.wbo
MD5SUMc9611a719411a0f5e82fa4122f33d8f1
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.03
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2550
Total number of constraints101
Number of soft constraints30
Number of constraints which are clauses51
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint50
Maximum length of a constraint51
Top cost 1659
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1658
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 52
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-16T16:08:58+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-4093405-1466086137.wbo"]
0.00/0.01	c use --random-gen="2915495806 4148278849 1810591212 852035628 78162946 402840238 1384942377 1010028133 2142039788 970970788 1495194467 4116175539 1199699557 3567266885 3235353651 3093893920 210489328 2645171895 1099463364 3237740064 2681592361 3066138071 1058832914 790659759 1548418909 2191639803 72877124 3124227025 2047353680 344459376 657460058 4135856718 818088955 435627334 3127017625 582168554 2700848866 14265409 2316804815 3060704951 2936294029 4031551137 1099936458 3949488696 4247019777 3337658150 570322394 3598727412 833236644 4132531488 528941019 2089533115 862866469 2318768655 3443068586 1364749638 284241410 433392930 3871615089 1549830030 1058254512 2398050335 2358491847 460726806 3932594289 664483750 1915889560 1376395212 1380595826 2686264470 3217611015 954929021 3292392218 384096766 1474725385 2064139163 2386107935 2985660506 591067147 2161545464 19074572 1810283771 3049535323 3040661118 2110427259 2937721845 3012884417 855371365 3143446403 3168501844 1388012777 798647822 3009061512 2348035475 51340667 940155123 2604700004 3114982592 699412135 1723884951 2021434795 965974965 3946148940 3582462540 931887349 2015888161 1082203442 3986118353 338092996 946519568 2750615495 2156582903 25255740 2802553553 3709736597 2128392412 4278678061 2685729921 1827973328 546436715 424931577 351497116 188263734 2403957545 2061036601 2665158501 1328364 3357393438 3185065073 3205292556 3787162926 3312534349 3286738975 3329326889 947279121 1679314858 2136471202 3741239793 2567895045 1943036683 253042908 3521388924 1988251040 1691711080 1497332434 2027596181 2022976311 2111221390 1790485469 668877687 3881610 3534672170 3480810675 3936220628 2193430188 3807767923 838914483 989518601 1291237444 3357493953 3987260024 3425619413 1063899065 2277014608 3674493681 1015172224 3641326688 1569410879 1151507645 1469752370 16499024 225210040 372262038 1455941142 852044416 1543044307 4015532655 3669449073 841621264 3773090783 2689837814 3104069232 1289427280 3268992328 3735755815 1630295836 3827468306 355937935 4045188240 3424680366 3156753853 1483637496 590607823 1608811276 663123977 3099983500 163693490 2365576088 2445997037 740699181 3195987239 1945466791 703164137 2313865928 1035022194 3832329515 2360821337 389647564 1769256189 3787003724 2504513480 2126367398 3029889327 2577348808 1311266466 543523569 3725855061 2081041991 1719188543 843487251 3367118599 2105699455 3533964721 351120984 61577241 322485817 2645134263 3735631399 3205316080 915977436 901580216 204677806 3747947587 2572183085 4213666683 2666934536 3670308463 870079946 3329064317 1457855685 4211519136 1046476436 2824227673 1116878092 213076780 3560491635 88103426 1125062205 159107662 1231531094 825209301 926723715 1646714277 2470225588 2926027871 4138978427 255 362436" option to reproduce the execution
0.08/0.12	c #vars 2550
0.08/0.12	c #constraints 101
0.08/0.13	c BCD2: Hardening is enabled.
0.08/0.13	c BCD2: BiasedSearch is enabled.
0.08/0.13	c Solving starts ...
0.08/0.13	c ============================[ Search Statistics ]============================
0.08/0.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.13	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.13	c =============================================================================
0.08/0.13	c  0.0s |       0 |        0 |        0 |      893      0 |        0 |        0
0.08/0.18	c  0.1s |       1 |      197 |      100 |      893      0 |        0 |        0
0.08/0.19	c  0.1s |       1 |     1809 |      101 |      983      0 |        0 |        0
0.08/0.19	c #cpu_time = 0.058s
0.08/0.19	c #wall_clock_time = 0.058s
0.08/0.19	c #decision = 1809
0.08/0.19	c #random_decision = 9
0.08/0.19	c #conflict = 101
0.08/0.19	c #restart = 1
0.08/0.19	o 764
0.08/0.19	c BCD2: updating upper bound: 1658 -> 763
0.08/0.19	c BCD2: 0 <= obj <= 763
0.08/0.19	c BCD2: #cores=0, #unrelaxed=30, #relaxed=0, #hardened=0
0.08/0.19	c BCD2: #sat=1 #unsat=1 bias=1/2
0.08/0.19	c Solving starts ...
0.08/0.19	c ============================[ Search Statistics ]============================
0.08/0.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.19	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.19	c =============================================================================
0.08/0.19	c  0.0s |       0 |        0 |        0 |      983      0 |        0 |        0
0.29/0.30	c  0.1s |       1 |     1120 |      100 |      983      0 |        0 |        0
0.39/0.47	c  0.3s |       2 |     2500 |      250 |     1082      0 |        0 |        0
0.69/0.72	c  0.5s |       3 |     4228 |      475 |     1191      0 |        0 |        0
1.09/1.18	c  1.0s |       4 |     5938 |      813 |     1311      0 |        0 |        0
1.58/1.63	c  1.4s |       5 |     7889 |     1320 |     1443      0 |        0 |        0
2.58/2.65	c  2.5s |       6 |    10443 |     2081 |     1588      0 |        0 |        0
3.78/3.89	c  3.7s |       7 |    13082 |     3223 |     1747      1 |        0 |        0
5.98/6.01	c  5.8s |       7 |    17376 |     4823 |     1922      2 |        0 |        0
6.08/6.19	c  6.0s |       8 |    17529 |     4936 |     1922      2 |        0 |        0
8.19/8.29	c  8.1s |       8 |    20830 |     6636 |     1922      3 |        0 |        0
9.49/9.53	c  9.3s |       9 |    21825 |     7506 |     2115      3 |        0 |        0
11.59/11.60	c 11.4s |       9 |    24942 |     8906 |     2115      4 |        0 |        0
13.59/13.64	c 13.4s |       9 |    26331 |    10006 |     2115      5 |        0 |        0
15.69/15.72	c 15.5s |       9 |    27961 |    11306 |     2327      5 |        0 |        0
15.79/15.80	c 15.6s |      10 |    28027 |    11361 |     2327      5 |        0 |        0
17.79/17.87	c 17.7s |      10 |    31192 |    12661 |     2327      6 |        0 |        0
19.99/20.04	c 19.8s |      10 |    32346 |    13661 |     2327      6 |        0 |        0
22.09/22.12	c 21.9s |      10 |    33589 |    14761 |     2327      7 |        0 |        0
24.09/24.19	c 24.0s |      10 |    34601 |    15661 |     2327      7 |        0 |        0
26.39/26.41	c 26.2s |      10 |    35668 |    16561 |     2327      7 |        0 |        0
27.98/28.05	c 27.9s |      11 |    36347 |    17144 |     2560      8 |        0 |        0
30.08/30.14	c 29.9s |      11 |    38537 |    18644 |     2560      9 |        0 |        0
32.19/32.22	c 32.0s |      11 |    41438 |    20044 |     2560     10 |        0 |        0
34.29/34.32	c 34.1s |      11 |    43068 |    21244 |     2560     10 |        0 |        0
36.39/36.45	c 36.3s |      11 |    44195 |    22144 |     2560     10 |        0 |        0
38.49/38.53	c 38.3s |      11 |    45385 |    23144 |     2560     11 |        0 |        0
40.58/40.63	c 40.4s |      11 |    46437 |    24044 |     2560     11 |        0 |        0
42.78/42.84	c 42.6s |      11 |    47435 |    24844 |     2560     11 |        0 |        0
44.98/45.07	c 44.9s |      11 |    48420 |    25644 |     2816     12 |        0 |        0
45.48/45.54	c 45.4s |      12 |    48640 |    25819 |     2816     12 |        0 |        0
47.68/47.73	c 47.5s |      12 |    52015 |    27019 |     2816     13 |        0 |        0
49.78/49.84	c 49.6s |      12 |    53330 |    28119 |     2816     13 |        0 |        0
51.79/51.85	c 51.7s |      12 |    54418 |    29019 |     2816     13 |        0 |        0
53.89/53.96	c 53.8s |      12 |    55556 |    30019 |     2816     14 |        0 |        0
55.98/56.00	c 55.8s |      12 |    56788 |    31119 |     2816     14 |        0 |        0
58.18/58.27	c 58.1s |      12 |    57814 |    32019 |     2816     14 |        0 |        0
60.38/60.49	c 60.3s |      12 |    58747 |    32819 |     2816     15 |        0 |        0
62.48/62.50	c 62.3s |      12 |    59506 |    33519 |     2816     15 |        0 |        0
64.57/64.65	c 64.5s |      12 |    60293 |    34219 |     2816     15 |        0 |        0
66.57/66.69	c 66.5s |      12 |    61316 |    35119 |     2816     16 |        0 |        0
68.68/68.71	c 68.5s |      12 |    62475 |    36119 |     2816     16 |        0 |        0
70.68/70.77	c 70.6s |      12 |    63403 |    36919 |     2816     16 |        0 |        0
72.77/72.84	c 72.6s |      12 |    64164 |    37619 |     2816     17 |        0 |        0
74.78/74.88	c 74.7s |      12 |    65022 |    38419 |     2816     17 |        0 |        0
75.88/75.92	c 75.7s |      13 |    65473 |    38832 |     3098     17 |        0 |        0
77.87/77.99	c 77.8s |      13 |    69477 |    40332 |     3098     18 |        0 |        0
80.08/80.10	c 79.9s |      13 |    70995 |    41632 |     3098     18 |        0 |        0
82.18/82.28	c 82.1s |      13 |    72085 |    42632 |     3098     19 |        0 |        0
84.38/84.42	c 84.2s |      13 |    73302 |    43732 |     3098     19 |        0 |        0
86.47/86.56	c 86.4s |      13 |    74313 |    44632 |     3098     19 |        0 |        0
88.57/88.60	c 88.4s |      13 |    75217 |    45432 |     3098     20 |        0 |        0
90.67/90.78	c 90.6s |      13 |    76495 |    46532 |     3098     20 |        0 |        0
92.77/92.82	c 92.6s |      13 |    77501 |    47432 |     3098     20 |        0 |        0
94.86/94.92	c 94.7s |      13 |    78547 |    48332 |     3098     21 |        0 |        0
96.88/96.95	c 96.8s |      13 |    79686 |    49332 |     3098     21 |        0 |        0
99.08/99.11	c 98.9s |      13 |    80783 |    50332 |     3098     21 |        0 |        0
101.18/101.28	c  101s |      13 |    81877 |    51332 |     3098     22 |        0 |        0
103.27/103.39	c  103s |      13 |    82980 |    52332 |     3098     22 |        0 |        0
105.57/105.67	c  105s |      13 |    84229 |    53432 |     3098     23 |        0 |        0
107.77/107.88	c  107s |      13 |    85553 |    54632 |     3098     23 |        0 |        0
109.97/110.03	c  109s |      13 |    86671 |    55632 |     3098     23 |        0 |        0
112.06/112.12	c  111s |      13 |    87541 |    56432 |     3098     24 |        0 |        0
114.06/114.14	c  113s |      13 |    88410 |    57232 |     3098     24 |        0 |        0
116.26/116.33	c  116s |      13 |    89633 |    58332 |     3408     24 |        0 |        0
116.26/116.38	c  116s |      14 |    89660 |    58352 |     3408     24 |        0 |        0
118.36/118.43	c  118s |      14 |    92588 |    59952 |     3408     25 |        0 |        0
120.36/120.48	c  120s |      14 |    94154 |    61352 |     3408     25 |        0 |        0
122.56/122.64	c  122s |      14 |    95509 |    62552 |     3408     26 |        0 |        0
124.66/124.76	c  124s |      14 |    96847 |    63752 |     3408     26 |        0 |        0
126.76/126.85	c  126s |      14 |    97891 |    64652 |     3408     27 |        0 |        0
128.96/129.03	c  128s |      14 |    99254 |    65852 |     3408     27 |        0 |        0
131.17/131.25	c  131s |      14 |   100498 |    66952 |     3408     27 |        0 |        0
133.26/133.34	c  133s |      14 |   101602 |    67952 |     3408     28 |        0 |        0
135.37/135.45	c  135s |      14 |   102822 |    69052 |     3408     28 |        0 |        0
137.57/137.67	c  137s |      14 |   104039 |    70152 |     3408     28 |        0 |        0
139.67/139.76	c  139s |      14 |   105134 |    71152 |     3408     29 |        0 |        0
141.76/141.80	c  141s |      14 |   106211 |    72152 |     3408     29 |        0 |        0
143.76/143.86	c  143s |      14 |   107392 |    73252 |     3408     29 |        0 |        0
145.96/146.04	c  145s |      14 |   108578 |    74352 |     3408     30 |        0 |        0
147.96/148.04	c  147s |      14 |   109550 |    75252 |     3408     30 |        0 |        0
150.25/150.35	c  150s |      14 |   110608 |    76252 |     3408     31 |        0 |        0
152.35/152.48	c  152s |      14 |   111972 |    77452 |     3408     31 |        0 |        0
154.45/154.58	c  154s |      14 |   113163 |    78552 |     3408     31 |        0 |        0
156.56/156.68	c  156s |      14 |   114142 |    79452 |     3408     32 |        0 |        0
158.66/158.74	c  158s |      14 |   115211 |    80452 |     3408     32 |        0 |        0
160.76/160.89	c  160s |      14 |   116183 |    81352 |     3408     32 |        0 |        0
162.86/162.92	c  162s |      14 |   117119 |    82252 |     3408     33 |        0 |        0
164.96/165.04	c  164s |      14 |   118205 |    83252 |     3408     33 |        0 |        0
166.95/167.04	c  166s |      14 |   119286 |    84252 |     3408     33 |        0 |        0
169.05/169.11	c  168s |      14 |   120270 |    85152 |     3408     34 |        0 |        0
171.05/171.18	c  170s |      14 |   121487 |    86252 |     3408     34 |        0 |        0
173.15/173.26	c  173s |      14 |   122844 |    87452 |     3749     34 |        0 |        0
173.45/173.57	c  173s |      15 |   123047 |    87632 |     3749     34 |        0 |        0
175.55/175.65	c  175s |      15 |   126010 |    89132 |     3749     35 |        0 |        0
177.65/177.72	c  177s |      15 |   127767 |    90632 |     3749     35 |        0 |        0
179.75/179.80	c  179s |      15 |   129151 |    91832 |     3749     36 |        0 |        0
181.85/181.95	c  181s |      15 |   130574 |    93032 |     3749     36 |        0 |        0
184.05/184.19	c  183s |      15 |   131927 |    94132 |     3749     37 |        0 |        0
186.15/186.20	c  186s |      15 |   133078 |    95132 |     3749     37 |        0 |        0
188.25/188.39	c  188s |      15 |   134112 |    96032 |     3749     37 |        0 |        0
190.45/190.58	c  190s |      15 |   135117 |    96932 |     3749     37 |        0 |        0
192.64/192.72	c  192s |      15 |   136139 |    97832 |     3749     38 |        0 |        0
194.75/194.85	c  194s |      15 |   137107 |    98732 |     3749     38 |        0 |        0
196.86/196.95	c  196s |      15 |   138255 |    99732 |     3749     38 |        0 |        0
199.05/199.18	c  198s |      15 |   139338 |   100632 |     3749     39 |        0 |        0
201.25/201.36	c  201s |      15 |   140475 |   101632 |     3749     39 |        0 |        0
203.45/203.57	c  203s |      15 |   141441 |   102532 |     3749     39 |        0 |        0
205.44/205.59	c  205s |      15 |   142210 |   103232 |     3749     39 |        0 |        0
207.74/207.81	c  207s |      15 |   143174 |   104132 |     3749     40 |        0 |        0
209.74/209.84	c  209s |      15 |   144051 |   104932 |     3749     40 |        0 |        0
211.73/211.88	c  211s |      15 |   144924 |   105732 |     3749     40 |        0 |        0
213.83/213.94	c  213s |      15 |   145849 |   106532 |     3749     41 |        0 |        0
215.93/216.00	c  215s |      15 |   147239 |   107632 |     3749     41 |        0 |        0
217.93/218.09	c  217s |      15 |   148324 |   108632 |     3749     41 |        0 |        0
220.04/220.15	c  219s |      15 |   149368 |   109532 |     3749     41 |        0 |        0
222.24/222.33	c  222s |      15 |   150363 |   110432 |     3749     42 |        0 |        0
224.23/224.38	c  224s |      15 |   151362 |   111332 |     3749     42 |        0 |        0
226.43/226.53	c  226s |      15 |   152386 |   112232 |     3749     42 |        0 |        0
228.53/228.66	c  228s |      15 |   153382 |   113132 |     3749     43 |        0 |        0
230.73/230.83	c  230s |      15 |   154352 |   114032 |     3749     43 |        0 |        0
232.82/232.99	c  232s |      15 |   155351 |   114932 |     3749     43 |        0 |        0
234.92/235.08	c  234s |      15 |   156359 |   115832 |     3749     44 |        0 |        0
237.03/237.15	c  236s |      15 |   157483 |   116832 |     3749     44 |        0 |        0
239.03/239.16	c  238s |      15 |   158490 |   117732 |     3749     44 |        0 |        0
241.13/241.26	c  241s |      15 |   159481 |   118632 |     3749     44 |        0 |        0
243.33/243.48	c  243s |      15 |   160354 |   119432 |     3749     45 |        0 |        0
245.43/245.52	c  245s |      15 |   161241 |   120232 |     3749     45 |        0 |        0
247.43/247.58	c  247s |      15 |   162086 |   121032 |     3749     45 |        0 |        0
249.52/249.63	c  249s |      15 |   162953 |   121832 |     3749     45 |        0 |        0
251.72/251.83	c  251s |      15 |   163915 |   122732 |     3749     46 |        0 |        0
253.82/253.98	c  253s |      15 |   164884 |   123632 |     3749     46 |        0 |        0
255.92/256.04	c  255s |      15 |   165760 |   124432 |     3749     46 |        0 |        0
257.93/258.06	c  257s |      15 |   166528 |   125132 |     3749     47 |        0 |        0
260.23/260.30	c  260s |      15 |   167492 |   126032 |     3749     47 |        0 |        0
262.23/262.34	c  262s |      15 |   168428 |   126832 |     3749     47 |        0 |        0
264.42/264.56	c  264s |      15 |   169323 |   127632 |     3749     47 |        0 |        0
266.52/266.63	c  266s |      15 |   170137 |   128332 |     3749     48 |        0 |        0
268.72/268.85	c  268s |      15 |   171043 |   129132 |     3749     48 |        0 |        0
270.82/270.95	c  270s |      15 |   171947 |   129932 |     3749     48 |        0 |        0
273.12/273.20	c  273s |      15 |   172805 |   130732 |     4124     48 |        0 |        0
275.12/275.27	c  275s |      15 |   173583 |   131432 |     4124     48 |        0 |        0
275.72/275.83	c  275s |      16 |   173707 |   131552 |     4124     49 |        0 |        0
277.82/277.92	c  277s |      16 |   176519 |   133152 |     4124     49 |        0 |        0
279.92/280.01	c  279s |      16 |   178091 |   134552 |     4124     49 |        0 |        0
281.92/282.05	c  281s |      16 |   179361 |   135652 |     4124     50 |        0 |        0
284.01/284.20	c  284s |      16 |   180706 |   136852 |     4124     50 |        0 |        0
286.21/286.32	c  286s |      16 |   181968 |   137952 |     4124     50 |        0 |        0
288.22/288.36	c  288s |      16 |   183114 |   138952 |     4124     51 |        0 |        0
290.42/290.55	c  290s |      16 |   184350 |   140052 |     4124     51 |        0 |        0
292.41/292.57	c  292s |      16 |   185365 |   140952 |     4124     51 |        0 |        0
294.51/294.65	c  294s |      16 |   186529 |   141952 |     4124     52 |        0 |        0
296.62/296.77	c  296s |      16 |   188053 |   143152 |     4124     52 |        0 |        0
298.62/298.79	c  298s |      16 |   189193 |   144152 |     4124     52 |        0 |        0
300.82/300.98	c  300s |      16 |   190341 |   145152 |     4124     53 |        0 |        0
303.02/303.10	c  302s |      16 |   191362 |   146052 |     4124     53 |        0 |        0
305.02/305.18	c  304s |      16 |   192376 |   146952 |     4124     53 |        0 |        0
307.22/307.34	c  307s |      16 |   193245 |   147752 |     4124     54 |        0 |        0
309.31/309.46	c  309s |      16 |   194249 |   148652 |     4124     54 |        0 |        0
311.41/311.59	c  311s |      16 |   195233 |   149552 |     4124     54 |        0 |        0
313.52/313.65	c  313s |      16 |   196350 |   150552 |     4124     54 |        0 |        0
315.62/315.71	c  315s |      16 |   197444 |   151552 |     4124     55 |        0 |        0
317.82/317.92	c  317s |      16 |   198583 |   152552 |     4124     55 |        0 |        0
319.91/320.05	c  319s |      16 |   199705 |   153552 |     4124     55 |        0 |        0
322.01/322.18	c  321s |      16 |   200695 |   154452 |     4124     56 |        0 |        0
324.21/324.31	c  324s |      16 |   201852 |   155452 |     4124     56 |        0 |        0
326.21/326.33	c  326s |      16 |   203142 |   156552 |     4124     56 |        0 |        0
328.41/328.51	c  328s |      16 |   204272 |   157552 |     4124     57 |        0 |        0
330.51/330.66	c  330s |      16 |   205608 |   158752 |     4124     57 |        0 |        0
332.61/332.71	c  332s |      16 |   206599 |   159652 |     4124     57 |        0 |        0
334.61/334.74	c  334s |      16 |   207678 |   160652 |     4124     57 |        0 |        0
336.71/336.88	c  336s |      16 |   208641 |   161452 |     4124     58 |        0 |        0
338.91/339.04	c  338s |      16 |   209686 |   162352 |     4124     58 |        0 |        0
341.02/341.16	c  340s |      16 |   210747 |   163252 |     4124     58 |        0 |        0
343.11/343.27	c  343s |      16 |   211845 |   164152 |     4124     59 |        0 |        0
345.31/345.41	c  345s |      16 |   213021 |   165152 |     4124     59 |        0 |        0
347.41/347.59	c  347s |      16 |   214135 |   166152 |     4124     59 |        0 |        0
349.50/349.68	c  349s |      16 |   215275 |   167152 |     4124     59 |        0 |        0
351.70/351.86	c  351s |      16 |   216417 |   168152 |     4124     60 |        0 |        0
353.70/353.87	c  353s |      16 |   217470 |   169052 |     4124     60 |        0 |        0
355.90/356.08	c  355s |      16 |   218607 |   170052 |     4124     60 |        0 |        0
358.10/358.29	c  358s |      16 |   219643 |   170952 |     4124     61 |        0 |        0
360.10/360.29	c  360s |      16 |   220633 |   171852 |     4124     61 |        0 |        0
362.20/362.32	c  362s |      16 |   221620 |   172752 |     4124     61 |        0 |        0
364.50/364.61	c  364s |      16 |   222766 |   173752 |     4124     62 |        0 |        0
366.60/366.76	c  366s |      16 |   223949 |   174752 |     4124     62 |        0 |        0
368.80/368.97	c  368s |      16 |   225095 |   175752 |     4124     62 |        0 |        0
371.00/371.13	c  370s |      16 |   226167 |   176652 |     4124     62 |        0 |        0
373.20/373.31	c  373s |      16 |   227209 |   177552 |     4124     63 |        0 |        0
375.20/375.35	c  375s |      16 |   228359 |   178552 |     4124     63 |        0 |        0
377.20/377.35	c  377s |      16 |   229262 |   179352 |     4124     63 |        0 |        0
379.50/379.61	c  379s |      16 |   230299 |   180252 |     4124     64 |        0 |        0
381.49/381.67	c  381s |      16 |   231361 |   181152 |     4124     64 |        0 |        0
383.70/383.87	c  383s |      16 |   232467 |   182152 |     4124     64 |        0 |        0
385.90/386.00	c  385s |      16 |   233496 |   183052 |     4124     64 |        0 |        0
388.00/388.13	c  387s |      16 |   234525 |   183952 |     4124     65 |        0 |        0
390.00/390.16	c  389s |      16 |   235511 |   184852 |     4124     65 |        0 |        0
392.20/392.39	c  392s |      16 |   236639 |   185852 |     4124     65 |        0 |        0
394.60/394.72	c  394s |      16 |   237644 |   186752 |     4124     66 |        0 |        0
396.59/396.74	c  396s |      16 |   238648 |   187652 |     4124     66 |        0 |        0
398.79/398.96	c  398s |      16 |   239801 |   188652 |     4124     66 |        0 |        0
400.89/401.01	c  400s |      16 |   240947 |   189652 |     4124     66 |        0 |        0
402.89/403.09	c  402s |      16 |   241874 |   190452 |     4124     67 |        0 |        0
405.08/405.21	c  405s |      16 |   243008 |   191452 |     4124     67 |        0 |        0
407.28/407.41	c  407s |      16 |   244003 |   192352 |     4124     67 |        0 |        0
409.29/409.49	c  409s |      16 |   244907 |   193152 |     4124     67 |        0 |        0
411.49/411.68	c  411s |      16 |   245919 |   194052 |     4124     68 |        0 |        0
413.79/413.90	c  413s |      16 |   246947 |   194952 |     4124     68 |        0 |        0
415.89/416.00	c  415s |      16 |   247842 |   195752 |     4124     68 |        0 |        0
417.99/418.13	c  417s |      16 |   248717 |   196552 |     4537     68 |        0 |        0
419.99/420.14	c  419s |      16 |   249570 |   197252 |     4537     69 |        0 |        0
420.39/420.53	c  420s |      17 |   249781 |   197432 |     4537     69 |        0 |        0
422.48/422.64	c  422s |      17 |   252704 |   199132 |     4537     69 |        0 |        0
424.68/424.83	c  424s |      17 |   254075 |   200332 |     4537     70 |        0 |        0
426.69/426.89	c  426s |      17 |   255405 |   201532 |     4537     70 |        0 |        0
428.78/428.99	c  428s |      17 |   256590 |   202632 |     4537     70 |        0 |        0
430.98/431.14	c  430s |      17 |   257553 |   203532 |     4537     70 |        0 |        0
433.08/433.23	c  433s |      17 |   258714 |   204532 |     4537     71 |        0 |        0
435.18/435.32	c  435s |      17 |   259919 |   205632 |     4537     71 |        0 |        0
437.28/437.46	c  437s |      17 |   261019 |   206632 |     4537     71 |        0 |        0
439.38/439.51	c  439s |      17 |   261897 |   207432 |     4537     72 |        0 |        0
441.47/441.60	c  441s |      17 |   263013 |   208432 |     4537     72 |        0 |        0
443.47/443.60	c  443s |      17 |   264006 |   209332 |     4537     72 |        0 |        0
445.57/445.74	c  445s |      17 |   264991 |   210232 |     4537     72 |        0 |        0
447.68/447.82	c  447s |      17 |   265845 |   211032 |     4537     73 |        0 |        0
449.67/449.82	c  449s |      17 |   266830 |   211932 |     4537     73 |        0 |        0
451.67/451.89	c  451s |      17 |   267829 |   212832 |     4537     73 |        0 |        0
453.87/454.05	c  453s |      17 |   268796 |   213732 |     4537     73 |        0 |        0
456.07/456.21	c  456s |      17 |   269669 |   214532 |     4537     74 |        0 |        0
458.27/458.41	c  458s |      17 |   270729 |   215532 |     4537     74 |        0 |        0
460.37/460.57	c  460s |      17 |   272001 |   216632 |     4537     74 |        0 |        0
462.67/462.89	c  462s |      17 |   273130 |   217632 |     4537     75 |        0 |        0
464.87/465.07	c  464s |      17 |   274373 |   218732 |     4537     75 |        0 |        0
467.07/467.21	c  467s |      17 |   275367 |   219632 |     4537     75 |        0 |        0
469.16/469.37	c  469s |      17 |   276345 |   220532 |     4537     75 |        0 |        0
471.36/471.59	c  471s |      17 |   277208 |   221332 |     4537     76 |        0 |        0
473.46/473.60	c  473s |      17 |   278176 |   222232 |     4537     76 |        0 |        0
475.47/475.67	c  475s |      17 |   279144 |   223132 |     4537     76 |        0 |        0
477.67/477.82	c  477s |      17 |   280025 |   223932 |     4537     76 |        0 |        0
479.66/479.88	c  479s |      17 |   280875 |   224732 |     4537     77 |        0 |        0
481.77/481.97	c  481s |      17 |   281839 |   225632 |     4537     77 |        0 |        0
483.97/484.17	c  483s |      17 |   282699 |   226432 |     4537     77 |        0 |        0
486.17/486.33	c  486s |      17 |   283895 |   227432 |     4537     77 |        0 |        0
488.26/488.40	c  488s |      17 |   284914 |   228332 |     4537     78 |        0 |        0
490.26/490.44	c  490s |      17 |   285905 |   229232 |     4537     78 |        0 |        0
492.46/492.63	c  492s |      17 |   287138 |   230332 |     4537     78 |        0 |        0
494.45/494.68	c  494s |      17 |   288161 |   231232 |     4537     78 |        0 |        0
496.45/496.68	c  496s |      17 |   289037 |   232032 |     4537     79 |        0 |        0
498.65/498.82	c  498s |      17 |   290135 |   233032 |     4537     79 |        0 |        0
500.75/500.96	c  500s |      17 |   291129 |   233932 |     4537     79 |        0 |        0
503.15/503.34	c  503s |      17 |   292075 |   234832 |     4537     80 |        0 |        0
505.35/505.51	c  505s |      17 |   293067 |   235732 |     4537     80 |        0 |        0
507.45/507.68	c  507s |      17 |   294059 |   236632 |     4537     80 |        0 |        0
509.54/509.71	c  509s |      17 |   295033 |   237532 |     4537     80 |        0 |        0
511.54/511.76	c  511s |      17 |   295906 |   238332 |     4537     81 |        0 |        0
513.74/513.99	c  513s |      17 |   296975 |   239332 |     4537     81 |        0 |        0
516.04/516.24	c  516s |      17 |   298084 |   240332 |     4537     81 |        0 |        0
518.06/518.25	c  518s |      17 |   299056 |   241232 |     4537     81 |        0 |        0
520.16/520.32	c  520s |      17 |   299917 |   242032 |     4537     82 |        0 |        0
522.35/522.52	c  522s |      17 |   301046 |   243032 |     4537     82 |        0 |        0
524.45/524.69	c  524s |      17 |   302169 |   244032 |     4537     82 |        0 |        0
526.55/526.76	c  526s |      17 |   303042 |   244832 |     4537     82 |        0 |        0
528.74/528.96	c  528s |      17 |   303911 |   245632 |     4537     83 |        0 |        0
530.74/530.99	c  530s |      17 |   304773 |   246432 |     4537     83 |        0 |        0
532.84/533.09	c  532s |      17 |   305754 |   247332 |     4537     83 |        0 |        0
535.04/535.20	c  535s |      17 |   306614 |   248132 |     4537     83 |        0 |        0
537.14/537.34	c  537s |      17 |   307528 |   248932 |     4537     84 |        0 |        0
539.23/539.40	c  539s |      17 |   308597 |   249932 |     4537     84 |        0 |        0
541.33/541.54	c  541s |      17 |   310042 |   251132 |     4537     84 |        0 |        0
543.43/543.68	c  543s |      17 |   311137 |   252132 |     4537     85 |        0 |        0
545.63/545.84	c  545s |      17 |   312360 |   253232 |     4537     85 |        0 |        0
547.74/547.97	c  547s |      17 |   313582 |   254332 |     4537     85 |        0 |        0
549.83/550.01	c  549s |      17 |   314564 |   255232 |     4537     85 |        0 |        0
551.93/552.13	c  551s |      17 |   315421 |   256032 |     4537     86 |        0 |        0
554.03/554.26	c  554s |      17 |   316499 |   257032 |     4537     86 |        0 |        0
556.22/556.45	c  556s |      17 |   317660 |   258032 |     4537     86 |        0 |        0
558.43/558.67	c  558s |      17 |   318659 |   258932 |     4537     86 |        0 |        0
560.62/560.80	c  560s |      17 |   319648 |   259832 |     4537     87 |        0 |        0
562.62/562.89	c  562s |      17 |   320646 |   260732 |     4537     87 |        0 |        0
564.72/564.95	c  564s |      17 |   321616 |   261632 |     4537     87 |        0 |        0
567.02/567.26	c  567s |      17 |   322494 |   262432 |     4537     88 |        0 |        0
569.22/569.42	c  569s |      17 |   323481 |   263332 |     4537     88 |        0 |        0
571.32/571.55	c  571s |      17 |   324521 |   264232 |     4537     88 |        0 |        0
573.42/573.61	c  573s |      17 |   325514 |   265132 |     4537     88 |        0 |        0
575.62/575.86	c  575s |      17 |   326378 |   265932 |     4537     89 |        0 |        0
577.81/578.03	c  577s |      17 |   327489 |   266932 |     4537     89 |        0 |        0
579.91/580.18	c  579s |      17 |   328438 |   267832 |     4537     89 |        0 |        0
582.11/582.34	c  582s |      17 |   329167 |   268532 |     4537     89 |        0 |        0
584.31/584.51	c  584s |      17 |   329906 |   269232 |     4537     89 |        0 |        0
586.41/586.64	c  586s |      17 |   330668 |   269932 |     4537     90 |        0 |        0
588.50/588.75	c  588s |      17 |   331682 |   270832 |     4537     90 |        0 |        0
590.70/590.99	c  590s |      17 |   332708 |   271732 |     4537     90 |        0 |        0
593.00/593.23	c  593s |      17 |   333714 |   272632 |     4537     90 |        0 |        0
595.01/595.27	c  595s |      17 |   334578 |   273432 |     4537     91 |        0 |        0
597.12/597.31	c  597s |      17 |   335693 |   274432 |     4537     91 |        0 |        0
599.20/599.46	c  599s |      17 |   336689 |   275332 |     4537     91 |        0 |        0
601.20/601.49	c  601s |      17 |   337556 |   276132 |     4537     91 |        0 |        0
603.30/603.50	c  603s |      17 |   338521 |   277032 |     4537     92 |        0 |        0
605.50/605.71	c  605s |      17 |   339491 |   277932 |     4537     92 |        0 |        0
607.60/607.85	c  607s |      17 |   340344 |   278732 |     4537     92 |        0 |        0
609.69/609.91	c  609s |      17 |   341326 |   279632 |     4537     92 |        0 |        0
611.79/612.05	c  611s |      17 |   342352 |   280532 |     4537     93 |        0 |        0
613.89/614.11	c  613s |      17 |   343324 |   281432 |     4537     93 |        0 |        0
615.99/616.27	c  616s |      17 |   344313 |   282332 |     4537     93 |        0 |        0
618.00/618.27	c  618s |      17 |   345168 |   283132 |     4537     93 |        0 |        0
620.08/620.40	c  620s |      17 |   346137 |   284032 |     4537     94 |        0 |        0
622.18/622.49	c  622s |      17 |   347125 |   284932 |     4537     94 |        0 |        0
624.38/624.65	c  624s |      17 |   348105 |   285832 |     4537     94 |        0 |        0
626.79/627.02	c  626s |      17 |   348944 |   286632 |     4537     95 |        0 |        0
628.78/629.06	c  628s |      17 |   349943 |   287532 |     4537     95 |        0 |        0
630.88/631.14	c  630s |      17 |   350799 |   288332 |     4537     95 |        0 |        0
632.97/633.23	c  633s |      17 |   351778 |   289232 |     4537     95 |        0 |        0
634.97/635.27	c  635s |      17 |   352922 |   290232 |     4537     96 |        0 |        0
637.07/637.38	c  637s |      17 |   354183 |   291332 |     4537     96 |        0 |        0
639.27/639.53	c  639s |      17 |   355306 |   292332 |     4537     96 |        0 |        0
641.27/641.56	c  641s |      17 |   356401 |   293332 |     4537     96 |        0 |        0
643.47/643.74	c  643s |      17 |   357377 |   294232 |     4991     97 |        0 |        0
645.57/645.84	c  645s |      17 |   358466 |   295232 |     4991     97 |        0 |        0
647.77/648.01	c  647s |      17 |   359422 |   296132 |     4991     97 |        0 |        0
648.17/648.41	c  648s |      18 |   359546 |   296252 |     4991     97 |        0 |        0
650.26/650.50	c  650s |      18 |   362093 |   297652 |     4991     98 |        0 |        0
652.26/652.52	c  652s |      18 |   363619 |   298952 |     4991     98 |        0 |        0
654.27/654.54	c  654s |      18 |   364851 |   300052 |     4991     98 |        0 |        0
656.37/656.65	c  656s |      18 |   365987 |   301052 |     4991     99 |        0 |        0
658.46/658.71	c  658s |      18 |   367217 |   302152 |     4991     99 |        0 |        0
660.46/660.79	c  660s |      18 |   368474 |   303252 |     4991     99 |        0 |        0
662.56/662.86	c  662s |      18 |   369492 |   304152 |     4991     99 |        0 |        0
664.56/664.89	c  664s |      18 |   370637 |   305152 |     4991    100 |        0 |        0
666.76/667.03	c  666s |      18 |   371933 |   306252 |     4991    100 |        0 |        0
668.86/669.11	c  668s |      18 |   372903 |   307152 |     4991    100 |        0 |        0
671.06/671.38	c  671s |      18 |   373904 |   308052 |     4991    101 |        0 |        0
673.25/673.50	c  673s |      18 |   375142 |   309152 |     4991    101 |        0 |        0
675.26/675.52	c  675s |      18 |   376226 |   310152 |     4991    101 |        0 |        0
677.37/677.61	c  677s |      18 |   377253 |   311052 |     4991    101 |        0 |        0
679.35/679.62	c  679s |      18 |   378139 |   311852 |     4991    102 |        0 |        0
681.35/681.65	c  681s |      18 |   379272 |   312852 |     4991    102 |        0 |        0
683.45/683.73	c  683s |      18 |   380319 |   313752 |     4991    102 |        0 |        0
685.55/685.85	c  685s |      18 |   381195 |   314552 |     4991    102 |        0 |        0
687.65/687.93	c  687s |      18 |   382094 |   315352 |     4991    103 |        0 |        0
689.74/690.04	c  689s |      18 |   383124 |   316252 |     4991    103 |        0 |        0
691.84/692.19	c  691s |      18 |   384248 |   317252 |     4991    103 |        0 |        0
694.04/694.34	c  694s |      18 |   385321 |   318252 |     4991    103 |        0 |        0
696.15/696.48	c  696s |      18 |   386196 |   319052 |     4991    104 |        0 |        0
698.25/698.53	c  698s |      18 |   387289 |   320052 |     4991    104 |        0 |        0
700.34/700.65	c  700s |      18 |   388379 |   321052 |     4991    104 |        0 |        0
702.34/702.65	c  702s |      18 |   389402 |   321952 |     4991    104 |        0 |        0
704.44/704.74	c  704s |      18 |   390299 |   322752 |     4991    105 |        0 |        0
706.43/706.79	c  706s |      18 |   391150 |   323552 |     4991    105 |        0 |        0
708.63/708.91	c  708s |      18 |   392206 |   324452 |     4991    105 |        0 |        0
710.63/710.99	c  710s |      18 |   393199 |   325352 |     4991    105 |        0 |        0
712.72/713.07	c  712s |      18 |   394207 |   326252 |     4991    105 |        0 |        0
714.83/715.14	c  714s |      18 |   395316 |   327152 |     4991    106 |        0 |        0
716.93/717.29	c  717s |      18 |   396461 |   328152 |     4991    106 |        0 |        0
719.13/719.44	c  719s |      18 |   397525 |   329052 |     4991    106 |        0 |        0
721.33/721.61	c  721s |      18 |   398602 |   329952 |     4991    106 |        0 |        0
723.32/723.63	c  723s |      18 |   399642 |   330852 |     4991    107 |        0 |        0
725.42/725.74	c  725s |      18 |   400803 |   331852 |     4991    107 |        0 |        0
727.42/727.74	c  727s |      18 |   401819 |   332752 |     4991    107 |        0 |        0
729.42/729.76	c  729s |      18 |   402872 |   333652 |     4991    107 |        0 |        0
731.53/731.81	c  731s |      18 |   403814 |   334452 |     4991    108 |        0 |        0
733.62/733.99	c  733s |      18 |   404936 |   335452 |     4991    108 |        0 |        0
735.92/736.20	c  736s |      18 |   405956 |   336352 |     4991    108 |        0 |        0
737.93/738.26	c  738s |      18 |   406991 |   337252 |     4991    108 |        0 |        0
740.13/740.43	c  740s |      18 |   407916 |   338052 |     4991    109 |        0 |        0
742.12/742.43	c  742s |      18 |   408997 |   338952 |     4991    109 |        0 |        0
744.22/744.58	c  744s |      18 |   410075 |   339852 |     4991    109 |        0 |        0
746.42/746.76	c  746s |      18 |   411233 |   340852 |     4991    109 |        0 |        0
748.52/748.84	c  748s |      18 |   412299 |   341752 |     4991    110 |        0 |        0
750.52/750.88	c  750s |      18 |   413336 |   342652 |     4991    110 |        0 |        0
752.82/753.11	c  752s |      18 |   414341 |   343552 |     4991    110 |        0 |        0
754.92/755.25	c  755s |      18 |   415399 |   344452 |     4991    110 |        0 |        0
757.12/757.47	c  757s |      18 |   416282 |   345252 |     4991    111 |        0 |        0
759.22/759.55	c  759s |      18 |   417340 |   346152 |     4991    111 |        0 |        0
761.41/761.77	c  761s |      18 |   418372 |   347052 |     4991    111 |        0 |        0
763.51/763.83	c  763s |      18 |   419247 |   347852 |     4991    111 |        0 |        0
765.62/765.96	c  765s |      18 |   420116 |   348652 |     4991    112 |        0 |        0
767.72/768.02	c  767s |      18 |   421099 |   349552 |     4991    112 |        0 |        0
769.73/770.07	c  769s |      18 |   421977 |   350352 |     4991    112 |        0 |        0
771.92/772.21	c  772s |      18 |   422843 |   351152 |     4991    112 |        0 |        0
773.92/774.24	c  774s |      18 |   423791 |   351952 |     4991    112 |        0 |        0
776.01/776.32	c  776s |      18 |   424698 |   352752 |     4991    113 |        0 |        0
778.01/778.36	c  778s |      18 |   425584 |   353552 |     4991    113 |        0 |        0
780.22/780.56	c  780s |      18 |   426607 |   354452 |     4991    113 |        0 |        0
782.21/782.58	c  782s |      18 |   427376 |   355152 |     4991    113 |        0 |        0
784.21/784.59	c  784s |      18 |   428192 |   355852 |     4991    114 |        0 |        0
786.32/786.62	c  786s |      18 |   429125 |   356652 |     4991    114 |        0 |        0
788.42/788.79	c  788s |      18 |   429987 |   357452 |     4991    114 |        0 |        0
790.72/791.01	c  790s |      18 |   430870 |   358252 |     4991    114 |        0 |        0
792.92/793.25	c  793s |      18 |   431756 |   359052 |     4991    114 |        0 |        0
794.91/795.30	c  795s |      18 |   432533 |   359752 |     4991    115 |        0 |        0
797.11/797.41	c  797s |      18 |   433527 |   360652 |     4991    115 |        0 |        0
799.11/799.45	c  799s |      18 |   434421 |   361452 |     4991    115 |        0 |        0
801.32/801.61	c  801s |      18 |   435302 |   362252 |     4991    115 |        0 |        0
803.51/803.83	c  803s |      18 |   436208 |   363052 |     4991    115 |        0 |        0
805.81/806.13	c  805s |      18 |   436968 |   363752 |     4991    116 |        0 |        0
807.91/808.26	c  808s |      18 |   437991 |   364652 |     4991    116 |        0 |        0
810.01/810.35	c  810s |      18 |   438878 |   365452 |     4991    116 |        0 |        0
812.21/812.54	c  812s |      18 |   440062 |   366452 |     4991    116 |        0 |        0
814.31/814.63	c  814s |      18 |   440955 |   367252 |     4991    117 |        0 |        0
816.40/816.74	c  816s |      18 |   441952 |   368152 |     4991    117 |        0 |        0
818.50/818.80	c  818s |      18 |   442800 |   368852 |     4991    117 |        0 |        0
820.81/821.10	c  820s |      18 |   443799 |   369652 |     4991    117 |        0 |        0
823.01/823.32	c  823s |      18 |   444581 |   370352 |     4991    117 |        0 |        0
825.10/825.40	c  825s |      18 |   445239 |   370952 |     4991    118 |        0 |        0
827.41/827.73	c  827s |      18 |   446011 |   371652 |     4991    118 |        0 |        0
829.71/830.05	c  829s |      18 |   446759 |   372352 |     4991    118 |        0 |        0
831.81/832.19	c  831s |      18 |   447407 |   372952 |     4991    118 |        0 |        0
833.90/834.21	c  834s |      18 |   448133 |   373552 |     4991    118 |        0 |        0
836.20/836.52	c  836s |      18 |   449026 |   374252 |     4991    119 |        0 |        0
838.41/838.72	c  838s |      18 |   450065 |   375152 |     4991    119 |        0 |        0
840.41/840.76	c  840s |      18 |   451081 |   376052 |     4991    119 |        0 |        0
842.61/842.98	c  842s |      18 |   452051 |   376952 |     4991    119 |        0 |        0
844.71/845.04	c  844s |      18 |   453040 |   377852 |     4991    119 |        0 |        0
846.81/847.11	c  846s |      18 |   453820 |   378552 |     4991    120 |        0 |        0
848.81/849.12	c  848s |      18 |   454563 |   379252 |     4991    120 |        0 |        0
850.80/851.14	c  850s |      18 |   455402 |   379952 |     4991    120 |        0 |        0
853.10/853.40	c  853s |      18 |   456425 |   380852 |     4991    120 |        0 |        0
855.51/855.84	c  855s |      18 |   457287 |   381652 |     4991    121 |        0 |        0
857.60/858.00	c  857s |      18 |   458154 |   382452 |     4991    121 |        0 |        0
859.71/860.02	c  859s |      18 |   459057 |   383252 |     4991    121 |        0 |        0
861.70/862.03	c  861s |      18 |   459998 |   384052 |     4991    121 |        0 |        0
863.80/864.18	c  863s |      18 |   460815 |   384752 |     4991    121 |        0 |        0
865.90/866.20	c  866s |      18 |   461738 |   385552 |     4991    122 |        0 |        0
868.00/868.33	c  868s |      18 |   462875 |   386552 |     4991    122 |        0 |        0
870.20/870.54	c  870s |      18 |   464005 |   387552 |     4991    122 |        0 |        0
872.40/872.70	c  872s |      18 |   465161 |   388552 |     4991    122 |        0 |        0
874.60/874.94	c  874s |      18 |   466185 |   389452 |     4991    123 |        0 |        0
876.80/877.13	c  876s |      18 |   467268 |   390452 |     4991    123 |        0 |        0
879.00/879.36	c  879s |      18 |   468279 |   391352 |     4991    123 |        0 |        0
881.10/881.47	c  881s |      18 |   469161 |   392152 |     4991    123 |        0 |        0
883.20/883.52	c  883s |      18 |   469931 |   392852 |     4991    124 |        0 |        0
885.30/885.67	c  885s |      18 |   471060 |   393852 |     4991    124 |        0 |        0
887.41/887.73	c  887s |      18 |   471927 |   394652 |     4991    124 |        0 |        0
889.40/889.75	c  889s |      18 |   472712 |   395352 |     4991    124 |        0 |        0
891.60/891.97	c  891s |      18 |   473737 |   396252 |     4991    124 |        0 |        0
893.70/894.05	c  893s |      18 |   474619 |   397052 |     4991    125 |        0 |        0
895.79/896.20	c  896s |      18 |   475605 |   397952 |     4991    125 |        0 |        0
898.00/898.37	c  898s |      18 |   476603 |   398852 |     4991    125 |        0 |        0
900.10/900.49	c  900s |      18 |   477617 |   399752 |     4991    125 |        0 |        0
902.20/902.59	c  902s |      18 |   478527 |   400552 |     4991    126 |        0 |        0
904.29/904.69	c  904s |      18 |   479384 |   401352 |     4991    126 |        0 |        0
906.59/906.93	c  906s |      18 |   480250 |   402152 |     4991    126 |        0 |        0
908.69/909.02	c  908s |      18 |   481117 |   402952 |     4991    126 |        0 |        0
910.69/911.04	c  910s |      18 |   481887 |   403652 |     4991    127 |        0 |        0
912.71/913.04	c  912s |      18 |   482618 |   404352 |     4991    127 |        0 |        0
914.90/915.27	c  915s |      18 |   483641 |   405252 |     4991    127 |        0 |        0
916.90/917.28	c  917s |      18 |   484448 |   405952 |     4991    127 |        0 |        0
919.00/919.36	c  919s |      18 |   485343 |   406752 |     4991    127 |        0 |        0
921.39/921.70	c  921s |      18 |   486108 |   407452 |     4991    128 |        0 |        0
923.39/923.75	c  923s |      18 |   486993 |   408252 |     4991    128 |        0 |        0
925.59/925.93	c  925s |      18 |   487880 |   409052 |     4991    128 |        0 |        0
927.69/928.04	c  927s |      18 |   488745 |   409852 |     4991    128 |        0 |        0
929.70/930.08	c  929s |      18 |   489509 |   410552 |     4991    128 |        0 |        0
931.70/932.09	c  931s |      18 |   490059 |   411052 |     4991    129 |        0 |        0
933.99/934.37	c  934s |      18 |   490933 |   411852 |     4991    129 |        0 |        0
936.19/936.54	c  936s |      18 |   491687 |   412552 |     4991    129 |        0 |        0
938.19/938.57	c  938s |      18 |   492629 |   413352 |     4991    129 |        0 |        0
940.30/940.65	c  940s |      18 |   493538 |   414152 |     4991    129 |        0 |        0
942.29/942.66	c  942s |      18 |   494306 |   414852 |     4991    130 |        0 |        0
944.39/944.77	c  944s |      18 |   495285 |   415752 |     4991    130 |        0 |        0
946.69/947.00	c  946s |      18 |   496272 |   416652 |     4991    130 |        0 |        0
948.78/949.13	c  948s |      18 |   497153 |   417452 |     4991    130 |        0 |        0
950.88/951.29	c  951s |      18 |   498061 |   418252 |     4991    130 |        0 |        0
952.99/953.30	c  953s |      18 |   498844 |   418952 |     4991    131 |        0 |        0
955.19/955.52	c  955s |      18 |   500042 |   419952 |     4991    131 |        0 |        0
957.19/957.59	c  957s |      18 |   500939 |   420752 |     4991    131 |        0 |        0
959.49/959.80	c  959s |      18 |   501806 |   421552 |     4991    131 |        0 |        0
961.59/961.98	c  961s |      18 |   502545 |   422252 |     4991    132 |        0 |        0
963.89/964.23	c  964s |      18 |   503315 |   422952 |     4991    132 |        0 |        0
966.09/966.41	c  966s |      18 |   504189 |   423752 |     4991    132 |        0 |        0
968.08/968.42	c  968s |      18 |   504861 |   424352 |     4991    132 |        0 |        0
970.09/970.48	c  970s |      18 |   505737 |   425152 |     4991    132 |        0 |        0
972.19/972.59	c  972s |      18 |   506522 |   425852 |     4991    133 |        0 |        0
974.29/974.64	c  974s |      18 |   507702 |   426852 |     4991    133 |        0 |        0
976.38/976.78	c  976s |      18 |   508720 |   427752 |     4991    133 |        0 |        0
978.48/978.84	c  978s |      18 |   509622 |   428552 |     4991    133 |        0 |        0
980.78/981.10	c  980s |      18 |   510481 |   429352 |     4991    133 |        0 |        0
982.89/983.24	c  983s |      18 |   511239 |   430052 |     4991    134 |        0 |        0
984.98/985.32	c  985s |      18 |   511985 |   430752 |     4991    134 |        0 |        0
986.98/987.37	c  987s |      18 |   512841 |   431552 |     4991    134 |        0 |        0
989.18/989.53	c  989s |      18 |   513809 |   432452 |     4991    134 |        0 |        0
991.28/991.64	c  991s |      18 |   514552 |   433152 |     4991    135 |        0 |        0
993.48/993.80	c  993s |      18 |   515529 |   434052 |     4991    135 |        0 |        0
995.68/996.07	c  995s |      18 |   516387 |   434852 |     4991    135 |        0 |        0
997.98/998.35	c  998s |      18 |   517282 |   435652 |     4991    135 |        0 |        0
1000.19/1000.53	c 1000s |      18 |   518034 |   436352 |     4991    135 |        0 |        0
1002.28/1002.65	c 1002s |      18 |   518704 |   436952 |     4991    136 |        0 |        0
1004.38/1004.77	c 1004s |      18 |   519847 |   437952 |     4991    136 |        0 |        0
1006.68/1007.02	c 1006s |      18 |   520850 |   438852 |     4991    136 |        0 |        0
1008.88/1009.28	c 1009s |      18 |   521607 |   439552 |     4991    136 |        0 |        0
1010.98/1011.38	c 1011s |      18 |   522230 |   440152 |     4991    136 |        0 |        0
1013.08/1013.47	c 1013s |      18 |   523073 |   440852 |     4991    137 |        0 |        0
1015.28/1015.66	c 1015s |      18 |   524237 |   441852 |     5491    137 |        0 |        0
1017.48/1017.80	c 1017s |      18 |   525234 |   442752 |     5491    137 |        0 |        0
1019.48/1019.81	c 1019s |      18 |   526248 |   443652 |     5491    137 |        0 |        0
1021.48/1021.89	c 1021s |      19 |   527219 |   444482 |     5491    137 |        0 |        0
1023.58/1023.91	c 1023s |      19 |   529940 |   445982 |     5491    138 |        0 |        0
1025.58/1025.92	c 1025s |      19 |   531668 |   447482 |     5491    138 |        0 |        0
1027.58/1027.97	c 1027s |      19 |   533005 |   448682 |     5491    139 |        0 |        0
1029.68/1030.07	c 1029s |      19 |   534310 |   449882 |     5491    139 |        0 |        0
1031.78/1032.12	c 1031s |      19 |   535501 |   450982 |     5491    139 |        0 |        0
1033.79/1034.15	c 1033s |      19 |   536617 |   451982 |     5491    139 |        0 |        0
1035.89/1036.23	c 1036s |      19 |   537871 |   453082 |     5491    140 |        0 |        0
1037.98/1038.31	c 1038s |      19 |   539234 |   454282 |     5491    140 |        0 |        0
1039.98/1040.36	c 1040s |      19 |   540359 |   455282 |     5491    140 |        0 |        0
1042.08/1042.42	c 1042s |      19 |   541442 |   456282 |     5491    140 |        0 |        0
1044.08/1044.42	c 1044s |      19 |   542433 |   457182 |     5491    141 |        0 |        0
1046.27/1046.60	c 1046s |      19 |   543720 |   458282 |     5491    141 |        0 |        0
1048.27/1048.69	c 1048s |      19 |   544800 |   459282 |     5491    141 |        0 |        0
1050.37/1050.75	c 1050s |      19 |   545759 |   460182 |     5491    141 |        0 |        0
1052.48/1052.89	c 1052s |      19 |   546720 |   461082 |     5491    142 |        0 |        0
1054.58/1054.93	c 1054s |      19 |   547805 |   462082 |     5491    142 |        0 |        0
1056.57/1056.94	c 1056s |      19 |   549050 |   463182 |     5491    142 |        0 |        0
1058.67/1059.05	c 1058s |      19 |   550109 |   464182 |     5491    142 |        0 |        0
1060.87/1061.21	c 1061s |      19 |   551186 |   465182 |     5491    143 |        0 |        0
1062.97/1063.37	c 1063s |      19 |   552432 |   466282 |     5491    143 |        0 |        0
1065.07/1065.48	c 1065s |      19 |   553536 |   467282 |     5491    143 |        0 |        0
1067.47/1067.87	c 1067s |      19 |   554489 |   468182 |     5491    144 |        0 |        0
1069.67/1070.02	c 1069s |      19 |   555823 |   469382 |     5491    144 |        0 |        0
1071.67/1072.02	c 1071s |      19 |   557041 |   470482 |     5491    144 |        0 |        0
1073.76/1074.14	c 1073s |      19 |   558256 |   471582 |     5491    144 |        0 |        0
1075.96/1076.30	c 1076s |      19 |   559267 |   472482 |     5491    145 |        0 |        0
1078.06/1078.42	c 1078s |      19 |   560466 |   473582 |     5491    145 |        0 |        0
1080.16/1080.57	c 1080s |      19 |   561691 |   474682 |     5491    145 |        0 |        0
1082.36/1082.75	c 1082s |      19 |   562902 |   475782 |     5491    145 |        0 |        0
1084.47/1084.89	c 1084s |      19 |   563988 |   476782 |     5491    146 |        0 |        0
1086.58/1086.96	c 1086s |      19 |   565187 |   477882 |     5491    146 |        0 |        0
1088.68/1089.09	c 1088s |      19 |   566287 |   478882 |     5491    146 |        0 |        0
1090.77/1091.11	c 1090s |      19 |   567365 |   479882 |     5491    146 |        0 |        0
1092.77/1093.12	c 1092s |      19 |   568335 |   480782 |     5491    147 |        0 |        0
1094.87/1095.28	c 1095s |      19 |   569562 |   481882 |     5491    147 |        0 |        0
1097.07/1097.49	c 1097s |      19 |   570779 |   482982 |     5491    147 |        0 |        0
1099.37/1099.74	c 1099s |      19 |   571752 |   483882 |     5491    147 |        0 |        0
1101.47/1101.81	c 1101s |      19 |   572617 |   484682 |     5491    148 |        0 |        0
1103.47/1103.87	c 1103s |      19 |   574138 |   485982 |     5491    148 |        0 |        0
1105.57/1105.96	c 1105s |      19 |   575257 |   486982 |     5491    148 |        0 |        0
1108.17/1108.52	c 1108s |      19 |   576343 |   487982 |     5491    149 |        0 |        0
1110.27/1110.66	c 1110s |      19 |   577533 |   489082 |     5491    149 |        0 |        0
1112.47/1112.81	c 1112s |      19 |   578894 |   490282 |     5491    149 |        0 |        0
1114.47/1114.88	c 1114s |      19 |   580238 |   491482 |     5491    149 |        0 |        0
1116.67/1117.08	c 1116s |      19 |   581429 |   492582 |     5491    150 |        0 |        0
1118.77/1119.19	c 1119s |      19 |   582610 |   493682 |     5491    150 |        0 |        0
1120.86/1121.20	c 1121s |      19 |   583775 |   494682 |     5491    150 |        0 |        0
1122.96/1123.33	c 1123s |      19 |   584983 |   495782 |     5491    151 |        0 |        0
1125.07/1125.46	c 1125s |      19 |   586299 |   496982 |     5491    151 |        0 |        0
1127.17/1127.50	c 1127s |      19 |   587376 |   497982 |     5491    151 |        0 |        0
1129.26/1129.66	c 1129s |      19 |   588350 |   498882 |     5491    151 |        0 |        0
1131.36/1131.75	c 1131s |      19 |   589326 |   499782 |     5491    152 |        0 |        0
1133.36/1133.76	c 1133s |      19 |   590310 |   500682 |     5491    152 |        0 |        0
1135.36/1135.77	c 1135s |      19 |   591506 |   501782 |     5491    152 |        0 |        0
1137.56/1137.96	c 1137s |      19 |   592685 |   502882 |     5491    152 |        0 |        0
1139.66/1140.00	c 1139s |      19 |   593949 |   503982 |     5491    153 |        0 |        0
1141.76/1142.14	c 1141s |      19 |   595314 |   505182 |     5491    153 |        0 |        0
1143.86/1144.25	c 1144s |      19 |   596521 |   506282 |     5491    153 |        0 |        0
1146.06/1146.47	c 1146s |      19 |   597607 |   507282 |     5491    153 |        0 |        0
1148.16/1148.57	c 1148s |      19 |   598611 |   508182 |     5491    154 |        0 |        0
1150.26/1150.68	c 1150s |      19 |   599783 |   509282 |     5491    154 |        0 |        0
1152.36/1152.78	c 1152s |      19 |   600872 |   510282 |     5491    154 |        0 |        0
1154.36/1154.79	c 1154s |      19 |   601848 |   511182 |     5491    154 |        0 |        0
1156.56/1156.92	c 1156s |      19 |   602815 |   512082 |     5491    155 |        0 |        0
1158.66/1159.07	c 1158s |      19 |   603880 |   513082 |     5491    155 |        0 |        0
1160.86/1161.28	c 1161s |      19 |   604947 |   514082 |     5491    155 |        0 |        0
1163.06/1163.43	c 1163s |      19 |   606190 |   515082 |     5491    155 |        0 |        0
1165.06/1165.49	c 1165s |      19 |   607249 |   515982 |     5491    156 |        0 |        0
1167.15/1167.55	c 1167s |      19 |   608189 |   516782 |     5491    156 |        0 |        0
1169.35/1169.75	c 1169s |      19 |   609271 |   517682 |     5491    156 |        0 |        0
1171.45/1171.86	c 1171s |      19 |   610198 |   518482 |     5491    156 |        0 |        0
1173.95/1174.30	c 1174s |      19 |   611233 |   519382 |     5491    157 |        0 |        0
1175.95/1176.32	c 1176s |      19 |   612079 |   520182 |     5491    157 |        0 |        0
1178.25/1178.61	c 1178s |      19 |   613089 |   521082 |     5491    157 |        0 |        0
1180.35/1180.75	c 1180s |      19 |   613966 |   521882 |     5491    157 |        0 |        0
1182.56/1182.92	c 1182s |      19 |   615032 |   522782 |     5491    157 |        0 |        0
1184.65/1185.04	c 1184s |      19 |   615839 |   523482 |     5491    158 |        0 |        0
1186.75/1187.16	c 1186s |      19 |   616779 |   524282 |     5491    158 |        0 |        0
1188.86/1189.26	c 1189s |      19 |   617971 |   525282 |     5491    158 |        0 |        0
1191.06/1191.44	c 1191s |      19 |   619083 |   526282 |     5491    158 |        0 |        0
1193.45/1193.85	c 1193s |      19 |   620073 |   527182 |     5491    159 |        0 |        0
1195.45/1195.88	c 1195s |      19 |   621199 |   528182 |     5491    159 |        0 |        0
1197.45/1197.89	c 1197s |      19 |   622209 |   529082 |     5491    159 |        0 |        0
1199.55/1199.93	c 1199s |      19 |   623340 |   530082 |     5491    159 |        0 |        0
1201.85/1202.24	c 1202s |      19 |   624442 |   531082 |     5491    160 |        0 |        0
1203.85/1204.24	c 1204s |      19 |   625455 |   531982 |     5491    160 |        0 |        0
1205.85/1206.25	c 1206s |      19 |   626583 |   532982 |     5491    160 |        0 |        0
1207.85/1208.29	c 1208s |      19 |   627678 |   533982 |     5491    160 |        0 |        0
1210.35/1210.79	c 1210s |      19 |   628781 |   534982 |     5491    161 |        0 |        0
1212.55/1212.95	c 1212s |      19 |   630033 |   536082 |     5491    161 |        0 |        0
1214.54/1214.96	c 1214s |      19 |   631114 |   537082 |     5491    161 |        0 |        0
1216.64/1217.09	c 1216s |      19 |   632196 |   538082 |     5491    161 |        0 |        0
1218.94/1219.34	c 1219s |      19 |   633208 |   538982 |     5491    162 |        0 |        0
1220.94/1221.35	c 1221s |      19 |   634197 |   539882 |     5491    162 |        0 |        0
1223.04/1223.45	c 1223s |      19 |   635172 |   540782 |     5491    162 |        0 |        0
1225.05/1225.48	c 1225s |      19 |   636394 |   541882 |     5491    162 |        0 |        0
1227.35/1227.77	c 1227s |      19 |   637655 |   542982 |     5491    163 |        0 |        0
1229.56/1229.95	c 1229s |      19 |   639015 |   544182 |     5491    163 |        0 |        0
1231.76/1232.12	c 1231s |      19 |   640167 |   545182 |     5491    163 |        0 |        0
1233.96/1234.33	c 1234s |      19 |   641658 |   546482 |     5491    163 |        0 |        0
1236.06/1236.50	c 1236s |      19 |   642738 |   547482 |     5491    164 |        0 |        0
1238.25/1238.65	c 1238s |      19 |   643938 |   548582 |     5491    164 |        0 |        0
1240.24/1240.66	c 1240s |      19 |   645060 |   549582 |     5491    164 |        0 |        0
1242.34/1242.79	c 1242s |      19 |   646289 |   550682 |     5491    164 |        0 |        0
1244.54/1244.92	c 1244s |      19 |   647219 |   551482 |     5491    165 |        0 |        0
1246.64/1247.04	c 1246s |      19 |   648322 |   552482 |     5491    165 |        0 |        0
1248.64/1249.04	c 1248s |      19 |   649435 |   553482 |     5491    165 |        0 |        0
1250.64/1251.06	c 1250s |      19 |   650422 |   554382 |     5491    165 |        0 |        0
1252.74/1253.15	c 1252s |      19 |   651203 |   555082 |     5491    166 |        0 |        0
1254.85/1255.23	c 1255s |      19 |   652420 |   556182 |     5491    166 |        0 |        0
1257.05/1257.44	c 1257s |      19 |   653531 |   557182 |     5491    166 |        0 |        0
1259.15/1259.51	c 1259s |      19 |   654509 |   558082 |     5491    166 |        0 |        0
1261.15/1261.52	c 1261s |      19 |   655412 |   558882 |     5491    167 |        0 |        0
1263.25/1263.68	c 1263s |      19 |   656962 |   560282 |     5491    167 |        0 |        0
1265.34/1265.76	c 1265s |      19 |   658184 |   561382 |     5491    167 |        0 |        0
1267.34/1267.78	c 1267s |      19 |   659280 |   562382 |     5491    167 |        0 |        0
1269.54/1269.94	c 1269s |      19 |   660336 |   563382 |     5491    168 |        0 |        0
1271.64/1272.04	c 1271s |      19 |   661408 |   564382 |     5491    168 |        0 |        0
1273.84/1274.22	c 1274s |      19 |   662496 |   565382 |     5491    168 |        0 |        0
1275.94/1276.31	c 1276s |      19 |   663341 |   566182 |     5491    168 |        0 |        0
1278.14/1278.50	c 1278s |      19 |   664094 |   566882 |     5491    169 |        0 |        0
1280.24/1280.67	c 1280s |      19 |   665062 |   567782 |     5491    169 |        0 |        0
1282.44/1282.88	c 1282s |      19 |   666184 |   568782 |     5491    169 |        0 |        0
1284.55/1284.96	c 1284s |      19 |   667497 |   569882 |     5491    169 |        0 |        0
1286.65/1287.07	c 1286s |      19 |   668609 |   570882 |     5491    170 |        0 |        0
1288.64/1289.09	c 1288s |      19 |   669819 |   571882 |     5491    170 |        0 |        0
1290.74/1291.11	c 1290s |      19 |   670947 |   572882 |     5491    170 |        0 |        0
1292.74/1293.20	c 1293s |      19 |   672022 |   573882 |     5491    170 |        0 |        0
1294.84/1295.25	c 1295s |      19 |   673031 |   574782 |     5491    171 |        0 |        0
1296.94/1297.35	c 1297s |      19 |   674151 |   575782 |     5491    171 |        0 |        0
1298.94/1299.39	c 1299s |      19 |   675109 |   576682 |     5491    171 |        0 |        0
1301.04/1301.48	c 1301s |      19 |   676006 |   577482 |     5491    171 |        0 |        0
1303.24/1303.63	c 1303s |      19 |   676926 |   578282 |     5491    172 |        0 |        0
1305.23/1305.64	c 1305s |      19 |   677928 |   579182 |     5491    172 |        0 |        0
1307.43/1307.84	c 1307s |      19 |   679066 |   580182 |     5491    172 |        0 |        0
1309.53/1309.94	c 1309s |      19 |   680087 |   581082 |     5491    172 |        0 |        0
1311.63/1312.01	c 1311s |      19 |   680993 |   581882 |     5491    172 |        0 |        0
1313.73/1314.17	c 1313s |      19 |   682278 |   582982 |     5491    173 |        0 |        0
1315.83/1316.25	c 1316s |      19 |   683575 |   584082 |     5491    173 |        0 |        0
1318.03/1318.41	c 1318s |      19 |   684837 |   585182 |     5491    173 |        0 |        0
1320.23/1320.62	c 1320s |      19 |   685992 |   586182 |     5491    174 |        0 |        0
1322.23/1322.68	c 1322s |      19 |   687224 |   587282 |     5491    174 |        0 |        0
1324.43/1324.86	c 1324s |      19 |   688326 |   588282 |     5491    174 |        0 |        0
1326.43/1326.88	c 1326s |      19 |   689426 |   589282 |     5491    174 |        0 |        0
1328.63/1329.04	c 1328s |      19 |   690330 |   590082 |     5491    175 |        0 |        0
1330.63/1331.06	c 1330s |      19 |   691353 |   590982 |     5491    175 |        0 |        0
1332.73/1333.10	c 1332s |      19 |   692361 |   591882 |     5491    175 |        0 |        0
1334.73/1335.15	c 1334s |      19 |   693265 |   592682 |     5491    175 |        0 |        0
1336.83/1337.22	c 1337s |      19 |   694519 |   593782 |     5491    175 |        0 |        0
1338.83/1339.29	c 1339s |      19 |   695637 |   594782 |     5491    176 |        0 |        0
1341.03/1341.41	c 1341s |      19 |   696848 |   595882 |     5491    176 |        0 |        0
1343.13/1343.58	c 1343s |      19 |   698014 |   596882 |     5491    176 |        0 |        0
1345.53/1345.95	c 1345s |      19 |   699124 |   597882 |     5491    177 |        0 |        0
1347.63/1348.07	c 1347s |      19 |   700205 |   598882 |     5491    177 |        0 |        0
1349.63/1350.09	c 1349s |      19 |   701179 |   599782 |     5491    177 |        0 |        0
1351.93/1352.37	c 1352s |      19 |   702152 |   600682 |     5491    177 |        0 |        0
1354.03/1354.44	c 1354s |      19 |   703024 |   601482 |     5491    177 |        0 |        0
1356.23/1356.61	c 1356s |      19 |   703794 |   602182 |     5491    178 |        0 |        0
1358.23/1358.66	c 1358s |      19 |   704764 |   603082 |     5491    178 |        0 |        0
1360.22/1360.69	c 1360s |      19 |   706112 |   604182 |     5491    178 |        0 |        0
1362.32/1362.75	c 1362s |      19 |   707143 |   605082 |     5491    178 |        0 |        0
1364.32/1364.75	c 1364s |      19 |   708217 |   605982 |     5491    179 |        0 |        0
1366.52/1366.91	c 1366s |      19 |   709465 |   607082 |     5491    179 |        0 |        0
1368.52/1368.94	c 1368s |      19 |   710633 |   608082 |     5491    179 |        0 |        0
1370.62/1371.07	c 1370s |      19 |   711728 |   609082 |     5491    179 |        0 |        0
1372.72/1373.13	c 1372s |      19 |   712756 |   609982 |     5491    180 |        0 |        0
1374.74/1375.13	c 1374s |      19 |   713842 |   610982 |     5491    180 |        0 |        0
1376.83/1377.23	c 1377s |      19 |   714955 |   611982 |     5491    180 |        0 |        0
1378.93/1379.35	c 1379s |      19 |   715946 |   612882 |     5491    180 |        0 |        0
1381.03/1381.49	c 1381s |      19 |   716948 |   613782 |     5491    181 |        0 |        0
1383.12/1383.58	c 1383s |      19 |   717937 |   614682 |     5491    181 |        0 |        0
1385.22/1385.62	c 1385s |      19 |   719025 |   615682 |     5491    181 |        0 |        0
1387.32/1387.77	c 1387s |      19 |   720007 |   616582 |     5491    181 |        0 |        0
1389.52/1389.92	c 1389s |      19 |   721018 |   617482 |     5491    181 |        0 |        0
1391.62/1392.02	c 1391s |      19 |   721780 |   618182 |     5491    182 |        0 |        0
1393.72/1394.12	c 1393s |      19 |   722867 |   619182 |     5491    182 |        0 |        0
1395.82/1396.24	c 1396s |      19 |   723861 |   620082 |     5491    182 |        0 |        0
1397.92/1398.32	c 1398s |      19 |   724780 |   620882 |     5491    182 |        0 |        0
1399.92/1400.35	c 1400s |      19 |   725782 |   621782 |     5491    183 |        0 |        0
1402.02/1402.48	c 1402s |      19 |   727035 |   622882 |     5491    183 |        0 |        0
1404.21/1404.64	c 1404s |      19 |   728295 |   623982 |     5491    183 |        0 |        0
1406.32/1406.76	c 1406s |      19 |   729300 |   624882 |     5491    183 |        0 |        0
1408.42/1408.86	c 1408s |      19 |   730311 |   625782 |     5491    184 |        0 |        0
1410.52/1410.92	c 1410s |      19 |   731450 |   626782 |     5491    184 |        0 |        0
1412.62/1413.02	c 1412s |      19 |   732473 |   627682 |     5491    184 |        0 |        0
1414.62/1415.04	c 1414s |      19 |   733472 |   628582 |     5491    184 |        0 |        0
1416.82/1417.25	c 1417s |      19 |   734498 |   629482 |     5491    185 |        0 |        0
1419.02/1419.42	c 1419s |      19 |   735491 |   630382 |     5491    185 |        0 |        0
1421.21/1421.63	c 1421s |      19 |   736460 |   631282 |     5491    185 |        0 |        0
1423.31/1423.72	c 1423s |      19 |   737446 |   632182 |     5491    185 |        0 |        0
1425.61/1426.01	c 1425s |      19 |   738319 |   632982 |     5491    185 |        0 |        0
1427.61/1428.09	c 1427s |      19 |   739411 |   633882 |     5491    186 |        0 |        0
1429.72/1430.14	c 1429s |      19 |   740882 |   635182 |     5491    186 |        0 |        0
1431.82/1432.25	c 1432s |      19 |   742379 |   636482 |     5491    186 |        0 |        0
1433.81/1434.27	c 1434s |      19 |   743643 |   637582 |     5491    187 |        0 |        0
1435.91/1436.39	c 1436s |      19 |   744843 |   638682 |     5491    187 |        0 |        0
1438.01/1438.49	c 1438s |      19 |   746079 |   639782 |     5491    187 |        0 |        0
1440.31/1440.70	c 1440s |      19 |   747179 |   640782 |     5491    187 |        0 |        0
1442.31/1442.75	c 1442s |      19 |   748405 |   641782 |     5491    188 |        0 |        0
1444.41/1444.87	c 1444s |      19 |   749676 |   642882 |     5491    188 |        0 |        0
1446.61/1447.00	c 1446s |      19 |   750790 |   643882 |     5491    188 |        0 |        0
1448.71/1449.17	c 1448s |      19 |   751779 |   644782 |     5491    188 |        0 |        0
1450.92/1451.31	c 1451s |      19 |   752641 |   645582 |     5491    189 |        0 |        0
1452.92/1453.38	c 1453s |      19 |   753683 |   646482 |     5491    189 |        0 |        0
1455.02/1455.47	c 1455s |      19 |   755047 |   647682 |     5491    189 |        0 |        0
1457.12/1457.50	c 1457s |      19 |   756172 |   648682 |     5491    189 |        0 |        0
1459.21/1459.63	c 1459s |      19 |   757269 |   649682 |     5491    190 |        0 |        0
1461.31/1461.79	c 1461s |      19 |   758468 |   650782 |     5491    190 |        0 |        0
1463.41/1463.81	c 1463s |      19 |   759456 |   651682 |     5491    190 |        0 |        0
1465.51/1465.97	c 1465s |      19 |   760608 |   652682 |     5491    190 |        0 |        0
1467.61/1468.01	c 1467s |      19 |   761593 |   653582 |     5491    191 |        0 |        0
1469.61/1470.02	c 1469s |      19 |   762820 |   654682 |     5491    191 |        0 |        0
1471.71/1472.18	c 1471s |      19 |   763795 |   655582 |     5491    191 |        0 |        0
1473.81/1474.22	c 1474s |      19 |   764671 |   656382 |     5491    191 |        0 |        0
1475.81/1476.26	c 1476s |      19 |   765699 |   657282 |     5491    192 |        0 |        0
1477.90/1478.30	c 1478s |      19 |   766694 |   658182 |     5491    192 |        0 |        0
1479.90/1480.39	c 1480s |      19 |   767668 |   659082 |     5491    192 |        0 |        0
1482.00/1482.40	c 1482s |      19 |   768686 |   659982 |     5491    192 |        0 |        0
1484.00/1484.44	c 1484s |      19 |   769501 |   660682 |     5491    193 |        0 |        0
1486.20/1486.60	c 1486s |      19 |   770994 |   661982 |     5491    193 |        0 |        0
1488.21/1488.67	c 1488s |      19 |   772215 |   663082 |     6041    193 |        0 |        0
1490.41/1490.86	c 1490s |      19 |   773311 |   664082 |     6041    193 |        0 |        0
1492.61/1493.09	c 1492s |      19 |   774287 |   664982 |     6041    193 |        0 |        0
1494.71/1495.15	c 1494s |      19 |   775295 |   665882 |     6041    194 |        0 |        0
1496.81/1497.25	c 1497s |      20 |   776320 |   666827 |     6041    194 |        0 |        0
1498.81/1499.27	c 1499s |      20 |   779000 |   668327 |     6041    194 |        0 |        0
1500.90/1501.37	c 1501s |      20 |   780482 |   669627 |     6041    195 |        0 |        0
1503.00/1503.44	c 1503s |      20 |   781855 |   670827 |     6041    195 |        0 |        0
1505.10/1505.59	c 1505s |      20 |   783098 |   671927 |     6041    195 |        0 |        0
1507.20/1507.65	c 1507s |      20 |   784323 |   673027 |     6041    195 |        0 |        0
1509.30/1509.74	c 1509s |      20 |   785418 |   674027 |     6041    196 |        0 |        0
1511.40/1511.85	c 1511s |      20 |   786686 |   675127 |     6041    196 |        0 |        0
1513.40/1513.89	c 1513s |      20 |   787819 |   676127 |     6041    196 |        0 |        0
1515.41/1515.90	c 1515s |      20 |   788890 |   677127 |     6041    196 |        0 |        0
1517.61/1518.03	c 1517s |      20 |   789985 |   678127 |     6041    197 |        0 |        0
1519.70/1520.19	c 1519s |      20 |   791072 |   679127 |     6041    197 |        0 |        0
1521.80/1522.29	c 1522s |      20 |   792165 |   680127 |     6041    197 |        0 |        0
1523.90/1524.33	c 1524s |      20 |   793296 |   681127 |     6041    197 |        0 |        0
1526.10/1526.57	c 1526s |      20 |   794299 |   682027 |     6041    198 |        0 |        0
1528.30/1528.70	c 1528s |      20 |   795643 |   683227 |     6041    198 |        0 |        0
1530.30/1530.74	c 1530s |      20 |   796757 |   684227 |     6041    198 |        0 |        0
1532.50/1532.91	c 1532s |      20 |   797965 |   685327 |     6041    198 |        0 |        0
1534.90/1535.36	c 1535s |      20 |   798968 |   686227 |     6041    199 |        0 |        0
1537.10/1537.55	c 1537s |      20 |   800076 |   687227 |     6041    199 |        0 |        0
1539.10/1539.56	c 1539s |      20 |   801249 |   688227 |     6041    199 |        0 |        0
1541.30/1541.71	c 1541s |      20 |   802387 |   689227 |     6041    199 |        0 |        0
1543.39/1543.80	c 1543s |      20 |   803395 |   690127 |     6041    199 |        0 |        0
1545.59/1546.00	c 1545s |      20 |   804391 |   691027 |     6041    200 |        0 |        0
1547.59/1548.09	c 1547s |      20 |   805391 |   691927 |     6041    200 |        0 |        0
1549.70/1550.14	c 1549s |      20 |   806379 |   692827 |     6041    200 |        0 |        0
1551.90/1552.30	c 1552s |      20 |   807480 |   693827 |     6041    200 |        0 |        0
1554.10/1554.56	c 1554s |      20 |   808470 |   694727 |     6041    201 |        0 |        0
1556.30/1556.71	c 1556s |      20 |   809698 |   695827 |     6041    201 |        0 |        0
1558.40/1558.85	c 1558s |      20 |   810687 |   696727 |     6041    201 |        0 |        0
1560.60/1561.02	c 1560s |      20 |   811801 |   697727 |     6041    201 |        0 |        0
1562.60/1563.03	c 1562s |      20 |   812787 |   698627 |     6041    201 |        0 |        0
1564.70/1565.17	c 1564s |      20 |   813804 |   699527 |     6041    202 |        0 |        0
1566.79/1567.27	c 1567s |      20 |   814901 |   700527 |     6041    202 |        0 |        0
1569.09/1569.53	c 1569s |      20 |   815989 |   701527 |     6041    202 |        0 |        0
1571.19/1571.68	c 1571s |      20 |   817086 |   702527 |     6041    202 |        0 |        0
1573.39/1573.87	c 1573s |      20 |   817964 |   703327 |     6041    203 |        0 |        0
1575.60/1576.00	c 1575s |      20 |   818959 |   704227 |     6041    203 |        0 |        0
1577.70/1578.17	c 1577s |      20 |   819931 |   705127 |     6041    203 |        0 |        0
1579.90/1580.32	c 1580s |      20 |   821183 |   706227 |     6041    203 |        0 |        0
1582.00/1582.40	c 1582s |      20 |   822273 |   707227 |     6041    204 |        0 |        0
1584.09/1584.59	c 1584s |      20 |   823493 |   708327 |     6041    204 |        0 |        0
1586.39/1586.84	c 1586s |      20 |   824613 |   709327 |     6041    204 |        0 |        0
1588.39/1588.86	c 1588s |      20 |   825505 |   710127 |     6041    204 |        0 |        0
1590.49/1590.97	c 1590s |      20 |   826376 |   710927 |     6041    204 |        0 |        0
1592.59/1593.03	c 1592s |      20 |   827246 |   711727 |     6041    205 |        0 |        0
1594.79/1595.20	c 1595s |      20 |   828333 |   712727 |     6041    205 |        0 |        0
1596.80/1597.24	c 1597s |      20 |   829304 |   713627 |     6041    205 |        0 |        0
1598.89/1599.35	c 1599s |      20 |   830193 |   714427 |     6041    205 |        0 |        0
1600.88/1601.38	c 1601s |      20 |   830958 |   715127 |     6041    205 |        0 |        0
1603.09/1603.50	c 1603s |      20 |   831623 |   715727 |     6041    206 |        0 |        0
1605.29/1605.73	c 1605s |      20 |   832603 |   716627 |     6041    206 |        0 |        0
1607.29/1607.79	c 1607s |      20 |   833566 |   717527 |     6041    206 |        0 |        0
1609.29/1609.80	c 1609s |      20 |   834334 |   718227 |     6041    206 |        0 |        0
1611.39/1611.84	c 1611s |      20 |   835292 |   719127 |     6041    206 |        0 |        0
1613.79/1614.24	c 1614s |      20 |   836152 |   719927 |     6041    207 |        0 |        0
1615.89/1616.39	c 1616s |      20 |   837121 |   720827 |     6041    207 |        0 |        0
1617.99/1618.41	c 1618s |      20 |   838108 |   721727 |     6041    207 |        0 |        0
1620.09/1620.57	c 1620s |      20 |   839424 |   722927 |     6041    207 |        0 |        0
1622.29/1622.78	c 1622s |      20 |   840529 |   723927 |     6041    207 |        0 |        0
1624.39/1624.85	c 1624s |      20 |   841522 |   724827 |     6041    208 |        0 |        0
1626.49/1626.95	c 1626s |      20 |   842630 |   725827 |     6041    208 |        0 |        0
1628.79/1629.24	c 1629s |      20 |   843718 |   726827 |     6041    208 |        0 |        0
1630.79/1631.29	c 1631s |      20 |   844589 |   727627 |     6041    208 |        0 |        0
1633.28/1633.70	c 1633s |      20 |   845444 |   728427 |     6041    209 |        0 |        0
1635.39/1635.85	c 1635s |      20 |   846475 |   729327 |     6041    209 |        0 |        0
1637.49/1638.00	c 1637s |      20 |   847615 |   730327 |     6041    209 |        0 |        0
1639.58/1640.08	c 1639s |      20 |   848647 |   731227 |     6041    209 |        0 |        0
1641.89/1642.30	c 1642s |      20 |   849704 |   732127 |     6041    209 |        0 |        0
1643.89/1644.38	c 1644s |      20 |   850469 |   732827 |     6041    210 |        0 |        0
1645.98/1646.48	c 1646s |      20 |   851474 |   733727 |     6041    210 |        0 |        0
1648.18/1648.65	c 1648s |      20 |   852449 |   734627 |     6041    210 |        0 |        0
1650.28/1650.71	c 1650s |      20 |   853450 |   735527 |     6041    210 |        0 |        0
1652.38/1652.82	c 1652s |      20 |   854330 |   736327 |     6041    210 |        0 |        0
1654.58/1655.05	c 1654s |      20 |   855129 |   737027 |     6041    211 |        0 |        0
1656.58/1657.09	c 1656s |      20 |   855998 |   737827 |     6041    211 |        0 |        0
1658.88/1659.32	c 1659s |      20 |   856880 |   738627 |     6041    211 |        0 |        0
1660.88/1661.34	c 1661s |      20 |   857674 |   739327 |     6041    211 |        0 |        0
1662.98/1663.40	c 1663s |      20 |   858627 |   740127 |     6041    211 |        0 |        0
1665.48/1665.92	c 1665s |      20 |   859623 |   741027 |     6041    212 |        0 |        0
1667.58/1668.05	c 1667s |      20 |   860595 |   741927 |     6041    212 |        0 |        0
1669.78/1670.22	c 1670s |      20 |   861616 |   742827 |     6041    212 |        0 |        0
1671.98/1672.42	c 1672s |      20 |   862509 |   743627 |     6041    212 |        0 |        0
1674.28/1674.73	c 1674s |      20 |   863381 |   744427 |     6041    212 |        0 |        0
1676.58/1677.05	c 1676s |      20 |   864286 |   745227 |     6041    213 |        0 |        0
1678.78/1679.23	c 1679s |      20 |   865286 |   746127 |     6041    213 |        0 |        0
1680.98/1681.40	c 1681s |      20 |   866270 |   747027 |     6041    213 |        0 |        0
1682.98/1683.45	c 1683s |      20 |   867123 |   747827 |     6041    213 |        0 |        0
1685.08/1685.51	c 1685s |      20 |   867894 |   748527 |     6041    213 |        0 |        0
1687.18/1687.67	c 1687s |      20 |   868680 |   749227 |     6041    213 |        0 |        0
1689.37/1689.87	c 1689s |      20 |   869574 |   750027 |     6041    214 |        0 |        0
1691.57/1692.09	c 1691s |      20 |   870557 |   750927 |     6041    214 |        0 |        0
1693.77/1694.25	c 1694s |      20 |   871550 |   751827 |     6041    214 |        0 |        0
1695.88/1696.34	c 1696s |      20 |   872317 |   752527 |     6041    214 |        0 |        0
1697.98/1698.40	c 1698s |      20 |   873310 |   753427 |     6041    214 |        0 |        0
1700.07/1700.58	c 1700s |      20 |   874079 |   754127 |     6041    215 |        0 |        0
1702.38/1702.84	c 1702s |      20 |   875165 |   755127 |     6041    215 |        0 |        0
1704.48/1704.90	c 1704s |      20 |   876024 |   755927 |     6041    215 |        0 |        0
1706.48/1706.96	c 1706s |      20 |   876898 |   756727 |     6041    215 |        0 |        0
1708.57/1709.06	c 1708s |      20 |   877780 |   757527 |     6041    215 |        0 |        0
1710.87/1711.31	c 1711s |      20 |   878517 |   758227 |     6041    216 |        0 |        0
1712.97/1713.41	c 1713s |      20 |   879554 |   759127 |     6041    216 |        0 |        0
1715.07/1715.58	c 1715s |      20 |   880548 |   760027 |     6041    216 |        0 |        0
1717.27/1717.77	c 1717s |      20 |   881538 |   760927 |     6041    216 |        0 |        0
1719.47/1719.90	c 1719s |      20 |   882422 |   761727 |     6041    216 |        0 |        0
1721.67/1722.14	c 1721s |      20 |   883326 |   762527 |     6041    217 |        0 |        0
1723.77/1724.22	c 1724s |      20 |   884177 |   763327 |     6041    217 |        0 |        0
1725.77/1726.29	c 1726s |      20 |   884948 |   764027 |     6041    217 |        0 |        0
1727.87/1728.37	c 1728s |      20 |   885701 |   764727 |     6041    217 |        0 |        0
1730.07/1730.51	c 1730s |      20 |   886578 |   765527 |     6041    217 |        0 |        0
1732.08/1732.60	c 1732s |      20 |   887541 |   766427 |     6041    218 |        0 |        0
1734.27/1734.76	c 1734s |      20 |   888631 |   767427 |     6041    218 |        0 |        0
1736.47/1736.98	c 1736s |      20 |   889734 |   768427 |     6041    218 |        0 |        0
1738.56/1739.05	c 1738s |      20 |   890725 |   769327 |     6041    218 |        0 |        0
1740.77/1741.25	c 1741s |      20 |   891584 |   770127 |     6041    218 |        0 |        0
1742.87/1743.31	c 1743s |      20 |   892232 |   770727 |     6041    219 |        0 |        0
1744.97/1745.43	c 1745s |      20 |   893112 |   771527 |     6041    219 |        0 |        0
1746.97/1747.46	c 1747s |      20 |   893849 |   772227 |     6041    219 |        0 |        0
1749.26/1749.79	c 1749s |      20 |   894741 |   773027 |     6041    219 |        0 |        0
1751.36/1751.84	c 1751s |      20 |   895762 |   773927 |     6041    219 |        0 |        0
1753.46/1753.91	c 1753s |      20 |   896524 |   774627 |     6041    220 |        0 |        0
1755.56/1756.00	c 1755s |      20 |   897489 |   775527 |     6041    220 |        0 |        0
1757.57/1758.09	c 1757s |      20 |   898355 |   776327 |     6041    220 |        0 |        0
1759.77/1760.29	c 1760s |      20 |   899222 |   777127 |     6041    220 |        0 |        0
1761.97/1762.48	c 1762s |      20 |   900073 |   777927 |     6041    220 |        0 |        0
1763.97/1764.49	c 1764s |      20 |   900817 |   778627 |     6041    220 |        0 |        0
1766.17/1766.62	c 1766s |      20 |   901461 |   779227 |     6041    221 |        0 |        0
1768.16/1768.66	c 1768s |      20 |   902214 |   779927 |     6041    221 |        0 |        0
1770.36/1770.81	c 1770s |      20 |   903249 |   780827 |     6041    221 |        0 |        0
1772.47/1772.98	c 1772s |      20 |   904243 |   781727 |     6041    221 |        0 |        0
1774.67/1775.10	c 1774s |      20 |   905106 |   782527 |     6041    221 |        0 |        0
1776.67/1777.16	c 1776s |      20 |   905883 |   783227 |     6041    222 |        0 |        0
1778.87/1779.38	c 1779s |      20 |   906955 |   784227 |     6041    222 |        0 |        0
1781.06/1781.58	c 1781s |      20 |   907936 |   785127 |     6041    222 |        0 |        0
1783.26/1783.71	c 1783s |      20 |   908780 |   785927 |     6041    222 |        0 |        0
1785.36/1785.81	c 1785s |      20 |   909522 |   786627 |     6041    222 |        0 |        0
1787.36/1787.82	c 1787s |      20 |   910196 |   787227 |     6041    223 |        0 |        0
1789.46/1789.92	c 1789s |      20 |   911032 |   788027 |     6041    223 |        0 |        0
1791.46/1791.97	c 1791s |      20 |   911823 |   788727 |     6041    223 |        0 |        0
1793.66/1794.19	c 1793s |      20 |   912976 |   789727 |     6041    223 |        0 |        0
1795.87/1796.35	c 1796s |      20 |   913966 |   790627 |     6041    223 |        0 |        0
1797.96/1798.50	c 1798s |      20 |   914825 |   791427 |     6041    223 |        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-4093405-1466086137/watcher-4093405-1466086137 -o /tmp/evaluation-result-4093405-1466086137/solver-4093405-1466086137 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093405-1466086137.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.17 2.17 2.18 4/179 14536
/proc/meminfo: memFree=29973676/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 2779 0 0 0 0 0 0 0 20 0 4 0 10662686 761720832 3139 33554432000 4194304 16246674 140735184511552 140735184510976 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 186479 3148 441 2943 0 183373 0
[pid=14536/tid=14537] ppid=14533 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 780595200 3210 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=766396 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 784789504 3228 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=770492 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10662686 788983808 3244 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.17 2.17 2.18 4/179 14536
/proc/meminfo: memFree=29973676/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 25219 0 0 0 5 3 0 0 20 0 4 0 10662686 1247350784 25573 33554432000 4194304 16246674 140735184511552 140735184510976 12459048 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 304529 25581 606 2943 0 301423 0
[pid=14536/tid=14537] ppid=14533 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1247350784 25588 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1247350784 25594 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10662686 1247350784 25601 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200504 s]
/proc/loadavg: 2.17 2.17 2.18 4/179 14536
/proc/meminfo: memFree=29973676/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 49115 0 0 0 12 7 0 0 20 0 4 0 10662686 1247350784 49461 33554432000 4194304 16246674 140735184511552 140735184510976 5530837 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 304529 49477 808 2943 0 301423 0
[pid=14536/tid=14537] ppid=14533 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1247350784 49487 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1247350784 49497 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10662686 1247350784 49508 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300456 s]
/proc/loadavg: 2.17 2.17 2.18 4/179 14536
/proc/meminfo: memFree=29973676/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1304132 CPUtime=0.29 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 69156 0 0 0 19 10 0 0 20 0 4 0 10662686 1335431168 69480 33554432000 4194304 16246674 140735184511552 140735184510864 12874965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 326033 69494 867 2943 0 322927 0
[pid=14536/tid=14537] ppid=14533 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1335431168 69502 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1335431168 69510 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1335431168 69517 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1304132

[startup+0.700413 s]
/proc/loadavg: 2.17 2.17 2.18 4/179 14536
/proc/meminfo: memFree=29973676/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 109081 0 0 0 53 16 0 0 20 0 4 0 10662686 1338576896 109405 33554432000 4194304 16246674 140735184511552 140735184510864 13191638 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 326801 109418 867 2943 0 323695 0
[pid=14536/tid=14537] ppid=14533 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1338576896 109421 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1338576896 109426 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1338576896 109431 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1307204

[startup+1.50041 s]
/proc/loadavg: 2.17 2.17 2.18 3/183 14540
/proc/meminfo: memFree=28997684/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1307204 CPUtime=1.48 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 267791 0 0 0 112 36 0 0 20 0 4 0 10662686 1338576896 268115 33554432000 4194304 16246674 140735184511552 140735184493440 5545840 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 326801 268115 867 2943 0 323695 0
[pid=14536/tid=14537] ppid=14533 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1338576896 268115 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1338576896 268115 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1338576896 268115 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.10041 s]
/proc/loadavg: 2.17 2.17 2.18 3/183 14540
/proc/meminfo: memFree=28901336/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 267919 0 0 0 272 36 0 0 20 0 4 0 10662686 1338576896 268243 33554432000 4194304 16246674 140735184511552 140735184493440 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 326801 268243 871 2943 0 323695 0
[pid=14536/tid=14537] ppid=14533 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1338576896 268243 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1338576896 268243 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1338576896 268243 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.23 2.19 2.18 4/183 14540
/proc/meminfo: memFree=28900892/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 267984 0 0 0 592 37 0 0 20 0 4 0 10662686 1339625472 268308 33554432000 4194304 16246674 140735184511552 140735184493440 6021672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 327057 268308 871 2943 0 323951 0
[pid=14536/tid=14537] ppid=14533 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1339625472 268308 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1339625472 268308 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1339625472 268308 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.22 2.18 2.18 3/183 14540
/proc/meminfo: memFree=28898776/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 268408 0 0 0 1232 37 0 0 20 0 4 0 10662686 1341722624 268732 33554432000 4194304 16246674 140735184511552 140735184493440 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 327569 268732 873 2943 0 324463 0
[pid=14536/tid=14537] ppid=14533 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1341722624 268732 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1341722624 268732 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1341722624 268732 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.5005 s]
/proc/loadavg: 2.17 2.17 2.18 3/183 14540
/proc/meminfo: memFree=28898052/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1311300 CPUtime=25.48 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 268781 0 0 0 2511 37 0 0 20 0 4 0 10662686 1342771200 269105 33554432000 4194304 16246674 140735184511552 140735184493440 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 327825 269105 874 2943 0 324719 0
[pid=14536/tid=14537] ppid=14533 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1342771200 269105 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1342771200 269105 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1342771200 269105 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1311300

[startup+51.1005 s]
/proc/loadavg: 2.19 2.18 2.18 4/183 14589
/proc/meminfo: memFree=28923136/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 269971 0 0 0 5069 39 0 0 20 0 4 0 10662686 1346965504 270295 33554432000 4194304 16246674 140735184511552 140735184493440 5823131 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 328849 270295 875 2943 0 325743 0
[pid=14536/tid=14537] ppid=14533 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1346965504 270295 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1346965504 270295 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1346965504 270295 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.16 2.16 2.17 3/183 14641
/proc/meminfo: memFree=28925776/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1316420 CPUtime=102.27 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 270239 0 0 0 10185 42 0 0 20 0 4 0 10662686 1348014080 270554 33554432000 4194304 16246674 140735184511552 140735184493440 5721352 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 329105 270554 875 2943 0 325999 0
[pid=14536/tid=14537] ppid=14533 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1348014080 270554 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1348014080 270554 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1348014080 270554 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1316420


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

/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1325636

[startup+1362.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 15497
/proc/meminfo: memFree=28896348/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1325636 CPUtime=1361.92 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 272814 0 0 0 136105 87 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 140735184493440 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 331409 272858 875 2943 0 328303 0
[pid=14536/tid=14537] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1325636

[startup+1422.3 s]
/proc/loadavg: 2.12 2.18 2.17 4/183 15498
/proc/meminfo: memFree=28896584/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1325636 CPUtime=1421.92 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 272814 0 0 0 142103 89 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 140735184493440 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 331409 272858 875 2943 0 328303 0
[pid=14536/tid=14537] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1325636

[startup+1482.3 s]
/proc/loadavg: 2.09 2.16 2.17 3/183 15500
/proc/meminfo: memFree=28896636/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1325636 CPUtime=1481.9 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 272814 0 0 0 148100 90 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 140735184493440 5545872 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 331409 272858 875 2943 0 328303 0
[pid=14536/tid=14537] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1325636

[startup+1542.31 s]
/proc/loadavg: 2.06 2.14 2.16 3/183 15501
/proc/meminfo: memFree=28897008/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1325636 CPUtime=1541.9 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 272814 0 0 0 154099 91 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 140735184493440 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 331409 272858 875 2943 0 328303 0
[pid=14536/tid=14537] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1325636

[startup+1602.3 s]
/proc/loadavg: 2.08 2.13 2.15 3/183 15502
/proc/meminfo: memFree=28896892/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1325636 CPUtime=1601.89 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 272814 0 0 0 160095 94 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 140735184493440 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 331409 272858 875 2943 0 328303 0
[pid=14536/tid=14537] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1325636

[startup+1662.3 s]
/proc/loadavg: 2.17 2.15 2.16 3/183 15503
/proc/meminfo: memFree=28897012/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1325636 CPUtime=1661.88 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 272814 0 0 0 166092 96 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 140735184493440 5546160 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 331409 272858 875 2943 0 328303 0
[pid=14536/tid=14537] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1325636

[startup+1722.3 s]
/proc/loadavg: 2.24 2.18 2.17 3/183 15504
/proc/meminfo: memFree=28897016/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1325636 CPUtime=1721.87 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 272814 0 0 0 172089 98 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 140735184493440 5553676 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 331409 272858 875 2943 0 328303 0
[pid=14536/tid=14537] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1325636

[startup+1782.3 s]
/proc/loadavg: 2.17 2.16 2.16 3/183 15506
/proc/meminfo: memFree=28896408/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1325636 CPUtime=1781.86 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 272814 0 0 0 178084 102 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 140735184493440 5661363 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 331409 272858 875 2943 0 328303 0
[pid=14536/tid=14537] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1325636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.15 2.16 3/183 15506
/proc/meminfo: memFree=28896408/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1325636 CPUtime=1800.06 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 272814 0 0 0 179903 103 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 140735184493440 13950184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 331409 272858 875 2943 0 328303 0
[pid=14536/tid=14537] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1325636

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

[startup+1800.5 s]
/proc/loadavg: 2.13 2.15 2.16 3/183 15506
/proc/meminfo: memFree=28896408/32872528 swapFree=876280/941688
[pid=14536] ppid=14533 vsize=1325636 CPUtime=1800.06 cores=0,2,4,6
/proc/14536/stat : 14536 (toysat) R 14533 14536 7213 0 -1 4202496 272814 0 0 0 179903 103 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 140735184493440 13950184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14536/statm: 331409 272858 875 2943 0 328303 0
[pid=14536/tid=14537] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14537/stat : 14537 (toysat) S 14533 14536 7213 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917866806512 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14536/tid=14538] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14538/stat : 14538 (toysat) S 14533 14536 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917856316656 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14536/tid=14539] ppid=14533 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/14536/task/14539/stat : 14539 (toysat) S 14533 14536 7213 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10662686 1357451264 272858 33554432000 4194304 16246674 140735184511552 139917845843120 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1325636

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.04
CPU system time (s): 1.03184
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 1325636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.03184
maximum resident set size= 1091432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272814
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= 299
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68529 second user time and 6.97594 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-16 16:08:58
IDJOB=4093405
IDBENCH=78743
IDSOLVER=2553
FILE ID=node113/4093405-1466086137
RUNJOBID= node113-1466075295-13238
PBS_JOBID= 19904023
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-51-50--soft-66-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-4093405-1466086137/watcher-4093405-1466086137 -o /tmp/evaluation-result-4093405-1466086137/solver-4093405-1466086137 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13238 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093405-1466086137.wbo

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

MD5SUM BENCH= c9611a719411a0f5e82fa4122f33d8f1
RANDOM SEED=1574424358

node113.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.799
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	: 5333.59
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.799
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.799
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.56
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.799
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.799
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.799
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.54
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.799
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.799
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:        29973948 kB
Buffers:           37800 kB
Cached:           110004 kB
SwapCached:         2160 kB
Active:          1187496 kB
Inactive:          67028 kB
Active(anon):    1107324 kB
Inactive(anon):     1612 kB
Active(file):      80172 kB
Inactive(file):    65416 kB
Unevictable:      941688 kB
Mlocked:          876280 kB
SwapTotal:      67108856 kB
SwapFree:       67098740 kB
Dirty:             16372 kB
Writeback:             0 kB
AnonPages:       2047336 kB
Mapped:            10632 kB
Shmem:                 0 kB
Slab:             567456 kB
SReclaimable:      11580 kB
SUnreclaim:       555876 kB
KernelStack:        1448 kB
PageTables:         8128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2190360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 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= 71708 MiB
End job on node113 at 2016-06-16 16:38:58