Trace number 4109170

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.05 1800.61

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM80545edaffb0e9df5db6b9d8725aa6de
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2800
Total number of constraints150
Number of soft constraints106
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint40
Top cost 5369
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5368
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
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-19T15:10:17+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4109170-1466341817.wbo"]
0.00/0.01	c use --random-gen="526504380 1385631897 80205944 2366827182 2452010713 628027162 2636784606 1088104569 3041334260 2953075810 2902760678 3572850891 1816281431 1305099319 2817905413 200399380 2534653939 3215291580 1169693607 1203217837 2553929686 878737257 552351148 1960665267 1238252832 43432248 681734454 1908015164 3699294532 2349271486 1208605151 1095508333 448001813 3084352323 472127074 1972063348 1724079879 3275424189 4292938809 737682552 263374568 996354094 1602674633 1308319297 501819871 1321660922 4064586384 2905366130 2464197513 2785679657 2688478464 1982280001 2273576610 1917584459 2815696037 2572553363 3190113785 1746132632 1869300809 2354974794 1431991110 610834323 2571188786 2573449631 1769935706 3506076863 2062164868 849910362 1467981452 4018489457 2534307313 2858535075 1172283004 485665625 1805602615 2919505618 2645060390 1491674139 1767779881 3215952485 3257419348 658948031 109675722 3100864533 2703312030 619891901 3474500544 3324507047 744254973 2362617177 2727738208 1406237751 1440175230 2225104382 2095786923 3921686565 139757991 788658901 3777420322 951032823 635925300 2566305581 2290432619 2766966142 1341712665 3223209599 3296418173 1136312138 447993204 3696333076 2209852758 2463454275 1554867800 4050879676 1086054238 3398102203 3443533931 1117251996 1529210020 3078404430 3029434170 3777291335 3510372858 3586456385 3680266624 1847194243 119085238 2697834725 2780973996 3105226640 87294084 3529086803 1150095113 858529974 41531448 3533393665 2576585599 3543760402 3653983206 2430686652 1197625196 1780314867 3359212964 2258788541 3485333851 1489392559 1272559674 1962749170 3801731083 647244249 1448936512 78086817 1259326315 400874303 2168287426 1820915063 3401367934 2334415672 3446197470 3811821270 1999204920 1635111503 2124758940 3174024798 2128752613 771595193 438029616 3817903065 298932166 343219276 3731057406 238777393 2688837012 466960155 2862563425 19808512 628684436 1352750070 1670536656 1587883689 1255695130 1746760736 194499901 2393717444 3699569800 2171174588 3451614482 3714105676 718190760 4048901438 1838225199 1461408504 2706142055 1546932266 1632960082 59488103 4186557336 2868038420 3097823733 2252860163 3546672708 1886887499 1486044467 554944582 2020740624 1986313677 4009707322 1715458992 1247851593 3669866947 1683724933 1834531325 4091581038 1327415097 411142422 1118129722 2019060012 1452469668 2220413097 3580564269 3748790551 2024831587 161984219 3517712165 4224771730 3982815160 3384481569 2759902371 3024140860 1235206460 1264617938 1694262304 655124293 2638319222 1909247798 2368851452 612738788 2788832871 3583370621 3058069419 3617915115 3432158102 931617036 114128573 699290534 3854055837 2226496126 1860588792 2251047624 682923327 693473396 2506524635 618633224 3702931122 407846946 3068247586 255 362436" option to reproduce the execution
0.09/0.14	c #vars 2800
0.09/0.14	c #constraints 150
0.09/0.16	c BCD2: Hardening is enabled.
0.09/0.16	c BCD2: BiasedSearch is enabled.
0.09/0.16	c Solving starts ...
0.09/0.16	c ============================[ Search Statistics ]============================
0.09/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.16	c =============================================================================
0.09/0.16	c  0.0s |       0 |        0 |        0 |     1018      0 |        0 |        0
0.19/0.20	c  0.0s |       1 |      254 |      100 |     1018      0 |        0 |        0
0.19/0.21	c  0.0s |       1 |     2185 |      102 |     1120      0 |        0 |        0
0.19/0.21	c #cpu_time = 0.047s
0.19/0.21	c #wall_clock_time = 0.047s
0.19/0.21	c #decision = 2185
0.19/0.21	c #random_decision = 3
0.19/0.21	c #conflict = 102
0.19/0.21	c #restart = 1
0.19/0.21	o 2757
0.19/0.21	c BCD2: updating upper bound: 5368 -> 2756
0.19/0.21	c BCD2: 0 <= obj <= 2756
0.19/0.21	c BCD2: #cores=0, #unrelaxed=106, #relaxed=0, #hardened=0
0.19/0.21	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.21	c  0.0s |       0 |        0 |        0 |     1120      0 |        0 |        0
0.19/0.26	c  0.1s |       1 |      526 |      100 |     1120      0 |        0 |        0
0.39/0.46	c  0.3s |       2 |     1611 |      250 |     1232      0 |        0 |        0
0.59/0.65	c  0.4s |       3 |     3142 |      475 |     1356      0 |        0 |        0
0.89/0.95	c  0.7s |       4 |     5164 |      813 |     1492      0 |        0 |        0
1.39/1.46	c  1.3s |       5 |     6501 |     1320 |     1642      0 |        0 |        0
2.20/2.21	c  2.0s |       6 |     8497 |     2081 |     1807      0 |        0 |        0
3.59/3.64	c  3.4s |       7 |    11015 |     3223 |     1988      1 |        0 |        0
5.69/5.78	c  5.6s |       7 |    14449 |     4623 |     1988      2 |        0 |        0
6.29/6.32	c  6.1s |       8 |    14884 |     4936 |     2187      2 |        0 |        0
8.29/8.35	c  8.1s |       8 |    17448 |     6336 |     2187      3 |        0 |        0
10.08/10.14	c  9.9s |       9 |    18786 |     7506 |     2406      4 |        0 |        0
12.09/12.19	c 12.0s |       9 |    21997 |     9206 |     2406      5 |        0 |        0
14.18/14.28	c 14.1s |       9 |    23780 |    10806 |     2406      5 |        0 |        0
15.18/15.26	c 15.1s |      10 |    24373 |    11361 |     2647      6 |        0 |        0
17.18/17.26	c 17.1s |      10 |    27673 |    13261 |     2647      6 |        0 |        0
19.28/19.37	c 19.2s |      10 |    29428 |    14861 |     2647      7 |        0 |        0
21.28/21.39	c 21.2s |      10 |    31025 |    16261 |     2647      8 |        0 |        0
22.58/22.67	c 22.5s |      11 |    32000 |    17144 |     2912      8 |        0 |        0
24.68/24.72	c 24.5s |      11 |    35147 |    19144 |     2912      9 |        0 |        0
26.78/26.82	c 26.6s |      11 |    36921 |    20744 |     2912     10 |        0 |        0
28.88/28.95	c 28.7s |      11 |    38561 |    22244 |     2912     11 |        0 |        0
30.98/31.08	c 30.9s |      11 |    40119 |    23644 |     2912     11 |        0 |        0
33.18/33.20	c 33.0s |      11 |    41539 |    24944 |     2912     12 |        0 |        0
34.58/34.68	c 34.5s |      12 |    42492 |    25819 |     3204     12 |        0 |        0
36.69/36.76	c 36.5s |      12 |    45795 |    27819 |     3204     13 |        0 |        0
38.79/38.86	c 38.7s |      12 |    47568 |    29419 |     3204     14 |        0 |        0
40.89/40.90	c 40.7s |      12 |    49082 |    30819 |     3204     15 |        0 |        0
42.99/43.02	c 42.8s |      12 |    50723 |    32319 |     3204     15 |        0 |        0
45.09/45.17	c 45.0s |      12 |    52406 |    33819 |     3204     16 |        0 |        0
47.18/47.20	c 47.0s |      12 |    54139 |    35319 |     3204     16 |        0 |        0
49.18/49.27	c 49.1s |      12 |    55802 |    36819 |     3204     17 |        0 |        0
51.28/51.30	c 51.1s |      12 |    57364 |    38219 |     3204     18 |        0 |        0
51.98/52.09	c 51.9s |      13 |    58060 |    38832 |     3525     18 |        0 |        0
54.18/54.24	c 54.0s |      13 |    60975 |    40632 |     3525     19 |        0 |        0
56.28/56.37	c 56.2s |      13 |    62447 |    41932 |     3525     19 |        0 |        0
58.29/58.39	c 58.2s |      13 |    63932 |    43232 |     3525     20 |        0 |        0
60.38/60.45	c 60.2s |      13 |    65401 |    44532 |     3525     20 |        0 |        0
62.48/62.58	c 62.4s |      13 |    66631 |    45632 |     3525     21 |        0 |        0
64.48/64.59	c 64.4s |      13 |    67994 |    46832 |     3525     21 |        0 |        0
66.58/66.65	c 66.4s |      13 |    69255 |    47932 |     3525     22 |        0 |        0
68.78/68.81	c 68.6s |      13 |    70598 |    49132 |     3525     22 |        0 |        0
70.78/70.89	c 70.7s |      13 |    71831 |    50232 |     3525     22 |        0 |        0
72.88/72.90	c 72.7s |      13 |    73049 |    51332 |     3525     23 |        0 |        0
74.88/74.98	c 74.8s |      13 |    74297 |    52432 |     3525     23 |        0 |        0
76.98/77.07	c 76.9s |      13 |    75521 |    53532 |     3525     24 |        0 |        0
79.08/79.14	c 78.9s |      13 |    76765 |    54632 |     3525     24 |        0 |        0
81.28/81.32	c 81.1s |      13 |    77941 |    55732 |     3525     25 |        0 |        0
83.28/83.36	c 83.1s |      13 |    79296 |    56932 |     3525     25 |        0 |        0
85.28/85.39	c 85.2s |      13 |    80535 |    58032 |     3878     26 |        0 |        0
85.88/85.95	c 85.7s |      14 |    80881 |    58352 |     3878     26 |        0 |        0
87.98/88.02	c 87.8s |      14 |    84710 |    60352 |     3878     26 |        0 |        0
90.07/90.11	c 89.9s |      14 |    86663 |    62052 |     3878     27 |        0 |        0
92.07/92.14	c 91.9s |      14 |    88146 |    63352 |     3878     27 |        0 |        0
94.17/94.26	c 94.1s |      14 |    89589 |    64652 |     3878     28 |        0 |        0
96.27/96.37	c 96.2s |      14 |    91043 |    65952 |     3878     28 |        0 |        0
98.37/98.42	c 98.2s |      14 |    92386 |    67152 |     3878     29 |        0 |        0
100.37/100.49	c  100s |      14 |    93798 |    68452 |     3878     29 |        0 |        0
102.57/102.63	c  102s |      14 |    95119 |    69652 |     3878     30 |        0 |        0
104.67/104.79	c  104s |      14 |    96558 |    70952 |     3878     30 |        0 |        0
106.78/106.85	c  106s |      14 |    97707 |    71952 |     3878     31 |        0 |        0
108.77/108.85	c  108s |      14 |    98948 |    73052 |     3878     31 |        0 |        0
110.87/110.98	c  110s |      14 |   100169 |    74152 |     3878     31 |        0 |        0
112.97/113.07	c  112s |      14 |   101392 |    75252 |     3878     32 |        0 |        0
114.97/115.07	c  114s |      14 |   102587 |    76352 |     3878     32 |        0 |        0
116.97/117.08	c  116s |      14 |   103683 |    77352 |     3878     32 |        0 |        0
119.17/119.27	c  119s |      14 |   104933 |    78452 |     3878     33 |        0 |        0
121.27/121.35	c  121s |      14 |   106106 |    79552 |     3878     33 |        0 |        0
123.37/123.42	c  123s |      14 |   107203 |    80552 |     3878     34 |        0 |        0
125.37/125.49	c  125s |      14 |   108540 |    81752 |     3878     34 |        0 |        0
127.57/127.65	c  127s |      14 |   109947 |    82952 |     3878     34 |        0 |        0
129.66/129.75	c  129s |      14 |   111180 |    84052 |     3878     35 |        0 |        0
131.76/131.83	c  131s |      14 |   112651 |    85252 |     3878     35 |        0 |        0
133.76/133.87	c  133s |      14 |   113894 |    86352 |     3878     36 |        0 |        0
135.86/135.92	c  135s |      14 |   115117 |    87452 |     4266     36 |        0 |        0
136.26/136.33	c  136s |      15 |   115312 |    87632 |     4266     36 |        0 |        0
138.36/138.40	c  138s |      15 |   119013 |    89332 |     4266     37 |        0 |        0
140.36/140.49	c  140s |      15 |   121208 |    91132 |     4266     37 |        0 |        0
142.56/142.64	c  142s |      15 |   122846 |    92532 |     4266     38 |        0 |        0
144.67/144.74	c  144s |      15 |   124383 |    93832 |     4266     38 |        0 |        0
146.77/146.80	c  146s |      15 |   125661 |    94932 |     4266     38 |        0 |        0
148.87/148.90	c  148s |      15 |   126826 |    95932 |     4266     39 |        0 |        0
150.96/151.02	c  150s |      15 |   128256 |    97132 |     4266     39 |        0 |        0
153.16/153.20	c  152s |      15 |   129489 |    98232 |     4266     39 |        0 |        0
155.37/155.42	c  155s |      15 |   130492 |    99132 |     4266     40 |        0 |        0
157.47/157.54	c  157s |      15 |   131930 |   100332 |     4266     40 |        0 |        0
159.57/159.65	c  159s |      15 |   133431 |   101532 |     4266     40 |        0 |        0
161.67/161.79	c  161s |      15 |   134571 |   102532 |     4266     41 |        0 |        0
163.66/163.79	c  163s |      15 |   135725 |   103532 |     4266     41 |        0 |        0
165.76/165.87	c  165s |      15 |   137407 |   104932 |     4266     41 |        0 |        0
167.96/168.01	c  167s |      15 |   138647 |   106032 |     4266     42 |        0 |        0
170.06/170.10	c  169s |      15 |   140080 |   107232 |     4266     42 |        0 |        0
172.16/172.28	c  172s |      15 |   141477 |   108432 |     4266     42 |        0 |        0
174.46/174.59	c  174s |      15 |   142636 |   109432 |     4266     43 |        0 |        0
176.56/176.61	c  176s |      15 |   143633 |   110332 |     4266     43 |        0 |        0
178.67/178.73	c  178s |      15 |   144824 |   111332 |     4266     43 |        0 |        0
180.67/180.78	c  180s |      15 |   145983 |   112332 |     4266     43 |        0 |        0
182.87/182.98	c  182s |      15 |   147245 |   113432 |     4266     44 |        0 |        0
185.06/185.12	c  184s |      15 |   148466 |   114532 |     4266     44 |        0 |        0
187.16/187.20	c  186s |      15 |   149574 |   115532 |     4266     44 |        0 |        0
189.27/189.35	c  189s |      15 |   150729 |   116532 |     4266     45 |        0 |        0
191.47/191.53	c  191s |      15 |   152219 |   117832 |     4266     45 |        0 |        0
193.57/193.67	c  193s |      15 |   153446 |   118932 |     4266     45 |        0 |        0
195.66/195.75	c  195s |      15 |   154421 |   119832 |     4266     46 |        0 |        0
197.85/197.98	c  197s |      15 |   155653 |   120932 |     4266     46 |        0 |        0
200.06/200.20	c  199s |      15 |   156799 |   121932 |     4266     46 |        0 |        0
202.16/202.21	c  202s |      15 |   157812 |   122832 |     4266     46 |        0 |        0
204.16/204.24	c  204s |      15 |   158709 |   123632 |     4266     47 |        0 |        0
206.16/206.25	c  206s |      15 |   159685 |   124532 |     4266     47 |        0 |        0
208.26/208.34	c  208s |      15 |   160836 |   125532 |     4266     47 |        0 |        0
210.26/210.39	c  210s |      15 |   161958 |   126532 |     4266     48 |        0 |        0
212.36/212.47	c  212s |      15 |   163187 |   127632 |     4266     48 |        0 |        0
214.46/214.57	c  214s |      15 |   164295 |   128632 |     4266     48 |        0 |        0
216.66/216.74	c  216s |      15 |   165291 |   129532 |     4266     48 |        0 |        0
218.75/218.81	c  218s |      15 |   166332 |   130432 |     4266     49 |        0 |        0
220.75/220.87	c  220s |      15 |   167497 |   131432 |     4693     49 |        0 |        0
221.16/221.22	c  221s |      16 |   167633 |   131552 |     4693     49 |        0 |        0
223.26/223.38	c  223s |      16 |   170914 |   132852 |     4693     50 |        0 |        0
225.25/225.39	c  225s |      16 |   172030 |   133852 |     4693     50 |        0 |        0
227.45/227.57	c  227s |      16 |   173336 |   134952 |     4693     50 |        0 |        0
229.45/229.57	c  229s |      16 |   174482 |   135952 |     4693     51 |        0 |        0
231.65/231.71	c  231s |      16 |   175622 |   136952 |     4693     51 |        0 |        0
233.65/233.76	c  233s |      16 |   176511 |   137752 |     4693     51 |        0 |        0
235.86/235.97	c  235s |      16 |   177534 |   138652 |     4693     51 |        0 |        0
237.96/238.06	c  237s |      16 |   178436 |   139452 |     4693     52 |        0 |        0
240.16/240.26	c  240s |      16 |   179597 |   140452 |     4693     52 |        0 |        0
242.26/242.33	c  242s |      16 |   180610 |   141352 |     4693     52 |        0 |        0
244.26/244.37	c  244s |      16 |   181530 |   142152 |     4693     52 |        0 |        0
246.36/246.42	c  246s |      16 |   182560 |   143052 |     4693     53 |        0 |        0
248.56/248.64	c  248s |      16 |   183687 |   144052 |     4693     53 |        0 |        0
250.76/250.81	c  250s |      16 |   184725 |   144952 |     4693     53 |        0 |        0
252.85/252.91	c  252s |      16 |   185604 |   145752 |     4693     54 |        0 |        0
254.85/254.92	c  254s |      16 |   186483 |   146552 |     4693     54 |        0 |        0
257.05/257.11	c  256s |      16 |   187365 |   147352 |     4693     54 |        0 |        0
259.25/259.31	c  259s |      16 |   188238 |   148152 |     4693     54 |        0 |        0
261.35/261.45	c  261s |      16 |   189134 |   148952 |     4693     55 |        0 |        0
263.45/263.54	c  263s |      16 |   190011 |   149752 |     4693     55 |        0 |        0
265.55/265.63	c  265s |      16 |   190882 |   150552 |     4693     55 |        0 |        0
267.75/267.80	c  267s |      16 |   191930 |   151452 |     4693     55 |        0 |        0
269.85/269.93	c  269s |      16 |   192983 |   152352 |     4693     56 |        0 |        0
271.85/271.97	c  271s |      16 |   193926 |   153152 |     4693     56 |        0 |        0
273.96/274.04	c  273s |      16 |   194960 |   154052 |     4693     56 |        0 |        0
276.16/276.23	c  276s |      16 |   195987 |   154952 |     4693     56 |        0 |        0
278.35/278.44	c  278s |      16 |   196872 |   155752 |     4693     57 |        0 |        0
280.65/280.70	c  280s |      16 |   197872 |   156652 |     4693     57 |        0 |        0
282.85/282.91	c  282s |      16 |   198767 |   157452 |     4693     57 |        0 |        0
284.95/285.04	c  284s |      16 |   199659 |   158252 |     4693     57 |        0 |        0
286.95/287.07	c  286s |      16 |   200416 |   158952 |     4693     58 |        0 |        0
289.15/289.30	c  289s |      16 |   201290 |   159752 |     4693     58 |        0 |        0
291.45/291.51	c  291s |      16 |   202048 |   160452 |     4693     58 |        0 |        0
293.54/293.66	c  293s |      16 |   202954 |   161252 |     4693     58 |        0 |        0
295.95/296.06	c  295s |      16 |   203945 |   162152 |     4693     59 |        0 |        0
298.05/298.16	c  297s |      16 |   204843 |   162952 |     4693     59 |        0 |        0
300.14/300.29	c  300s |      16 |   205831 |   163852 |     4693     59 |        0 |        0
302.45/302.55	c  302s |      16 |   206717 |   164652 |     4693     59 |        0 |        0
304.54/304.64	c  304s |      16 |   207463 |   165352 |     4693     59 |        0 |        0
306.74/306.80	c  306s |      16 |   208233 |   166052 |     4693     60 |        0 |        0
308.94/309.08	c  308s |      16 |   209111 |   166852 |     4693     60 |        0 |        0
311.04/311.12	c  310s |      16 |   209849 |   167552 |     4693     60 |        0 |        0
313.14/313.26	c  313s |      16 |   210613 |   168252 |     4693     60 |        0 |        0
315.24/315.37	c  315s |      16 |   211249 |   168852 |     4693     61 |        0 |        0
317.34/317.45	c  317s |      16 |   212041 |   169552 |     4693     61 |        0 |        0
319.54/319.68	c  319s |      16 |   212953 |   170352 |     4693     61 |        0 |        0
321.84/321.93	c  321s |      16 |   213934 |   171252 |     4693     61 |        0 |        0
323.94/324.01	c  323s |      16 |   214808 |   172052 |     4693     62 |        0 |        0
325.94/326.03	c  325s |      16 |   215659 |   172852 |     4693     62 |        0 |        0
328.04/328.10	c  327s |      16 |   216539 |   173652 |     4693     62 |        0 |        0
330.14/330.25	c  330s |      16 |   217412 |   174452 |     4693     62 |        0 |        0
332.44/332.59	c  332s |      16 |   218303 |   175252 |     4693     62 |        0 |        0
334.54/334.67	c  334s |      16 |   219093 |   175952 |     4693     63 |        0 |        0
336.64/336.71	c  336s |      16 |   220211 |   176952 |     4693     63 |        0 |        0
338.64/338.79	c  338s |      16 |   221220 |   177852 |     4693     63 |        0 |        0
340.74/340.80	c  340s |      16 |   222005 |   178552 |     4693     64 |        0 |        0
342.84/342.94	c  342s |      16 |   223012 |   179452 |     4693     64 |        0 |        0
344.94/345.03	c  344s |      16 |   223912 |   180252 |     4693     64 |        0 |        0
347.04/347.18	c  346s |      16 |   224772 |   181052 |     4693     64 |        0 |        0
349.14/349.26	c  349s |      16 |   225535 |   181752 |     4693     64 |        0 |        0
351.24/351.38	c  351s |      16 |   226400 |   182552 |     4693     65 |        0 |        0
353.44/353.53	c  353s |      16 |   227269 |   183352 |     4693     65 |        0 |        0
355.64/355.70	c  355s |      16 |   228156 |   184152 |     4693     65 |        0 |        0
357.63/357.70	c  357s |      16 |   229180 |   185052 |     4693     66 |        0 |        0
359.64/359.77	c  359s |      16 |   230172 |   185952 |     4693     66 |        0 |        0
361.63/361.79	c  361s |      16 |   231164 |   186852 |     4693     66 |        0 |        0
363.83/363.96	c  363s |      16 |   232287 |   187852 |     4693     66 |        0 |        0
365.93/366.06	c  365s |      16 |   233178 |   188652 |     4693     67 |        0 |        0
368.13/368.24	c  368s |      16 |   234173 |   189552 |     4693     67 |        0 |        0
370.43/370.50	c  370s |      16 |   235158 |   190452 |     4693     67 |        0 |        0
372.43/372.57	c  372s |      16 |   235921 |   191152 |     4693     67 |        0 |        0
374.63/374.76	c  374s |      16 |   236687 |   191852 |     4693     68 |        0 |        0
376.93/377.07	c  376s |      16 |   237661 |   192752 |     4693     68 |        0 |        0
379.13/379.28	c  379s |      16 |   238406 |   193452 |     4693     68 |        0 |        0
381.33/381.47	c  381s |      16 |   239164 |   194152 |     4693     68 |        0 |        0
383.84/383.96	c  383s |      16 |   239953 |   194852 |     4693     69 |        0 |        0
386.04/386.13	c  385s |      16 |   240754 |   195552 |     4693     69 |        0 |        0
388.34/388.41	c  388s |      16 |   241511 |   196252 |     5163     69 |        0 |        0
390.43/390.60	c  390s |      16 |   242148 |   196852 |     5163     69 |        0 |        0
392.43/392.55	c  392s |      17 |   242798 |   197432 |     5163     69 |        0 |        0
394.43/394.59	c  394s |      17 |   246380 |   199132 |     5163     70 |        0 |        0
396.53/396.65	c  396s |      17 |   247962 |   200532 |     5163     70 |        0 |        0
398.73/398.83	c  398s |      17 |   249358 |   201832 |     5163     71 |        0 |        0
400.73/400.83	c  400s |      17 |   250715 |   203032 |     5163     71 |        0 |        0
402.83/402.96	c  402s |      17 |   252350 |   204432 |     5163     71 |        0 |        0
404.83/404.97	c  404s |      17 |   253589 |   205532 |     5163     72 |        0 |        0
406.83/406.99	c  406s |      17 |   255066 |   206832 |     5163     72 |        0 |        0
409.02/409.10	c  408s |      17 |   256341 |   207932 |     5163     72 |        0 |        0
411.12/411.24	c  411s |      17 |   257465 |   208932 |     5163     73 |        0 |        0
413.32/413.42	c  413s |      17 |   258810 |   210132 |     5163     73 |        0 |        0
415.32/415.45	c  415s |      17 |   259894 |   211132 |     5163     73 |        0 |        0
417.42/417.56	c  417s |      17 |   261026 |   212132 |     5163     74 |        0 |        0
419.42/419.58	c  419s |      17 |   262272 |   213232 |     5163     74 |        0 |        0
421.62/421.76	c  421s |      17 |   263546 |   214332 |     5163     74 |        0 |        0
423.62/423.79	c  423s |      17 |   264626 |   215232 |     5163     74 |        0 |        0
425.82/425.90	c  425s |      17 |   265635 |   216132 |     5163     75 |        0 |        0
427.83/427.95	c  427s |      17 |   266866 |   217232 |     5163     75 |        0 |        0
429.92/430.05	c  429s |      17 |   267972 |   218232 |     5163     75 |        0 |        0
431.92/432.06	c  431s |      17 |   268845 |   219032 |     5163     75 |        0 |        0
434.03/434.12	c  433s |      17 |   269883 |   219932 |     5163     76 |        0 |        0
436.13/436.20	c  435s |      17 |   271142 |   221032 |     5163     76 |        0 |        0
438.13/438.24	c  438s |      17 |   272261 |   222032 |     5163     76 |        0 |        0
440.23/440.31	c  440s |      17 |   273173 |   222832 |     5163     77 |        0 |        0
442.23/442.38	c  442s |      17 |   274384 |   223932 |     5163     77 |        0 |        0
444.43/444.52	c  444s |      17 |   275761 |   225132 |     5163     77 |        0 |        0
446.53/446.63	c  446s |      17 |   276858 |   226132 |     5163     78 |        0 |        0
448.62/448.70	c  448s |      17 |   278158 |   227332 |     5163     78 |        0 |        0
450.72/450.88	c  450s |      17 |   279485 |   228532 |     5163     78 |        0 |        0
453.02/453.17	c  452s |      17 |   280726 |   229632 |     5163     79 |        0 |        0
455.12/455.22	c  455s |      17 |   282050 |   230732 |     5163     79 |        0 |        0
457.12/457.26	c  457s |      17 |   283665 |   231932 |     5163     79 |        0 |        0
459.22/459.33	c  459s |      17 |   284859 |   232932 |     5163     79 |        0 |        0
461.22/461.36	c  461s |      17 |   286002 |   233932 |     5163     80 |        0 |        0
463.32/463.44	c  463s |      17 |   287246 |   235032 |     5163     80 |        0 |        0
465.42/465.58	c  465s |      17 |   288508 |   236132 |     5163     80 |        0 |        0
467.53/467.68	c  467s |      17 |   289407 |   236932 |     5163     81 |        0 |        0
469.63/469.78	c  469s |      17 |   290541 |   237932 |     5163     81 |        0 |        0
471.72/471.90	c  471s |      17 |   291653 |   238932 |     5163     81 |        0 |        0
473.82/473.98	c  473s |      17 |   292778 |   239932 |     5163     81 |        0 |        0
475.82/475.99	c  475s |      17 |   293657 |   240732 |     5163     82 |        0 |        0
477.92/478.03	c  477s |      17 |   294946 |   241832 |     5163     82 |        0 |        0
480.12/480.20	c  479s |      17 |   296158 |   242932 |     5163     82 |        0 |        0
482.22/482.37	c  482s |      17 |   297185 |   243832 |     5163     83 |        0 |        0
484.22/484.38	c  484s |      17 |   298213 |   244732 |     5163     83 |        0 |        0
486.32/486.48	c  486s |      17 |   299264 |   245632 |     5163     83 |        0 |        0
488.52/488.61	c  488s |      17 |   300150 |   246432 |     5163     83 |        0 |        0
490.62/490.79	c  490s |      17 |   300931 |   247132 |     5163     84 |        0 |        0
492.82/492.93	c  492s |      17 |   302139 |   248232 |     5163     84 |        0 |        0
494.92/495.04	c  494s |      17 |   303276 |   249232 |     5163     84 |        0 |        0
497.02/497.13	c  496s |      17 |   304284 |   250132 |     5163     84 |        0 |        0
499.22/499.31	c  499s |      17 |   305460 |   251132 |     5163     85 |        0 |        0
501.31/501.45	c  501s |      17 |   306731 |   252232 |     5163     85 |        0 |        0
503.31/503.49	c  503s |      17 |   308153 |   253232 |     5163     85 |        0 |        0
505.51/505.64	c  505s |      17 |   309423 |   254232 |     5163     86 |        0 |        0
507.71/507.82	c  507s |      17 |   311061 |   255532 |     5163     86 |        0 |        0
509.81/509.99	c  509s |      17 |   312539 |   256732 |     5163     86 |        0 |        0
511.91/512.02	c  511s |      17 |   313793 |   257632 |     5163     87 |        0 |        0
513.91/514.05	c  513s |      17 |   315143 |   258732 |     5163     87 |        0 |        0
515.92/516.07	c  515s |      17 |   316015 |   259532 |     5163     87 |        0 |        0
518.02/518.16	c  517s |      17 |   316925 |   260332 |     5163     87 |        0 |        0
520.11/520.29	c  520s |      17 |   317832 |   261132 |     5163     88 |        0 |        0
522.31/522.40	c  522s |      17 |   319281 |   262332 |     5163     88 |        0 |        0
524.41/524.57	c  524s |      17 |   320602 |   263432 |     5163     88 |        0 |        0
526.51/526.63	c  526s |      17 |   321704 |   264332 |     5163     88 |        0 |        0
528.61/528.73	c  528s |      17 |   322518 |   265032 |     5163     89 |        0 |        0
530.71/530.87	c  530s |      17 |   323449 |   265832 |     5163     89 |        0 |        0
533.00/533.11	c  532s |      17 |   324369 |   266632 |     5163     89 |        0 |        0
535.10/535.20	c  534s |      17 |   325151 |   267332 |     5163     89 |        0 |        0
537.30/537.43	c  537s |      17 |   325931 |   268032 |     5163     89 |        0 |        0
539.40/539.53	c  539s |      17 |   327311 |   269132 |     5163     90 |        0 |        0
541.40/541.57	c  541s |      17 |   328918 |   270332 |     5163     90 |        0 |        0
543.50/543.67	c  543s |      17 |   330350 |   271432 |     5163     90 |        0 |        0
545.61/545.75	c  545s |      17 |   331427 |   272332 |     5163     91 |        0 |        0
547.60/547.77	c  547s |      17 |   332485 |   273232 |     5163     91 |        0 |        0
549.70/549.81	c  549s |      17 |   333411 |   274032 |     5163     91 |        0 |        0
551.70/551.87	c  551s |      17 |   334324 |   274832 |     5163     91 |        0 |        0
553.91/554.08	c  553s |      17 |   335201 |   275632 |     5163     92 |        0 |        0
556.01/556.19	c  555s |      17 |   336070 |   276432 |     5163     92 |        0 |        0
558.11/558.22	c  558s |      17 |   337378 |   277332 |     5163     92 |        0 |        0
560.21/560.38	c  560s |      17 |   339170 |   278532 |     5163     92 |        0 |        0
562.41/562.59	c  562s |      17 |   340570 |   279532 |     5163     93 |        0 |        0
564.51/564.64	c  564s |      17 |   341661 |   280432 |     5163     93 |        0 |        0
566.71/566.88	c  566s |      17 |   342858 |   281332 |     5163     93 |        0 |        0
568.81/568.98	c  568s |      17 |   343918 |   282132 |     5163     94 |        0 |        0
570.91/571.01	c  570s |      17 |   344773 |   282832 |     5163     94 |        0 |        0
572.90/573.05	c  572s |      17 |   346169 |   283632 |     5163     94 |        0 |        0
575.00/575.10	c  574s |      17 |   347536 |   284432 |     5163     94 |        0 |        0
577.10/577.26	c  577s |      17 |   348617 |   285332 |     5163     94 |        0 |        0
579.40/579.51	c  579s |      17 |   349505 |   286132 |     5163     95 |        0 |        0
581.60/581.73	c  581s |      17 |   350525 |   286932 |     5163     95 |        0 |        0
583.80/583.90	c  583s |      17 |   351311 |   287632 |     5163     95 |        0 |        0
585.90/586.04	c  585s |      17 |   352289 |   288432 |     5163     95 |        0 |        0
588.00/588.18	c  587s |      17 |   353040 |   289132 |     5163     96 |        0 |        0
590.20/590.38	c  590s |      17 |   353857 |   289832 |     5163     96 |        0 |        0
592.40/592.50	c  592s |      17 |   355320 |   290732 |     5163     96 |        0 |        0
594.60/594.75	c  594s |      17 |   356378 |   291632 |     5163     96 |        0 |        0
596.90/597.03	c  596s |      17 |   357170 |   292332 |     5163     96 |        0 |        0
599.10/599.28	c  599s |      17 |   357826 |   292932 |     5163     97 |        0 |        0
601.40/601.56	c  601s |      17 |   358634 |   293632 |     5163     97 |        0 |        0
603.60/603.71	c  603s |      17 |   359457 |   294332 |     5680     97 |        0 |        0
605.70/605.81	c  605s |      17 |   360529 |   295232 |     5680     97 |        0 |        0
607.69/607.88	c  607s |      17 |   361432 |   296032 |     5680     97 |        0 |        0
608.30/608.46	c  608s |      18 |   361699 |   296252 |     5680     97 |        0 |        0
610.40/610.51	c  610s |      18 |   365505 |   297852 |     5680     98 |        0 |        0
612.39/612.59	c  612s |      18 |   367297 |   299452 |     5680     98 |        0 |        0
614.69/614.88	c  614s |      18 |   369098 |   301052 |     5680     99 |        0 |        0
616.79/616.92	c  616s |      18 |   370459 |   302252 |     5680     99 |        0 |        0
618.89/619.04	c  618s |      18 |   371763 |   303452 |     5680     99 |        0 |        0
620.99/621.10	c  620s |      18 |   372970 |   304552 |     5680     99 |        0 |        0
622.99/623.13	c  622s |      18 |   374071 |   305552 |     5680    100 |        0 |        0
624.99/625.18	c  624s |      18 |   375260 |   306652 |     5680    100 |        0 |        0
627.09/627.22	c  627s |      18 |   376335 |   307652 |     5680    100 |        0 |        0
629.20/629.38	c  629s |      18 |   377444 |   308652 |     5680    100 |        0 |        0
631.40/631.52	c  631s |      18 |   378325 |   309452 |     5680    101 |        0 |        0
633.40/633.57	c  633s |      18 |   379562 |   310552 |     5680    101 |        0 |        0
635.60/635.73	c  635s |      18 |   380914 |   311752 |     5680    101 |        0 |        0
637.80/637.93	c  637s |      18 |   382133 |   312852 |     5680    101 |        0 |        0
639.79/639.94	c  639s |      18 |   383004 |   313652 |     5680    102 |        0 |        0
641.89/642.00	c  641s |      18 |   384104 |   314652 |     5680    102 |        0 |        0
643.99/644.10	c  643s |      18 |   385463 |   315852 |     5680    102 |        0 |        0
646.09/646.28	c  646s |      18 |   386744 |   317052 |     5680    102 |        0 |        0
648.09/648.29	c  648s |      18 |   387706 |   317952 |     5680    103 |        0 |        0
650.29/650.45	c  650s |      18 |   388889 |   319052 |     5680    103 |        0 |        0
652.39/652.50	c  652s |      18 |   389968 |   320052 |     5680    103 |        0 |        0
654.50/654.66	c  654s |      18 |   390952 |   320952 |     5680    103 |        0 |        0
656.59/656.74	c  656s |      18 |   392070 |   321952 |     5680    104 |        0 |        0
658.69/658.88	c  658s |      18 |   393386 |   323152 |     5680    104 |        0 |        0
660.79/660.96	c  660s |      18 |   394614 |   324252 |     5680    104 |        0 |        0
662.98/663.11	c  662s |      18 |   395766 |   325252 |     5680    104 |        0 |        0
664.98/665.18	c  664s |      18 |   396739 |   326152 |     5680    105 |        0 |        0
667.08/667.24	c  667s |      18 |   397965 |   327252 |     5680    105 |        0 |        0
669.08/669.28	c  669s |      18 |   399088 |   328252 |     5680    105 |        0 |        0
671.18/671.39	c  671s |      18 |   400311 |   329352 |     5680    105 |        0 |        0
673.48/673.62	c  673s |      18 |   401439 |   330352 |     5680    106 |        0 |        0
675.58/675.75	c  675s |      18 |   402832 |   331552 |     5680    106 |        0 |        0
677.69/677.84	c  677s |      18 |   404110 |   332652 |     5680    106 |        0 |        0
679.89/680.08	c  679s |      18 |   405098 |   333552 |     5680    106 |        0 |        0
681.99/682.18	c  681s |      18 |   406200 |   334552 |     5680    107 |        0 |        0
684.09/684.23	c  684s |      18 |   407442 |   335652 |     5680    107 |        0 |        0
686.18/686.30	c  686s |      18 |   408436 |   336552 |     5680    107 |        0 |        0
688.28/688.40	c  688s |      18 |   409778 |   337752 |     5680    107 |        0 |        0
690.28/690.47	c  690s |      18 |   410900 |   338752 |     5680    108 |        0 |        0
692.39/692.53	c  692s |      18 |   412104 |   339852 |     5680    108 |        0 |        0
694.39/694.56	c  694s |      18 |   413186 |   340852 |     5680    108 |        0 |        0
696.59/696.72	c  696s |      18 |   414283 |   341852 |     5680    108 |        0 |        0
698.69/698.82	c  698s |      18 |   415136 |   342652 |     5680    109 |        0 |        0
700.69/700.85	c  700s |      18 |   416521 |   343852 |     5680    109 |        0 |        0
702.79/702.96	c  702s |      18 |   417883 |   345052 |     5680    109 |        0 |        0
704.88/705.03	c  704s |      18 |   419097 |   346152 |     5680    109 |        0 |        0
706.98/707.14	c  706s |      18 |   420237 |   347152 |     5680    110 |        0 |        0
709.08/709.27	c  709s |      18 |   421402 |   348252 |     5680    110 |        0 |        0
711.18/711.39	c  711s |      18 |   422501 |   349252 |     5680    110 |        0 |        0
713.28/713.42	c  713s |      18 |   423846 |   350352 |     5680    110 |        0 |        0
715.38/715.57	c  715s |      18 |   424962 |   351352 |     5680    111 |        0 |        0
717.48/717.65	c  717s |      18 |   426443 |   352652 |     5680    111 |        0 |        0
719.48/719.65	c  719s |      18 |   427692 |   353752 |     5680    111 |        0 |        0
721.59/721.72	c  721s |      18 |   428850 |   354752 |     5680    111 |        0 |        0
723.58/723.79	c  723s |      18 |   429988 |   355752 |     5680    112 |        0 |        0
725.78/725.91	c  725s |      18 |   431197 |   356852 |     5680    112 |        0 |        0
727.78/727.99	c  727s |      18 |   432324 |   357852 |     5680    112 |        0 |        0
729.88/730.01	c  729s |      18 |   433439 |   358852 |     5680    112 |        0 |        0
731.97/732.10	c  731s |      18 |   434795 |   360052 |     5680    113 |        0 |        0
734.07/734.27	c  734s |      18 |   436293 |   361352 |     5680    113 |        0 |        0
736.07/736.27	c  736s |      18 |   437385 |   362352 |     5680    113 |        0 |        0
738.27/738.43	c  738s |      18 |   438504 |   363352 |     5680    114 |        0 |        0
740.28/740.43	c  740s |      18 |   439864 |   364552 |     5680    114 |        0 |        0
742.27/742.45	c  742s |      18 |   441104 |   365652 |     5680    114 |        0 |        0
744.47/744.63	c  744s |      18 |   442321 |   366752 |     5680    114 |        0 |        0
746.48/746.70	c  746s |      18 |   443337 |   367652 |     5680    115 |        0 |        0
748.58/748.71	c  748s |      18 |   444449 |   368652 |     5680    115 |        0 |        0
750.68/750.88	c  750s |      18 |   445553 |   369652 |     5680    115 |        0 |        0
752.68/752.89	c  752s |      18 |   446542 |   370552 |     5680    115 |        0 |        0
754.78/754.92	c  754s |      18 |   447466 |   371352 |     5680    116 |        0 |        0
756.87/757.03	c  756s |      18 |   448476 |   372252 |     5680    116 |        0 |        0
759.07/759.24	c  759s |      18 |   449608 |   373252 |     5680    116 |        0 |        0
761.27/761.46	c  761s |      18 |   450617 |   374152 |     5680    116 |        0 |        0
763.28/763.48	c  763s |      18 |   451651 |   375052 |     5680    116 |        0 |        0
765.37/765.58	c  765s |      18 |   452527 |   375852 |     5680    117 |        0 |        0
767.48/767.66	c  767s |      18 |   453631 |   376852 |     5680    117 |        0 |        0
769.67/769.85	c  769s |      18 |   454841 |   377952 |     5680    117 |        0 |        0
771.77/771.97	c  771s |      18 |   455828 |   378852 |     5680    117 |        0 |        0
773.97/774.12	c  773s |      18 |   456798 |   379752 |     5680    118 |        0 |        0
776.08/776.26	c  776s |      18 |   457895 |   380752 |     5680    118 |        0 |        0
778.07/778.26	c  778s |      18 |   458878 |   381652 |     5680    118 |        0 |        0
780.17/780.32	c  780s |      18 |   459868 |   382552 |     5680    118 |        0 |        0
782.17/782.38	c  782s |      18 |   460865 |   383452 |     5680    118 |        0 |        0
784.28/784.43	c  784s |      18 |   461650 |   384152 |     5680    119 |        0 |        0
786.37/786.59	c  786s |      18 |   462617 |   385052 |     5680    119 |        0 |        0
788.57/788.77	c  788s |      18 |   463624 |   385952 |     5680    119 |        0 |        0
790.77/790.99	c  790s |      18 |   464595 |   386852 |     5680    119 |        0 |        0
792.87/793.04	c  792s |      18 |   465384 |   387552 |     5680    119 |        0 |        0
794.86/795.07	c  794s |      18 |   466261 |   388352 |     5680    120 |        0 |        0
797.16/797.30	c  797s |      18 |   467474 |   389452 |     5680    120 |        0 |        0
799.17/799.31	c  799s |      18 |   468446 |   390352 |     5680    120 |        0 |        0
801.17/801.32	c  801s |      18 |   469458 |   391252 |     5680    120 |        0 |        0
803.37/803.58	c  803s |      18 |   470356 |   392052 |     5680    121 |        0 |        0
805.47/805.63	c  805s |      18 |   471342 |   392952 |     5680    121 |        0 |        0
807.57/807.79	c  807s |      18 |   472587 |   394052 |     5680    121 |        0 |        0
809.77/809.97	c  809s |      18 |   473714 |   395052 |     5680    121 |        0 |        0
811.86/812.02	c  811s |      18 |   474596 |   395852 |     5680    121 |        0 |        0
813.97/814.17	c  813s |      18 |   475580 |   396752 |     5680    122 |        0 |        0
815.96/816.18	c  815s |      18 |   476705 |   397752 |     5680    122 |        0 |        0
817.96/818.19	c  817s |      18 |   477712 |   398652 |     5680    122 |        0 |        0
820.17/820.38	c  820s |      18 |   478712 |   399552 |     5680    122 |        0 |        0
822.47/822.63	c  822s |      18 |   479594 |   400352 |     5680    123 |        0 |        0
824.57/824.77	c  824s |      18 |   480639 |   401252 |     5680    123 |        0 |        0
826.77/826.95	c  826s |      18 |   481747 |   402252 |     5680    123 |        0 |        0
828.87/829.02	c  828s |      18 |   482632 |   403052 |     5680    123 |        0 |        0
830.96/831.12	c  830s |      18 |   483541 |   403852 |     5680    123 |        0 |        0
833.16/833.35	c  833s |      18 |   484334 |   404552 |     5680    124 |        0 |        0
835.26/835.42	c  835s |      18 |   485327 |   405452 |     5680    124 |        0 |        0
837.26/837.47	c  837s |      18 |   486617 |   406652 |     5680    124 |        0 |        0
839.36/839.52	c  839s |      18 |   487844 |   407752 |     5680    124 |        0 |        0
841.47/841.60	c  841s |      18 |   488832 |   408652 |     5680    125 |        0 |        0
843.66/843.80	c  843s |      18 |   489932 |   409652 |     5680    125 |        0 |        0
845.76/845.93	c  845s |      18 |   491162 |   410752 |     5680    125 |        0 |        0
847.76/847.94	c  847s |      18 |   492150 |   411652 |     5680    125 |        0 |        0
849.96/850.15	c  849s |      18 |   493142 |   412552 |     5680    125 |        0 |        0
852.16/852.30	c  852s |      18 |   494022 |   413352 |     5680    126 |        0 |        0
854.16/854.39	c  854s |      18 |   494994 |   414252 |     5680    126 |        0 |        0
856.46/856.67	c  856s |      18 |   495987 |   415152 |     5680    126 |        0 |        0
858.56/858.79	c  858s |      18 |   497101 |   416152 |     5680    126 |        0 |        0
860.86/861.00	c  860s |      18 |   497975 |   416952 |     5680    127 |        0 |        0
862.95/863.17	c  862s |      18 |   498997 |   417852 |     5680    127 |        0 |        0
865.05/865.26	c  865s |      18 |   499861 |   418652 |     5680    127 |        0 |        0
867.26/867.42	c  867s |      18 |   500739 |   419452 |     5680    127 |        0 |        0
869.46/869.66	c  869s |      18 |   501638 |   420252 |     5680    127 |        0 |        0
871.66/871.83	c  871s |      18 |   502387 |   420952 |     5680    128 |        0 |        0
873.85/874.04	c  873s |      18 |   503369 |   421852 |     5680    128 |        0 |        0
875.85/876.09	c  875s |      18 |   504675 |   422952 |     5680    128 |        0 |        0
877.95/878.19	c  877s |      18 |   505854 |   423952 |     5680    128 |        0 |        0
880.05/880.22	c  880s |      18 |   506888 |   424852 |     5680    128 |        0 |        0
882.25/882.40	c  882s |      18 |   508054 |   425852 |     5680    129 |        0 |        0
884.26/884.48	c  884s |      18 |   509225 |   426852 |     5680    129 |        0 |        0
886.26/886.49	c  886s |      18 |   510090 |   427652 |     5680    129 |        0 |        0
888.46/888.68	c  888s |      18 |   511127 |   428552 |     5680    129 |        0 |        0
890.86/891.06	c  890s |      18 |   511911 |   429252 |     5680    130 |        0 |        0
892.96/893.11	c  892s |      18 |   512935 |   430152 |     5680    130 |        0 |        0
894.96/895.18	c  894s |      18 |   514285 |   431352 |     5680    130 |        0 |        0
897.05/897.23	c  897s |      18 |   515519 |   432452 |     5680    130 |        0 |        0
899.15/899.33	c  899s |      18 |   516521 |   433352 |     5680    131 |        0 |        0
901.15/901.39	c  901s |      18 |   517612 |   434352 |     5680    131 |        0 |        0
903.35/903.58	c  903s |      18 |   518823 |   435452 |     5680    131 |        0 |        0
905.45/905.67	c  905s |      18 |   519811 |   436352 |     5680    131 |        0 |        0
907.65/907.81	c  907s |      18 |   520809 |   437252 |     5680    131 |        0 |        0
909.65/909.88	c  909s |      18 |   521712 |   438052 |     5680    132 |        0 |        0
911.75/911.94	c  911s |      18 |   522601 |   438852 |     5680    132 |        0 |        0
913.85/914.00	c  913s |      18 |   523479 |   439652 |     5680    132 |        0 |        0
915.85/916.01	c  915s |      18 |   524284 |   440352 |     5680    132 |        0 |        0
917.95/918.12	c  917s |      18 |   525926 |   441652 |     6249    132 |        0 |        0
919.95/920.13	c  919s |      18 |   527300 |   442552 |     6249    133 |        0 |        0
922.15/922.30	c  922s |      18 |   529017 |   443752 |     6249    133 |        0 |        0
923.55/923.75	c  923s |      19 |   529847 |   444482 |     6249    133 |        0 |        0
925.65/925.87	c  925s |      19 |   532741 |   445882 |     6249    134 |        0 |        0
927.65/927.88	c  927s |      19 |   534084 |   447082 |     6249    134 |        0 |        0
929.75/929.98	c  929s |      19 |   535446 |   448282 |     6249    134 |        0 |        0
932.05/932.28	c  932s |      19 |   536818 |   449482 |     6249    135 |        0 |        0
934.25/934.45	c  934s |      19 |   538184 |   450682 |     6249    135 |        0 |        0
936.34/936.51	c  936s |      19 |   539306 |   451682 |     6249    135 |        0 |        0
938.44/938.63	c  938s |      19 |   540391 |   452682 |     6249    135 |        0 |        0
940.54/940.78	c  940s |      19 |   541409 |   453582 |     6249    136 |        0 |        0
942.74/942.90	c  942s |      19 |   542592 |   454682 |     6249    136 |        0 |        0
944.85/945.04	c  944s |      19 |   543576 |   455582 |     6249    136 |        0 |        0
947.05/947.25	c  947s |      19 |   544676 |   456582 |     6249    136 |        0 |        0
949.04/949.30	c  949s |      19 |   545659 |   457482 |     6249    136 |        0 |        0
951.24/951.48	c  951s |      19 |   546643 |   458382 |     6249    137 |        0 |        0
953.44/953.68	c  953s |      19 |   547617 |   459282 |     6249    137 |        0 |        0
955.54/955.73	c  955s |      19 |   548471 |   460082 |     6249    137 |        0 |        0
957.54/957.75	c  957s |      19 |   549318 |   460882 |     6249    137 |        0 |        0
959.74/959.94	c  959s |      19 |   550294 |   461782 |     6249    137 |        0 |        0
961.74/961.96	c  961s |      19 |   551048 |   462482 |     6249    138 |        0 |        0
963.94/964.14	c  963s |      19 |   552000 |   463382 |     6249    138 |        0 |        0
966.04/966.22	c  966s |      19 |   552837 |   464182 |     6249    138 |        0 |        0
968.24/968.46	c  968s |      19 |   553672 |   464982 |     6249    138 |        0 |        0
970.34/970.56	c  970s |      19 |   554532 |   465782 |     6249    138 |        0 |        0
972.54/972.78	c  972s |      19 |   555396 |   466582 |     6249    139 |        0 |        0
974.73/974.94	c  974s |      19 |   556257 |   467382 |     6249    139 |        0 |        0
976.74/976.99	c  976s |      19 |   557114 |   468182 |     6249    139 |        0 |        0
978.84/979.07	c  978s |      19 |   558104 |   469082 |     6249    139 |        0 |        0
981.04/981.25	c  981s |      19 |   559053 |   469982 |     6249    139 |        0 |        0
983.13/983.34	c  983s |      19 |   559939 |   470782 |     6249    140 |        0 |        0
985.33/985.55	c  985s |      19 |   561074 |   471782 |     6249    140 |        0 |        0
987.33/987.55	c  987s |      19 |   561947 |   472582 |     6249    140 |        0 |        0
989.33/989.56	c  989s |      19 |   562810 |   473382 |     6249    140 |        0 |        0
991.43/991.68	c  991s |      19 |   563700 |   474182 |     6249    140 |        0 |        0
993.53/993.76	c  993s |      19 |   564588 |   474982 |     6249    141 |        0 |        0
995.62/995.84	c  995s |      19 |   565561 |   475882 |     6249    141 |        0 |        0
997.82/998.00	c  997s |      19 |   566419 |   476682 |     6249    141 |        0 |        0
999.92/1000.13	c  999s |      19 |   567295 |   477482 |     6249    141 |        0 |        0
1001.93/1002.14	c 1001s |      19 |   568184 |   478282 |     6249    141 |        0 |        0
1004.02/1004.20	c 1003s |      19 |   569187 |   479182 |     6249    142 |        0 |        0
1006.23/1006.41	c 1006s |      19 |   570286 |   480182 |     6249    142 |        0 |        0
1008.33/1008.57	c 1008s |      19 |   571303 |   481082 |     6249    142 |        0 |        0
1010.43/1010.63	c 1010s |      19 |   572315 |   481982 |     6249    142 |        0 |        0
1012.63/1012.81	c 1012s |      19 |   573198 |   482782 |     6249    143 |        0 |        0
1014.82/1015.00	c 1014s |      19 |   574314 |   483782 |     6249    143 |        0 |        0
1017.02/1017.20	c 1016s |      19 |   575412 |   484782 |     6249    143 |        0 |        0
1019.12/1019.34	c 1019s |      19 |   576412 |   485682 |     6249    143 |        0 |        0
1021.32/1021.59	c 1021s |      19 |   577574 |   486682 |     6249    144 |        0 |        0
1023.42/1023.60	c 1023s |      19 |   578594 |   487582 |     6249    144 |        0 |        0
1025.61/1025.81	c 1025s |      19 |   579697 |   488582 |     6249    144 |        0 |        0
1027.61/1027.82	c 1027s |      19 |   580546 |   489382 |     6249    144 |        0 |        0
1029.71/1029.99	c 1029s |      19 |   581470 |   490182 |     6249    144 |        0 |        0
1031.91/1032.12	c 1031s |      19 |   582490 |   491082 |     6249    145 |        0 |        0
1034.11/1034.30	c 1034s |      19 |   583739 |   492182 |     6249    145 |        0 |        0
1036.11/1036.35	c 1036s |      19 |   584738 |   493082 |     6249    145 |        0 |        0
1038.21/1038.47	c 1038s |      19 |   585727 |   493982 |     6249    145 |        0 |        0
1040.31/1040.59	c 1040s |      19 |   586570 |   494782 |     6249    145 |        0 |        0
1042.41/1042.64	c 1042s |      19 |   587500 |   495582 |     6249    146 |        0 |        0
1044.60/1044.80	c 1044s |      19 |   588638 |   496582 |     6249    146 |        0 |        0
1046.70/1046.95	c 1046s |      19 |   589639 |   497482 |     6249    146 |        0 |        0
1048.80/1049.04	c 1048s |      19 |   590668 |   498382 |     6249    146 |        0 |        0
1050.90/1051.10	c 1050s |      19 |   591438 |   499082 |     6249    147 |        0 |        0
1052.90/1053.13	c 1052s |      19 |   592311 |   499882 |     6249    147 |        0 |        0
1054.90/1055.14	c 1054s |      19 |   593202 |   500682 |     6249    147 |        0 |        0
1057.00/1057.29	c 1057s |      19 |   594102 |   501482 |     6249    147 |        0 |        0
1059.10/1059.34	c 1059s |      19 |   595238 |   502382 |     6249    147 |        0 |        0
1061.19/1061.40	c 1061s |      19 |   596152 |   503182 |     6249    147 |        0 |        0
1063.29/1063.56	c 1063s |      19 |   597157 |   504082 |     6249    148 |        0 |        0
1065.49/1065.74	c 1065s |      19 |   598157 |   504982 |     6249    148 |        0 |        0
1067.49/1067.78	c 1067s |      19 |   599348 |   505982 |     6249    148 |        0 |        0
1069.69/1069.90	c 1069s |      19 |   600469 |   506982 |     6249    148 |        0 |        0
1071.69/1071.91	c 1071s |      19 |   601514 |   507882 |     6249    149 |        0 |        0
1073.89/1074.18	c 1073s |      19 |   602624 |   508882 |     6249    149 |        0 |        0
1075.98/1076.20	c 1075s |      19 |   603698 |   509782 |     6249    149 |        0 |        0
1077.98/1078.29	c 1078s |      19 |   604793 |   510782 |     6249    149 |        0 |        0
1080.18/1080.40	c 1080s |      19 |   605679 |   511582 |     6249    150 |        0 |        0
1082.29/1082.56	c 1082s |      19 |   606666 |   512482 |     6249    150 |        0 |        0
1084.28/1084.60	c 1084s |      19 |   607543 |   513282 |     6249    150 |        0 |        0
1086.38/1086.61	c 1086s |      19 |   608432 |   514082 |     6249    150 |        0 |        0
1088.58/1088.83	c 1088s |      19 |   609429 |   514982 |     6249    150 |        0 |        0
1090.78/1091.02	c 1090s |      19 |   610184 |   515682 |     6249    151 |        0 |        0
1092.97/1093.25	c 1093s |      19 |   611168 |   516582 |     6249    151 |        0 |        0
1095.07/1095.37	c 1095s |      19 |   612049 |   517382 |     6249    151 |        0 |        0
1097.17/1097.46	c 1097s |      19 |   613037 |   518282 |     6249    151 |        0 |        0
1099.17/1099.46	c 1099s |      19 |   613896 |   519082 |     6249    151 |        0 |        0
1101.57/1101.85	c 1101s |      19 |   614670 |   519782 |     6249    152 |        0 |        0
1103.77/1104.06	c 1103s |      19 |   615645 |   520682 |     6249    152 |        0 |        0
1105.86/1106.19	c 1105s |      19 |   616503 |   521482 |     6249    152 |        0 |        0
1107.96/1108.29	c 1108s |      19 |   617259 |   522182 |     6249    152 |        0 |        0
1110.26/1110.53	c 1110s |      19 |   618021 |   522882 |     6249    152 |        0 |        0
1112.46/1112.73	c 1112s |      19 |   618893 |   523682 |     6249    152 |        0 |        0
1114.46/1114.78	c 1114s |      19 |   619788 |   524482 |     6249    153 |        0 |        0
1116.76/1117.04	c 1116s |      19 |   620898 |   525482 |     6249    153 |        0 |        0
1118.86/1119.12	c 1118s |      19 |   621785 |   526282 |     6249    153 |        0 |        0
1121.06/1121.32	c 1121s |      19 |   622650 |   527082 |     6249    153 |        0 |        0
1123.16/1123.40	c 1123s |      19 |   623643 |   527982 |     6249    153 |        0 |        0
1125.25/1125.53	c 1125s |      19 |   624510 |   528782 |     6249    154 |        0 |        0
1127.26/1127.60	c 1127s |      19 |   625375 |   529582 |     6249    154 |        0 |        0
1129.46/1129.79	c 1129s |      19 |   626360 |   530482 |     6249    154 |        0 |        0
1131.76/1132.01	c 1131s |      19 |   627363 |   531382 |     6249    154 |        0 |        0
1133.86/1134.16	c 1133s |      19 |   628238 |   532182 |     6249    155 |        0 |        0
1135.84/1136.19	c 1135s |      19 |   629234 |   533082 |     6249    155 |        0 |        0
1138.14/1138.42	c 1138s |      19 |   630220 |   533982 |     6249    155 |        0 |        0
1140.24/1140.54	c 1140s |      19 |   631135 |   534782 |     6249    155 |        0 |        0
1142.24/1142.55	c 1142s |      19 |   632131 |   535682 |     6249    155 |        0 |        0
1144.34/1144.66	c 1144s |      19 |   633041 |   536482 |     6249    156 |        0 |        0
1146.44/1146.78	c 1146s |      19 |   633924 |   537282 |     6249    156 |        0 |        0
1148.54/1148.83	c 1148s |      19 |   634810 |   538082 |     6249    156 |        0 |        0
1150.64/1150.90	c 1150s |      19 |   635563 |   538782 |     6249    156 |        0 |        0
1152.83/1153.10	c 1152s |      19 |   636450 |   539582 |     6249    156 |        0 |        0
1155.04/1155.37	c 1155s |      19 |   637376 |   540382 |     6249    157 |        0 |        0
1157.24/1157.52	c 1157s |      19 |   638365 |   541282 |     6249    157 |        0 |        0
1159.34/1159.64	c 1159s |      19 |   639287 |   542082 |     6249    157 |        0 |        0
1161.35/1161.65	c 1161s |      19 |   640158 |   542882 |     6249    157 |        0 |        0
1163.55/1163.89	c 1163s |      19 |   641055 |   543682 |     6249    157 |        0 |        0
1165.74/1166.00	c 1165s |      19 |   641926 |   544482 |     6249    157 |        0 |        0
1167.83/1168.11	c 1167s |      19 |   642739 |   545182 |     6249    158 |        0 |        0
1169.83/1170.18	c 1169s |      19 |   643730 |   546082 |     6249    158 |        0 |        0
1171.93/1172.25	c 1172s |      19 |   644614 |   546882 |     6249    158 |        0 |        0
1174.03/1174.38	c 1174s |      19 |   645509 |   547682 |     6249    158 |        0 |        0
1176.33/1176.67	c 1176s |      19 |   646382 |   548482 |     6249    158 |        0 |        0
1178.53/1178.89	c 1178s |      19 |   647266 |   549282 |     6249    159 |        0 |        0
1180.63/1180.97	c 1180s |      19 |   648138 |   550082 |     6249    159 |        0 |        0
1182.83/1183.15	c 1182s |      19 |   649113 |   550982 |     6249    159 |        0 |        0
1184.92/1185.27	c 1185s |      19 |   649959 |   551782 |     6249    159 |        0 |        0
1187.12/1187.40	c 1187s |      19 |   650726 |   552482 |     6249    159 |        0 |        0
1189.32/1189.60	c 1189s |      19 |   651584 |   553282 |     6249    160 |        0 |        0
1191.32/1191.66	c 1191s |      19 |   652481 |   554082 |     6249    160 |        0 |        0
1193.52/1193.84	c 1193s |      19 |   653401 |   554882 |     6249    160 |        0 |        0
1195.71/1196.06	c 1195s |      19 |   654332 |   555682 |     6249    160 |        0 |        0
1197.91/1198.26	c 1198s |      19 |   655252 |   556482 |     6249    160 |        0 |        0
1200.11/1200.49	c 1200s |      19 |   656132 |   557282 |     6249    161 |        0 |        0
1202.21/1202.57	c 1202s |      19 |   657001 |   558082 |     6249    161 |        0 |        0
1204.40/1204.74	c 1204s |      19 |   657889 |   558882 |     6249    161 |        0 |        0
1206.60/1206.98	c 1206s |      19 |   658870 |   559782 |     6249    161 |        0 |        0
1208.61/1208.98	c 1208s |      19 |   659747 |   560582 |     6249    161 |        0 |        0
1210.70/1211.02	c 1210s |      19 |   660503 |   561282 |     6249    162 |        0 |        0
1212.80/1213.13	c 1212s |      19 |   661397 |   562082 |     6249    162 |        0 |        0
1214.90/1215.24	c 1215s |      19 |   662390 |   562982 |     6249    162 |        0 |        0
1217.10/1217.45	c 1217s |      19 |   663358 |   563882 |     6249    162 |        0 |        0
1219.40/1219.71	c 1219s |      19 |   664245 |   564682 |     6249    162 |        0 |        0
1221.50/1221.87	c 1221s |      19 |   665173 |   565482 |     6249    163 |        0 |        0
1223.70/1224.09	c 1223s |      19 |   666280 |   566482 |     6249    163 |        0 |        0
1225.90/1226.23	c 1226s |      19 |   667258 |   567382 |     6249    163 |        0 |        0
1227.90/1228.24	c 1228s |      19 |   668116 |   568182 |     6249    163 |        0 |        0
1230.10/1230.43	c 1230s |      19 |   668964 |   568982 |     6249    163 |        0 |        0
1232.10/1232.45	c 1232s |      19 |   669698 |   569682 |     6249    164 |        0 |        0
1234.20/1234.52	c 1234s |      19 |   670436 |   570382 |     6249    164 |        0 |        0
1236.29/1236.70	c 1236s |      19 |   671312 |   571182 |     6249    164 |        0 |        0
1238.59/1238.97	c 1238s |      19 |   672305 |   572082 |     6249    164 |        0 |        0
1240.60/1240.98	c 1240s |      19 |   673069 |   572782 |     6249    164 |        0 |        0
1242.59/1242.99	c 1242s |      19 |   673747 |   573382 |     6249    165 |        0 |        0
1244.68/1245.02	c 1244s |      19 |   674541 |   574082 |     6249    165 |        0 |        0
1246.78/1247.19	c 1246s |      19 |   675656 |   575082 |     6249    165 |        0 |        0
1248.98/1249.39	c 1249s |      19 |   676623 |   575982 |     6249    165 |        0 |        0
1251.08/1251.48	c 1251s |      19 |   677480 |   576782 |     6249    165 |        0 |        0
1253.18/1253.50	c 1253s |      19 |   678220 |   577482 |     6249    166 |        0 |        0
1255.28/1255.62	c 1255s |      19 |   679252 |   578382 |     6249    166 |        0 |        0
1257.38/1257.72	c 1257s |      19 |   680449 |   579482 |     6249    166 |        0 |        0
1259.58/1259.93	c 1259s |      19 |   681577 |   580482 |     6249    166 |        0 |        0
1261.68/1262.03	c 1261s |      19 |   682554 |   581382 |     6249    166 |        0 |        0
1263.68/1264.06	c 1263s |      19 |   683449 |   582182 |     6249    167 |        0 |        0
1265.78/1266.20	c 1265s |      19 |   684431 |   583082 |     6249    167 |        0 |        0
1267.87/1268.23	c 1268s |      19 |   685186 |   583782 |     6249    167 |        0 |        0
1269.87/1270.24	c 1270s |      19 |   685956 |   584482 |     6249    167 |        0 |        0
1271.97/1272.39	c 1272s |      19 |   686718 |   585182 |     6249    167 |        0 |        0
1274.17/1274.52	c 1274s |      19 |   687483 |   585882 |     6249    168 |        0 |        0
1276.16/1276.53	c 1276s |      19 |   688277 |   586582 |     6249    168 |        0 |        0
1278.16/1278.54	c 1278s |      19 |   689149 |   587382 |     6249    168 |        0 |        0
1280.26/1280.62	c 1280s |      19 |   690002 |   588182 |     6249    168 |        0 |        0
1282.27/1282.68	c 1282s |      19 |   690857 |   588982 |     6249    168 |        0 |        0
1284.36/1284.78	c 1284s |      19 |   691578 |   589682 |     6249    168 |        0 |        0
1286.46/1286.82	c 1286s |      19 |   692336 |   590382 |     6249    169 |        0 |        0
1288.56/1288.93	c 1288s |      19 |   693193 |   591182 |     6249    169 |        0 |        0
1290.65/1291.04	c 1290s |      19 |   694080 |   591982 |     6249    169 |        0 |        0
1292.85/1293.24	c 1293s |      19 |   695096 |   592882 |     6249    169 |        0 |        0
1294.85/1295.26	c 1295s |      19 |   695851 |   593582 |     6249    169 |        0 |        0
1296.95/1297.30	c 1297s |      19 |   696618 |   594282 |     6249    170 |        0 |        0
1298.95/1299.38	c 1299s |      19 |   697478 |   595082 |     6249    170 |        0 |        0
1301.25/1301.63	c 1301s |      19 |   698334 |   595882 |     6249    170 |        0 |        0
1303.55/1303.92	c 1303s |      19 |   699075 |   596582 |     6249    170 |        0 |        0
1305.64/1306.09	c 1305s |      19 |   699814 |   597282 |     6249    170 |        0 |        0
1307.74/1308.17	c 1307s |      19 |   700494 |   597882 |     6249    170 |        0 |        0
1309.85/1310.21	c 1310s |      19 |   701520 |   598782 |     6249    171 |        0 |        0
1312.05/1312.42	c 1312s |      19 |   702627 |   599782 |     6249    171 |        0 |        0
1314.04/1314.42	c 1314s |      19 |   703604 |   600682 |     6249    171 |        0 |        0
1316.04/1316.47	c 1316s |      19 |   704464 |   601482 |     6249    171 |        0 |        0
1318.23/1318.62	c 1318s |      19 |   705339 |   602282 |     6249    172 |        0 |        0
1320.33/1320.77	c 1320s |      19 |   706207 |   603082 |     6249    172 |        0 |        0
1322.43/1322.87	c 1322s |      19 |   707071 |   603882 |     6249    172 |        0 |        0
1324.43/1324.88	c 1324s |      19 |   707800 |   604582 |     6249    172 |        0 |        0
1326.53/1326.99	c 1326s |      19 |   708548 |   605282 |     6249    172 |        0 |        0
1328.93/1329.38	c 1329s |      19 |   709314 |   605982 |     6249    172 |        0 |        0
1331.03/1331.49	c 1331s |      19 |   709951 |   606582 |     6249    173 |        0 |        0
1333.33/1333.71	c 1333s |      19 |   710822 |   607382 |     6249    173 |        0 |        0
1335.52/1335.92	c 1335s |      19 |   711669 |   608182 |     6249    173 |        0 |        0
1337.52/1337.94	c 1337s |      19 |   712421 |   608882 |     6249    173 |        0 |        0
1339.62/1340.04	c 1339s |      19 |   713179 |   609582 |     6249    173 |        0 |        0
1341.73/1342.17	c 1341s |      19 |   713927 |   610282 |     6249    173 |        0 |        0
1343.93/1344.37	c 1344s |      19 |   714688 |   610982 |     6249    174 |        0 |        0
1346.03/1346.44	c 1346s |      19 |   715336 |   611582 |     6249    174 |        0 |        0
1348.33/1348.75	c 1348s |      19 |   716078 |   612282 |     6249    174 |        0 |        0
1350.54/1350.93	c 1350s |      19 |   716738 |   612882 |     6249    174 |        0 |        0
1352.74/1353.12	c 1352s |      19 |   717501 |   613582 |     6249    174 |        0 |        0
1354.93/1355.37	c 1355s |      19 |   718250 |   614282 |     6249    174 |        0 |        0
1357.22/1357.65	c 1357s |      19 |   718910 |   614882 |     6249    175 |        0 |        0
1359.42/1359.80	c 1359s |      19 |   719887 |   615782 |     6249    175 |        0 |        0
1361.53/1361.92	c 1361s |      19 |   720743 |   616582 |     6249    175 |        0 |        0
1363.82/1364.24	c 1364s |      19 |   721512 |   617282 |     6249    175 |        0 |        0
1366.02/1366.44	c 1366s |      19 |   722248 |   617982 |     6249    175 |        0 |        0
1368.32/1368.74	c 1368s |      19 |   722996 |   618682 |     6249    175 |        0 |        0
1370.51/1370.93	c 1370s |      19 |   723748 |   619382 |     6249    176 |        0 |        0
1372.61/1373.05	c 1372s |      19 |   724498 |   620082 |     6249    176 |        0 |        0
1374.62/1375.10	c 1374s |      19 |   725243 |   620782 |     6249    176 |        0 |        0
1377.01/1377.42	c 1377s |      19 |   725994 |   621482 |     6249    176 |        0 |        0
1379.02/1379.42	c 1379s |      19 |   726555 |   621982 |     6249    176 |        0 |        0
1381.41/1381.81	c 1381s |      19 |   727206 |   622582 |     6249    176 |        0 |        0
1383.42/1383.86	c 1383s |      19 |   727735 |   623082 |     6249    177 |        0 |        0
1385.61/1386.10	c 1385s |      19 |   728386 |   623682 |     6249    177 |        0 |        0
1387.71/1388.12	c 1387s |      19 |   729057 |   624282 |     6249    177 |        0 |        0
1389.71/1390.16	c 1389s |      19 |   729600 |   624782 |     6249    177 |        0 |        0
1391.91/1392.36	c 1392s |      19 |   730269 |   625382 |     6249    177 |        0 |        0
1394.01/1394.41	c 1394s |      19 |   730805 |   625882 |     6249    177 |        0 |        0
1396.00/1396.45	c 1396s |      19 |   731341 |   626382 |     6249    177 |        0 |        0
1398.40/1398.85	c 1398s |      19 |   731878 |   626882 |     6249    177 |        0 |        0
1400.40/1400.89	c 1400s |      19 |   732319 |   627282 |     6249    178 |        0 |        0
1402.60/1403.03	c 1402s |      19 |   732968 |   627882 |     6249    178 |        0 |        0
1404.89/1405.34	c 1405s |      19 |   733719 |   628582 |     6249    178 |        0 |        0
1407.19/1407.68	c 1407s |      19 |   734492 |   629282 |     6249    178 |        0 |        0
1409.49/1409.93	c 1409s |      19 |   735165 |   629882 |     6249    178 |        0 |        0
1411.69/1412.18	c 1411s |      19 |   735848 |   630482 |     6249    178 |        0 |        0
1414.09/1414.57	c 1414s |      19 |   736602 |   631082 |     6249    179 |        0 |        0
1416.29/1416.78	c 1416s |      19 |   737282 |   631682 |     6249    179 |        0 |        0
1418.39/1418.83	c 1418s |      19 |   738093 |   632382 |     6249    179 |        0 |        0
1420.49/1420.92	c 1420s |      19 |   738777 |   632982 |     6249    179 |        0 |        0
1422.49/1422.95	c 1422s |      19 |   739317 |   633482 |     6249    179 |        0 |        0
1424.58/1425.06	c 1424s |      19 |   739879 |   633982 |     6249    179 |        0 |        0
1426.78/1427.22	c 1427s |      19 |   740527 |   634582 |     6249    179 |        0 |        0
1429.28/1429.78	c 1429s |      19 |   741188 |   635182 |     6249    180 |        0 |        0
1431.68/1432.11	c 1431s |      19 |   741829 |   635782 |     6249    180 |        0 |        0
1433.88/1434.31	c 1434s |      19 |   742495 |   636382 |     6249    180 |        0 |        0
1436.07/1436.51	c 1436s |      19 |   743174 |   636982 |     6249    180 |        0 |        0
1438.38/1438.86	c 1438s |      19 |   743863 |   637582 |     6249    180 |        0 |        0
1440.47/1440.98	c 1440s |      19 |   744520 |   638182 |     6249    180 |        0 |        0
1442.67/1443.16	c 1442s |      19 |   745190 |   638782 |     6249    180 |        0 |        0
1444.77/1445.26	c 1445s |      19 |   745750 |   639282 |     6249    181 |        0 |        0
1446.77/1447.29	c 1447s |      19 |   746295 |   639782 |     6249    181 |        0 |        0
1449.07/1449.53	c 1449s |      19 |   746864 |   640282 |     6249    181 |        0 |        0
1451.37/1451.80	c 1451s |      19 |   747404 |   640782 |     6249    181 |        0 |        0
1453.57/1454.06	c 1453s |      19 |   747932 |   641282 |     6249    181 |        0 |        0
1455.76/1456.29	c 1456s |      19 |   748492 |   641782 |     6249    181 |        0 |        0
1458.06/1458.56	c 1458s |      19 |   749041 |   642282 |     6249    181 |        0 |        0
1460.47/1460.94	c 1460s |      19 |   749604 |   642782 |     6249    181 |        0 |        0
1462.46/1462.98	c 1462s |      19 |   750173 |   643282 |     6249    181 |        0 |        0
1464.56/1465.00	c 1464s |      19 |   750772 |   643782 |     6249    182 |        0 |        0
1466.66/1467.12	c 1466s |      19 |   751439 |   644382 |     6249    182 |        0 |        0
1468.86/1469.33	c 1469s |      19 |   752090 |   644982 |     6249    182 |        0 |        0
1470.86/1471.35	c 1471s |      19 |   752666 |   645482 |     6249    182 |        0 |        0
1473.06/1473.58	c 1473s |      19 |   753225 |   645982 |     6249    182 |        0 |        0
1475.16/1475.63	c 1475s |      19 |   753889 |   646582 |     6249    182 |        0 |        0
1477.36/1477.85	c 1477s |      19 |   754924 |   647482 |     6249    182 |        0 |        0
1479.46/1479.90	c 1479s |      19 |   755678 |   648182 |     6249    183 |        0 |        0
1481.46/1481.96	c 1481s |      19 |   756548 |   648982 |     6249    183 |        0 |        0
1483.76/1484.21	c 1484s |      19 |   757449 |   649782 |     6249    183 |        0 |        0
1485.85/1486.30	c 1486s |      19 |   758235 |   650482 |     6249    183 |        0 |        0
1487.96/1488.43	c 1488s |      19 |   759005 |   651182 |     6249    183 |        0 |        0
1490.16/1490.65	c 1490s |      19 |   759652 |   651782 |     6249    184 |        0 |        0
1492.26/1492.71	c 1492s |      19 |   760425 |   652482 |     6249    184 |        0 |        0
1494.25/1494.71	c 1494s |      19 |   761185 |   653182 |     6249    184 |        0 |        0
1496.45/1496.90	c 1496s |      19 |   761942 |   653882 |     6249    184 |        0 |        0
1498.55/1499.07	c 1498s |      19 |   762718 |   654582 |     6249    184 |        0 |        0
1500.65/1501.18	c 1500s |      19 |   763361 |   655182 |     6249    184 |        0 |        0
1502.75/1503.29	c 1503s |      19 |   763904 |   655682 |     6249    184 |        0 |        0
1504.94/1505.46	c 1505s |      19 |   764684 |   656382 |     6249    185 |        0 |        0
1506.94/1507.49	c 1507s |      19 |   765427 |   657082 |     6249    185 |        0 |        0
1509.04/1509.58	c 1509s |      19 |   766176 |   657782 |     6249    185 |        0 |        0
1511.34/1511.81	c 1511s |      19 |   766951 |   658482 |     6249    185 |        0 |        0
1513.64/1514.13	c 1513s |      19 |   767710 |   659182 |     6249    185 |        0 |        0
1515.74/1516.25	c 1516s |      19 |   768356 |   659782 |     6249    185 |        0 |        0
1517.84/1518.30	c 1518s |      19 |   768985 |   660382 |     6249    186 |        0 |        0
1519.84/1520.33	c 1520s |      19 |   769736 |   661082 |     6249    186 |        0 |        0
1522.04/1522.55	c 1522s |      19 |   770476 |   661782 |     6249    186 |        0 |        0
1524.24/1524.79	c 1524s |      19 |   771227 |   662482 |     6874    186 |        0 |        0
1526.34/1526.89	c 1526s |      19 |   771874 |   663082 |     6874    186 |        0 |        0
1528.43/1528.91	c 1528s |      19 |   772512 |   663682 |     6874    186 |        0 |        0
1530.74/1531.24	c 1531s |      19 |   773163 |   664282 |     6874    186 |        0 |        0
1532.94/1533.43	c 1533s |      19 |   773705 |   664782 |     6874    187 |        0 |        0
1535.33/1535.84	c 1535s |      19 |   774466 |   665482 |     6874    187 |        0 |        0
1537.53/1538.09	c 1537s |      19 |   775219 |   666182 |     6874    187 |        0 |        0
1539.53/1540.09	c 1539s |      19 |   775877 |   666782 |     6874    187 |        0 |        0
1539.83/1540.33	c 1540s |      20 |   775919 |   666827 |     6874    187 |        0 |        0
1541.93/1542.46	c 1542s |      20 |   778672 |   668227 |     6874    187 |        0 |        0
1544.13/1544.61	c 1544s |      20 |   779817 |   669227 |     6874    188 |        0 |        0
1546.32/1546.81	c 1546s |      20 |   781238 |   670427 |     6874    188 |        0 |        0
1548.43/1548.94	c 1548s |      20 |   782259 |   671327 |     6874    188 |        0 |        0
1550.53/1551.03	c 1550s |      20 |   783147 |   672127 |     6874    188 |        0 |        0
1552.52/1553.08	c 1552s |      20 |   784029 |   672927 |     6874    188 |        0 |        0
1554.61/1555.13	c 1554s |      20 |   784781 |   673627 |     6874    189 |        0 |        0
1556.61/1557.14	c 1556s |      20 |   785523 |   674327 |     6874    189 |        0 |        0
1558.71/1559.23	c 1559s |      20 |   786403 |   675127 |     6874    189 |        0 |        0
1560.81/1561.30	c 1561s |      20 |   787182 |   675827 |     6874    189 |        0 |        0
1562.91/1563.40	c 1563s |      20 |   787955 |   676527 |     6874    189 |        0 |        0
1564.91/1565.47	c 1565s |      20 |   788589 |   677127 |     6874    189 |        0 |        0
1567.20/1567.71	c 1567s |      20 |   789239 |   677727 |     6874    190 |        0 |        0
1569.31/1569.89	c 1569s |      20 |   790011 |   678427 |     6874    190 |        0 |        0
1571.41/1571.93	c 1571s |      20 |   790857 |   679127 |     6874    190 |        0 |        0
1573.50/1574.04	c 1573s |      20 |   792110 |   680227 |     6874    190 |        0 |        0
1575.70/1576.21	c 1575s |      20 |   793141 |   681127 |     6874    190 |        0 |        0
1577.80/1578.35	c 1578s |      20 |   793904 |   681827 |     6874    191 |        0 |        0
1580.00/1580.52	c 1580s |      20 |   794878 |   682727 |     6874    191 |        0 |        0
1582.00/1582.55	c 1582s |      20 |   795894 |   683627 |     6874    191 |        0 |        0
1584.00/1584.57	c 1584s |      20 |   796754 |   684427 |     6874    191 |        0 |        0
1586.30/1586.81	c 1586s |      20 |   797647 |   685227 |     6874    191 |        0 |        0
1588.30/1588.83	c 1588s |      20 |   798411 |   685927 |     6874    191 |        0 |        0
1590.40/1590.92	c 1590s |      20 |   799058 |   686527 |     6874    192 |        0 |        0
1592.60/1593.17	c 1592s |      20 |   800029 |   687427 |     6874    192 |        0 |        0
1594.89/1595.49	c 1595s |      20 |   800875 |   688227 |     6874    192 |        0 |        0
1597.19/1597.70	c 1597s |      20 |   801776 |   689027 |     6874    192 |        0 |        0
1599.39/1599.95	c 1599s |      20 |   802619 |   689827 |     6874    192 |        0 |        0
1601.39/1601.98	c 1601s |      20 |   803178 |   690327 |     6874    193 |        0 |        0
1603.49/1604.06	c 1603s |      20 |   804075 |   691127 |     6874    193 |        0 |        0
1605.59/1606.13	c 1605s |      20 |   804983 |   691927 |     6874    193 |        0 |        0
1607.69/1608.29	c 1608s |      20 |   805857 |   692727 |     6874    193 |        0 |        0
1609.99/1610.53	c 1610s |      20 |   806757 |   693527 |     6874    193 |        0 |        0
1611.98/1612.56	c 1612s |      20 |   807513 |   694227 |     6874    193 |        0 |        0
1613.98/1614.56	c 1614s |      20 |   808168 |   694827 |     6874    194 |        0 |        0
1616.08/1616.62	c 1616s |      20 |   809048 |   695627 |     6874    194 |        0 |        0
1618.28/1618.88	c 1618s |      20 |   809914 |   696427 |     6874    194 |        0 |        0
1620.38/1620.94	c 1620s |      20 |   810560 |   697027 |     6874    194 |        0 |        0
1622.38/1622.96	c 1622s |      20 |   811212 |   697627 |     6874    194 |        0 |        0
1624.57/1625.18	c 1624s |      20 |   811867 |   698227 |     6874    194 |        0 |        0
1626.67/1627.22	c 1627s |      20 |   812774 |   699027 |     6874    195 |        0 |        0
1628.87/1629.42	c 1629s |      20 |   814001 |   700127 |     6874    195 |        0 |        0
1630.88/1631.42	c 1631s |      20 |   814839 |   700927 |     6874    195 |        0 |        0
1632.87/1633.45	c 1633s |      20 |   815655 |   701627 |     6874    195 |        0 |        0
1634.97/1635.59	c 1635s |      20 |   816514 |   702427 |     6874    195 |        0 |        0
1637.07/1637.60	c 1637s |      20 |   817161 |   703027 |     6874    195 |        0 |        0
1639.07/1639.64	c 1639s |      20 |   817949 |   703727 |     6874    196 |        0 |        0
1641.06/1641.67	c 1641s |      20 |   818946 |   704627 |     6874    196 |        0 |        0
1643.26/1643.83	c 1643s |      20 |   819835 |   705427 |     6874    196 |        0 |        0
1645.46/1646.00	c 1645s |      20 |   820707 |   706227 |     6874    196 |        0 |        0
1647.76/1648.31	c 1648s |      20 |   821497 |   706927 |     6874    196 |        0 |        0
1649.86/1650.45	c 1650s |      20 |   822161 |   707527 |     6874    197 |        0 |        0
1652.16/1652.73	c 1652s |      20 |   823164 |   708427 |     6874    197 |        0 |        0
1654.16/1654.74	c 1654s |      20 |   823940 |   709127 |     6874    197 |        0 |        0
1656.26/1656.83	c 1656s |      20 |   824692 |   709827 |     6874    197 |        0 |        0
1658.56/1659.17	c 1658s |      20 |   825432 |   710527 |     6874    197 |        0 |        0
1660.76/1661.32	c 1661s |      20 |   826088 |   711127 |     6874    197 |        0 |        0
1663.06/1663.63	c 1663s |      20 |   826762 |   711727 |     6874    198 |        0 |        0
1665.36/1665.90	c 1665s |      20 |   827812 |   712627 |     6874    198 |        0 |        0
1667.46/1668.08	c 1667s |      20 |   828558 |   713327 |     6874    198 |        0 |        0
1669.76/1670.35	c 1670s |      20 |   829307 |   714027 |     6874    198 |        0 |        0
1671.96/1672.50	c 1672s |      20 |   830212 |   714827 |     6874    198 |        0 |        0
1673.96/1674.57	c 1674s |      20 |   831120 |   715627 |     6874    198 |        0 |        0
1676.16/1676.72	c 1676s |      20 |   831893 |   716327 |     6874    199 |        0 |        0
1678.26/1678.83	c 1678s |      20 |   832873 |   717227 |     6874    199 |        0 |        0
1680.46/1681.06	c 1680s |      20 |   833840 |   718127 |     6874    199 |        0 |        0
1682.56/1683.15	c 1682s |      20 |   834707 |   718927 |     6874    199 |        0 |        0
1684.66/1685.23	c 1685s |      20 |   835465 |   719627 |     6874    199 |        0 |        0
1686.75/1687.38	c 1687s |      20 |   836254 |   720327 |     6874    200 |        0 |        0
1689.35/1689.91	c 1689s |      20 |   837498 |   721427 |     6874    200 |        0 |        0
1691.45/1692.05	c 1691s |      20 |   838530 |   722327 |     6874    200 |        0 |        0
1693.75/1694.30	c 1694s |      20 |   839432 |   723127 |     6874    200 |        0 |        0
1695.95/1696.59	c 1696s |      20 |   840290 |   723927 |     6874    200 |        0 |        0
1698.05/1698.68	c 1698s |      20 |   841066 |   724627 |     6874    201 |        0 |        0
1700.25/1700.87	c 1700s |      20 |   841901 |   725327 |     6874    201 |        0 |        0
1702.45/1703.04	c 1702s |      20 |   843042 |   726327 |     6874    201 |        0 |        0
1704.56/1705.12	c 1704s |      20 |   844074 |   727227 |     6874    201 |        0 |        0
1706.76/1707.33	c 1707s |      20 |   844984 |   728027 |     6874    201 |        0 |        0
1708.75/1709.38	c 1709s |      20 |   845773 |   728727 |     6874    201 |        0 |        0
1711.06/1711.64	c 1711s |      20 |   846534 |   729427 |     6874    202 |        0 |        0
1713.26/1713.82	c 1713s |      20 |   847300 |   730127 |     6874    202 |        0 |        0
1715.46/1716.10	c 1715s |      20 |   848351 |   731027 |     6874    202 |        0 |        0
1717.65/1718.29	c 1718s |      20 |   849350 |   731927 |     6874    202 |        0 |        0
1719.86/1720.47	c 1720s |      20 |   850351 |   732827 |     6874    202 |        0 |        0
1721.96/1722.57	c 1722s |      20 |   851123 |   733527 |     6874    203 |        0 |        0
1724.06/1724.68	c 1724s |      20 |   852012 |   734327 |     6874    203 |        0 |        0
1726.26/1726.87	c 1726s |      20 |   853036 |   735227 |     6874    203 |        0 |        0
1728.36/1728.95	c 1728s |      20 |   853794 |   735927 |     6874    203 |        0 |        0
1730.46/1731.07	c 1730s |      20 |   854545 |   736627 |     6874    203 |        0 |        0
1732.75/1733.37	c 1733s |      20 |   855305 |   737327 |     6874    203 |        0 |        0
1734.85/1735.41	c 1735s |      20 |   856142 |   738027 |     6874    204 |        0 |        0
1736.85/1737.49	c 1737s |      20 |   857161 |   738927 |     6874    204 |        0 |        0
1739.05/1739.64	c 1739s |      20 |   858097 |   739727 |     6874    204 |        0 |        0
1741.35/1741.90	c 1741s |      20 |   858994 |   740527 |     6874    204 |        0 |        0
1743.45/1744.06	c 1743s |      20 |   859752 |   741227 |     6874    204 |        0 |        0
1745.55/1746.19	c 1745s |      20 |   860388 |   741827 |     6874    205 |        0 |        0
1747.65/1748.25	c 1748s |      20 |   861173 |   742527 |     6874    205 |        0 |        0
1749.85/1750.43	c 1750s |      20 |   862324 |   743527 |     6874    205 |        0 |        0
1751.95/1752.59	c 1752s |      20 |   863134 |   744227 |     6874    205 |        0 |        0
1754.06/1754.64	c 1754s |      20 |   863903 |   744927 |     6874    205 |        0 |        0
1756.16/1756.72	c 1756s |      20 |   864695 |   745627 |     6874    205 |        0 |        0
1758.36/1758.92	c 1758s |      20 |   865464 |   746327 |     6874    206 |        0 |        0
1760.45/1761.02	c 1760s |      20 |   866252 |   747027 |     6874    206 |        0 |        0
1762.65/1763.23	c 1763s |      20 |   867016 |   747727 |     6874    206 |        0 |        0
1764.85/1765.42	c 1765s |      20 |   867814 |   748427 |     6874    206 |        0 |        0
1766.95/1767.53	c 1767s |      20 |   868722 |   749227 |     6874    206 |        0 |        0
1769.05/1769.63	c 1769s |      20 |   869402 |   749827 |     6874    206 |        0 |        0
1771.15/1771.70	c 1771s |      20 |   870058 |   750427 |     6874    207 |        0 |        0
1773.25/1773.85	c 1773s |      20 |   870922 |   751227 |     6874    207 |        0 |        0
1775.25/1775.89	c 1775s |      20 |   871820 |   752027 |     6874    207 |        0 |        0
1777.55/1778.15	c 1777s |      20 |   872697 |   752827 |     6874    207 |        0 |        0
1779.64/1780.21	c 1780s |      20 |   873356 |   753427 |     6874    207 |        0 |        0
1781.84/1782.48	c 1782s |      20 |   874055 |   754027 |     6874    207 |        0 |        0
1783.84/1784.50	c 1784s |      20 |   874732 |   754627 |     6874    208 |        0 |        0
1785.95/1786.54	c 1786s |      20 |   875622 |   755427 |     6874    208 |        0 |        0
1788.15/1788.74	c 1788s |      20 |   876506 |   756227 |     6874    208 |        0 |        0
1790.44/1791.07	c 1790s |      20 |   877380 |   757027 |     6874    208 |        0 |        0
1792.55/1793.12	c 1792s |      20 |   878031 |   757627 |     6874    208 |        0 |        0
1794.65/1795.25	c 1795s |      20 |   878659 |   758227 |     6874    208 |        0 |        0
1797.14/1797.79	c 1797s |      20 |   879345 |   758827 |     6874    209 |        0 |        0
1799.24/1799.81	c 1799s |      20 |   880509 |   759827 |     6874    209 |        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-4109170-1466341817/watcher-4109170-1466341817 -o /tmp/evaluation-result-4109170-1466341817/solver-4109170-1466341817 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466341817-6063 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109170-1466341817.wbo 

pid=6086
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: 0.37 0.33 0.24 4/176 6092
/proc/meminfo: memFree=29901444/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=693692 CPUtime=0 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 2583 0 0 0 0 0 0 0 20 0 4 0 36228324 710340608 2433 33554432000 4194304 16246674 140736216460112 140736216459536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 173935 2442 441 2943 0 170829 0
[pid=6092/tid=6096] ppid=6086 vsize=711100 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 728166400 2499 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=715196 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 732360704 2517 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228324 736555008 2533 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.10012 s]
/proc/loadavg: 0.37 0.33 0.24 4/176 6092
/proc/meminfo: memFree=29901444/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 24104 0 0 0 6 3 0 0 20 0 4 0 36228324 1247350784 23946 33554432000 4194304 16246674 140736216460112 140736216459536 12481124 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 304529 23953 604 2943 0 301423 0
[pid=6092/tid=6096] ppid=6086 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 23959 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 23965 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 23972 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200433 s]
/proc/loadavg: 0.37 0.33 0.24 4/176 6092
/proc/meminfo: memFree=29901444/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 46159 0 0 0 13 6 0 0 20 0 4 0 36228324 1247350784 45995 33554432000 4194304 16246674 140736216460112 140736216459536 6021133 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 304529 46009 774 2943 0 301423 0
[pid=6092/tid=6096] ppid=6086 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 46014 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 46014 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 46016 33554432000 4194304 16246674 140736216460112 140004077587632 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.300405 s]
/proc/loadavg: 0.37 0.33 0.24 4/176 6092
/proc/meminfo: memFree=29901444/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 66998 0 0 0 20 9 0 0 20 0 4 0 36228324 1247350784 66833 33554432000 4194304 16246674 140736216460112 140736216459536 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 304529 66850 807 2943 0 301423 0
[pid=6092/tid=6096] ppid=6086 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 66864 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 66877 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 36228324 1247350784 66886 33554432000 4194304 16246674 140736216460112 140004077587632 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) 1218116

[startup+0.700336 s]
/proc/loadavg: 0.37 0.33 0.24 4/176 6092
/proc/meminfo: memFree=29901444/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1307204 CPUtime=0.69 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 103466 0 0 0 55 14 0 0 20 0 4 0 36228324 1338576896 103279 33554432000 4194304 16246674 140736216460112 140736216441984 13191984 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 326801 103279 867 2943 0 323695 0
[pid=6092/tid=6096] ppid=6086 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 103279 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 103279 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 103279 33554432000 4194304 16246674 140736216460112 140004077587632 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.50034 s]
/proc/loadavg: 0.37 0.33 0.24 4/184 6100
/proc/meminfo: memFree=28244560/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 267832 0 0 0 109 40 0 0 20 0 4 0 36228324 1338576896 267645 33554432000 4194304 16246674 140736216460112 140736216441984 12483009 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 326801 267645 867 2943 0 323695 0
[pid=6092/tid=6096] ppid=6086 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 267645 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 267645 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 267645 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.10034 s]
/proc/loadavg: 0.37 0.33 0.24 5/184 6100
/proc/meminfo: memFree=27760324/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 267920 0 0 0 269 40 0 0 20 0 4 0 36228324 1338576896 267733 33554432000 4194304 16246674 140736216460112 140736216441984 5545796 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 326801 267733 872 2943 0 323695 0
[pid=6092/tid=6096] ppid=6086 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 267733 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 267733 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 267733 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30034 s]
/proc/loadavg: 0.50 0.36 0.25 5/184 6100
/proc/meminfo: memFree=27759356/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 267920 0 0 0 589 40 0 0 20 0 4 0 36228324 1338576896 267733 33554432000 4194304 16246674 140736216460112 140736216441984 5711518 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6092/statm: 326801 267733 872 2943 0 323695 0
[pid=6092/tid=6096] ppid=6086 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 267733 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 267733 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1338576896 267733 33554432000 4194304 16246674 140736216460112 140004077587632 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 0.62 0.39 0.26 4/184 6100
/proc/meminfo: memFree=27751964/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1315396 CPUtime=12.68 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 269783 0 0 0 1228 40 0 0 20 0 4 0 36228324 1346965504 269596 33554432000 4194304 16246674 140736216460112 140736216441984 5523513 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 328849 269596 875 2943 0 325743 0
[pid=6092/tid=6096] ppid=6086 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1346965504 269596 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1346965504 269596 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1346965504 269596 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 1.00 0.48 0.29 4/184 6100
/proc/meminfo: memFree=27752388/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1315396 CPUtime=25.48 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 269971 0 0 0 2508 40 0 0 20 0 4 0 36228324 1346965504 269784 33554432000 4194304 16246674 140736216460112 140736216441984 13950236 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 328849 269784 875 2943 0 325743 0
[pid=6092/tid=6096] ppid=6086 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1346965504 269784 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1346965504 269784 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1346965504 269784 33554432000 4194304 16246674 140736216460112 140004077587632 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) 1315396

[startup+51.1005 s]
/proc/loadavg: 1.40 0.62 0.34 4/183 6100
/proc/meminfo: memFree=27748332/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1319492 CPUtime=51.08 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 270995 0 0 0 5067 41 0 0 20 0 4 0 36228324 1351159808 270808 33554432000 4194304 16246674 140736216460112 140736216443112 5546608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 329873 270808 875 2943 0 326767 0
[pid=6092/tid=6096] ppid=6086 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1351159808 270808 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1351159808 270808 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1351159808 270808 33554432000 4194304 16246674 140736216460112 140004077587632 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) 1319492

[startup+102.3 s]
/proc/loadavg: 1.80 0.84 0.43 4/183 6102
/proc/meminfo: memFree=27739532/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1327684 CPUtime=102.28 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 273043 0 0 0 10187 41 0 0 20 0 4 0 36228324 1359548416 272856 33554432000 4194304 16246674 140736216460112 140736216441984 5823363 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 331921 272856 875 2943 0 328815 0
[pid=6092/tid=6096] ppid=6086 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1359548416 272856 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1359548416 272856 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1359548416 272856 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1327684


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

/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1364791296 274393 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1332804

[startup+1302.3 s]
/proc/loadavg: 2.22 2.20 1.72 5/183 6132
/proc/meminfo: memFree=27715316/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1332804 CPUtime=1301.95 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 274558 0 0 0 130133 62 0 0 20 0 4 0 36228324 1364791296 274393 33554432000 4194304 16246674 140736216460112 140736216441984 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 333201 274393 876 2943 0 330095 0
[pid=6092/tid=6096] ppid=6086 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1364791296 274393 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1364791296 274393 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1364791296 274393 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.34 2.24 1.76 4/183 6133
/proc/meminfo: memFree=27710552/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1336900 CPUtime=1361.92 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 275627 0 0 0 136129 63 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140736216441984 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 334225 275417 876 2943 0 331119 0
[pid=6092/tid=6096] ppid=6086 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140004077587632 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) 1336900

[startup+1422.3 s]
/proc/loadavg: 2.26 2.24 1.79 4/183 6134
/proc/meminfo: memFree=27711372/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1336900 CPUtime=1421.89 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 275668 0 0 0 142126 63 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140736216459288 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 334225 275417 876 2943 0 331119 0
[pid=6092/tid=6096] ppid=6086 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1336900

[startup+1482.3 s]
/proc/loadavg: 2.53 2.30 1.84 5/183 6135
/proc/meminfo: memFree=27711424/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1336900 CPUtime=1481.86 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 275708 0 0 0 148122 64 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140736216441984 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 334225 275417 876 2943 0 331119 0
[pid=6092/tid=6096] ppid=6086 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1336900

[startup+1542.31 s]
/proc/loadavg: 2.29 2.27 1.86 5/183 6136
/proc/meminfo: memFree=27711332/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1336900 CPUtime=1541.83 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 275748 0 0 0 154119 64 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140736216441984 12477720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 334225 275417 876 2943 0 331119 0
[pid=6092/tid=6096] ppid=6086 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1368985600 275417 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1336900

[startup+1602.3 s]
/proc/loadavg: 2.34 2.30 1.89 4/183 6138
/proc/meminfo: memFree=27710612/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1337924 CPUtime=1601.79 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 276028 0 0 0 160114 65 0 0 20 0 4 0 36228324 1370034176 275651 33554432000 4194304 16246674 140736216460112 140736216441984 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 334481 275651 876 2943 0 331375 0
[pid=6092/tid=6096] ppid=6086 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1370034176 275651 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1370034176 275651 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1370034176 275651 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1337924

[startup+1662.3 s]
/proc/loadavg: 2.30 2.29 1.91 4/183 6139
/proc/meminfo: memFree=27710632/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1337924 CPUtime=1661.76 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 276075 0 0 0 166111 65 0 0 20 0 4 0 36228324 1370034176 275674 33554432000 4194304 16246674 140736216460112 140736216441984 5823989 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 334481 275674 876 2943 0 331375 0
[pid=6092/tid=6096] ppid=6086 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1370034176 275674 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1370034176 275674 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1370034176 275674 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1337924

[startup+1722.3 s]
/proc/loadavg: 2.20 2.26 1.92 4/183 6140
/proc/meminfo: memFree=27709392/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1339972 CPUtime=1721.76 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 276340 0 0 0 172110 66 0 0 20 0 4 0 36228324 1372131328 275939 33554432000 4194304 16246674 140736216460112 140736216441984 5546098 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 334993 275939 876 2943 0 331887 0
[pid=6092/tid=6096] ppid=6086 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1372131328 275939 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1372131328 275939 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1372131328 275939 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1339972

[startup+1782.3 s]
/proc/loadavg: 2.16 2.24 1.93 5/183 6141
/proc/meminfo: memFree=27707784/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1339972 CPUtime=1781.74 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 276587 0 0 0 178108 66 0 0 20 0 4 0 36228324 1372131328 276186 33554432000 4194304 16246674 140736216460112 140736216441984 13928260 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 334993 276186 876 2943 0 331887 0
[pid=6092/tid=6096] ppid=6086 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1372131328 276186 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1372131328 276186 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1372131328 276186 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1339972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.19 2.24 1.94 4/184 6144
/proc/meminfo: memFree=27707708/32872528 swapFree=1542984/1696284
[pid=6092] ppid=6086 vsize=1339972 CPUtime=1800.04 cores=0,2,4,6
/proc/6092/stat : 6092 (toysat) R 6086 6092 6047 0 -1 4202496 276587 0 0 0 179938 66 0 0 20 0 4 0 36228324 1372131328 276186 33554432000 4194304 16246674 140736216460112 140736216441984 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6092/statm: 334993 276186 876 2943 0 331887 0
[pid=6092/tid=6096] ppid=6086 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6096/stat : 6096 (toysat) S 6086 6092 6047 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 36228324 1372131328 276186 33554432000 4194304 16246674 140736216460112 140004098551024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6092/tid=6097] ppid=6086 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6097/stat : 6097 (toysat) S 6086 6092 6047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 36228324 1372131328 276186 33554432000 4194304 16246674 140736216460112 140004088061168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6092/tid=6098] ppid=6086 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/6092/task/6098/stat : 6098 (toysat) S 6086 6092 6047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 36228324 1372131328 276186 33554432000 4194304 16246674 140736216460112 140004077587632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1339972

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.39
CPU system time (s): 0.663899
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 1339972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.663899
maximum resident set size= 1104744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276587
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= 485
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.01408 second user time and 7.96279 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-19 15:10:17
IDJOB=4109170
IDBENCH=78686
IDSOLVER=2553
FILE ID=node125/4109170-1466341817
RUNJOBID= node125-1466341817-6063
PBS_JOBID= 19922028
Free space on /tmp= 71744 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr--soft-33-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-4109170-1466341817/watcher-4109170-1466341817 -o /tmp/evaluation-result-4109170-1466341817/solver-4109170-1466341817 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466341817-6063 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4109170-1466341817.wbo

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

MD5SUM BENCH= 80545edaffb0e9df5db6b9d8725aa6de
RANDOM SEED=885063510

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29903740 kB
Buffers:          177484 kB
Cached:           348192 kB
SwapCached:          764 kB
Active:           161148 kB
Inactive:         367692 kB
Active(anon):       4708 kB
Inactive(anon):     1188 kB
Active(file):     156440 kB
Inactive(file):   366504 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67098312 kB
Dirty:             32644 kB
Writeback:             0 kB
AnonPages:       1700884 kB
Mapped:             6912 kB
Shmem:                 0 kB
Slab:             610576 kB
SReclaimable:      54592 kB
SUnreclaim:       555984 kB
KernelStack:        1352 kB
PageTables:         7300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1793928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71712 MiB
End job on node125 at 2016-06-19 15:40:18