Trace number 4099557

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

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
MD5SUM0beb8de972e873a7bfc16369cb81d469
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.020996
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3280
Total number of constraints162
Number of constraints which are clauses82
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint41
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 42
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-18T01:29:04+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4099557-1466206144.opb"]
0.00/0.01	c use --random-gen="827650326 2243742835 2910945156 3200928356 1375624145 155738718 4065238935 1551155366 2049095282 548395048 2623315875 2045947318 2402137127 2289794375 1808852535 4068888524 912071380 2272592342 538188661 1450639358 1571201787 3218047104 2192008796 378974269 3842549695 1283986121 263526723 316612474 4040640664 61959886 54784162 1488670784 1934900731 3512738353 240248737 1563773056 2430303177 2753405226 2553628746 2977074761 3356283997 3321516034 1933654980 1767281204 3703681553 260897903 2052603635 1233036150 2843012061 333838378 688878546 1757170539 103700465 4282280165 3047565706 3809087698 3454590554 3332205451 730831505 2604860370 310347322 3880263108 1490333650 1245408784 536763125 2623155081 4209067360 1639070937 1513348305 2801366387 3671306072 1688249491 3748957660 657461268 340128702 3234259324 199669312 3803966109 3859288801 2922504663 3921449763 3512622919 4224732419 680017595 2736216851 940879083 197163339 565922212 3931933108 1648848259 210404549 2797991434 2679705841 4146329231 791894398 3131226610 583997680 3592867184 2475397309 3898401516 3752955990 1025304831 4072717262 2893131196 41249344 1910072268 4077383785 1437140459 3258761415 14392058 894915043 3589077286 1013038441 3614337898 977919554 1729425890 359673235 1412087347 2417034168 3378132830 3442601819 1659462493 3356155375 3417940443 896380452 1450553426 3114156028 2756515038 2390753607 4265871811 566139577 248617923 3172349874 4067621580 3561760584 2974200171 3731183783 3004728947 725703475 3218903858 3597833040 3438592856 1893010785 1591720957 105366909 3708901074 178136719 3066542908 3214019584 2487648261 1135854292 7040533 3769619264 3547055092 3805948032 3018997164 2071350167 2551476990 661856479 747587896 1445337912 3910612662 3532260144 2850175246 712866696 715872755 2965328759 2975405390 3384493607 3707046915 680684850 3864945644 2416774118 2473341723 2304891509 1157049534 4090784410 2176507568 1046467654 2535693614 3968262669 590738814 3224847763 1684332589 1223255027 2980068391 4078672984 675469700 3413078284 2233661262 2062627408 363217273 1543055882 2345484623 2921200040 3040095191 87318392 1497813988 513866289 475079389 1501221728 4279971823 2414441080 4287579042 2772242710 1985965591 3355240540 3204934041 1983758231 3258323525 902625825 912075295 3055183889 3240365540 63368865 3591022510 1445793705 2472789928 419163152 2371395313 2483924489 3025850663 1612537362 1861817772 3430931643 1421613452 149696668 2681869772 409347307 4218458294 3223412250 3127138867 4106757133 2672102731 2764746066 1504484269 2540916021 282746608 3803815034 2453807085 4238029708 2244423015 1728613802 3842181390 3596036169 1624370746 3645029739 912523641 1015550729 3931285788 976455395 3108168608 2689090979 246837243 348289462 1887595010 255 362436" option to reproduce the execution
0.00/0.02	c #vars 3280
0.00/0.02	c #constraints 162
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |     1147      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      151 |      100 |     1147      0 |        0 |        0
0.08/0.18	c  0.1s |       2 |     1134 |      250 |     1262      0 |        0 |        0
0.29/0.33	c  0.3s |       3 |     2284 |      475 |     1389      0 |        0 |        0
0.58/0.69	c  0.6s |       4 |     3880 |      813 |     1528      0 |        0 |        0
0.99/1.00	c  1.0s |       5 |     5528 |     1320 |     1681      0 |        0 |        0
1.69/1.78	c  1.7s |       6 |     7399 |     2081 |     2036      0 |        0 |        0
2.49/2.55	c  2.5s |       7 |     9546 |     3223 |     2240      1 |        0 |        0
4.59/4.61	c  4.6s |       7 |    12713 |     4923 |     2464      2 |        0 |        0
4.59/4.63	c  4.6s |       8 |    12726 |     4936 |     2464      2 |        0 |        0
6.59/6.66	c  6.6s |       8 |    16471 |     7136 |     2464      3 |        0 |        0
6.99/7.05	c  7.0s |       9 |    16918 |     7506 |     2711      3 |        0 |        0
9.09/9.15	c  9.1s |       9 |    20311 |     9706 |     2711      4 |        0 |        0
11.09/11.14	c 11.1s |      10 |    22189 |    11361 |     2983      4 |        0 |        0
13.09/13.15	c 13.1s |      10 |    26149 |    14061 |     2983      6 |        0 |        0
15.08/15.19	c 15.1s |      10 |    28332 |    16061 |     2983      6 |        0 |        0
16.28/16.30	c 16.3s |      11 |    29508 |    17144 |     3282      7 |        0 |        0
18.28/18.36	c 18.3s |      11 |    33302 |    18944 |     3282      8 |        0 |        0
20.38/20.44	c 20.4s |      11 |    35132 |    20544 |     3282      9 |        0 |        0
22.48/22.56	c 22.5s |      11 |    36701 |    21944 |     3282      9 |        0 |        0
24.58/24.65	c 24.6s |      11 |    38049 |    23144 |     3282     10 |        0 |        0
26.68/26.77	c 26.7s |      11 |    39489 |    24344 |     3282     10 |        0 |        0
28.69/28.78	c 28.7s |      11 |    40617 |    25344 |     3282     11 |        0 |        0
29.48/29.53	c 29.5s |      12 |    41145 |    25819 |     3611     11 |        0 |        0
31.68/31.71	c 31.7s |      12 |    45560 |    27919 |     3611     12 |        0 |        0
33.79/33.84	c 33.8s |      12 |    47540 |    29619 |     3611     12 |        0 |        0
35.89/35.90	c 35.9s |      12 |    49003 |    30919 |     3611     13 |        0 |        0
37.89/37.94	c 37.9s |      12 |    50545 |    32219 |     3611     13 |        0 |        0
39.89/39.95	c 39.9s |      12 |    52052 |    33419 |     3611     14 |        0 |        0
41.99/42.02	c 42.0s |      12 |    53595 |    34719 |     3611     14 |        0 |        0
43.99/44.05	c 44.0s |      12 |    54921 |    35719 |     3611     15 |        0 |        0
46.09/46.20	c 46.2s |      12 |    56994 |    37319 |     3611     15 |        0 |        0
48.18/48.23	c 48.2s |      12 |    58385 |    38419 |     3611     16 |        0 |        0
48.98/49.00	c 49.0s |      13 |    58945 |    38832 |     3973     16 |        0 |        0
50.98/51.03	c 51.0s |      13 |    62767 |    40732 |     3973     16 |        0 |        0
52.98/53.07	c 53.0s |      13 |    64557 |    42232 |     3973     16 |        0 |        0
55.09/55.18	c 55.1s |      13 |    66092 |    43532 |     3973     17 |        0 |        0
57.19/57.28	c 57.2s |      13 |    67455 |    44732 |     3973     17 |        0 |        0
59.38/59.46	c 59.4s |      13 |    68844 |    45932 |     3973     17 |        0 |        0
61.47/61.50	c 61.5s |      13 |    70122 |    47032 |     3973     18 |        0 |        0
63.57/63.65	c 63.6s |      13 |    71472 |    48232 |     3973     18 |        0 |        0
65.67/65.74	c 65.7s |      13 |    72884 |    49432 |     3973     18 |        0 |        0
67.77/67.87	c 67.8s |      13 |    74399 |    50732 |     3973     19 |        0 |        0
69.77/69.89	c 69.9s |      13 |    75876 |    52032 |     3973     19 |        0 |        0
71.87/71.94	c 71.9s |      13 |    76957 |    53032 |     3973     20 |        0 |        0
73.97/74.08	c 74.0s |      13 |    78722 |    54532 |     3973     20 |        0 |        0
76.18/76.27	c 76.2s |      13 |    80275 |    55832 |     3973     20 |        0 |        0
78.27/78.34	c 78.3s |      13 |    81592 |    56932 |     3973     21 |        0 |        0
80.17/80.25	c 80.2s |      14 |    83309 |    58352 |     4371     21 |        0 |        0
82.17/82.29	c 82.3s |      14 |    87181 |    60452 |     4371     22 |        0 |        0
84.37/84.41	c 84.4s |      14 |    89220 |    62252 |     4371     22 |        0 |        0
86.37/86.42	c 86.4s |      14 |    90798 |    63652 |     4371     23 |        0 |        0
88.37/88.44	c 88.4s |      14 |    92344 |    65052 |     4371     23 |        0 |        0
90.47/90.56	c 90.5s |      14 |    93795 |    66352 |     4371     24 |        0 |        0
92.57/92.60	c 92.6s |      14 |    95326 |    67752 |     4371     24 |        0 |        0
94.77/94.89	c 94.9s |      14 |    96721 |    69052 |     4371     25 |        0 |        0
96.88/96.92	c 96.9s |      14 |    98423 |    70552 |     4371     25 |        0 |        0
98.87/99.00	c 99.0s |      14 |    99766 |    71752 |     4371     25 |        0 |        0
100.96/101.04	c  100s |      14 |   101096 |    72952 |     4371     26 |        0 |        0
103.06/103.17	c  103s |      14 |   102764 |    74452 |     4371     26 |        0 |        0
105.06/105.18	c  105s |      14 |   104240 |    75752 |     4371     27 |        0 |        0
107.26/107.33	c  107s |      14 |   106100 |    77452 |     4371     27 |        0 |        0
109.25/109.35	c  109s |      14 |   107430 |    78652 |     4371     27 |        0 |        0
111.35/111.43	c  111s |      14 |   108844 |    79952 |     4371     28 |        0 |        0
113.36/113.46	c  113s |      14 |   110385 |    81352 |     4371     28 |        0 |        0
115.46/115.51	c  115s |      14 |   111828 |    82652 |     4371     29 |        0 |        0
117.55/117.62	c  117s |      14 |   113574 |    84252 |     4371     29 |        0 |        0
119.55/119.63	c  119s |      14 |   114977 |    85552 |     4371     29 |        0 |        0
121.55/121.65	c  121s |      14 |   116401 |    86852 |     4371     30 |        0 |        0
122.55/122.69	c  122s |      15 |   117234 |    87632 |     4809     30 |        0 |        0
124.65/124.75	c  124s |      15 |   121058 |    89932 |     4809     31 |        0 |        0
126.65/126.76	c  126s |      15 |   123210 |    91832 |     4809     31 |        0 |        0
128.65/128.77	c  128s |      15 |   125017 |    93432 |     4809     32 |        0 |        0
130.74/130.87	c  130s |      15 |   126798 |    95032 |     4809     32 |        0 |        0
132.84/132.90	c  132s |      15 |   128192 |    96332 |     4809     33 |        0 |        0
134.94/135.00	c  134s |      15 |   129795 |    97732 |     4809     33 |        0 |        0
137.04/137.10	c  137s |      15 |   131379 |    99132 |     4809     33 |        0 |        0
139.15/139.22	c  139s |      15 |   133018 |   100632 |     4809     34 |        0 |        0
141.15/141.29	c  141s |      15 |   134831 |   102232 |     4809     34 |        0 |        0
143.25/143.31	c  143s |      15 |   136420 |   103632 |     4809     35 |        0 |        0
145.25/145.33	c  145s |      15 |   138133 |   105132 |     4809     35 |        0 |        0
147.35/147.44	c  147s |      15 |   139716 |   106532 |     4809     36 |        0 |        0
149.44/149.53	c  149s |      15 |   141402 |   108032 |     4809     36 |        0 |        0
151.44/151.59	c  151s |      15 |   142944 |   109432 |     4809     36 |        0 |        0
153.54/153.64	c  153s |      15 |   144504 |   110832 |     4809     37 |        0 |        0
155.64/155.76	c  155s |      15 |   146059 |   112232 |     4809     37 |        0 |        0
157.64/157.79	c  157s |      15 |   147533 |   113532 |     4809     37 |        0 |        0
159.74/159.84	c  159s |      15 |   149071 |   114932 |     4809     38 |        0 |        0
161.74/161.89	c  161s |      15 |   150509 |   116232 |     4809     38 |        0 |        0
163.84/163.95	c  163s |      15 |   151847 |   117432 |     4809     39 |        0 |        0
166.04/166.11	c  166s |      15 |   153398 |   118832 |     4809     39 |        0 |        0
168.13/168.22	c  168s |      15 |   155039 |   120332 |     4809     39 |        0 |        0
170.23/170.34	c  170s |      15 |   156356 |   121532 |     4809     40 |        0 |        0
172.33/172.46	c  172s |      15 |   157867 |   122932 |     4809     40 |        0 |        0
174.33/174.47	c  174s |      15 |   159317 |   124232 |     4809     40 |        0 |        0
176.63/176.79	c  176s |      15 |   160833 |   125632 |     4809     41 |        0 |        0
178.72/178.85	c  178s |      15 |   162039 |   126732 |     4809     41 |        0 |        0
180.92/181.02	c  180s |      15 |   163275 |   127832 |     4809     41 |        0 |        0
183.02/183.14	c  183s |      15 |   164731 |   129132 |     4809     42 |        0 |        0
185.12/185.26	c  185s |      15 |   166167 |   130432 |     4809     42 |        0 |        0
187.22/187.32	c  187s |      15 |   167389 |   131532 |     5290     42 |        0 |        0
187.22/187.35	c  187s |      16 |   167416 |   131552 |     5290     42 |        0 |        0
189.22/189.36	c  189s |      16 |   171312 |   133852 |     5290     43 |        0 |        0
191.22/191.40	c  191s |      16 |   173425 |   135752 |     5290     44 |        0 |        0
193.32/193.45	c  193s |      16 |   175679 |   137752 |     5290     44 |        0 |        0
195.42/195.56	c  195s |      16 |   177599 |   139452 |     5290     45 |        0 |        0
197.41/197.56	c  197s |      16 |   179268 |   140952 |     5290     45 |        0 |        0
199.51/199.65	c  199s |      16 |   180817 |   142352 |     5290     45 |        0 |        0
201.61/201.76	c  201s |      16 |   182603 |   143952 |     5290     46 |        0 |        0
203.71/203.88	c  203s |      16 |   184403 |   145552 |     5290     46 |        0 |        0
205.81/205.97	c  205s |      16 |   185860 |   146852 |     5290     47 |        0 |        0
207.81/207.99	c  207s |      16 |   187481 |   148352 |     5290     47 |        0 |        0
210.01/210.20	c  210s |      16 |   189026 |   149752 |     5290     48 |        0 |        0
212.10/212.29	c  212s |      16 |   191260 |   151552 |     5290     48 |        0 |        0
214.20/214.38	c  214s |      16 |   193280 |   153252 |     5290     48 |        0 |        0
216.30/216.49	c  216s |      16 |   195188 |   154852 |     5290     49 |        0 |        0
218.40/218.54	c  218s |      16 |   196986 |   156452 |     5290     49 |        0 |        0
220.50/220.63	c  220s |      16 |   198556 |   157852 |     5290     50 |        0 |        0
222.50/222.63	c  222s |      16 |   200349 |   159452 |     5290     50 |        0 |        0
224.50/224.66	c  224s |      16 |   201676 |   160652 |     5290     51 |        0 |        0
226.60/226.73	c  226s |      16 |   203310 |   162152 |     5290     51 |        0 |        0
228.60/228.73	c  228s |      16 |   204716 |   163452 |     5290     51 |        0 |        0
230.69/230.85	c  230s |      16 |   206137 |   164752 |     5290     52 |        0 |        0
232.79/232.91	c  232s |      16 |   207862 |   166252 |     5290     52 |        0 |        0
234.79/234.94	c  234s |      16 |   209829 |   167852 |     5290     53 |        0 |        0
236.79/236.98	c  236s |      16 |   211680 |   169452 |     5290     53 |        0 |        0
238.89/239.05	c  239s |      16 |   213292 |   170852 |     5290     53 |        0 |        0
240.99/241.13	c  241s |      16 |   214917 |   172252 |     5290     54 |        0 |        0
242.99/243.14	c  243s |      16 |   216493 |   173652 |     5290     54 |        0 |        0
245.19/245.35	c  245s |      16 |   218043 |   175052 |     5290     55 |        0 |        0
247.30/247.43	c  247s |      16 |   219734 |   176552 |     5290     55 |        0 |        0
249.29/249.45	c  249s |      16 |   221425 |   178052 |     5290     55 |        0 |        0
251.39/251.55	c  251s |      16 |   223098 |   179552 |     5290     56 |        0 |        0
253.49/253.66	c  253s |      16 |   224741 |   181052 |     5290     56 |        0 |        0
255.49/255.67	c  255s |      16 |   226094 |   182252 |     5290     56 |        0 |        0
257.59/257.71	c  257s |      16 |   227682 |   183652 |     5290     57 |        0 |        0
259.68/259.86	c  259s |      16 |   229468 |   185252 |     5290     57 |        0 |        0
261.69/261.88	c  261s |      16 |   230890 |   186552 |     5290     58 |        0 |        0
263.78/263.97	c  263s |      16 |   232395 |   187852 |     5290     58 |        0 |        0
265.88/266.00	c  265s |      16 |   233991 |   189252 |     5290     58 |        0 |        0
267.88/268.03	c  267s |      16 |   235457 |   190552 |     5290     59 |        0 |        0
269.98/270.12	c  270s |      16 |   236857 |   191852 |     5290     59 |        0 |        0
271.98/272.19	c  272s |      16 |   238054 |   192952 |     5290     59 |        0 |        0
274.18/274.31	c  274s |      16 |   239393 |   194152 |     5290     60 |        0 |        0
276.28/276.42	c  276s |      16 |   240691 |   195352 |     5290     60 |        0 |        0
278.28/278.48	c  278s |      16 |   242015 |   196552 |     5820     60 |        0 |        0
280.48/280.64	c  280s |      16 |   242802 |   197252 |     5820     61 |        0 |        0
280.77/280.97	c  280s |      17 |   243000 |   197432 |     5820     61 |        0 |        0
282.87/283.06	c  283s |      17 |   246951 |   199632 |     5820     61 |        0 |        0
285.07/285.20	c  285s |      17 |   249596 |   201732 |     5820     61 |        0 |        0
287.17/287.32	c  287s |      17 |   251406 |   203132 |     5820     62 |        0 |        0
289.17/289.34	c  289s |      17 |   253153 |   204632 |     5820     62 |        0 |        0
291.26/291.42	c  291s |      17 |   255105 |   206232 |     5820     62 |        0 |        0
293.26/293.49	c  293s |      17 |   256701 |   207532 |     5820     63 |        0 |        0
295.36/295.54	c  295s |      17 |   258820 |   209232 |     5820     63 |        0 |        0
297.46/297.67	c  297s |      17 |   260550 |   210732 |     5820     63 |        0 |        0
299.56/299.74	c  299s |      17 |   262049 |   212032 |     5820     64 |        0 |        0
301.56/301.78	c  301s |      17 |   263659 |   213432 |     5820     64 |        0 |        0
303.66/303.84	c  303s |      17 |   265236 |   214832 |     5820     64 |        0 |        0
305.76/305.91	c  305s |      17 |   266584 |   216032 |     5820     65 |        0 |        0
307.75/307.98	c  307s |      17 |   268074 |   217332 |     5820     65 |        0 |        0
309.85/310.04	c  310s |      17 |   269748 |   218832 |     5820     65 |        0 |        0
311.95/312.14	c  312s |      17 |   270872 |   219832 |     5820     66 |        0 |        0
314.05/314.27	c  314s |      17 |   272464 |   221232 |     5820     66 |        0 |        0
316.05/316.27	c  316s |      17 |   273844 |   222432 |     5820     66 |        0 |        0
318.14/318.35	c  318s |      17 |   275069 |   223532 |     5820     66 |        0 |        0
320.25/320.45	c  320s |      17 |   276180 |   224532 |     5820     67 |        0 |        0
322.35/322.54	c  322s |      17 |   277799 |   225932 |     5820     67 |        0 |        0
324.35/324.58	c  324s |      17 |   279428 |   227332 |     5820     67 |        0 |        0
326.35/326.59	c  326s |      17 |   281017 |   228632 |     5820     67 |        0 |        0
328.44/328.64	c  328s |      17 |   282443 |   229832 |     5820     68 |        0 |        0
330.54/330.74	c  330s |      17 |   284032 |   231232 |     5820     68 |        0 |        0
332.64/332.84	c  332s |      17 |   285491 |   232532 |     5820     68 |        0 |        0
334.64/334.85	c  334s |      17 |   286701 |   233632 |     5820     69 |        0 |        0
336.94/337.11	c  337s |      17 |   288247 |   234932 |     5820     69 |        0 |        0
339.04/339.21	c  339s |      17 |   289767 |   236232 |     5820     69 |        0 |        0
341.04/341.29	c  341s |      17 |   291084 |   237432 |     5820     69 |        0 |        0
343.14/343.31	c  343s |      17 |   292434 |   238632 |     5820     70 |        0 |        0
345.14/345.35	c  345s |      17 |   293960 |   239932 |     5820     70 |        0 |        0
347.23/347.46	c  347s |      17 |   295554 |   241332 |     5820     70 |        0 |        0
349.23/349.49	c  349s |      17 |   296678 |   242332 |     5820     71 |        0 |        0
351.33/351.56	c  351s |      17 |   298058 |   243532 |     5820     71 |        0 |        0
353.54/353.71	c  353s |      17 |   299496 |   244832 |     5820     71 |        0 |        0
355.64/355.87	c  355s |      17 |   300770 |   245932 |     5820     71 |        0 |        0
357.64/357.89	c  357s |      17 |   302021 |   247032 |     5820     72 |        0 |        0
359.83/360.06	c  360s |      17 |   303652 |   248432 |     5820     72 |        0 |        0
361.93/362.15	c  362s |      17 |   305179 |   249732 |     5820     72 |        0 |        0
363.94/364.16	c  364s |      17 |   306414 |   250832 |     5820     73 |        0 |        0
366.03/366.25	c  366s |      17 |   308278 |   252432 |     5820     73 |        0 |        0
368.23/368.40	c  368s |      17 |   310078 |   253932 |     5820     73 |        0 |        0
370.22/370.46	c  370s |      17 |   311236 |   254932 |     5820     73 |        0 |        0
372.32/372.54	c  372s |      17 |   312488 |   256032 |     5820     74 |        0 |        0
374.42/374.62	c  374s |      17 |   313760 |   257132 |     5820     74 |        0 |        0
376.42/376.67	c  376s |      17 |   315027 |   258232 |     5820     74 |        0 |        0
378.51/378.70	c  378s |      17 |   316164 |   259232 |     5820     74 |        0 |        0
380.52/380.76	c  380s |      17 |   317035 |   259932 |     5820     75 |        0 |        0
382.72/382.99	c  382s |      17 |   318254 |   261032 |     5820     75 |        0 |        0
384.72/384.99	c  384s |      17 |   319832 |   262332 |     5820     75 |        0 |        0
386.92/387.10	c  387s |      17 |   321321 |   263632 |     5820     75 |        0 |        0
388.91/389.11	c  389s |      17 |   322607 |   264732 |     5820     76 |        0 |        0
391.01/391.26	c  391s |      17 |   324599 |   266332 |     5820     76 |        0 |        0
393.01/393.26	c  393s |      17 |   326389 |   267732 |     5820     76 |        0 |        0
395.01/395.27	c  395s |      17 |   328034 |   269032 |     5820     77 |        0 |        0
397.11/397.32	c  397s |      17 |   329978 |   270532 |     5820     77 |        0 |        0
399.11/399.37	c  399s |      17 |   331497 |   271832 |     5820     77 |        0 |        0
401.21/401.42	c  401s |      17 |   332683 |   272832 |     5820     78 |        0 |        0
403.30/403.53	c  403s |      17 |   334491 |   274332 |     5820     78 |        0 |        0
405.30/405.57	c  405s |      17 |   335697 |   275432 |     5820     78 |        0 |        0
407.30/407.57	c  407s |      17 |   336948 |   276532 |     5820     78 |        0 |        0
409.40/409.68	c  409s |      17 |   338267 |   277632 |     5820     79 |        0 |        0
411.40/411.68	c  411s |      17 |   339769 |   278832 |     5820     79 |        0 |        0
413.51/413.77	c  413s |      17 |   341088 |   280032 |     5820     79 |        0 |        0
415.71/415.93	c  415s |      17 |   342316 |   281132 |     5820     79 |        0 |        0
417.70/417.97	c  417s |      17 |   344009 |   282532 |     5820     80 |        0 |        0
419.70/419.99	c  419s |      17 |   345826 |   284032 |     5820     80 |        0 |        0
421.80/422.00	c  421s |      17 |   347092 |   285132 |     5820     80 |        0 |        0
423.90/424.10	c  424s |      17 |   348695 |   286532 |     5820     81 |        0 |        0
426.00/426.23	c  426s |      17 |   350016 |   287732 |     5820     81 |        0 |        0
428.19/428.40	c  428s |      17 |   351210 |   288832 |     5820     81 |        0 |        0
430.29/430.59	c  430s |      17 |   352280 |   289832 |     5820     81 |        0 |        0
432.39/432.64	c  432s |      17 |   353400 |   290832 |     5820     82 |        0 |        0
434.49/434.78	c  434s |      17 |   354887 |   292132 |     5820     82 |        0 |        0
436.69/436.90	c  436s |      17 |   356304 |   293432 |     5820     82 |        0 |        0
438.70/438.99	c  438s |      17 |   357401 |   294432 |     6403     82 |        0 |        0
441.39/441.68	c  441s |      17 |   358382 |   295332 |     6403     83 |        0 |        0
442.99/443.30	c  443s |      18 |   359449 |   296252 |     6403     83 |        0 |        0
445.19/445.41	c  445s |      18 |   361997 |   297552 |     6403     83 |        0 |        0
447.29/447.51	c  447s |      18 |   363351 |   298752 |     6403     83 |        0 |        0
449.49/449.70	c  449s |      18 |   364458 |   299752 |     6403     84 |        0 |        0
451.59/451.87	c  451s |      18 |   365561 |   300752 |     6403     84 |        0 |        0
453.69/453.97	c  453s |      18 |   366719 |   301752 |     6403     84 |        0 |        0
455.79/456.06	c  456s |      18 |   367727 |   302652 |     6403     84 |        0 |        0
458.08/458.32	c  458s |      18 |   368565 |   303452 |     6403     84 |        0 |        0
460.28/460.53	c  460s |      18 |   369412 |   304252 |     6403     85 |        0 |        0
462.28/462.58	c  462s |      18 |   370266 |   305052 |     6403     85 |        0 |        0
464.38/464.60	c  464s |      18 |   371159 |   305852 |     6403     85 |        0 |        0
466.48/466.73	c  466s |      18 |   372028 |   306652 |     6403     85 |        0 |        0
468.68/468.93	c  468s |      18 |   372784 |   307352 |     6403     85 |        0 |        0
470.88/471.16	c  471s |      18 |   373649 |   308152 |     6403     85 |        0 |        0
472.98/473.27	c  473s |      18 |   374507 |   308952 |     6403     86 |        0 |        0
475.18/475.40	c  475s |      18 |   375485 |   309852 |     6403     86 |        0 |        0
477.18/477.49	c  477s |      18 |   376393 |   310652 |     6403     86 |        0 |        0
479.27/479.57	c  479s |      18 |   377235 |   311452 |     6403     86 |        0 |        0
481.27/481.57	c  481s |      18 |   377995 |   312152 |     6403     86 |        0 |        0
483.27/483.58	c  483s |      18 |   378758 |   312852 |     6403     87 |        0 |        0
485.27/485.59	c  485s |      18 |   379529 |   313552 |     6403     87 |        0 |        0
487.47/487.75	c  487s |      18 |   380493 |   314452 |     6403     87 |        0 |        0
489.66/489.94	c  489s |      18 |   381383 |   315252 |     6403     87 |        0 |        0
491.96/492.20	c  492s |      18 |   382251 |   316052 |     6403     87 |        0 |        0
494.06/494.31	c  494s |      18 |   383116 |   316852 |     6403     87 |        0 |        0
496.16/496.42	c  496s |      18 |   383881 |   317552 |     6403     88 |        0 |        0
498.16/498.42	c  498s |      18 |   384887 |   318452 |     6403     88 |        0 |        0
500.36/500.61	c  500s |      18 |   385869 |   319352 |     6403     88 |        0 |        0
502.46/502.77	c  502s |      18 |   386739 |   320152 |     6403     88 |        0 |        0
504.55/504.85	c  504s |      18 |   387659 |   320952 |     6403     88 |        0 |        0
506.75/507.01	c  506s |      18 |   388527 |   321752 |     6403     89 |        0 |        0
508.85/509.12	c  509s |      18 |   389410 |   322552 |     6403     89 |        0 |        0
510.85/511.15	c  511s |      18 |   390197 |   323252 |     6403     89 |        0 |        0
512.95/513.24	c  513s |      18 |   391205 |   324152 |     6403     89 |        0 |        0
515.15/515.49	c  515s |      18 |   392168 |   325052 |     6403     89 |        0 |        0
517.45/517.78	c  517s |      18 |   393053 |   325852 |     6403     90 |        0 |        0
519.54/519.86	c  519s |      18 |   393916 |   326652 |     6403     90 |        0 |        0
521.64/521.94	c  521s |      18 |   394702 |   327352 |     6403     90 |        0 |        0
523.84/524.10	c  524s |      18 |   395593 |   328152 |     6403     90 |        0 |        0
525.94/526.26	c  526s |      18 |   396574 |   329052 |     6403     90 |        0 |        0
528.13/528.49	c  528s |      18 |   397470 |   329852 |     6403     90 |        0 |        0
530.33/530.66	c  530s |      18 |   398357 |   330652 |     6403     91 |        0 |        0
532.53/532.84	c  532s |      18 |   399341 |   331552 |     6403     91 |        0 |        0
535.04/535.32	c  535s |      18 |   400259 |   332352 |     6403     91 |        0 |        0
537.24/537.50	c  537s |      18 |   401148 |   333152 |     6403     91 |        0 |        0
539.24/539.58	c  539s |      18 |   402027 |   333952 |     6403     91 |        0 |        0
541.44/541.70	c  541s |      18 |   402784 |   334652 |     6403     92 |        0 |        0
543.64/543.92	c  543s |      18 |   403774 |   335552 |     6403     92 |        0 |        0
545.64/545.96	c  545s |      18 |   404782 |   336452 |     6403     92 |        0 |        0
547.64/547.97	c  547s |      18 |   405630 |   337252 |     6403     92 |        0 |        0
549.73/550.10	c  550s |      18 |   406654 |   338152 |     6403     92 |        0 |        0
551.83/552.12	c  552s |      18 |   407426 |   338852 |     6403     92 |        0 |        0
554.03/554.30	c  554s |      18 |   408191 |   339552 |     6403     93 |        0 |        0
556.23/556.56	c  556s |      18 |   409094 |   340352 |     6403     93 |        0 |        0
558.32/558.62	c  558s |      18 |   409960 |   341152 |     6403     93 |        0 |        0
560.42/560.78	c  560s |      18 |   410831 |   341952 |     6403     93 |        0 |        0
562.52/562.89	c  562s |      18 |   411598 |   342652 |     6403     93 |        0 |        0
564.82/565.13	c  565s |      18 |   412373 |   343352 |     6403     94 |        0 |        0
566.82/567.18	c  567s |      18 |   413268 |   344152 |     6403     94 |        0 |        0
568.92/569.24	c  569s |      18 |   414137 |   344952 |     6403     94 |        0 |        0
570.92/571.29	c  571s |      18 |   415035 |   345752 |     6403     94 |        0 |        0
573.02/573.33	c  573s |      18 |   415908 |   346552 |     6403     94 |        0 |        0
575.12/575.49	c  575s |      18 |   416775 |   347352 |     6403     94 |        0 |        0
577.42/577.71	c  577s |      18 |   417532 |   348052 |     6403     95 |        0 |        0
579.61/579.94	c  579s |      18 |   418405 |   348852 |     6403     95 |        0 |        0
581.81/582.15	c  582s |      18 |   419333 |   349652 |     6403     95 |        0 |        0
584.01/584.37	c  584s |      18 |   420357 |   350552 |     6403     95 |        0 |        0
586.21/586.53	c  586s |      18 |   421241 |   351352 |     6403     95 |        0 |        0
588.41/588.78	c  588s |      18 |   422162 |   352152 |     6403     96 |        0 |        0
590.52/590.85	c  590s |      18 |   423031 |   352952 |     6403     96 |        0 |        0
592.72/593.09	c  593s |      18 |   424021 |   353852 |     6403     96 |        0 |        0
594.82/595.14	c  595s |      18 |   424911 |   354652 |     6403     96 |        0 |        0
597.02/597.34	c  597s |      18 |   425786 |   355452 |     6403     96 |        0 |        0
599.10/599.47	c  599s |      18 |   426558 |   356152 |     6403     96 |        0 |        0
601.20/601.57	c  601s |      18 |   427223 |   356752 |     6403     97 |        0 |        0
603.30/603.64	c  603s |      18 |   428095 |   357552 |     6403     97 |        0 |        0
605.50/605.85	c  605s |      18 |   428984 |   358352 |     6403     97 |        0 |        0
607.70/608.05	c  608s |      18 |   429879 |   359152 |     6403     97 |        0 |        0
609.70/610.06	c  610s |      18 |   430656 |   359852 |     6403     97 |        0 |        0
611.90/612.22	c  612s |      18 |   431423 |   360552 |     6403     97 |        0 |        0
613.90/614.26	c  614s |      18 |   432092 |   361152 |     6403     98 |        0 |        0
616.20/616.55	c  616s |      18 |   433069 |   362052 |     6403     98 |        0 |        0
618.39/618.77	c  618s |      18 |   433947 |   362852 |     6403     98 |        0 |        0
620.49/620.89	c  620s |      18 |   434969 |   363752 |     6403     98 |        0 |        0
622.59/622.92	c  622s |      18 |   435960 |   364652 |     6403     98 |        0 |        0
624.79/625.17	c  625s |      18 |   436855 |   365452 |     6403     99 |        0 |        0
627.09/627.40	c  627s |      18 |   437966 |   366452 |     6403     99 |        0 |        0
629.29/629.63	c  629s |      18 |   438972 |   367352 |     6403     99 |        0 |        0
631.49/631.87	c  631s |      18 |   439988 |   368252 |     6403     99 |        0 |        0
633.49/633.88	c  633s |      18 |   440744 |   368952 |     6403     99 |        0 |        0
635.69/636.10	c  636s |      18 |   441592 |   369652 |     6403    100 |        0 |        0
637.79/638.17	c  638s |      18 |   442601 |   370552 |     6403    100 |        0 |        0
639.89/640.24	c  640s |      18 |   443637 |   371452 |     6403    100 |        0 |        0
642.09/642.50	c  642s |      18 |   444513 |   372252 |     6403    100 |        0 |        0
644.29/644.67	c  644s |      18 |   445381 |   373052 |     6403    100 |        0 |        0
646.38/646.78	c  646s |      18 |   446269 |   373852 |     6403    100 |        0 |        0
648.47/648.86	c  648s |      18 |   447034 |   374552 |     6403    101 |        0 |        0
650.47/650.89	c  650s |      18 |   447942 |   375352 |     6403    101 |        0 |        0
652.67/653.04	c  653s |      18 |   448820 |   376152 |     6403    101 |        0 |        0
654.77/655.11	c  655s |      18 |   449585 |   376852 |     6403    101 |        0 |        0
656.97/657.38	c  657s |      18 |   450368 |   377552 |     6403    101 |        0 |        0
659.17/659.59	c  659s |      18 |   451112 |   378252 |     6403    101 |        0 |        0
661.37/661.75	c  661s |      18 |   451874 |   378952 |     6403    102 |        0 |        0
663.57/663.95	c  663s |      18 |   452742 |   379752 |     6403    102 |        0 |        0
665.67/666.05	c  666s |      18 |   453496 |   380452 |     6403    102 |        0 |        0
667.97/668.34	c  668s |      18 |   454238 |   381152 |     6403    102 |        0 |        0
670.17/670.53	c  670s |      18 |   455314 |   382052 |     6403    102 |        0 |        0
672.47/672.84	c  672s |      18 |   456213 |   382852 |     6403    103 |        0 |        0
674.47/674.89	c  674s |      18 |   457224 |   383752 |     6403    103 |        0 |        0
676.57/676.93	c  676s |      18 |   458133 |   384552 |     6403    103 |        0 |        0
678.67/679.07	c  679s |      18 |   458995 |   385352 |     6403    103 |        0 |        0
680.77/681.17	c  681s |      18 |   459752 |   386052 |     6403    103 |        0 |        0
683.07/683.40	c  683s |      18 |   460522 |   386752 |     6403    103 |        0 |        0
685.07/685.47	c  685s |      18 |   461288 |   387452 |     6403    104 |        0 |        0
687.17/687.56	c  687s |      18 |   462182 |   388252 |     6403    104 |        0 |        0
689.47/689.84	c  689s |      18 |   463059 |   389052 |     6403    104 |        0 |        0
691.76/692.11	c  692s |      18 |   463860 |   389752 |     6403    104 |        0 |        0
693.96/694.31	c  694s |      18 |   464621 |   390452 |     6403    104 |        0 |        0
695.97/696.35	c  696s |      18 |   465266 |   391052 |     6403    104 |        0 |        0
698.27/698.62	c  698s |      18 |   465915 |   391652 |     6403    105 |        0 |        0
700.26/700.70	c  700s |      18 |   466791 |   392452 |     6403    105 |        0 |        0
702.46/702.84	c  702s |      18 |   467546 |   393152 |     6403    105 |        0 |        0
704.56/704.92	c  704s |      18 |   468435 |   393952 |     6403    105 |        0 |        0
706.56/706.95	c  706s |      18 |   469193 |   394652 |     6403    105 |        0 |        0
708.56/708.97	c  708s |      18 |   469965 |   395352 |     6403    105 |        0 |        0
710.66/711.02	c  710s |      18 |   470628 |   395952 |     6403    106 |        0 |        0
712.75/713.19	c  713s |      18 |   471373 |   396652 |     6403    106 |        0 |        0
714.95/715.33	c  715s |      18 |   472224 |   397452 |     6403    106 |        0 |        0
716.96/717.35	c  717s |      18 |   472978 |   398152 |     6403    106 |        0 |        0
719.06/719.49	c  719s |      18 |   473757 |   398852 |     6403    106 |        0 |        0
721.26/721.66	c  721s |      18 |   474656 |   399652 |     6403    106 |        0 |        0
723.46/723.85	c  723s |      18 |   475542 |   400452 |     6403    107 |        0 |        0
725.55/725.90	c  725s |      18 |   476328 |   401152 |     6403    107 |        0 |        0
727.75/728.10	c  728s |      18 |   477193 |   401952 |     6403    107 |        0 |        0
729.95/730.34	c  730s |      18 |   478087 |   402752 |     6403    107 |        0 |        0
732.05/732.45	c  732s |      18 |   478944 |   403552 |     6403    107 |        0 |        0
734.05/734.47	c  734s |      18 |   479734 |   404252 |     6403    107 |        0 |        0
736.35/736.70	c  736s |      18 |   480508 |   404952 |     6403    108 |        0 |        0
738.35/738.79	c  738s |      18 |   481396 |   405752 |     6403    108 |        0 |        0
740.45/740.86	c  740s |      18 |   482297 |   406552 |     6403    108 |        0 |        0
742.55/742.90	c  742s |      18 |   483205 |   407352 |     6403    108 |        0 |        0
744.54/744.95	c  744s |      18 |   483986 |   408052 |     6403    108 |        0 |        0
746.65/747.01	c  746s |      18 |   484761 |   408752 |     6403    108 |        0 |        0
748.85/749.20	c  749s |      18 |   485512 |   409452 |     6403    109 |        0 |        0
751.14/751.53	c  751s |      18 |   486473 |   410352 |     6403    109 |        0 |        0
753.25/753.63	c  753s |      18 |   487245 |   411052 |     6403    109 |        0 |        0
755.35/755.80	c  755s |      18 |   488023 |   411752 |     6403    109 |        0 |        0
757.44/757.87	c  757s |      18 |   488791 |   412452 |     6403    109 |        0 |        0
759.75/760.17	c  760s |      18 |   489557 |   413152 |     6403    109 |        0 |        0
761.84/762.21	c  762s |      18 |   490103 |   413652 |     6403    110 |        0 |        0
764.04/764.45	c  764s |      18 |   490888 |   414352 |     6403    110 |        0 |        0
766.24/766.67	c  766s |      18 |   491788 |   415152 |     6403    110 |        0 |        0
768.44/768.89	c  768s |      18 |   492675 |   415952 |     6403    110 |        0 |        0
770.54/770.94	c  770s |      18 |   493429 |   416652 |     6403    110 |        0 |        0
772.64/773.04	c  772s |      18 |   494203 |   417352 |     6403    110 |        0 |        0
774.74/775.16	c  775s |      18 |   494863 |   417952 |     6403    111 |        0 |        0
777.24/777.65	c  777s |      18 |   495848 |   418852 |     6403    111 |        0 |        0
779.34/779.77	c  779s |      18 |   496822 |   419752 |     6403    111 |        0 |        0
781.54/781.98	c  781s |      18 |   497708 |   420552 |     6403    111 |        0 |        0
783.64/784.06	c  784s |      18 |   498474 |   421252 |     6403    111 |        0 |        0
785.84/786.20	c  786s |      18 |   499228 |   421952 |     6403    111 |        0 |        0
788.04/788.43	c  788s |      18 |   499975 |   422652 |     6403    112 |        0 |        0
790.13/790.55	c  790s |      18 |   500737 |   423352 |     6403    112 |        0 |        0
792.23/792.68	c  792s |      18 |   501495 |   424052 |     6403    112 |        0 |        0
794.43/794.82	c  794s |      18 |   502255 |   424752 |     6403    112 |        0 |        0
796.53/796.93	c  796s |      18 |   503262 |   425652 |     6403    112 |        0 |        0
798.63/799.07	c  799s |      18 |   504203 |   426452 |     6403    112 |        0 |        0
800.73/801.13	c  801s |      18 |   504979 |   427152 |     6403    113 |        0 |        0
802.74/803.13	c  803s |      18 |   505886 |   427952 |     6403    113 |        0 |        0
804.84/805.29	c  805s |      18 |   506742 |   428752 |     6403    113 |        0 |        0
806.93/807.38	c  807s |      18 |   507674 |   429552 |     6403    113 |        0 |        0
809.24/809.63	c  809s |      18 |   508563 |   430352 |     6403    113 |        0 |        0
811.44/811.82	c  811s |      18 |   509366 |   431052 |     6403    114 |        0 |        0
813.43/813.88	c  813s |      18 |   510262 |   431852 |     6403    114 |        0 |        0
815.63/816.06	c  816s |      18 |   511129 |   432652 |     6403    114 |        0 |        0
817.83/818.21	c  818s |      18 |   511910 |   433352 |     6403    114 |        0 |        0
819.83/820.22	c  820s |      18 |   512669 |   434052 |     6403    114 |        0 |        0
821.83/822.23	c  822s |      18 |   513305 |   434652 |     6403    114 |        0 |        0
824.03/824.46	c  824s |      18 |   514062 |   435352 |     6403    114 |        0 |        0
826.43/826.86	c  826s |      18 |   514731 |   435952 |     6403    115 |        0 |        0
828.63/829.10	c  829s |      18 |   515609 |   436752 |     6403    115 |        0 |        0
830.83/831.29	c  831s |      18 |   516513 |   437552 |     6403    115 |        0 |        0
832.93/833.39	c  833s |      18 |   517297 |   438252 |     6403    115 |        0 |        0
835.13/835.60	c  835s |      18 |   517997 |   438852 |     6403    115 |        0 |        0
837.22/837.63	c  837s |      18 |   518891 |   439652 |     6403    115 |        0 |        0
839.22/839.68	c  839s |      18 |   519726 |   440352 |     6403    116 |        0 |        0
841.52/841.92	c  841s |      18 |   520776 |   441252 |     6403    116 |        0 |        0
843.82/844.22	c  844s |      18 |   521663 |   442052 |     7044    116 |        0 |        0
846.02/846.46	c  846s |      18 |   522579 |   442852 |     7044    116 |        0 |        0
848.22/848.66	c  848s |      18 |   523488 |   443652 |     7044    116 |        0 |        0
850.42/850.81	c  850s |      18 |   524270 |   444352 |     7044    116 |        0 |        0
850.72/851.17	c  851s |      19 |   524412 |   444482 |     7044    116 |        0 |        0
852.82/853.24	c  853s |      19 |   527969 |   446582 |     7044    117 |        0 |        0
854.82/855.28	c  855s |      19 |   530305 |   448682 |     7044    117 |        0 |        0
856.92/857.34	c  857s |      19 |   531994 |   450182 |     7044    118 |        0 |        0
858.92/859.38	c  859s |      19 |   533678 |   451682 |     7044    118 |        0 |        0
860.93/861.40	c  861s |      19 |   535351 |   453182 |     7044    118 |        0 |        0
863.02/863.44	c  863s |      19 |   536814 |   454482 |     7044    118 |        0 |        0
865.12/865.50	c  865s |      19 |   538097 |   455582 |     7044    119 |        0 |        0
867.12/867.54	c  867s |      19 |   539777 |   457082 |     7044    119 |        0 |        0
869.22/869.61	c  869s |      19 |   541346 |   458482 |     7044    119 |        0 |        0
871.22/871.67	c  871s |      19 |   542759 |   459782 |     7044    119 |        0 |        0
873.32/873.79	c  873s |      19 |   544223 |   461082 |     7044    120 |        0 |        0
875.42/875.84	c  875s |      19 |   545912 |   462582 |     7044    120 |        0 |        0
877.53/877.98	c  877s |      19 |   547365 |   463882 |     7044    120 |        0 |        0
879.52/880.00	c  879s |      19 |   548611 |   464982 |     7044    120 |        0 |        0
881.63/882.08	c  882s |      19 |   549930 |   466182 |     7044    121 |        0 |        0
883.73/884.14	c  884s |      19 |   551615 |   467682 |     7044    121 |        0 |        0
885.83/886.25	c  886s |      19 |   553351 |   469182 |     7044    121 |        0 |        0
887.93/888.35	c  888s |      19 |   555159 |   470782 |     7044    122 |        0 |        0
889.93/890.39	c  890s |      19 |   557152 |   472582 |     7044    122 |        0 |        0
892.13/892.52	c  892s |      19 |   558381 |   473682 |     7044    122 |        0 |        0
894.13/894.54	c  894s |      19 |   559817 |   474982 |     7044    122 |        0 |        0
896.13/896.58	c  896s |      19 |   561041 |   476082 |     7044    123 |        0 |        0
898.22/898.68	c  898s |      19 |   562490 |   477382 |     7044    123 |        0 |        0
900.32/900.73	c  900s |      19 |   563666 |   478482 |     7044    123 |        0 |        0
902.32/902.75	c  902s |      19 |   564771 |   479482 |     7044    123 |        0 |        0
904.42/904.86	c  904s |      19 |   566080 |   480682 |     7044    124 |        0 |        0
906.52/906.97	c  906s |      19 |   567073 |   481582 |     7044    124 |        0 |        0
908.62/909.06	c  909s |      19 |   568483 |   482882 |     7044    124 |        0 |        0
910.82/911.21	c  911s |      19 |   570066 |   484282 |     7044    124 |        0 |        0
912.82/913.27	c  913s |      19 |   571171 |   485282 |     7044    125 |        0 |        0
914.83/915.29	c  915s |      19 |   572668 |   486582 |     7044    125 |        0 |        0
916.92/917.36	c  917s |      19 |   574334 |   488082 |     7044    125 |        0 |        0
919.02/919.45	c  919s |      19 |   575757 |   489382 |     7044    125 |        0 |        0
921.12/921.56	c  921s |      19 |   576874 |   490382 |     7044    126 |        0 |        0
923.22/923.63	c  923s |      19 |   578597 |   491882 |     7044    126 |        0 |        0
925.22/925.67	c  925s |      19 |   580290 |   493382 |     7044    126 |        0 |        0
927.32/927.72	c  927s |      19 |   581626 |   494582 |     7044    126 |        0 |        0
929.32/929.77	c  929s |      19 |   582630 |   495482 |     7044    127 |        0 |        0
931.42/931.81	c  931s |      19 |   584186 |   496882 |     7044    127 |        0 |        0
933.42/933.86	c  933s |      19 |   585586 |   498182 |     7044    127 |        0 |        0
935.52/935.93	c  935s |      19 |   586888 |   499382 |     7044    127 |        0 |        0
937.62/938.07	c  938s |      19 |   588003 |   500382 |     7044    128 |        0 |        0
939.72/940.19	c  940s |      19 |   589434 |   501682 |     7044    128 |        0 |        0
941.91/942.35	c  942s |      19 |   590752 |   502882 |     7044    128 |        0 |        0
944.01/944.43	c  944s |      19 |   591852 |   503882 |     7044    128 |        0 |        0
946.11/946.56	c  946s |      19 |   592950 |   504882 |     7044    128 |        0 |        0
948.21/948.64	c  948s |      19 |   594312 |   506082 |     7044    129 |        0 |        0
950.31/950.77	c  950s |      19 |   595546 |   507182 |     7044    129 |        0 |        0
952.41/952.82	c  952s |      19 |   597660 |   508982 |     7044    129 |        0 |        0
954.52/954.91	c  954s |      19 |   599323 |   510482 |     7044    130 |        0 |        0
956.51/956.98	c  956s |      19 |   601113 |   512082 |     7044    130 |        0 |        0
958.61/959.07	c  959s |      19 |   602628 |   513482 |     7044    130 |        0 |        0
960.71/961.17	c  961s |      19 |   604406 |   515082 |     7044    130 |        0 |        0
962.81/963.29	c  963s |      19 |   605495 |   516082 |     7044    131 |        0 |        0
965.01/965.40	c  965s |      19 |   607105 |   517582 |     7044    131 |        0 |        0
967.11/967.55	c  967s |      19 |   608381 |   518782 |     7044    131 |        0 |        0
969.31/969.74	c  969s |      19 |   609556 |   519882 |     7044    131 |        0 |        0
971.31/971.76	c  971s |      19 |   610525 |   520782 |     7044    132 |        0 |        0
973.41/973.82	c  973s |      19 |   611921 |   522082 |     7044    132 |        0 |        0
975.41/975.85	c  975s |      19 |   613097 |   523182 |     7044    132 |        0 |        0
977.51/977.91	c  977s |      19 |   614425 |   524382 |     7044    132 |        0 |        0
979.50/979.93	c  979s |      19 |   615507 |   525382 |     7044    132 |        0 |        0
981.50/981.94	c  981s |      19 |   616576 |   526382 |     7044    133 |        0 |        0
983.50/983.99	c  983s |      19 |   617977 |   527682 |     7044    133 |        0 |        0
985.60/986.05	c  986s |      19 |   619167 |   528782 |     7044    133 |        0 |        0
987.70/988.17	c  988s |      19 |   620156 |   529682 |     7044    133 |        0 |        0
989.80/990.22	c  990s |      19 |   621257 |   530682 |     7044    134 |        0 |        0
991.81/992.25	c  992s |      19 |   623000 |   532182 |     7044    134 |        0 |        0
993.80/994.29	c  994s |      19 |   624527 |   533582 |     7044    134 |        0 |        0
995.90/996.39	c  996s |      19 |   625818 |   534782 |     7044    134 |        0 |        0
998.10/998.54	c  998s |      19 |   626910 |   535782 |     7044    135 |        0 |        0
1000.10/1000.57	c 1000s |      19 |   628055 |   536782 |     7044    135 |        0 |        0
1002.10/1002.59	c 1002s |      19 |   629419 |   537982 |     7044    135 |        0 |        0
1004.30/1004.77	c 1004s |      19 |   630920 |   539282 |     7044    135 |        0 |        0
1006.30/1006.79	c 1006s |      19 |   632111 |   540382 |     7044    135 |        0 |        0
1008.41/1008.82	c 1008s |      19 |   633187 |   541382 |     7044    136 |        0 |        0
1010.40/1010.86	c 1010s |      19 |   634381 |   542482 |     7044    136 |        0 |        0
1012.50/1012.94	c 1012s |      19 |   635500 |   543482 |     7044    136 |        0 |        0
1014.60/1015.10	c 1015s |      19 |   636905 |   544782 |     7044    136 |        0 |        0
1016.80/1017.25	c 1017s |      19 |   637805 |   545582 |     7044    137 |        0 |        0
1019.00/1019.40	c 1019s |      19 |   639244 |   546882 |     7044    137 |        0 |        0
1021.10/1021.58	c 1021s |      19 |   640553 |   548082 |     7044    137 |        0 |        0
1023.20/1023.68	c 1023s |      19 |   641622 |   549082 |     7044    137 |        0 |        0
1025.20/1025.68	c 1025s |      19 |   642576 |   549982 |     7044    137 |        0 |        0
1027.20/1027.70	c 1027s |      19 |   643340 |   550682 |     7044    138 |        0 |        0
1029.30/1029.71	c 1029s |      19 |   644675 |   551882 |     7044    138 |        0 |        0
1031.40/1031.82	c 1031s |      19 |   645867 |   552982 |     7044    138 |        0 |        0
1033.39/1033.83	c 1033s |      19 |   646973 |   553982 |     7044    138 |        0 |        0
1035.49/1035.90	c 1035s |      19 |   648746 |   555582 |     7044    138 |        0 |        0
1037.49/1037.98	c 1037s |      19 |   650064 |   556782 |     7044    139 |        0 |        0
1039.69/1040.10	c 1040s |      19 |   651400 |   557982 |     7044    139 |        0 |        0
1041.69/1042.14	c 1042s |      19 |   652602 |   559082 |     7044    139 |        0 |        0
1043.79/1044.23	c 1044s |      19 |   653799 |   560182 |     7044    139 |        0 |        0
1046.00/1046.45	c 1046s |      19 |   654682 |   560982 |     7044    140 |        0 |        0
1048.01/1048.49	c 1048s |      19 |   656564 |   562582 |     7044    140 |        0 |        0
1050.21/1050.61	c 1050s |      19 |   658074 |   563982 |     7044    140 |        0 |        0
1052.20/1052.61	c 1052s |      19 |   659226 |   565082 |     7044    140 |        0 |        0
1054.30/1054.75	c 1054s |      19 |   660426 |   566182 |     7044    141 |        0 |        0
1056.40/1056.84	c 1056s |      19 |   661716 |   567382 |     7044    141 |        0 |        0
1058.50/1058.97	c 1058s |      19 |   662898 |   568482 |     7044    141 |        0 |        0
1060.70/1061.13	c 1061s |      19 |   664205 |   569582 |     7044    141 |        0 |        0
1062.90/1063.34	c 1063s |      19 |   665507 |   570782 |     7044    142 |        0 |        0
1065.00/1065.43	c 1065s |      19 |   667240 |   572382 |     7044    142 |        0 |        0
1067.10/1067.58	c 1067s |      19 |   668772 |   573782 |     7044    142 |        0 |        0
1069.30/1069.72	c 1069s |      19 |   669998 |   574882 |     7044    142 |        0 |        0
1071.60/1072.00	c 1071s |      19 |   671079 |   575882 |     7044    143 |        0 |        0
1073.60/1074.09	c 1074s |      19 |   672495 |   577182 |     7044    143 |        0 |        0
1075.70/1076.17	c 1076s |      19 |   673793 |   578382 |     7044    143 |        0 |        0
1077.90/1078.34	c 1078s |      19 |   674964 |   579482 |     7044    143 |        0 |        0
1080.00/1080.45	c 1080s |      19 |   675930 |   580382 |     7044    143 |        0 |        0
1082.10/1082.56	c 1082s |      19 |   676617 |   580982 |     7044    144 |        0 |        0
1084.20/1084.68	c 1084s |      19 |   678171 |   582382 |     7044    144 |        0 |        0
1086.29/1086.76	c 1086s |      19 |   679745 |   583782 |     7044    144 |        0 |        0
1088.49/1088.90	c 1088s |      19 |   681085 |   584982 |     7044    144 |        0 |        0
1090.69/1091.15	c 1091s |      19 |   682098 |   585882 |     7044    145 |        0 |        0
1092.79/1093.28	c 1093s |      19 |   683407 |   587082 |     7044    145 |        0 |        0
1094.89/1095.38	c 1095s |      19 |   684633 |   588182 |     7044    145 |        0 |        0
1097.09/1097.52	c 1097s |      19 |   685714 |   589182 |     7044    145 |        0 |        0
1099.19/1099.69	c 1099s |      19 |   686933 |   590282 |     7044    145 |        0 |        0
1101.29/1101.72	c 1101s |      19 |   687835 |   591082 |     7044    146 |        0 |        0
1103.29/1103.76	c 1103s |      19 |   689290 |   592382 |     7044    146 |        0 |        0
1105.49/1105.97	c 1105s |      19 |   690597 |   593582 |     7044    146 |        0 |        0
1107.59/1108.00	c 1107s |      19 |   691937 |   594782 |     7044    146 |        0 |        0
1109.69/1110.13	c 1110s |      19 |   693122 |   595882 |     7044    146 |        0 |        0
1111.80/1112.28	c 1112s |      19 |   694113 |   596782 |     7044    147 |        0 |        0
1114.29/1114.71	c 1114s |      19 |   695414 |   597982 |     7044    147 |        0 |        0
1116.29/1116.73	c 1116s |      19 |   696405 |   598882 |     7044    147 |        0 |        0
1118.29/1118.79	c 1118s |      19 |   697475 |   599882 |     7044    147 |        0 |        0
1120.29/1120.79	c 1120s |      19 |   698446 |   600782 |     7044    147 |        0 |        0
1122.39/1122.85	c 1122s |      19 |   699540 |   601782 |     7044    148 |        0 |        0
1124.49/1124.96	c 1124s |      19 |   700741 |   602882 |     7044    148 |        0 |        0
1126.49/1126.99	c 1126s |      19 |   701947 |   603982 |     7044    148 |        0 |        0
1128.59/1129.06	c 1129s |      19 |   703018 |   604982 |     7044    148 |        0 |        0
1130.69/1131.10	c 1131s |      19 |   703953 |   605882 |     7044    148 |        0 |        0
1132.69/1133.19	c 1133s |      19 |   704867 |   606682 |     7044    149 |        0 |        0
1134.89/1135.32	c 1135s |      19 |   706683 |   608282 |     7044    149 |        0 |        0
1136.88/1137.34	c 1137s |      19 |   708174 |   609582 |     7044    149 |        0 |        0
1138.88/1139.38	c 1139s |      19 |   709629 |   610882 |     7044    149 |        0 |        0
1141.08/1141.52	c 1141s |      19 |   710955 |   612082 |     7044    150 |        0 |        0
1143.08/1143.54	c 1143s |      19 |   712414 |   613382 |     7044    150 |        0 |        0
1145.18/1145.69	c 1145s |      19 |   713700 |   614582 |     7044    150 |        0 |        0
1147.38/1147.88	c 1147s |      19 |   714774 |   615582 |     7044    150 |        0 |        0
1149.48/1149.98	c 1149s |      19 |   715869 |   616582 |     7044    151 |        0 |        0
1151.68/1152.16	c 1152s |      19 |   717179 |   617782 |     7044    151 |        0 |        0
1153.78/1154.26	c 1154s |      19 |   718586 |   618982 |     7044    151 |        0 |        0
1155.88/1156.37	c 1156s |      19 |   720389 |   620482 |     7044    151 |        0 |        0
1157.98/1158.46	c 1158s |      19 |   721700 |   621682 |     7044    152 |        0 |        0
1160.08/1160.56	c 1160s |      19 |   723248 |   623082 |     7044    152 |        0 |        0
1162.28/1162.71	c 1162s |      19 |   724540 |   624282 |     7044    152 |        0 |        0
1164.38/1164.86	c 1164s |      19 |   725919 |   625482 |     7044    152 |        0 |        0
1166.57/1167.00	c 1166s |      19 |   727262 |   626682 |     7044    153 |        0 |        0
1168.57/1169.03	c 1168s |      19 |   728684 |   627982 |     7044    153 |        0 |        0
1170.67/1171.19	c 1171s |      19 |   729906 |   629082 |     7044    153 |        0 |        0
1172.77/1173.22	c 1173s |      19 |   731157 |   630182 |     7044    153 |        0 |        0
1174.87/1175.33	c 1175s |      19 |   732149 |   631082 |     7044    154 |        0 |        0
1177.27/1177.70	c 1177s |      19 |   733582 |   632382 |     7044    154 |        0 |        0
1179.37/1179.87	c 1179s |      19 |   734820 |   633482 |     7044    154 |        0 |        0
1181.57/1182.05	c 1182s |      19 |   736009 |   634582 |     7044    154 |        0 |        0
1183.57/1184.06	c 1184s |      19 |   737342 |   635782 |     7044    154 |        0 |        0
1185.67/1186.15	c 1186s |      19 |   738668 |   636982 |     7044    155 |        0 |        0
1187.68/1188.18	c 1188s |      19 |   740219 |   638382 |     7044    155 |        0 |        0
1189.78/1190.22	c 1190s |      19 |   741417 |   639482 |     7044    155 |        0 |        0
1191.77/1192.27	c 1192s |      19 |   742512 |   640482 |     7044    155 |        0 |        0
1193.87/1194.34	c 1194s |      19 |   743501 |   641382 |     7044    156 |        0 |        0
1195.97/1196.40	c 1196s |      19 |   744706 |   642482 |     7044    156 |        0 |        0
1197.97/1198.49	c 1198s |      19 |   746413 |   643982 |     7044    156 |        0 |        0
1200.17/1200.69	c 1200s |      19 |   747979 |   645382 |     7044    156 |        0 |        0
1202.27/1202.79	c 1202s |      19 |   749077 |   646382 |     7044    157 |        0 |        0
1204.37/1204.88	c 1204s |      19 |   750688 |   647882 |     7044    157 |        0 |        0
1206.47/1206.93	c 1206s |      19 |   752106 |   649182 |     7044    157 |        0 |        0
1208.47/1208.98	c 1208s |      19 |   753312 |   650282 |     7044    157 |        0 |        0
1210.97/1211.43	c 1211s |      19 |   754385 |   651282 |     7044    158 |        0 |        0
1213.07/1213.50	c 1213s |      19 |   755612 |   652382 |     7044    158 |        0 |        0
1215.07/1215.59	c 1215s |      19 |   756948 |   653582 |     7044    158 |        0 |        0
1217.17/1217.62	c 1217s |      19 |   758134 |   654682 |     7044    158 |        0 |        0
1219.28/1219.73	c 1219s |      19 |   759213 |   655682 |     7044    158 |        0 |        0
1221.38/1221.81	c 1221s |      19 |   760109 |   656482 |     7044    159 |        0 |        0
1223.38/1223.88	c 1223s |      19 |   761426 |   657682 |     7044    159 |        0 |        0
1225.57/1226.07	c 1226s |      19 |   762661 |   658782 |     7044    159 |        0 |        0
1227.67/1228.13	c 1228s |      19 |   763771 |   659782 |     7044    159 |        0 |        0
1229.77/1230.27	c 1230s |      19 |   764989 |   660882 |     7044    159 |        0 |        0
1231.97/1232.42	c 1232s |      19 |   766019 |   661782 |     7044    160 |        0 |        0
1234.07/1234.53	c 1234s |      19 |   767806 |   663382 |     7749    160 |        0 |        0
1236.17/1236.64	c 1236s |      19 |   769186 |   664582 |     7749    160 |        0 |        0
1238.18/1238.69	c 1238s |      19 |   770349 |   665582 |     7749    160 |        0 |        0
1240.48/1240.96	c 1240s |      19 |   771574 |   666682 |     7749    160 |        0 |        0
1240.87/1241.36	c 1241s |      20 |   771740 |   666827 |     7749    160 |        0 |        0
1242.87/1243.37	c 1243s |      20 |   774628 |   668427 |     7749    161 |        0 |        0
1244.97/1245.41	c 1245s |      20 |   776613 |   670227 |     7749    161 |        0 |        0
1246.98/1247.43	c 1247s |      20 |   778304 |   671727 |     7749    161 |        0 |        0
1249.18/1249.64	c 1249s |      20 |   779644 |   672927 |     7749    162 |        0 |        0
1251.17/1251.68	c 1251s |      20 |   780980 |   674127 |     7749    162 |        0 |        0
1253.27/1253.72	c 1253s |      20 |   782096 |   675127 |     7749    162 |        0 |        0
1255.37/1255.84	c 1255s |      20 |   783359 |   676227 |     7749    162 |        0 |        0
1257.67/1258.15	c 1258s |      20 |   784462 |   677227 |     7749    163 |        0 |        0
1259.77/1260.29	c 1260s |      20 |   785938 |   678527 |     7749    163 |        0 |        0
1261.77/1262.29	c 1262s |      20 |   787235 |   679727 |     7749    163 |        0 |        0
1263.87/1264.31	c 1264s |      20 |   788447 |   680827 |     7749    163 |        0 |        0
1265.86/1266.34	c 1266s |      20 |   789312 |   681627 |     7749    163 |        0 |        0
1268.06/1268.51	c 1268s |      20 |   790396 |   682627 |     7749    164 |        0 |        0
1270.07/1270.57	c 1270s |      20 |   791487 |   683627 |     7749    164 |        0 |        0
1272.16/1272.69	c 1272s |      20 |   792711 |   684727 |     7749    164 |        0 |        0
1274.26/1274.80	c 1274s |      20 |   793812 |   685727 |     7749    164 |        0 |        0
1276.36/1276.85	c 1276s |      20 |   794901 |   686727 |     7749    164 |        0 |        0
1278.66/1279.18	c 1279s |      20 |   795884 |   687627 |     7749    165 |        0 |        0
1280.86/1281.37	c 1281s |      20 |   797079 |   688727 |     7749    165 |        0 |        0
1283.06/1283.50	c 1283s |      20 |   798282 |   689827 |     7749    165 |        0 |        0
1285.06/1285.57	c 1285s |      20 |   799380 |   690827 |     7749    165 |        0 |        0
1287.26/1287.72	c 1287s |      20 |   800268 |   691627 |     7749    165 |        0 |        0
1289.56/1290.02	c 1289s |      20 |   801592 |   692827 |     7749    166 |        0 |        0
1291.66/1292.16	c 1292s |      20 |   803210 |   694327 |     7749    166 |        0 |        0
1293.86/1294.33	c 1294s |      20 |   804685 |   695627 |     7749    166 |        0 |        0
1295.86/1296.34	c 1296s |      20 |   805881 |   696727 |     7749    166 |        0 |        0
1298.06/1298.50	c 1298s |      20 |   807092 |   697827 |     7749    166 |        0 |        0
1300.06/1300.51	c 1300s |      20 |   808169 |   698827 |     7749    167 |        0 |        0
1302.06/1302.52	c 1302s |      20 |   809280 |   699827 |     7749    167 |        0 |        0
1304.06/1304.53	c 1304s |      20 |   810464 |   700927 |     7749    167 |        0 |        0
1306.16/1306.68	c 1306s |      20 |   811712 |   702027 |     7749    167 |        0 |        0
1308.26/1308.73	c 1308s |      20 |   812706 |   702927 |     7749    167 |        0 |        0
1310.45/1310.90	c 1310s |      20 |   813295 |   703427 |     7749    168 |        0 |        0
1312.45/1312.99	c 1312s |      20 |   814532 |   704527 |     7749    168 |        0 |        0
1314.65/1315.15	c 1315s |      20 |   815781 |   705627 |     7749    168 |        0 |        0
1316.85/1317.32	c 1317s |      20 |   816869 |   706627 |     7749    168 |        0 |        0
1318.85/1319.36	c 1319s |      20 |   817773 |   707427 |     7749    168 |        0 |        0
1320.95/1321.43	c 1321s |      20 |   818751 |   708327 |     7749    168 |        0 |        0
1323.05/1323.59	c 1323s |      20 |   819967 |   709427 |     7749    169 |        0 |        0
1325.25/1325.70	c 1325s |      20 |   821297 |   710627 |     7749    169 |        0 |        0
1327.26/1327.71	c 1327s |      20 |   822596 |   711727 |     7749    169 |        0 |        0
1329.25/1329.77	c 1329s |      20 |   823717 |   712727 |     7749    169 |        0 |        0
1331.35/1331.84	c 1331s |      20 |   824745 |   713627 |     7749    169 |        0 |        0
1333.35/1333.84	c 1333s |      20 |   826060 |   714727 |     7749    170 |        0 |        0
1335.55/1336.00	c 1335s |      20 |   827600 |   716027 |     7749    170 |        0 |        0
1337.55/1338.01	c 1337s |      20 |   828826 |   717127 |     7749    170 |        0 |        0
1339.55/1340.07	c 1340s |      20 |   829957 |   718127 |     7749    170 |        0 |        0
1341.75/1342.21	c 1342s |      20 |   830966 |   719027 |     7749    171 |        0 |        0
1343.86/1344.39	c 1344s |      20 |   832318 |   720227 |     7749    171 |        0 |        0
1345.85/1346.40	c 1346s |      20 |   833387 |   721227 |     7749    171 |        0 |        0
1347.95/1348.45	c 1348s |      20 |   834521 |   722227 |     7749    171 |        0 |        0
1349.95/1350.46	c 1350s |      20 |   835507 |   723127 |     7749    171 |        0 |        0
1352.35/1352.82	c 1352s |      20 |   836612 |   724127 |     7749    172 |        0 |        0
1354.55/1355.01	c 1354s |      20 |   837955 |   725327 |     7749    172 |        0 |        0
1356.65/1357.19	c 1357s |      20 |   839307 |   726527 |     7749    172 |        0 |        0
1358.75/1359.23	c 1359s |      20 |   840426 |   727527 |     7749    172 |        0 |        0
1360.85/1361.38	c 1361s |      20 |   841528 |   728527 |     7749    172 |        0 |        0
1363.45/1363.92	c 1363s |      20 |   842411 |   729327 |     7749    173 |        0 |        0
1365.55/1366.09	c 1366s |      20 |   843684 |   730427 |     7749    173 |        0 |        0
1367.65/1368.15	c 1368s |      20 |   845117 |   731627 |     7749    173 |        0 |        0
1369.75/1370.24	c 1370s |      20 |   846282 |   732627 |     7749    173 |        0 |        0
1371.85/1372.34	c 1372s |      20 |   847367 |   733627 |     7749    173 |        0 |        0
1374.15/1374.66	c 1374s |      20 |   848340 |   734527 |     7749    174 |        0 |        0
1376.25/1376.70	c 1376s |      20 |   849543 |   735627 |     7749    174 |        0 |        0
1378.35/1378.89	c 1378s |      20 |   850745 |   736727 |     7749    174 |        0 |        0
1380.55/1381.09	c 1381s |      20 |   851440 |   737327 |     7749    174 |        0 |        0
1382.75/1383.28	c 1383s |      20 |   852720 |   738427 |     7749    174 |        0 |        0
1384.95/1385.45	c 1385s |      20 |   853935 |   739527 |     7749    174 |        0 |        0
1387.05/1387.55	c 1387s |      20 |   855051 |   740527 |     7749    175 |        0 |        0
1389.25/1389.75	c 1389s |      20 |   856376 |   741727 |     7749    175 |        0 |        0
1391.35/1391.80	c 1391s |      20 |   857469 |   742727 |     7749    175 |        0 |        0
1393.35/1393.82	c 1393s |      20 |   858477 |   743627 |     7749    175 |        0 |        0
1395.45/1396.00	c 1395s |      20 |   859625 |   744627 |     7749    175 |        0 |        0
1397.65/1398.12	c 1398s |      20 |   860926 |   745727 |     7749    176 |        0 |        0
1399.65/1400.13	c 1400s |      20 |   862305 |   746927 |     7749    176 |        0 |        0
1401.74/1402.21	c 1402s |      20 |   863428 |   747927 |     7749    176 |        0 |        0
1403.74/1404.28	c 1404s |      20 |   864402 |   748827 |     7749    176 |        0 |        0
1405.84/1406.31	c 1406s |      20 |   865079 |   749427 |     7749    176 |        0 |        0
1408.24/1408.77	c 1408s |      20 |   865920 |   750227 |     7749    177 |        0 |        0
1410.44/1410.92	c 1410s |      20 |   867075 |   751327 |     7749    177 |        0 |        0
1412.44/1412.93	c 1412s |      20 |   868085 |   752227 |     7749    177 |        0 |        0
1414.54/1415.06	c 1415s |      20 |   869099 |   753127 |     7749    177 |        0 |        0
1416.54/1417.10	c 1417s |      20 |   870099 |   754027 |     7749    177 |        0 |        0
1418.65/1419.12	c 1419s |      20 |   871010 |   754827 |     7749    177 |        0 |        0
1420.64/1421.18	c 1421s |      20 |   871939 |   755627 |     7749    178 |        0 |        0
1422.74/1423.27	c 1423s |      20 |   872943 |   756527 |     7749    178 |        0 |        0
1424.84/1425.34	c 1425s |      20 |   874045 |   757527 |     7749    178 |        0 |        0
1426.94/1427.47	c 1427s |      20 |   875190 |   758527 |     7749    178 |        0 |        0
1429.03/1429.52	c 1429s |      20 |   876200 |   759427 |     7749    178 |        0 |        0
1431.13/1431.65	c 1431s |      20 |   877161 |   760327 |     7749    178 |        0 |        0
1433.14/1433.69	c 1433s |      20 |   877716 |   760827 |     7749    179 |        0 |        0
1435.24/1435.79	c 1435s |      20 |   878776 |   761827 |     7749    179 |        0 |        0
1437.35/1437.81	c 1437s |      20 |   879654 |   762627 |     7749    179 |        0 |        0
1439.45/1439.99	c 1439s |      20 |   880649 |   763527 |     7749    179 |        0 |        0
1441.65/1442.17	c 1442s |      20 |   881524 |   764327 |     7749    179 |        0 |        0
1443.64/1444.19	c 1444s |      20 |   882278 |   765027 |     7749    179 |        0 |        0
1445.64/1446.19	c 1446s |      20 |   883395 |   766027 |     7749    180 |        0 |        0
1447.64/1448.19	c 1448s |      20 |   884730 |   767227 |     7749    180 |        0 |        0
1449.84/1450.37	c 1450s |      20 |   886197 |   768527 |     7749    180 |        0 |        0
1452.04/1452.58	c 1452s |      20 |   887410 |   769627 |     7749    180 |        0 |        0
1454.24/1454.74	c 1454s |      20 |   888485 |   770627 |     7749    180 |        0 |        0
1456.24/1456.75	c 1456s |      20 |   889347 |   771427 |     7749    181 |        0 |        0
1458.25/1458.75	c 1458s |      20 |   890331 |   772327 |     7749    181 |        0 |        0
1460.35/1460.82	c 1460s |      20 |   891300 |   773227 |     7749    181 |        0 |        0
1462.34/1462.83	c 1462s |      20 |   892262 |   774127 |     7749    181 |        0 |        0
1464.54/1465.07	c 1465s |      20 |   893348 |   775127 |     7749    181 |        0 |        0
1466.74/1467.26	c 1467s |      20 |   894425 |   776127 |     7749    181 |        0 |        0
1468.94/1469.46	c 1469s |      20 |   895301 |   776927 |     7749    182 |        0 |        0
1471.14/1471.61	c 1471s |      20 |   896363 |   777927 |     7749    182 |        0 |        0
1473.24/1473.73	c 1473s |      20 |   897277 |   778727 |     7749    182 |        0 |        0
1475.24/1475.75	c 1475s |      20 |   898260 |   779627 |     7749    182 |        0 |        0
1477.34/1477.84	c 1477s |      20 |   899260 |   780527 |     7749    182 |        0 |        0
1479.54/1480.08	c 1480s |      20 |   900281 |   781427 |     7749    183 |        0 |        0
1481.73/1482.24	c 1482s |      20 |   901572 |   782627 |     7749    183 |        0 |        0
1483.73/1484.25	c 1484s |      20 |   902662 |   783627 |     7749    183 |        0 |        0
1485.83/1486.35	c 1486s |      20 |   903734 |   784627 |     7749    183 |        0 |        0
1488.03/1488.56	c 1488s |      20 |   904719 |   785527 |     7749    183 |        0 |        0
1490.14/1490.61	c 1490s |      20 |   905580 |   786327 |     7749    183 |        0 |        0
1492.43/1492.99	c 1492s |      20 |   905931 |   786627 |     7749    184 |        0 |        0
1494.63/1495.16	c 1495s |      20 |   907810 |   788227 |     7749    184 |        0 |        0
1496.64/1497.18	c 1497s |      20 |   909208 |   789427 |     7749    184 |        0 |        0
1498.73/1499.24	c 1499s |      20 |   910438 |   790527 |     7749    184 |        0 |        0
1500.93/1501.42	c 1501s |      20 |   911681 |   791627 |     7749    184 |        0 |        0
1502.93/1503.42	c 1503s |      20 |   912558 |   792427 |     7749    185 |        0 |        0
1504.93/1505.49	c 1505s |      20 |   913649 |   793427 |     7749    185 |        0 |        0
1507.13/1507.68	c 1507s |      20 |   914841 |   794527 |     7749    185 |        0 |        0
1509.23/1509.75	c 1509s |      20 |   915952 |   795527 |     7749    185 |        0 |        0
1511.53/1512.02	c 1511s |      20 |   916926 |   796427 |     7749    185 |        0 |        0
1513.63/1514.11	c 1514s |      20 |   917813 |   797227 |     7749    186 |        0 |        0
1515.73/1516.23	c 1516s |      20 |   918885 |   798227 |     7749    186 |        0 |        0
1517.83/1518.31	c 1518s |      20 |   919976 |   799227 |     7749    186 |        0 |        0
1519.84/1520.37	c 1520s |      20 |   921048 |   800227 |     7749    186 |        0 |        0
1521.93/1522.48	c 1522s |      20 |   922014 |   801127 |     7749    186 |        0 |        0
1524.03/1524.59	c 1524s |      20 |   922859 |   801927 |     7749    186 |        0 |        0
1526.33/1526.83	c 1526s |      20 |   923643 |   802627 |     7749    187 |        0 |        0
1528.43/1528.96	c 1528s |      20 |   924940 |   803827 |     7749    187 |        0 |        0
1530.63/1531.12	c 1531s |      20 |   926011 |   804827 |     7749    187 |        0 |        0
1532.83/1533.30	c 1533s |      20 |   926974 |   805727 |     7749    187 |        0 |        0
1534.83/1535.34	c 1535s |      20 |   927839 |   806527 |     7749    187 |        0 |        0
1537.33/1537.87	c 1537s |      20 |   928699 |   807327 |     7749    188 |        0 |        0
1539.33/1539.90	c 1539s |      20 |   929769 |   808327 |     7749    188 |        0 |        0
1541.52/1542.04	c 1542s |      20 |   930956 |   809427 |     7749    188 |        0 |        0
1543.52/1544.07	c 1544s |      20 |   932032 |   810427 |     7749    188 |        0 |        0
1545.62/1546.14	c 1546s |      20 |   932866 |   811127 |     7749    188 |        0 |        0
1547.82/1548.30	c 1548s |      20 |   933749 |   811927 |     7749    188 |        0 |        0
1549.92/1550.47	c 1550s |      20 |   934415 |   812527 |     7749    189 |        0 |        0
1552.02/1552.53	c 1552s |      20 |   935421 |   813427 |     7749    189 |        0 |        0
1554.12/1554.66	c 1554s |      20 |   936428 |   814327 |     7749    189 |        0 |        0
1556.22/1556.79	c 1556s |      20 |   937439 |   815227 |     7749    189 |        0 |        0
1558.33/1558.86	c 1558s |      20 |   938306 |   816027 |     7749    189 |        0 |        0
1560.43/1560.97	c 1560s |      20 |   939155 |   816827 |     7749    189 |        0 |        0
1562.73/1563.24	c 1563s |      20 |   940151 |   817727 |     7749    190 |        0 |        0
1564.72/1565.29	c 1565s |      20 |   941156 |   818627 |     7749    190 |        0 |        0
1566.82/1567.32	c 1567s |      20 |   942133 |   819527 |     7749    190 |        0 |        0
1568.82/1569.38	c 1569s |      20 |   943130 |   820427 |     7749    190 |        0 |        0
1571.02/1571.58	c 1571s |      20 |   944085 |   821327 |     7749    190 |        0 |        0
1573.12/1573.60	c 1573s |      20 |   944745 |   821927 |     7749    190 |        0 |        0
1575.32/1575.83	c 1575s |      20 |   945621 |   822727 |     7749    190 |        0 |        0
1577.42/1577.97	c 1577s |      20 |   946186 |   823227 |     7749    191 |        0 |        0
1579.52/1580.03	c 1579s |      20 |   947264 |   824227 |     7749    191 |        0 |        0
1581.52/1582.03	c 1581s |      20 |   948348 |   825227 |     7749    191 |        0 |        0
1583.52/1584.09	c 1584s |      20 |   949321 |   826127 |     7749    191 |        0 |        0
1585.52/1586.09	c 1586s |      20 |   950183 |   826927 |     7749    191 |        0 |        0
1587.81/1588.30	c 1588s |      20 |   951061 |   827727 |     7749    191 |        0 |        0
1589.81/1590.37	c 1590s |      20 |   951488 |   828127 |     7749    192 |        0 |        0
1592.11/1592.62	c 1592s |      20 |   952471 |   829027 |     7749    192 |        0 |        0
1594.11/1594.65	c 1594s |      20 |   953227 |   829727 |     7749    192 |        0 |        0
1596.21/1596.76	c 1596s |      20 |   954322 |   830727 |     7749    192 |        0 |        0
1598.41/1598.94	c 1598s |      20 |   955435 |   831727 |     7749    192 |        0 |        0
1600.41/1600.99	c 1600s |      20 |   956444 |   832627 |     7749    192 |        0 |        0
1602.51/1603.06	c 1603s |      20 |   957322 |   833427 |     7749    193 |        0 |        0
1604.52/1605.09	c 1605s |      20 |   958380 |   834427 |     7749    193 |        0 |        0
1606.72/1607.27	c 1607s |      20 |   959266 |   835227 |     7749    193 |        0 |        0
1608.92/1609.46	c 1609s |      20 |   960360 |   836227 |     7749    193 |        0 |        0
1611.12/1611.67	c 1611s |      20 |   961375 |   837127 |     7749    193 |        0 |        0
1613.32/1613.82	c 1613s |      20 |   962234 |   837927 |     7749    193 |        0 |        0
1615.31/1615.85	c 1615s |      20 |   963033 |   838627 |     7749    194 |        0 |        0
1617.41/1617.94	c 1617s |      20 |   964371 |   839827 |     7749    194 |        0 |        0
1619.61/1620.10	c 1620s |      20 |   965469 |   840827 |     7749    194 |        0 |        0
1621.71/1622.21	c 1622s |      20 |   966557 |   841827 |     7749    194 |        0 |        0
1623.71/1624.22	c 1624s |      20 |   967538 |   842727 |     7749    194 |        0 |        0
1625.91/1626.45	c 1626s |      20 |   968399 |   843527 |     7749    194 |        0 |        0
1628.11/1628.66	c 1628s |      20 |   969155 |   844227 |     7749    195 |        0 |        0
1630.31/1630.86	c 1630s |      20 |   970154 |   845127 |     7749    195 |        0 |        0
1632.51/1633.03	c 1632s |      20 |   971006 |   845927 |     7749    195 |        0 |        0
1634.71/1635.24	c 1635s |      20 |   971880 |   846727 |     7749    195 |        0 |        0
1636.81/1637.37	c 1637s |      20 |   972766 |   847527 |     7749    195 |        0 |        0
1639.01/1639.51	c 1639s |      20 |   973746 |   848427 |     7749    195 |        0 |        0
1641.11/1641.62	c 1641s |      20 |   974752 |   849327 |     7749    196 |        0 |        0
1643.11/1643.62	c 1643s |      20 |   975849 |   850327 |     7749    196 |        0 |        0
1645.21/1645.75	c 1645s |      20 |   976928 |   851327 |     7749    196 |        0 |        0
1647.20/1647.77	c 1647s |      20 |   977906 |   852227 |     7749    196 |        0 |        0
1649.40/1649.90	c 1649s |      20 |   978454 |   852727 |     7749    196 |        0 |        0
1651.40/1651.99	c 1651s |      20 |   979203 |   853427 |     7749    196 |        0 |        0
1653.60/1654.18	c 1654s |      20 |   979841 |   854027 |     7749    197 |        0 |        0
1655.80/1656.39	c 1656s |      20 |   980689 |   854827 |     7749    197 |        0 |        0
1657.90/1658.42	c 1658s |      20 |   982118 |   856027 |     7749    197 |        0 |        0
1660.00/1660.52	c 1660s |      20 |   983563 |   857327 |     7749    197 |        0 |        0
1662.00/1662.57	c 1662s |      20 |   984781 |   858427 |     7749    197 |        0 |        0
1664.00/1664.57	c 1664s |      20 |   985856 |   859327 |     7749    198 |        0 |        0
1666.11/1666.65	c 1666s |      20 |   987070 |   860427 |     7749    198 |        0 |        0
1668.31/1668.81	c 1668s |      20 |   988260 |   861527 |     7749    198 |        0 |        0
1670.41/1670.95	c 1670s |      20 |   989252 |   862427 |     7749    198 |        0 |        0
1672.40/1672.99	c 1672s |      20 |   990357 |   863427 |     7749    198 |        0 |        0
1674.60/1675.16	c 1675s |      20 |   991367 |   864327 |     7749    199 |        0 |        0
1676.80/1677.34	c 1677s |      20 |   992568 |   865427 |     7749    199 |        0 |        0
1678.90/1679.43	c 1679s |      20 |   993637 |   866427 |     7749    199 |        0 |        0
1681.10/1681.64	c 1681s |      20 |   994753 |   867427 |     7749    199 |        0 |        0
1683.20/1683.77	c 1683s |      20 |   995646 |   868227 |     7749    199 |        0 |        0
1685.40/1685.92	c 1685s |      20 |   996683 |   869127 |     7749    199 |        0 |        0
1688.10/1688.64	c 1688s |      20 |   997465 |   869827 |     7749    200 |        0 |        0
1690.30/1690.82	c 1690s |      20 |   998659 |   870927 |     7749    200 |        0 |        0
1692.50/1693.03	c 1692s |      20 |   999777 |   871927 |     7749    200 |        0 |        0
1694.60/1695.16	c 1695s |      20 |  1000777 |   872827 |     7749    200 |        0 |        0
1696.59/1697.17	c 1697s |      20 |  1001664 |   873627 |     7749    200 |        0 |        0
1698.79/1699.40	c 1699s |      20 |  1002670 |   874527 |     7749    200 |        0 |        0
1700.89/1701.47	c 1701s |      20 |  1003569 |   875327 |     7749    201 |        0 |        0
1702.89/1703.47	c 1703s |      20 |  1004670 |   876327 |     7749    201 |        0 |        0
1705.09/1705.60	c 1705s |      20 |  1005804 |   877327 |     7749    201 |        0 |        0
1707.09/1707.64	c 1707s |      20 |  1006795 |   878227 |     7749    201 |        0 |        0
1709.09/1709.68	c 1709s |      20 |  1007793 |   879127 |     7749    201 |        0 |        0
1711.49/1712.03	c 1711s |      20 |  1008665 |   879927 |     7749    202 |        0 |        0
1713.49/1714.08	c 1714s |      20 |  1009626 |   880827 |     7749    202 |        0 |        0
1715.69/1716.21	c 1716s |      20 |  1010370 |   881527 |     7749    202 |        0 |        0
1717.70/1718.27	c 1718s |      20 |  1011471 |   882527 |     7749    202 |        0 |        0
1719.90/1720.43	c 1720s |      20 |  1012572 |   883527 |     7749    202 |        0 |        0
1722.10/1722.64	c 1722s |      20 |  1013657 |   884527 |     7749    202 |        0 |        0
1724.70/1725.29	c 1725s |      20 |  1014419 |   885227 |     7749    203 |        0 |        0
1726.90/1727.41	c 1727s |      20 |  1015755 |   886427 |     7749    203 |        0 |        0
1729.00/1729.51	c 1729s |      20 |  1016828 |   887427 |     7749    203 |        0 |        0
1731.10/1731.62	c 1731s |      20 |  1017787 |   888327 |     7749    203 |        0 |        0
1733.10/1733.65	c 1733s |      20 |  1018729 |   889127 |     7749    203 |        0 |        0
1735.10/1735.69	c 1735s |      20 |  1019609 |   889927 |     7749    203 |        0 |        0
1737.20/1737.76	c 1737s |      20 |  1020480 |   890727 |     7749    204 |        0 |        0
1739.30/1739.83	c 1739s |      20 |  1021690 |   891827 |     7749    204 |        0 |        0
1741.40/1741.98	c 1741s |      20 |  1022892 |   892927 |     7749    204 |        0 |        0
1743.60/1744.10	c 1744s |      20 |  1023981 |   893927 |     7749    204 |        0 |        0
1745.70/1746.24	c 1746s |      20 |  1025070 |   894927 |     7749    204 |        0 |        0
1747.80/1748.36	c 1748s |      20 |  1025710 |   895527 |     7749    205 |        0 |        0
1750.10/1750.60	c 1750s |      20 |  1026675 |   896427 |     7749    205 |        0 |        0
1752.29/1752.85	c 1752s |      20 |  1027527 |   897227 |     7749    205 |        0 |        0
1754.39/1754.90	c 1754s |      20 |  1028178 |   897827 |     7749    205 |        0 |        0
1756.59/1757.17	c 1757s |      20 |  1028953 |   898527 |     7749    205 |        0 |        0
1758.59/1759.18	c 1759s |      20 |  1029637 |   899127 |     7749    205 |        0 |        0
1760.79/1761.33	c 1761s |      20 |  1030438 |   899827 |     7749    205 |        0 |        0
1762.80/1763.39	c 1763s |      20 |  1031385 |   900627 |     7749    206 |        0 |        0
1764.89/1765.45	c 1765s |      20 |  1032778 |   901827 |     7749    206 |        0 |        0
1766.89/1767.50	c 1767s |      20 |  1033872 |   902827 |     7749    206 |        0 |        0
1769.09/1769.61	c 1769s |      20 |  1035096 |   903927 |     7749    206 |        0 |        0
1771.29/1771.80	c 1771s |      20 |  1035989 |   904727 |     7749    206 |        0 |        0
1773.29/1773.89	c 1773s |      20 |  1036998 |   905627 |     7749    206 |        0 |        0
1775.49/1776.06	c 1776s |      20 |  1038153 |   906627 |     7749    207 |        0 |        0
1777.59/1778.13	c 1778s |      20 |  1039363 |   907727 |     7749    207 |        0 |        0
1779.59/1780.13	c 1780s |      20 |  1040366 |   908627 |     7749    207 |        0 |        0
1781.79/1782.38	c 1782s |      20 |  1041351 |   909527 |     7749    207 |        0 |        0
1783.99/1784.55	c 1784s |      20 |  1042364 |   910427 |     7749    207 |        0 |        0
1786.09/1786.62	c 1786s |      20 |  1043256 |   911227 |     7749    208 |        0 |        0
1788.49/1789.04	c 1788s |      20 |  1044347 |   912227 |     7749    208 |        0 |        0
1790.59/1791.11	c 1791s |      20 |  1045442 |   913227 |     7749    208 |        0 |        0
1792.59/1793.19	c 1793s |      20 |  1046408 |   914127 |     7749    208 |        0 |        0
1794.79/1795.33	c 1795s |      20 |  1047406 |   915027 |     7749    208 |        0 |        0
1796.89/1797.41	c 1797s |      20 |  1048397 |   915927 |     7749    208 |        0 |        0
1798.99/1799.51	c 1799s |      20 |  1049173 |   916627 |     7749    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-4099557-1466206144/watcher-4099557-1466206144 -o /tmp/evaluation-result-4099557-1466206144/solver-4099557-1466206144 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099557-1466206144.opb 

pid=1863
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.89 0.32 0.16 3/179 1866
/proc/meminfo: memFree=30220616/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=561596 CPUtime=0 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 2067 0 0 0 0 0 0 0 20 0 4 0 22663623 575074304 1917 33554432000 4194304 16246674 140735304301056 140735304300480 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 141167 1928 441 2943 0 138061 0
[pid=1866/tid=1867] ppid=1863 vsize=579004 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 592900096 1986 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=584124 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 598142976 2004 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=588220 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22663623 602337280 2021 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 0.89 0.32 0.16 3/179 1866
/proc/meminfo: memFree=30220616/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 30298 0 0 0 5 3 0 0 20 0 4 0 22663623 1247350784 30137 33554432000 4194304 16246674 140735304301056 140735304300480 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 304529 30151 704 2943 0 301423 0
[pid=1866/tid=1867] ppid=1863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1247350784 30166 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1247350784 30181 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22663623 1247350784 30194 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200485 s]
/proc/loadavg: 0.89 0.32 0.16 3/179 1866
/proc/meminfo: memFree=30220616/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 68765 0 0 0 10 9 0 0 20 0 4 0 22663623 1247350784 68605 33554432000 4194304 16246674 140735304301056 140735304300480 5708022 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 304529 68628 704 2943 0 301423 0
[pid=1866/tid=1867] ppid=1863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1247350784 68642 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1247350784 68656 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22663623 1247350784 68670 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300471 s]
/proc/loadavg: 0.89 0.32 0.16 3/179 1866
/proc/meminfo: memFree=30220616/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 107109 0 0 0 15 14 0 0 20 0 4 0 22663623 1247350784 106949 33554432000 4194304 16246674 140735304301056 140735304300480 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 304529 106972 704 2943 0 301423 0
[pid=1866/tid=1867] ppid=1863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1247350784 106986 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1247350784 107001 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22663623 1247350784 107014 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700418 s]
/proc/loadavg: 0.89 0.32 0.16 3/179 1866
/proc/meminfo: memFree=30220616/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1222212 CPUtime=0.69 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 246325 0 0 0 39 30 0 0 20 0 4 0 22663623 1251545088 246144 33554432000 4194304 16246674 140735304301056 140735304300368 6055844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 305553 246144 784 2943 0 302447 0
[pid=1866/tid=1867] ppid=1863 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1251545088 246144 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1251545088 246144 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1251545088 246144 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50042 s]
/proc/loadavg: 0.89 0.32 0.16 3/183 1870
/proc/meminfo: memFree=29157540/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1307204 CPUtime=1.49 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 267667 0 0 0 116 33 0 0 20 0 4 0 22663623 1338576896 267486 33554432000 4194304 16246674 140735304301056 140735304282944 5545988 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 326801 267486 784 2943 0 323695 0
[pid=1866/tid=1867] ppid=1863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1338576896 267486 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1338576896 267486 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1338576896 267486 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1307204

[startup+3.1004 s]
/proc/loadavg: 0.89 0.32 0.16 3/183 1919
/proc/meminfo: memFree=30150252/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 267826 0 0 0 276 33 0 0 20 0 4 0 22663623 1338576896 267645 33554432000 4194304 16246674 140735304301056 140735304282944 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 326801 267645 789 2943 0 323695 0
[pid=1866/tid=1867] ppid=1863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1338576896 267645 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1338576896 267645 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1338576896 267645 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 0.90 0.33 0.16 3/183 2017
/proc/meminfo: memFree=29921664/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 268287 0 0 0 596 33 0 0 20 0 4 0 22663623 1340674048 268106 33554432000 4194304 16246674 140735304301056 140735304282944 6842338 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 327313 268106 792 2943 0 324207 0
[pid=1866/tid=1867] ppid=1863 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1340674048 268106 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1340674048 268106 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1340674048 268106 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 1.06 0.37 0.17 3/183 2017
/proc/meminfo: memFree=29082804/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1311300 CPUtime=12.69 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 268653 0 0 0 1236 33 0 0 20 0 4 0 22663623 1342771200 268472 33554432000 4194304 16246674 140735304301056 140735304282944 5676613 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 327825 268472 792 2943 0 324719 0
[pid=1866/tid=1867] ppid=1863 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1342771200 268472 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1342771200 268472 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1342771200 268472 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1311300

[startup+25.5005 s]
/proc/loadavg: 1.35 0.47 0.21 3/183 2017
/proc/meminfo: memFree=29083212/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1315396 CPUtime=25.48 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 269756 0 0 0 2515 33 0 0 20 0 4 0 22663623 1346965504 269575 33554432000 4194304 16246674 140735304301056 140735304282944 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 328849 269575 792 2943 0 325743 0
[pid=1866/tid=1867] ppid=1863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1346965504 269575 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1346965504 269575 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1346965504 269575 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1315396

[startup+51.1004 s]
/proc/loadavg: 1.71 0.62 0.27 3/183 2017
/proc/meminfo: memFree=29077012/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 269880 0 0 0 5074 34 0 0 20 0 4 0 22663623 1346965504 269953 33554432000 4194304 16246674 140735304301056 140735304282944 5722960 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 328849 269953 792 2943 0 325743 0
[pid=1866/tid=1867] ppid=1863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1346965504 269953 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1346965504 269953 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1346965504 269953 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 1.94 0.85 0.36 3/184 2021
/proc/meminfo: memFree=29064624/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1327684 CPUtime=102.27 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 272946 0 0 0 10192 35 0 0 20 0 4 0 22663623 1359548416 273006 33554432000 4194304 16246674 140735304301056 140735304300232 5545776 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 331921 273006 792 2943 0 328815 0
[pid=1866/tid=1867] ppid=1863 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1359548416 273006 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1359548416 273006 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1359548416 273006 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1327684


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

/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1396248576 281986 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1363524

[startup+1302.3 s]
/proc/loadavg: 2.11 2.11 1.63 3/184 2101
/proc/meminfo: memFree=29023416/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1382980 CPUtime=1301.86 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 286964 0 0 0 130139 47 0 0 20 0 4 0 22663623 1416171520 286625 33554432000 4194304 16246674 140735304301056 140735304282944 5822488 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 345745 286625 793 2943 0 342639 0
[pid=1866/tid=1867] ppid=1863 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1416171520 286625 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1416171520 286625 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1382980 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1416171520 286625 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1382980

[startup+1362.3 s]
/proc/loadavg: 2.21 2.13 1.67 3/183 2102
/proc/meminfo: memFree=29011892/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1386052 CPUtime=1361.85 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 287957 0 0 0 136138 47 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 140735304282944 5522913 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 346513 287618 793 2943 0 343407 0
[pid=1866/tid=1867] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1386052

[startup+1422.3 s]
/proc/loadavg: 2.16 2.14 1.69 3/183 2103
/proc/meminfo: memFree=29011492/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1386052 CPUtime=1421.84 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 287957 0 0 0 142136 48 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 140735304282944 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 346513 287618 793 2943 0 343407 0
[pid=1866/tid=1867] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1386052

[startup+1482.3 s]
/proc/loadavg: 2.13 2.14 1.72 3/182 2104
/proc/meminfo: memFree=29011488/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1386052 CPUtime=1481.83 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 287957 0 0 0 148134 49 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 140735304282944 5667556 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 346513 287618 793 2943 0 343407 0
[pid=1866/tid=1867] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1386052

[startup+1542.31 s]
/proc/loadavg: 2.25 2.17 1.76 3/183 2106
/proc/meminfo: memFree=29011856/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1386052 CPUtime=1541.83 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 287957 0 0 0 154134 49 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 140735304282944 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 346513 287618 793 2943 0 343407 0
[pid=1866/tid=1867] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287618 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1386052

[startup+1602.3 s]
/proc/loadavg: 2.15 2.16 1.78 3/183 2107
/proc/meminfo: memFree=29011612/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1386052 CPUtime=1601.81 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 287958 0 0 0 160132 49 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 140735304282944 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 346513 287619 794 2943 0 343407 0
[pid=1866/tid=1867] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1386052

[startup+1662.3 s]
/proc/loadavg: 2.10 2.15 1.80 3/183 2108
/proc/meminfo: memFree=29011752/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1386052 CPUtime=1661.8 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 287958 0 0 0 166131 49 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 140735304282944 5546243 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 346513 287619 794 2943 0 343407 0
[pid=1866/tid=1867] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1386052

[startup+1722.3 s]
/proc/loadavg: 2.10 2.13 1.81 3/183 2109
/proc/meminfo: memFree=29012004/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1386052 CPUtime=1721.79 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 287958 0 0 0 172130 49 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 140735304282944 12478382 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 346513 287619 794 2943 0 343407 0
[pid=1866/tid=1867] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1386052

[startup+1782.3 s]
/proc/loadavg: 2.12 2.14 1.83 3/183 2110
/proc/meminfo: memFree=29011752/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1386052 CPUtime=1781.79 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 287958 0 0 0 178129 50 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 140735304282944 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 346513 287619 794 2943 0 343407 0
[pid=1866/tid=1867] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1386052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.14 1.84 4/183 2111
/proc/meminfo: memFree=29011888/32872528 swapFree=681964/737152
[pid=1866] ppid=1863 vsize=1386052 CPUtime=1800.09 cores=0,2,4,6
/proc/1866/stat : 1866 (toysat) R 1863 1866 1377 0 -1 4202496 287958 0 0 0 179959 50 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 140735304282944 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1866/statm: 346513 287619 794 2943 0 343407 0
[pid=1866/tid=1867] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1867/stat : 1867 (toysat) S 1863 1866 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905643556080 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=1866/tid=1868] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1868/stat : 1868 (toysat) S 1863 1866 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905633066224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=1866/tid=1869] ppid=1863 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/1866/task/1869/stat : 1869 (toysat) S 1863 1866 1377 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22663623 1419317248 287619 33554432000 4194304 16246674 140735304301056 139905622592688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1386052

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 1866 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.1
CPU user time (s): 1799.59
CPU system time (s): 0.502923
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 1386052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.502923
maximum resident set size= 1150476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287958
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= 427
involuntary context switches= 1949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.77427 second user time and 6.84196 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-18 01:29:04
IDJOB=4099557
IDBENCH=1439
IDSOLVER=2542
FILE ID=node112/4099557-1466206144
RUNJOBID= node112-1466206100-1394
PBS_JOBID= 19918164
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099557-1466206144/watcher-4099557-1466206144 -o /tmp/evaluation-result-4099557-1466206144/solver-4099557-1466206144 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1394 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099557-1466206144.opb

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

MD5SUM BENCH= 0beb8de972e873a7bfc16369cb81d469
RANDOM SEED=886631459

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.734
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.734
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.734
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.734
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30221524 kB
Buffers:           36268 kB
Cached:            97548 kB
SwapCached:         1940 kB
Active:          1153576 kB
Inactive:          55232 kB
Active(anon):    1075744 kB
Inactive(anon):     1528 kB
Active(file):      77832 kB
Inactive(file):    53704 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096920 kB
Dirty:             33332 kB
Writeback:             0 kB
AnonPages:       1811232 kB
Mapped:            10648 kB
Shmem:                 0 kB
Slab:             571596 kB
SReclaimable:      14744 kB
SUnreclaim:       556852 kB
KernelStack:        1448 kB
PageTables:         7120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1956184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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= 71680 MiB
End job on node112 at 2016-06-18 01:59:05