Trace number 4093636

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_40_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM72248c5a2862af1e3cf852420a7ca986
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark2.76258
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2800
Total number of constraints150
Number of soft constraints150
Number of constraints which are clauses80
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint40
Top cost 7477
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 7476
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T17:07:54+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093636-1466089674.wbo"]
0.00/0.01	c use --random-gen="1942781527 4086087341 2529697148 4196491234 2998526934 2446244998 693770019 589518565 2197242161 2831901058 4155037928 1317557044 3778251499 232433121 3164787567 49788055 3077288854 2348475097 3607290296 4047625256 2458485276 3365619626 2141725198 3572817690 2874565679 3452701623 2363238031 3517774417 3184955217 741393083 4276780822 1639010396 64861303 2841049823 3887719588 3509426709 731092441 3101790766 2629096059 2487756949 3586481190 3496466898 3158972282 694644824 713709777 4155063074 2036185686 2762890235 2490960611 2410317616 4059382753 2332907838 3010186116 1980840595 2065815557 1500215216 4090651431 2698867790 2011121764 1155949147 3459016964 1100895966 2288451909 4062974322 3541793898 3497009149 2717184285 718984539 1605772836 3307679665 2808117665 4231511650 4133678995 3899135581 1983857389 3381806854 3905426974 1062699626 1818962891 2579065677 4060138795 4175064645 878198788 1122302757 3637795618 2148037454 1685257878 1491580638 686197508 818187885 2483398480 2943501603 3264389041 2040529778 639898172 1309638892 3951601921 2831826050 879711519 1679639925 3862797830 3387326685 3700991969 522891009 2160252113 2534394714 2261807050 1007773920 3036107679 1514436842 2714437994 955208443 322329457 490080043 2909850216 3990439409 2833939042 3470833241 3860318036 2930901705 3810289565 587232823 1154730983 849173454 3539246239 4275125183 493882540 132608274 1997483790 3675328803 514095280 4187733279 500907705 1368551950 1679680452 3868537253 3287572789 1330148474 2736877368 1857258073 566371070 2325648609 197946145 1098488552 1778581349 4012119089 1848160686 32375145 2468787726 3084140686 2846689435 586624886 544051456 3637649029 2223752862 130355552 476986384 16285649 2075976637 4106712365 958145649 146519555 1623313244 972052632 3403168032 2945218428 2657496712 3936085112 715519416 568722140 1741340303 340169677 1905315680 1626638440 1111939926 2898840495 1346364582 75074003 3999459145 924120086 2366952297 1236048269 2667450086 1796135235 1393770797 913966786 3715740880 12289443 3730807969 2257667123 1169811185 2521299934 1206241799 466593210 1552297420 1283790545 3242303661 3708313982 3349627525 2927168459 4234409657 2942702041 3097021574 1863771790 782695573 2434500280 3861995172 305675723 3107067860 1970157190 896680448 2273334630 228564752 2159549704 3543429234 2391641386 2100333001 4096999345 1694812211 3960331626 458628492 4191735966 825385695 2466540508 3425119415 681830786 2497774614 2895776217 781346591 813301005 440463447 2540131005 2345207839 3734629935 184390811 1666320430 926283521 2131029889 2565748947 1344377157 480932388 1367792383 61464642 3578787185 4244908549 2397414664 3265613571 4151012797 1095605231 4090976409 932446198 3251425349 2617868897 2814708075 3520458332 1733665042 255 362436" option to reproduce the execution
0.09/0.13	c #vars 2800
0.09/0.13	c #constraints 150
0.09/0.15	c BCD2: Hardening is enabled.
0.09/0.15	c BCD2: BiasedSearch is enabled.
0.09/0.15	c Solving starts ...
0.09/0.15	c ============================[ Search Statistics ]============================
0.09/0.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.15	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.15	c =============================================================================
0.09/0.15	c  0.0s |       0 |        0 |        0 |     1033      0 |        0 |        0
0.09/0.15	c  0.0s |       0 |      220 |        0 |     1033      0 |        0 |        0
0.09/0.15	c #cpu_time = 0.004s
0.09/0.15	c #wall_clock_time = 0.004s
0.09/0.15	c #decision = 220
0.09/0.15	c #random_decision = 4
0.09/0.15	c #conflict = 0
0.09/0.15	c #restart = 0
0.09/0.15	o 3451
0.09/0.15	c BCD2: updating upper bound: 7476 -> 3450
0.09/0.16	c BCD2: 0 <= obj <= 3450
0.09/0.16	c BCD2: #cores=0, #unrelaxed=150, #relaxed=0, #hardened=0
0.09/0.16	c BCD2: #sat=1 #unsat=1 bias=1/2
0.09/0.16	c Solving starts ...
0.09/0.16	c ============================[ Search Statistics ]============================
0.09/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.16	c =============================================================================
0.09/0.16	c  0.0s |       0 |        0 |        0 |     1033      0 |        0 |        0
0.19/0.20	c  0.0s |       1 |      302 |      100 |     1033      0 |        0 |        0
0.19/0.26	c  0.1s |       2 |     1049 |      250 |     1137      0 |        0 |        0
0.39/0.41	c  0.3s |       3 |     2081 |      475 |     1251      0 |        0 |        0
0.69/0.78	c  0.6s |       4 |     3744 |      813 |     1377      0 |        0 |        0
1.29/1.32	c  1.2s |       5 |     6026 |     1320 |     1515      0 |        0 |        0
1.99/2.03	c  1.9s |       6 |     8220 |     2081 |     1834      0 |        0 |        0
2.99/3.04	c  2.9s |       7 |    10447 |     3223 |     2018      1 |        0 |        0
5.19/5.21	c  5.1s |       7 |    13424 |     4923 |     2220      2 |        0 |        0
5.19/5.23	c  5.1s |       8 |    13436 |     4936 |     2220      2 |        0 |        0
7.29/7.34	c  7.2s |       8 |    17176 |     6636 |     2220      3 |        0 |        0
8.79/8.84	c  8.7s |       9 |    18184 |     7506 |     2442      4 |        0 |        0
10.89/10.94	c 10.8s |       9 |    22736 |     9906 |     2442      5 |        0 |        0
13.09/13.13	c 13.0s |       9 |    24254 |    11206 |     2442      6 |        0 |        0
13.40/13.43	c 13.3s |      10 |    24412 |    11361 |     2687      6 |        0 |        0
15.39/15.45	c 15.3s |      10 |    27641 |    12861 |     2687      6 |        0 |        0
17.49/17.59	c 17.4s |      10 |    29409 |    14161 |     2687      7 |        0 |        0
19.69/19.71	c 19.6s |      10 |    31104 |    15261 |     2687      8 |        0 |        0
21.79/21.85	c 21.7s |      10 |    32551 |    16261 |     2687      8 |        0 |        0
23.59/23.63	c 23.5s |      11 |    33831 |    17144 |     2956      9 |        0 |        0
25.79/25.81	c 25.6s |      11 |    36342 |    18344 |     2956      9 |        0 |        0
27.89/27.94	c 27.8s |      11 |    37480 |    19344 |     2956     10 |        0 |        0
29.99/30.02	c 29.9s |      11 |    38727 |    20444 |     2956     10 |        0 |        0
32.09/32.14	c 32.0s |      11 |    39854 |    21444 |     2956     10 |        0 |        0
34.19/34.22	c 34.1s |      11 |    40749 |    22244 |     2956     11 |        0 |        0
36.28/36.31	c 36.2s |      11 |    41668 |    23044 |     2956     11 |        0 |        0
38.38/38.48	c 38.3s |      11 |    42454 |    23744 |     2956     12 |        0 |        0
40.48/40.51	c 40.4s |      11 |    43496 |    24644 |     2956     12 |        0 |        0
42.68/42.75	c 42.6s |      11 |    44631 |    25644 |     2956     12 |        0 |        0
43.09/43.19	c 43.0s |      12 |    44830 |    25819 |     3252     12 |        0 |        0
45.19/45.29	c 45.1s |      12 |    49548 |    27019 |     3252     13 |        0 |        0
47.28/47.33	c 47.2s |      12 |    50806 |    27919 |     3252     13 |        0 |        0
49.28/49.35	c 49.2s |      12 |    52009 |    28719 |     3252     14 |        0 |        0
51.48/51.55	c 51.4s |      12 |    53241 |    29519 |     3252     14 |        0 |        0
53.68/53.78	c 53.6s |      12 |    54023 |    30219 |     3252     14 |        0 |        0
55.98/56.02	c 55.9s |      12 |    54841 |    30919 |     3252     15 |        0 |        0
58.08/58.19	c 58.0s |      12 |    55553 |    31519 |     3252     15 |        0 |        0
60.38/60.45	c 60.3s |      12 |    56258 |    32119 |     3252     15 |        0 |        0
62.68/62.71	c 62.6s |      12 |    56968 |    32719 |     3252     15 |        0 |        0
64.78/64.85	c 64.7s |      12 |    57715 |    33319 |     3252     16 |        0 |        0
66.88/67.00	c 66.8s |      12 |    58707 |    34019 |     3252     16 |        0 |        0
69.18/69.26	c 69.1s |      12 |    59672 |    34819 |     3252     16 |        0 |        0
71.28/71.30	c 71.1s |      12 |    60409 |    35419 |     3252     17 |        0 |        0
73.58/73.65	c 73.5s |      12 |    61667 |    36219 |     3252     17 |        0 |        0
75.58/75.65	c 75.5s |      12 |    62586 |    36819 |     3252     17 |        0 |        0
77.68/77.70	c 77.5s |      12 |    63141 |    37319 |     3252     17 |        0 |        0
79.88/79.91	c 79.8s |      12 |    64626 |    38119 |     3252     18 |        0 |        0
81.38/81.45	c 81.3s |      13 |    65702 |    38832 |     3578     18 |        0 |        0
83.38/83.48	c 83.3s |      13 |    68839 |    40632 |     3578     19 |        0 |        0
85.58/85.63	c 85.5s |      13 |    70603 |    42132 |     3578     20 |        0 |        0
87.68/87.72	c 87.6s |      13 |    72054 |    43432 |     3578     20 |        0 |        0
89.78/89.85	c 89.7s |      13 |    73386 |    44632 |     3578     21 |        0 |        0
91.88/91.95	c 91.8s |      13 |    74830 |    45932 |     3578     21 |        0 |        0
93.88/93.99	c 93.8s |      13 |    76295 |    47232 |     3578     22 |        0 |        0
95.98/96.04	c 95.9s |      13 |    78307 |    48932 |     3578     22 |        0 |        0
98.08/98.15	c 98.0s |      13 |    80093 |    50532 |     3578     23 |        0 |        0
100.07/100.19	c  100s |      13 |    81674 |    51932 |     3578     23 |        0 |        0
102.17/102.26	c  102s |      13 |    83229 |    53332 |     3578     24 |        0 |        0
104.27/104.32	c  104s |      13 |    84886 |    54832 |     3578     25 |        0 |        0
106.37/106.41	c  106s |      13 |    86655 |    56432 |     3578     25 |        0 |        0
108.47/108.50	c  108s |      13 |    88322 |    57932 |     3578     26 |        0 |        0
108.98/109.02	c  108s |      14 |    88797 |    58352 |     3936     26 |        0 |        0
110.97/111.06	c  110s |      14 |    92489 |    60252 |     3936     26 |        0 |        0
113.17/113.20	c  113s |      14 |    94148 |    61752 |     3936     27 |        0 |        0
115.27/115.34	c  115s |      14 |    95874 |    63252 |     3936     28 |        0 |        0
117.27/117.38	c  117s |      14 |    97369 |    64552 |     3936     28 |        0 |        0
119.47/119.56	c  119s |      14 |    98696 |    65752 |     3936     28 |        0 |        0
121.57/121.60	c  121s |      14 |   100050 |    66952 |     3936     29 |        0 |        0
123.57/123.69	c  123s |      14 |   101373 |    68152 |     3936     29 |        0 |        0
125.77/125.84	c  125s |      14 |   102708 |    69352 |     3936     30 |        0 |        0
127.87/127.97	c  127s |      14 |   104414 |    70852 |     3936     30 |        0 |        0
129.87/129.99	c  129s |      14 |   105788 |    72052 |     3936     31 |        0 |        0
131.97/132.03	c  131s |      14 |   107128 |    73252 |     3936     31 |        0 |        0
134.07/134.11	c  133s |      14 |   108627 |    74552 |     3936     31 |        0 |        0
136.16/136.26	c  136s |      14 |   110273 |    75952 |     3936     32 |        0 |        0
138.36/138.41	c  138s |      14 |   111837 |    77252 |     3936     32 |        0 |        0
140.36/140.48	c  140s |      14 |   113063 |    78352 |     3936     33 |        0 |        0
142.46/142.58	c  142s |      14 |   114304 |    79452 |     3936     33 |        0 |        0
144.57/144.68	c  144s |      14 |   115627 |    80652 |     3936     34 |        0 |        0
146.57/146.68	c  146s |      14 |   116968 |    81852 |     3936     34 |        0 |        0
148.68/148.75	c  148s |      14 |   118051 |    82852 |     3936     34 |        0 |        0
150.67/150.77	c  150s |      14 |   119545 |    84152 |     3936     35 |        0 |        0
152.67/152.78	c  152s |      14 |   120988 |    85452 |     3936     35 |        0 |        0
154.87/154.90	c  154s |      14 |   122454 |    86752 |     3936     36 |        0 |        0
156.28/156.35	c  156s |      15 |   123471 |    87632 |     4330     36 |        0 |        0
158.47/158.55	c  158s |      15 |   127486 |    89132 |     4330     37 |        0 |        0
160.56/160.61	c  160s |      15 |   128735 |    90032 |     4330     37 |        0 |        0
162.76/162.83	c  162s |      15 |   131040 |    91032 |     4330     37 |        0 |        0
165.08/165.13	c  164s |      15 |   132262 |    91832 |     4330     37 |        0 |        0
167.07/167.16	c  167s |      15 |   135364 |    93232 |     4330     38 |        0 |        0
169.17/169.27	c  169s |      15 |   136517 |    94232 |     4330     38 |        0 |        0
171.37/171.46	c  171s |      15 |   137759 |    95232 |     4330     38 |        0 |        0
173.47/173.60	c  173s |      15 |   138887 |    96132 |     4330     39 |        0 |        0
175.57/175.64	c  175s |      15 |   140301 |    97132 |     4330     39 |        0 |        0
177.66/177.79	c  177s |      15 |   141412 |    98132 |     4330     39 |        0 |        0
179.96/180.02	c  179s |      15 |   142544 |    99132 |     4330     39 |        0 |        0
181.96/182.03	c  181s |      15 |   143708 |   100032 |     4330     40 |        0 |        0
183.96/184.06	c  183s |      15 |   144793 |   100932 |     4330     40 |        0 |        0
186.07/186.12	c  185s |      15 |   145769 |   101732 |     4330     40 |        0 |        0
188.27/188.35	c  188s |      15 |   146943 |   102532 |     4330     40 |        0 |        0
190.37/190.50	c  190s |      15 |   148603 |   103632 |     4330     41 |        0 |        0
192.57/192.62	c  192s |      15 |   149864 |   104732 |     4330     41 |        0 |        0
194.66/194.78	c  194s |      15 |   151360 |   105832 |     4330     41 |        0 |        0
196.86/196.93	c  196s |      15 |   152543 |   106832 |     4330     42 |        0 |        0
198.96/199.06	c  198s |      15 |   153815 |   107932 |     4330     42 |        0 |        0
201.15/201.20	c  201s |      15 |   154855 |   108832 |     4330     42 |        0 |        0
203.26/203.34	c  203s |      15 |   155765 |   109632 |     4330     43 |        0 |        0
205.46/205.51	c  205s |      15 |   156853 |   110532 |     4330     43 |        0 |        0
207.66/207.76	c  207s |      15 |   157884 |   111432 |     4330     43 |        0 |        0
209.76/209.82	c  209s |      15 |   158548 |   112032 |     4330     43 |        0 |        0
211.86/211.95	c  211s |      15 |   159486 |   112732 |     4330     43 |        0 |        0
214.06/214.13	c  213s |      15 |   160896 |   113732 |     4330     44 |        0 |        0
216.25/216.31	c  216s |      15 |   162102 |   114632 |     4330     44 |        0 |        0
218.45/218.59	c  218s |      15 |   163075 |   115332 |     4330     44 |        0 |        0
220.56/220.62	c  220s |      15 |   164247 |   116132 |     4330     44 |        0 |        0
222.56/222.66	c  222s |      15 |   165298 |   117032 |     4330     45 |        0 |        0
224.66/224.79	c  224s |      15 |   166415 |   118032 |     4330     45 |        0 |        0
226.76/226.86	c  226s |      15 |   167564 |   119032 |     4330     45 |        0 |        0
228.96/229.06	c  228s |      15 |   168555 |   119932 |     4330     45 |        0 |        0
230.95/231.09	c  230s |      15 |   169497 |   120732 |     4330     46 |        0 |        0
233.05/233.10	c  232s |      15 |   170544 |   121632 |     4330     46 |        0 |        0
235.15/235.25	c  235s |      15 |   171567 |   122532 |     4330     46 |        0 |        0
237.77/237.89	c  237s |      15 |   172623 |   123432 |     4330     47 |        0 |        0
240.06/240.12	c  239s |      15 |   173664 |   124332 |     4330     47 |        0 |        0
242.16/242.22	c  242s |      15 |   174728 |   125232 |     4330     47 |        0 |        0
244.26/244.34	c  244s |      15 |   175722 |   126132 |     4330     47 |        0 |        0
246.56/246.62	c  246s |      15 |   176485 |   126832 |     4330     48 |        0 |        0
248.66/248.76	c  248s |      15 |   177361 |   127632 |     4330     48 |        0 |        0
250.75/250.81	c  250s |      15 |   178308 |   128432 |     4330     48 |        0 |        0
252.85/252.96	c  252s |      15 |   179081 |   129132 |     4330     48 |        0 |        0
254.96/255.02	c  254s |      15 |   179748 |   129732 |     4330     48 |        0 |        0
256.96/257.08	c  256s |      15 |   180280 |   130232 |     4330     49 |        0 |        0
259.05/259.17	c  259s |      15 |   181058 |   130932 |     4763     49 |        0 |        0
260.95/261.03	c  260s |      16 |   181721 |   131552 |     4763     49 |        0 |        0
263.06/263.13	c  262s |      16 |   187163 |   132952 |     4763     50 |        0 |        0
265.05/265.20	c  265s |      16 |   188626 |   134252 |     4763     50 |        0 |        0
267.25/267.38	c  267s |      16 |   189878 |   135252 |     4763     50 |        0 |        0
269.35/269.47	c  269s |      16 |   191446 |   136352 |     4763     51 |        0 |        0
271.55/271.60	c  271s |      16 |   192685 |   137352 |     4763     51 |        0 |        0
273.75/273.82	c  273s |      16 |   193956 |   138352 |     4763     51 |        0 |        0
275.75/275.82	c  275s |      16 |   195154 |   139352 |     4763     52 |        0 |        0
277.95/278.04	c  277s |      16 |   196290 |   140352 |     4763     52 |        0 |        0
280.05/280.18	c  280s |      16 |   197431 |   141352 |     4763     52 |        0 |        0
282.25/282.37	c  282s |      16 |   198435 |   142252 |     4763     53 |        0 |        0
284.25/284.37	c  284s |      16 |   199302 |   142952 |     4763     53 |        0 |        0
286.35/286.40	c  286s |      16 |   200307 |   143752 |     4763     53 |        0 |        0
288.36/288.46	c  288s |      16 |   201478 |   144652 |     4763     53 |        0 |        0
290.45/290.58	c  290s |      16 |   202551 |   145552 |     4763     54 |        0 |        0
292.65/292.74	c  292s |      16 |   203569 |   146452 |     4763     54 |        0 |        0
294.75/294.87	c  294s |      16 |   204638 |   147352 |     4763     54 |        0 |        0
296.84/296.98	c  296s |      16 |   205505 |   148052 |     4763     55 |        0 |        0
298.94/299.09	c  298s |      16 |   206541 |   148952 |     4763     55 |        0 |        0
301.14/301.23	c  301s |      16 |   207602 |   149852 |     4763     55 |        0 |        0
303.34/303.46	c  303s |      16 |   208486 |   150652 |     4763     55 |        0 |        0
305.44/305.60	c  305s |      16 |   209369 |   151452 |     4763     56 |        0 |        0
307.54/307.65	c  307s |      16 |   210784 |   152652 |     4763     56 |        0 |        0
309.54/309.66	c  309s |      16 |   212070 |   153752 |     4763     56 |        0 |        0
311.74/311.81	c  311s |      16 |   213317 |   154852 |     4763     57 |        0 |        0
313.84/313.94	c  313s |      16 |   214594 |   155952 |     4763     57 |        0 |        0
315.94/316.06	c  315s |      16 |   215719 |   156952 |     4763     57 |        0 |        0
318.05/318.12	c  317s |      16 |   216758 |   157852 |     4763     58 |        0 |        0
320.04/320.16	c  320s |      16 |   217756 |   158752 |     4763     58 |        0 |        0
322.14/322.25	c  322s |      16 |   218769 |   159652 |     4763     58 |        0 |        0
324.34/324.42	c  324s |      16 |   219759 |   160552 |     4763     59 |        0 |        0
326.34/326.48	c  326s |      16 |   220898 |   161552 |     4763     59 |        0 |        0
328.44/328.58	c  328s |      16 |   222056 |   162552 |     4763     59 |        0 |        0
330.64/330.75	c  330s |      16 |   223068 |   163452 |     4763     60 |        0 |        0
332.74/332.86	c  332s |      16 |   224230 |   164452 |     4763     60 |        0 |        0
334.94/335.07	c  334s |      16 |   225337 |   165452 |     4763     60 |        0 |        0
337.24/337.30	c  337s |      16 |   226332 |   166352 |     4763     61 |        0 |        0
339.24/339.39	c  339s |      16 |   227477 |   167352 |     4763     61 |        0 |        0
341.34/341.49	c  341s |      16 |   228603 |   168352 |     4763     61 |        0 |        0
343.44/343.51	c  343s |      16 |   229606 |   169252 |     4763     61 |        0 |        0
345.54/345.67	c  345s |      16 |   230610 |   170152 |     4763     62 |        0 |        0
347.64/347.71	c  347s |      16 |   231700 |   171152 |     4763     62 |        0 |        0
349.73/349.86	c  349s |      16 |   232671 |   172052 |     4763     62 |        0 |        0
351.93/352.04	c  351s |      16 |   233717 |   172952 |     4763     63 |        0 |        0
354.13/354.26	c  354s |      16 |   234801 |   173952 |     4763     63 |        0 |        0
356.33/356.41	c  356s |      16 |   235776 |   174852 |     4763     63 |        0 |        0
358.33/358.46	c  358s |      16 |   236662 |   175652 |     4763     64 |        0 |        0
360.43/360.52	c  360s |      16 |   237634 |   176552 |     4763     64 |        0 |        0
362.43/362.56	c  362s |      16 |   238508 |   177352 |     4763     64 |        0 |        0
364.63/364.71	c  364s |      16 |   239492 |   178252 |     4763     64 |        0 |        0
366.63/366.71	c  366s |      16 |   240272 |   178952 |     4763     65 |        0 |        0
368.83/368.94	c  368s |      16 |   241254 |   179852 |     4763     65 |        0 |        0
370.93/371.06	c  370s |      16 |   242663 |   180952 |     4763     65 |        0 |        0
373.13/373.23	c  373s |      16 |   243829 |   181952 |     4763     66 |        0 |        0
375.14/375.29	c  375s |      16 |   245007 |   182952 |     4763     66 |        0 |        0
377.34/377.45	c  377s |      16 |   246185 |   183952 |     4763     66 |        0 |        0
379.43/379.57	c  379s |      16 |   247266 |   184852 |     4763     66 |        0 |        0
381.53/381.68	c  381s |      16 |   248328 |   185752 |     4763     67 |        0 |        0
383.63/383.74	c  383s |      16 |   249467 |   186752 |     4763     67 |        0 |        0
385.63/385.74	c  385s |      16 |   250663 |   187752 |     4763     67 |        0 |        0
387.73/387.81	c  387s |      16 |   251851 |   188752 |     4763     68 |        0 |        0
389.73/389.84	c  389s |      16 |   252979 |   189752 |     4763     68 |        0 |        0
391.93/392.07	c  391s |      16 |   254096 |   190752 |     4763     68 |        0 |        0
394.13/394.20	c  394s |      16 |   255255 |   191752 |     4763     69 |        0 |        0
396.13/396.22	c  396s |      16 |   256568 |   192852 |     4763     69 |        0 |        0
398.13/398.23	c  398s |      16 |   257745 |   193852 |     4763     69 |        0 |        0
400.13/400.29	c  400s |      16 |   258896 |   194852 |     4763     70 |        0 |        0
402.23/402.32	c  402s |      16 |   260206 |   195852 |     4763     70 |        0 |        0
404.33/404.48	c  404s |      16 |   261493 |   196852 |     5240     70 |        0 |        0
405.63/405.70	c  405s |      17 |   262202 |   197432 |     5240     70 |        0 |        0
407.63/407.76	c  407s |      17 |   265181 |   199232 |     5240     71 |        0 |        0
409.63/409.77	c  409s |      17 |   266963 |   200832 |     5240     71 |        0 |        0
411.83/411.90	c  411s |      17 |   268622 |   202332 |     5240     72 |        0 |        0
413.83/413.98	c  413s |      17 |   270039 |   203632 |     5240     72 |        0 |        0
416.03/416.16	c  416s |      17 |   271456 |   204832 |     5240     72 |        0 |        0
418.23/418.34	c  418s |      17 |   272795 |   206032 |     5240     73 |        0 |        0
420.24/420.37	c  420s |      17 |   274250 |   207332 |     5240     73 |        0 |        0
422.33/422.49	c  422s |      17 |   275553 |   208532 |     5240     74 |        0 |        0
424.43/424.53	c  424s |      17 |   276857 |   209732 |     5240     74 |        0 |        0
426.63/426.71	c  426s |      17 |   278291 |   211032 |     5240     74 |        0 |        0
428.63/428.79	c  428s |      17 |   279479 |   212132 |     5240     75 |        0 |        0
430.73/430.88	c  430s |      17 |   280994 |   213532 |     5240     75 |        0 |        0
432.93/433.00	c  432s |      17 |   282420 |   214832 |     5240     75 |        0 |        0
435.03/435.15	c  434s |      17 |   283868 |   216132 |     5240     76 |        0 |        0
437.23/437.30	c  437s |      17 |   285372 |   217532 |     5240     76 |        0 |        0
439.33/439.40	c  439s |      17 |   286691 |   218732 |     5240     76 |        0 |        0
441.43/441.53	c  441s |      17 |   288127 |   220032 |     5240     77 |        0 |        0
443.53/443.64	c  443s |      17 |   289544 |   221332 |     5240     77 |        0 |        0
445.63/445.71	c  445s |      17 |   290751 |   222432 |     5240     77 |        0 |        0
447.63/447.74	c  447s |      17 |   292185 |   223732 |     5240     78 |        0 |        0
449.72/449.85	c  449s |      17 |   293498 |   224932 |     5240     78 |        0 |        0
451.82/451.94	c  451s |      17 |   294690 |   226032 |     5240     78 |        0 |        0
453.82/453.95	c  453s |      17 |   295852 |   227132 |     5240     79 |        0 |        0
455.92/456.03	c  455s |      17 |   297590 |   228532 |     5240     79 |        0 |        0
458.22/458.30	c  458s |      17 |   298952 |   229632 |     5240     80 |        0 |        0
460.22/460.32	c  460s |      17 |   300258 |   230732 |     5240     80 |        0 |        0
462.32/462.48	c  462s |      17 |   301634 |   231932 |     5240     80 |        0 |        0
464.42/464.53	c  464s |      17 |   302711 |   232932 |     5240     80 |        0 |        0
466.43/466.60	c  466s |      17 |   303844 |   233932 |     5240     81 |        0 |        0
468.63/468.80	c  468s |      17 |   304990 |   234932 |     5240     81 |        0 |        0
470.72/470.82	c  470s |      17 |   305886 |   235732 |     5240     81 |        0 |        0
472.82/472.90	c  472s |      17 |   306760 |   236532 |     5240     81 |        0 |        0
474.92/475.06	c  474s |      17 |   307943 |   237532 |     5240     82 |        0 |        0
477.02/477.13	c  476s |      17 |   308816 |   238332 |     5240     82 |        0 |        0
479.12/479.20	c  479s |      17 |   309816 |   239232 |     5240     82 |        0 |        0
481.22/481.33	c  481s |      17 |   310692 |   240032 |     5240     82 |        0 |        0
483.22/483.34	c  483s |      17 |   311596 |   240832 |     5240     83 |        0 |        0
485.23/485.39	c  485s |      17 |   312473 |   241632 |     5240     83 |        0 |        0
487.32/487.49	c  487s |      17 |   313400 |   242432 |     5240     83 |        0 |        0
489.52/489.66	c  489s |      17 |   314261 |   243232 |     5240     83 |        0 |        0
491.52/491.69	c  491s |      17 |   315295 |   244132 |     5240     84 |        0 |        0
493.62/493.71	c  493s |      17 |   316429 |   245132 |     5240     84 |        0 |        0
495.62/495.72	c  495s |      17 |   317525 |   246132 |     5240     84 |        0 |        0
497.82/497.90	c  497s |      17 |   318608 |   247132 |     5240     84 |        0 |        0
499.92/500.01	c  499s |      17 |   319591 |   248032 |     5240     85 |        0 |        0
501.92/502.04	c  501s |      17 |   320601 |   248932 |     5240     85 |        0 |        0
503.92/504.05	c  503s |      17 |   321621 |   249832 |     5240     85 |        0 |        0
506.02/506.14	c  505s |      17 |   322594 |   250732 |     5240     86 |        0 |        0
508.11/508.26	c  508s |      17 |   323696 |   251732 |     5240     86 |        0 |        0
510.11/510.28	c  510s |      17 |   324840 |   252732 |     5240     86 |        0 |        0
512.11/512.29	c  512s |      17 |   326055 |   253832 |     5240     86 |        0 |        0
514.21/514.32	c  514s |      17 |   327147 |   254832 |     5240     87 |        0 |        0
516.31/516.47	c  516s |      17 |   328473 |   256032 |     5240     87 |        0 |        0
518.51/518.69	c  518s |      17 |   329568 |   257032 |     5240     87 |        0 |        0
520.61/520.74	c  520s |      17 |   330547 |   257932 |     5240     88 |        0 |        0
522.71/522.88	c  522s |      17 |   331632 |   258932 |     5240     88 |        0 |        0
524.91/525.03	c  524s |      17 |   332701 |   259932 |     5240     88 |        0 |        0
526.91/527.05	c  526s |      17 |   333957 |   261032 |     5240     88 |        0 |        0
529.01/529.14	c  528s |      17 |   335356 |   262232 |     5240     89 |        0 |        0
531.11/531.27	c  531s |      17 |   336549 |   263332 |     5240     89 |        0 |        0
533.21/533.36	c  533s |      17 |   337636 |   264332 |     5240     89 |        0 |        0
535.41/535.51	c  535s |      17 |   338851 |   265432 |     5240     90 |        0 |        0
537.51/537.61	c  537s |      17 |   340086 |   266532 |     5240     90 |        0 |        0
539.51/539.63	c  539s |      17 |   341100 |   267432 |     5240     90 |        0 |        0
541.70/541.81	c  541s |      17 |   342361 |   268532 |     5240     91 |        0 |        0
543.80/543.97	c  543s |      17 |   343717 |   269732 |     5240     91 |        0 |        0
545.90/546.00	c  545s |      17 |   344846 |   270732 |     5240     91 |        0 |        0
547.91/548.06	c  547s |      17 |   345828 |   271632 |     5240     91 |        0 |        0
549.90/550.07	c  549s |      17 |   346953 |   272632 |     5240     92 |        0 |        0
552.00/552.11	c  551s |      17 |   347928 |   273532 |     5240     92 |        0 |        0
554.10/554.26	c  554s |      17 |   349320 |   274732 |     5240     92 |        0 |        0
556.20/556.32	c  556s |      17 |   350298 |   275632 |     5240     93 |        0 |        0
558.30/558.43	c  558s |      17 |   351504 |   276732 |     5240     93 |        0 |        0
560.60/560.75	c  560s |      17 |   352597 |   277732 |     5240     93 |        0 |        0
562.60/562.79	c  562s |      17 |   353855 |   278832 |     5240     93 |        0 |        0
564.70/564.81	c  564s |      17 |   354948 |   279832 |     5240     94 |        0 |        0
566.90/567.01	c  566s |      17 |   356149 |   280932 |     5240     94 |        0 |        0
569.00/569.18	c  569s |      17 |   357241 |   281932 |     5240     94 |        0 |        0
571.10/571.28	c  571s |      17 |   358319 |   282932 |     5240     95 |        0 |        0
573.20/573.31	c  573s |      17 |   359397 |   283932 |     5240     95 |        0 |        0
575.30/575.40	c  575s |      17 |   360647 |   285032 |     5240     95 |        0 |        0
577.29/577.48	c  577s |      17 |   361921 |   286132 |     5240     96 |        0 |        0
579.39/579.52	c  579s |      17 |   363381 |   287432 |     5240     96 |        0 |        0
581.59/581.72	c  581s |      17 |   364585 |   288532 |     5240     96 |        0 |        0
583.79/583.94	c  583s |      17 |   365702 |   289532 |     5240     97 |        0 |        0
585.89/586.02	c  585s |      17 |   366910 |   290632 |     5240     97 |        0 |        0
588.09/588.22	c  588s |      17 |   368012 |   291632 |     5240     97 |        0 |        0
590.09/590.28	c  590s |      17 |   368982 |   292532 |     5240     97 |        0 |        0
592.19/592.38	c  592s |      17 |   370073 |   293532 |     5240     98 |        0 |        0
594.28/594.40	c  594s |      17 |   371220 |   294532 |     5765     98 |        0 |        0
596.38/596.51	c  596s |      17 |   372682 |   295832 |     5765     98 |        0 |        0
597.18/597.36	c  597s |      18 |   373135 |   296252 |     5765     98 |        0 |        0
599.28/599.41	c  599s |      18 |   376350 |   297852 |     5765     99 |        0 |        0
601.28/601.43	c  601s |      18 |   378046 |   299352 |     5765     99 |        0 |        0
603.38/603.59	c  603s |      18 |   379507 |   300652 |     5765     99 |        0 |        0
605.58/605.79	c  605s |      18 |   380622 |   301652 |     5765    100 |        0 |        0
607.77/607.91	c  607s |      18 |   381957 |   302852 |     5765    100 |        0 |        0
609.87/610.01	c  609s |      18 |   383215 |   303952 |     5765    100 |        0 |        0
612.07/612.21	c  612s |      18 |   384360 |   304952 |     5765    100 |        0 |        0
614.17/614.37	c  614s |      18 |   385593 |   306052 |     5765    101 |        0 |        0
616.37/616.55	c  616s |      18 |   387036 |   307352 |     5765    101 |        0 |        0
618.57/618.73	c  618s |      18 |   388273 |   308452 |     5765    101 |        0 |        0
620.67/620.80	c  620s |      18 |   389510 |   309552 |     5765    101 |        0 |        0
622.68/622.89	c  622s |      18 |   390534 |   310452 |     5765    102 |        0 |        0
624.78/624.91	c  624s |      18 |   391795 |   311552 |     5765    102 |        0 |        0
626.76/626.95	c  626s |      18 |   393016 |   312652 |     5765    102 |        0 |        0
628.86/629.07	c  628s |      18 |   394103 |   313652 |     5765    102 |        0 |        0
630.96/631.11	c  630s |      18 |   395090 |   314552 |     5765    103 |        0 |        0
632.96/633.18	c  633s |      18 |   396299 |   315652 |     5765    103 |        0 |        0
635.06/635.24	c  635s |      18 |   397518 |   316752 |     5765    103 |        0 |        0
637.26/637.44	c  637s |      18 |   398746 |   317852 |     5765    103 |        0 |        0
639.35/639.58	c  639s |      18 |   399875 |   318852 |     5765    104 |        0 |        0
641.56/641.75	c  641s |      18 |   401070 |   319952 |     5765    104 |        0 |        0
643.76/643.90	c  643s |      18 |   402404 |   321152 |     5765    104 |        0 |        0
645.86/646.02	c  645s |      18 |   403611 |   322252 |     5765    104 |        0 |        0
647.96/648.17	c  648s |      18 |   404698 |   323252 |     5765    105 |        0 |        0
650.06/650.23	c  650s |      18 |   405802 |   324252 |     5765    105 |        0 |        0
652.15/652.30	c  652s |      18 |   406675 |   325052 |     5765    105 |        0 |        0
654.15/654.32	c  654s |      18 |   407568 |   325852 |     5765    105 |        0 |        0
656.15/656.35	c  656s |      18 |   408449 |   326652 |     5765    106 |        0 |        0
658.25/658.49	c  658s |      18 |   409766 |   327852 |     5765    106 |        0 |        0
660.46/660.62	c  660s |      18 |   411131 |   329052 |     5765    106 |        0 |        0
662.55/662.70	c  662s |      18 |   412222 |   330052 |     5765    106 |        0 |        0
664.65/664.85	c  664s |      18 |   413239 |   330952 |     5765    107 |        0 |        0
666.85/667.02	c  666s |      18 |   414624 |   332152 |     5765    107 |        0 |        0
668.86/669.08	c  668s |      18 |   415719 |   333152 |     5765    107 |        0 |        0
671.05/671.22	c  671s |      18 |   416841 |   334152 |     5765    107 |        0 |        0
673.05/673.25	c  673s |      18 |   417734 |   334952 |     5765    108 |        0 |        0
675.14/675.33	c  675s |      18 |   419125 |   336152 |     5765    108 |        0 |        0
677.14/677.37	c  677s |      18 |   420386 |   337252 |     5765    108 |        0 |        0
679.34/679.51	c  679s |      18 |   421597 |   338352 |     5765    108 |        0 |        0
681.54/681.71	c  681s |      18 |   422580 |   339252 |     5765    109 |        0 |        0
683.64/683.81	c  683s |      18 |   423788 |   340352 |     5765    109 |        0 |        0
685.74/685.94	c  685s |      18 |   424898 |   341352 |     5765    109 |        0 |        0
687.83/688.07	c  687s |      18 |   426285 |   342552 |     5765    109 |        0 |        0
689.93/690.15	c  689s |      18 |   427295 |   343452 |     5765    110 |        0 |        0
692.13/692.37	c  692s |      18 |   428569 |   344552 |     5765    110 |        0 |        0
694.34/694.51	c  694s |      18 |   429579 |   345452 |     5765    110 |        0 |        0
696.34/696.58	c  696s |      18 |   430604 |   346352 |     5765    110 |        0 |        0
698.44/698.69	c  698s |      18 |   431486 |   347152 |     5765    110 |        0 |        0
700.64/700.87	c  700s |      18 |   432378 |   347952 |     5765    111 |        0 |        0
702.73/702.90	c  702s |      18 |   433392 |   348852 |     5765    111 |        0 |        0
704.93/705.10	c  704s |      18 |   434495 |   349852 |     5765    111 |        0 |        0
706.93/707.11	c  706s |      18 |   435280 |   350552 |     5765    111 |        0 |        0
709.03/709.22	c  709s |      18 |   436293 |   351352 |     5765    111 |        0 |        0
711.03/711.22	c  711s |      18 |   437696 |   352452 |     5765    112 |        0 |        0
713.22/713.41	c  713s |      18 |   439326 |   353752 |     5765    112 |        0 |        0
715.32/715.55	c  715s |      18 |   440780 |   354952 |     5765    112 |        0 |        0
717.52/717.75	c  717s |      18 |   441880 |   355852 |     5765    113 |        0 |        0
719.62/719.85	c  719s |      18 |   443302 |   357052 |     5765    113 |        0 |        0
721.82/722.01	c  721s |      18 |   444573 |   358152 |     5765    113 |        0 |        0
724.02/724.20	c  724s |      18 |   445733 |   359152 |     5765    113 |        0 |        0
726.42/726.65	c  726s |      18 |   446723 |   360052 |     5765    114 |        0 |        0
728.42/728.69	c  728s |      18 |   448149 |   361252 |     5765    114 |        0 |        0
730.62/730.86	c  730s |      18 |   449759 |   362652 |     5765    114 |        0 |        0
732.72/732.97	c  732s |      18 |   451085 |   363852 |     5765    114 |        0 |        0
734.83/735.02	c  734s |      18 |   452242 |   364852 |     5765    115 |        0 |        0
736.82/737.08	c  736s |      18 |   453925 |   366252 |     5765    115 |        0 |        0
738.91/739.17	c  739s |      18 |   455186 |   367352 |     5765    115 |        0 |        0
741.01/741.23	c  741s |      18 |   456322 |   368352 |     5765    115 |        0 |        0
743.11/743.31	c  743s |      18 |   457413 |   369252 |     5765    116 |        0 |        0
745.11/745.37	c  745s |      18 |   458682 |   370352 |     5765    116 |        0 |        0
747.21/747.41	c  747s |      18 |   459780 |   371352 |     5765    116 |        0 |        0
749.31/749.52	c  749s |      18 |   460773 |   372252 |     5765    116 |        0 |        0
751.50/751.71	c  751s |      18 |   461769 |   373152 |     5765    117 |        0 |        0
753.61/753.87	c  753s |      18 |   463119 |   374352 |     5765    117 |        0 |        0
755.72/755.96	c  755s |      18 |   464386 |   375452 |     5765    117 |        0 |        0
757.81/758.03	c  757s |      18 |   465509 |   376452 |     5765    117 |        0 |        0
759.80/760.08	c  759s |      18 |   466410 |   377252 |     5765    118 |        0 |        0
762.00/762.29	c  762s |      18 |   467622 |   378352 |     5765    118 |        0 |        0
764.20/764.42	c  764s |      18 |   468751 |   379352 |     5765    118 |        0 |        0
766.30/766.53	c  766s |      18 |   469884 |   380352 |     5765    118 |        0 |        0
768.39/768.61	c  768s |      18 |   471226 |   381552 |     5765    119 |        0 |        0
770.39/770.65	c  770s |      18 |   472879 |   382952 |     5765    119 |        0 |        0
772.40/772.66	c  772s |      18 |   474119 |   384052 |     5765    119 |        0 |        0
774.70/774.98	c  774s |      18 |   475496 |   385252 |     5765    120 |        0 |        0
776.80/777.04	c  776s |      18 |   476888 |   386452 |     5765    120 |        0 |        0
778.80/779.08	c  778s |      18 |   478337 |   387652 |     5765    120 |        0 |        0
780.90/781.13	c  780s |      18 |   479653 |   388752 |     5765    120 |        0 |        0
782.89/783.16	c  783s |      18 |   480696 |   389652 |     5765    121 |        0 |        0
784.99/785.21	c  785s |      18 |   482064 |   390852 |     5765    121 |        0 |        0
787.19/787.42	c  787s |      18 |   483344 |   391952 |     5765    121 |        0 |        0
789.29/789.52	c  789s |      18 |   484551 |   393052 |     5765    121 |        0 |        0
791.39/791.62	c  791s |      18 |   485760 |   394052 |     5765    122 |        0 |        0
793.49/793.75	c  793s |      18 |   487033 |   395152 |     5765    122 |        0 |        0
795.59/795.82	c  795s |      18 |   488144 |   396152 |     5765    122 |        0 |        0
797.68/797.96	c  797s |      18 |   489246 |   397152 |     5765    122 |        0 |        0
799.88/800.13	c  799s |      18 |   490296 |   398052 |     5765    123 |        0 |        0
801.98/802.26	c  802s |      18 |   491518 |   399152 |     5765    123 |        0 |        0
804.18/804.42	c  804s |      18 |   492673 |   400152 |     5765    123 |        0 |        0
806.29/806.56	c  806s |      18 |   493687 |   401052 |     5765    123 |        0 |        0
808.68/808.92	c  808s |      18 |   494683 |   401952 |     5765    124 |        0 |        0
810.78/811.02	c  810s |      18 |   495931 |   403052 |     5765    124 |        0 |        0
812.89/813.12	c  812s |      18 |   497076 |   404052 |     5765    124 |        0 |        0
814.88/815.20	c  815s |      18 |   498214 |   405052 |     5765    124 |        0 |        0
817.07/817.40	c  817s |      18 |   499337 |   406052 |     5765    124 |        0 |        0
819.27/819.57	c  819s |      18 |   500441 |   407052 |     5765    125 |        0 |        0
821.47/821.74	c  821s |      18 |   501677 |   408152 |     5765    125 |        0 |        0
823.47/823.79	c  823s |      18 |   502707 |   409052 |     5765    125 |        0 |        0
825.57/825.81	c  825s |      18 |   503725 |   409952 |     5765    125 |        0 |        0
827.58/827.81	c  827s |      18 |   504928 |   410952 |     5765    126 |        0 |        0
829.67/829.96	c  829s |      18 |   506560 |   412352 |     5765    126 |        0 |        0
831.77/832.02	c  831s |      18 |   507872 |   413452 |     5765    126 |        0 |        0
834.17/834.40	c  834s |      18 |   509108 |   414552 |     5765    127 |        0 |        0
836.27/836.53	c  836s |      18 |   510339 |   415652 |     5765    127 |        0 |        0
838.47/838.73	c  838s |      18 |   511575 |   416752 |     5765    127 |        0 |        0
840.87/841.10	c  840s |      18 |   512583 |   417652 |     5765    127 |        0 |        0
843.06/843.31	c  843s |      18 |   513571 |   418552 |     5765    127 |        0 |        0
845.16/845.41	c  845s |      18 |   514457 |   419352 |     5765    128 |        0 |        0
847.16/847.44	c  847s |      18 |   515479 |   420252 |     5765    128 |        0 |        0
849.17/849.47	c  849s |      18 |   516387 |   421052 |     5765    128 |        0 |        0
851.38/851.61	c  851s |      18 |   517406 |   421952 |     5765    128 |        0 |        0
853.58/853.84	c  853s |      18 |   518429 |   422852 |     5765    128 |        0 |        0
855.77/856.02	c  855s |      18 |   519303 |   423652 |     5765    129 |        0 |        0
857.87/858.12	c  857s |      18 |   520433 |   424652 |     5765    129 |        0 |        0
859.96/860.22	c  860s |      18 |   521769 |   425852 |     5765    129 |        0 |        0
862.16/862.43	c  862s |      18 |   522993 |   426952 |     5765    129 |        0 |        0
864.16/864.48	c  864s |      18 |   524143 |   427952 |     5765    130 |        0 |        0
866.26/866.55	c  866s |      18 |   525409 |   429052 |     5765    130 |        0 |        0
868.35/868.69	c  868s |      18 |   526547 |   430052 |     5765    130 |        0 |        0
870.46/870.75	c  870s |      18 |   527422 |   430852 |     5765    130 |        0 |        0
872.65/872.90	c  872s |      18 |   528325 |   431652 |     5765    131 |        0 |        0
874.75/875.06	c  874s |      18 |   529424 |   432652 |     5765    131 |        0 |        0
876.75/877.09	c  876s |      18 |   530417 |   433552 |     5765    131 |        0 |        0
878.86/879.16	c  879s |      18 |   531313 |   434352 |     5765    131 |        0 |        0
880.85/881.19	c  881s |      18 |   532093 |   435052 |     5765    131 |        0 |        0
883.05/883.37	c  883s |      18 |   532871 |   435752 |     5765    132 |        0 |        0
885.15/885.41	c  885s |      18 |   534079 |   436852 |     5765    132 |        0 |        0
887.15/887.42	c  887s |      18 |   535098 |   437752 |     5765    132 |        0 |        0
889.25/889.58	c  889s |      18 |   536199 |   438752 |     5765    132 |        0 |        0
891.35/891.67	c  891s |      18 |   537194 |   439652 |     5765    132 |        0 |        0
893.45/893.78	c  893s |      18 |   538116 |   440452 |     5765    133 |        0 |        0
895.54/895.81	c  895s |      18 |   539095 |   441352 |     6342    133 |        0 |        0
897.64/897.93	c  897s |      18 |   540083 |   442252 |     6342    133 |        0 |        0
899.75/900.07	c  899s |      18 |   541450 |   443452 |     6342    133 |        0 |        0
901.44/901.77	c  901s |      19 |   542626 |   444482 |     6342    133 |        0 |        0
903.44/903.78	c  903s |      19 |   545155 |   445682 |     6342    134 |        0 |        0
905.54/905.88	c  905s |      19 |   546648 |   446982 |     6342    134 |        0 |        0
907.74/908.06	c  907s |      19 |   548004 |   448182 |     6342    134 |        0 |        0
909.93/910.26	c  910s |      19 |   549104 |   449182 |     6342    135 |        0 |        0
912.04/912.30	c  912s |      19 |   550111 |   450082 |     6342    135 |        0 |        0
914.14/914.47	c  914s |      19 |   551099 |   450982 |     6342    135 |        0 |        0
916.34/916.63	c  916s |      19 |   551968 |   451782 |     6342    135 |        0 |        0
918.45/918.75	c  918s |      19 |   553021 |   452682 |     6342    135 |        0 |        0
920.55/920.85	c  920s |      19 |   554044 |   453582 |     6342    136 |        0 |        0
922.64/922.99	c  922s |      19 |   555167 |   454582 |     6342    136 |        0 |        0
924.74/925.01	c  924s |      19 |   556212 |   455482 |     6342    136 |        0 |        0
926.83/927.20	c  927s |      19 |   557221 |   456382 |     6342    136 |        0 |        0
929.03/929.38	c  929s |      19 |   558133 |   457182 |     6342    137 |        0 |        0
931.13/931.49	c  931s |      19 |   559055 |   457982 |     6342    137 |        0 |        0
933.33/933.61	c  933s |      19 |   559937 |   458782 |     6342    137 |        0 |        0
935.43/935.78	c  935s |      19 |   560838 |   459582 |     6342    137 |        0 |        0
937.63/937.92	c  937s |      19 |   561726 |   460382 |     6342    137 |        0 |        0
939.83/940.17	c  940s |      19 |   562588 |   461182 |     6342    137 |        0 |        0
941.92/942.20	c  942s |      19 |   563363 |   461882 |     6342    138 |        0 |        0
943.92/944.20	c  944s |      19 |   564388 |   462782 |     6342    138 |        0 |        0
945.93/946.29	c  946s |      19 |   565294 |   463582 |     6342    138 |        0 |        0
948.13/948.44	c  948s |      19 |   566178 |   464382 |     6342    138 |        0 |        0
950.23/950.55	c  950s |      19 |   567044 |   465182 |     6342    138 |        0 |        0
952.42/952.72	c  952s |      19 |   567919 |   465982 |     6342    139 |        0 |        0
954.42/954.77	c  954s |      19 |   568779 |   466782 |     6342    139 |        0 |        0
956.52/956.86	c  956s |      19 |   569640 |   467582 |     6342    139 |        0 |        0
958.71/959.03	c  958s |      19 |   570488 |   468382 |     6342    139 |        0 |        0
960.81/961.12	c  960s |      19 |   571373 |   469182 |     6342    139 |        0 |        0
963.01/963.35	c  963s |      19 |   572302 |   469982 |     6342    140 |        0 |        0
965.01/965.35	c  965s |      19 |   573173 |   470782 |     6342    140 |        0 |        0
967.11/967.43	c  967s |      19 |   574041 |   471582 |     6342    140 |        0 |        0
969.11/969.47	c  969s |      19 |   574918 |   472382 |     6342    140 |        0 |        0
971.31/971.65	c  971s |      19 |   575779 |   473182 |     6342    140 |        0 |        0
973.71/974.01	c  973s |      19 |   576870 |   474082 |     6342    141 |        0 |        0
975.71/976.05	c  975s |      19 |   577995 |   475082 |     6342    141 |        0 |        0
977.91/978.22	c  978s |      19 |   579091 |   476082 |     6342    141 |        0 |        0
979.91/980.24	c  980s |      19 |   580080 |   476982 |     6342    141 |        0 |        0
982.00/982.33	c  982s |      19 |   580949 |   477782 |     6342    141 |        0 |        0
984.10/984.41	c  984s |      19 |   581699 |   478482 |     6342    142 |        0 |        0
986.20/986.50	c  986s |      19 |   582648 |   479282 |     6342    142 |        0 |        0
988.30/988.66	c  988s |      19 |   583795 |   480282 |     6342    142 |        0 |        0
990.50/990.83	c  990s |      19 |   584946 |   481282 |     6342    142 |        0 |        0
992.70/993.04	c  992s |      19 |   585935 |   482182 |     6342    142 |        0 |        0
994.80/995.20	c  995s |      19 |   586826 |   482982 |     6342    143 |        0 |        0
996.99/997.33	c  997s |      19 |   587717 |   483782 |     6342    143 |        0 |        0
999.09/999.43	c  999s |      19 |   588728 |   484682 |     6342    143 |        0 |        0
1001.39/1001.70	c 1001s |      19 |   589869 |   485682 |     6342    143 |        0 |        0
1003.39/1003.79	c 1003s |      19 |   590758 |   486482 |     6342    143 |        0 |        0
1005.59/1005.99	c 1005s |      19 |   591639 |   487282 |     6342    144 |        0 |        0
1007.79/1008.15	c 1007s |      19 |   592498 |   488082 |     6342    144 |        0 |        0
1009.89/1010.28	c 1010s |      19 |   593504 |   488982 |     6342    144 |        0 |        0
1011.90/1012.29	c 1012s |      19 |   594395 |   489782 |     6342    144 |        0 |        0
1014.39/1014.70	c 1014s |      19 |   595282 |   490582 |     6342    144 |        0 |        0
1016.39/1016.76	c 1016s |      19 |   596045 |   491282 |     6342    145 |        0 |        0
1018.49/1018.86	c 1018s |      19 |   597050 |   492182 |     6342    145 |        0 |        0
1020.69/1021.01	c 1020s |      19 |   598070 |   493082 |     6342    145 |        0 |        0
1022.79/1023.18	c 1023s |      19 |   598968 |   493882 |     6342    145 |        0 |        0
1024.99/1025.31	c 1025s |      19 |   599862 |   494682 |     6342    145 |        0 |        0
1027.08/1027.47	c 1027s |      19 |   600747 |   495482 |     6342    146 |        0 |        0
1029.28/1029.67	c 1029s |      19 |   601742 |   496382 |     6342    146 |        0 |        0
1031.38/1031.71	c 1031s |      19 |   602733 |   497282 |     6342    146 |        0 |        0
1033.48/1033.80	c 1033s |      19 |   603523 |   497982 |     6342    146 |        0 |        0
1035.48/1035.86	c 1035s |      19 |   604263 |   498682 |     6342    146 |        0 |        0
1037.67/1038.10	c 1037s |      19 |   605036 |   499382 |     6342    146 |        0 |        0
1039.97/1040.34	c 1040s |      19 |   605792 |   500082 |     6342    147 |        0 |        0
1042.17/1042.51	c 1042s |      19 |   606673 |   500882 |     6342    147 |        0 |        0
1044.27/1044.61	c 1044s |      19 |   607703 |   501782 |     6342    147 |        0 |        0
1046.37/1046.70	c 1046s |      19 |   608718 |   502682 |     6342    147 |        0 |        0
1048.47/1048.83	c 1048s |      19 |   609705 |   503582 |     6342    147 |        0 |        0
1050.57/1050.96	c 1050s |      19 |   610593 |   504382 |     6342    148 |        0 |        0
1052.77/1053.19	c 1053s |      19 |   611611 |   505282 |     6342    148 |        0 |        0
1054.97/1055.35	c 1055s |      19 |   612477 |   506082 |     6342    148 |        0 |        0
1056.97/1057.38	c 1057s |      19 |   613330 |   506882 |     6342    148 |        0 |        0
1059.26/1059.60	c 1059s |      19 |   614165 |   507682 |     6342    148 |        0 |        0
1061.37/1061.75	c 1061s |      19 |   614906 |   508382 |     6342    149 |        0 |        0
1063.47/1063.84	c 1063s |      19 |   615798 |   509182 |     6342    149 |        0 |        0
1065.67/1066.07	c 1065s |      19 |   616800 |   510082 |     6342    149 |        0 |        0
1067.86/1068.28	c 1068s |      19 |   617773 |   510982 |     6342    149 |        0 |        0
1069.95/1070.39	c 1070s |      19 |   618656 |   511782 |     6342    149 |        0 |        0
1072.05/1072.49	c 1072s |      19 |   619434 |   512482 |     6342    150 |        0 |        0
1074.25/1074.63	c 1074s |      19 |   620405 |   513382 |     6342    150 |        0 |        0
1076.35/1076.70	c 1076s |      19 |   621344 |   514182 |     6342    150 |        0 |        0
1078.35/1078.76	c 1078s |      19 |   622388 |   515082 |     6342    150 |        0 |        0
1080.55/1080.91	c 1080s |      19 |   623396 |   515982 |     6342    150 |        0 |        0
1082.55/1082.95	c 1082s |      19 |   624297 |   516782 |     6342    151 |        0 |        0
1084.65/1085.07	c 1084s |      19 |   625313 |   517682 |     6342    151 |        0 |        0
1086.65/1087.09	c 1086s |      19 |   626209 |   518482 |     6342    151 |        0 |        0
1088.64/1089.10	c 1088s |      19 |   627109 |   519282 |     6342    151 |        0 |        0
1090.95/1091.30	c 1091s |      19 |   628104 |   520182 |     6342    151 |        0 |        0
1093.04/1093.48	c 1093s |      19 |   628988 |   520982 |     6342    152 |        0 |        0
1095.14/1095.50	c 1095s |      19 |   630000 |   521882 |     6342    152 |        0 |        0
1097.14/1097.58	c 1097s |      19 |   630898 |   522682 |     6342    152 |        0 |        0
1099.34/1099.75	c 1099s |      19 |   631897 |   523582 |     6342    152 |        0 |        0
1101.34/1101.75	c 1101s |      19 |   632775 |   524382 |     6342    152 |        0 |        0
1103.74/1104.13	c 1103s |      19 |   633666 |   525182 |     6342    153 |        0 |        0
1105.84/1106.29	c 1106s |      19 |   634666 |   526082 |     6342    153 |        0 |        0
1108.13/1108.53	c 1108s |      19 |   635659 |   526982 |     6342    153 |        0 |        0
1110.13/1110.54	c 1110s |      19 |   636494 |   527782 |     6342    153 |        0 |        0
1112.24/1112.64	c 1112s |      19 |   637363 |   528582 |     6342    153 |        0 |        0
1114.44/1114.85	c 1114s |      19 |   638240 |   529382 |     6342    153 |        0 |        0
1116.64/1117.01	c 1116s |      19 |   639105 |   530182 |     6342    154 |        0 |        0
1118.74/1119.15	c 1118s |      19 |   640198 |   531182 |     6342    154 |        0 |        0
1120.84/1121.28	c 1121s |      19 |   641178 |   532082 |     6342    154 |        0 |        0
1123.04/1123.42	c 1123s |      19 |   642067 |   532882 |     6342    154 |        0 |        0
1125.04/1125.43	c 1125s |      19 |   642801 |   533582 |     6342    154 |        0 |        0
1127.13/1127.53	c 1127s |      19 |   643458 |   534182 |     6342    155 |        0 |        0
1129.33/1129.72	c 1129s |      19 |   644447 |   535082 |     6342    155 |        0 |        0
1131.53/1131.90	c 1131s |      19 |   645314 |   535882 |     6342    155 |        0 |        0
1133.63/1134.00	c 1133s |      19 |   646059 |   536582 |     6342    155 |        0 |        0
1135.83/1136.22	c 1136s |      19 |   646955 |   537382 |     6342    155 |        0 |        0
1137.82/1138.23	c 1138s |      19 |   647713 |   538082 |     6342    156 |        0 |        0
1139.92/1140.32	c 1140s |      19 |   648678 |   538982 |     6342    156 |        0 |        0
1141.92/1142.37	c 1142s |      19 |   649535 |   539782 |     6342    156 |        0 |        0
1144.02/1144.46	c 1144s |      19 |   650318 |   540482 |     6342    156 |        0 |        0
1146.03/1146.49	c 1146s |      19 |   651139 |   541182 |     6342    156 |        0 |        0
1148.31/1148.74	c 1148s |      19 |   651950 |   541882 |     6342    156 |        0 |        0
1150.42/1150.88	c 1150s |      19 |   652748 |   542582 |     6342    157 |        0 |        0
1152.52/1152.97	c 1152s |      19 |   653784 |   543482 |     6342    157 |        0 |        0
1154.72/1155.14	c 1154s |      19 |   654846 |   544382 |     6342    157 |        0 |        0
1156.92/1157.32	c 1157s |      19 |   655763 |   545182 |     6342    157 |        0 |        0
1159.12/1159.53	c 1159s |      19 |   656659 |   545982 |     6342    157 |        0 |        0
1161.21/1161.61	c 1161s |      19 |   657581 |   546782 |     6342    158 |        0 |        0
1163.31/1163.75	c 1163s |      19 |   658590 |   547682 |     6342    158 |        0 |        0
1165.41/1165.83	c 1165s |      19 |   659469 |   548482 |     6342    158 |        0 |        0
1167.40/1167.90	c 1167s |      19 |   660361 |   549282 |     6342    158 |        0 |        0
1169.50/1169.93	c 1169s |      19 |   661137 |   549982 |     6342    158 |        0 |        0
1171.50/1171.98	c 1171s |      19 |   661796 |   550582 |     6342    158 |        0 |        0
1173.60/1174.03	c 1173s |      19 |   662590 |   551282 |     6342    159 |        0 |        0
1175.71/1176.15	c 1175s |      19 |   663582 |   552182 |     6342    159 |        0 |        0
1177.99/1178.42	c 1178s |      19 |   664482 |   552982 |     6342    159 |        0 |        0
1180.00/1180.45	c 1180s |      19 |   665233 |   553682 |     6342    159 |        0 |        0
1182.20/1182.61	c 1182s |      19 |   666133 |   554482 |     6342    159 |        0 |        0
1184.19/1184.66	c 1184s |      19 |   666918 |   555182 |     6342    160 |        0 |        0
1186.29/1186.71	c 1186s |      19 |   667797 |   555982 |     6342    160 |        0 |        0
1188.29/1188.72	c 1188s |      19 |   668559 |   556682 |     6342    160 |        0 |        0
1190.49/1190.92	c 1190s |      19 |   669356 |   557382 |     6342    160 |        0 |        0
1192.68/1193.13	c 1192s |      19 |   670132 |   558082 |     6342    160 |        0 |        0
1194.88/1195.33	c 1195s |      19 |   671054 |   558882 |     6342    160 |        0 |        0
1196.98/1197.40	c 1197s |      19 |   671821 |   559582 |     6342    161 |        0 |        0
1199.18/1199.66	c 1199s |      19 |   672720 |   560382 |     6342    161 |        0 |        0
1201.38/1201.80	c 1201s |      19 |   673484 |   561082 |     6342    161 |        0 |        0
1203.58/1204.08	c 1203s |      19 |   674370 |   561882 |     6342    161 |        0 |        0
1205.78/1206.20	c 1206s |      19 |   675132 |   562582 |     6342    161 |        0 |        0
1207.88/1208.31	c 1208s |      19 |   675818 |   563182 |     6342    161 |        0 |        0
1210.18/1210.60	c 1210s |      19 |   676473 |   563782 |     6342    162 |        0 |        0
1212.38/1212.82	c 1212s |      19 |   677287 |   564482 |     6342    162 |        0 |        0
1214.58/1215.02	c 1214s |      19 |   678052 |   565182 |     6342    162 |        0 |        0
1216.78/1217.21	c 1217s |      19 |   678830 |   565882 |     6342    162 |        0 |        0
1218.98/1219.49	c 1219s |      19 |   679601 |   566582 |     6342    162 |        0 |        0
1221.28/1221.76	c 1221s |      19 |   680358 |   567282 |     6342    162 |        0 |        0
1223.68/1224.18	c 1224s |      19 |   681123 |   567982 |     6342    163 |        0 |        0
1225.98/1226.44	c 1226s |      19 |   681876 |   568682 |     6342    163 |        0 |        0
1228.18/1228.61	c 1228s |      19 |   682640 |   569382 |     6342    163 |        0 |        0
1230.28/1230.72	c 1230s |      19 |   683307 |   569982 |     6342    163 |        0 |        0
1232.38/1232.84	c 1232s |      19 |   684600 |   571082 |     6342    163 |        0 |        0
1234.58/1235.01	c 1234s |      19 |   685650 |   571982 |     6342    164 |        0 |        0
1236.58/1237.08	c 1236s |      19 |   686706 |   572882 |     6342    164 |        0 |        0
1238.68/1239.18	c 1239s |      19 |   687756 |   573782 |     6342    164 |        0 |        0
1240.78/1241.27	c 1241s |      19 |   688746 |   574682 |     6342    164 |        0 |        0
1242.98/1243.46	c 1243s |      19 |   689696 |   575482 |     6342    164 |        0 |        0
1245.08/1245.53	c 1245s |      19 |   690467 |   576182 |     6342    165 |        0 |        0
1247.28/1247.78	c 1247s |      19 |   691488 |   577082 |     6342    165 |        0 |        0
1249.39/1249.89	c 1249s |      19 |   692388 |   577882 |     6342    165 |        0 |        0
1251.49/1251.93	c 1251s |      19 |   693284 |   578682 |     6342    165 |        0 |        0
1253.58/1254.00	c 1253s |      19 |   694071 |   579382 |     6342    165 |        0 |        0
1255.58/1256.02	c 1255s |      19 |   694848 |   580082 |     6342    165 |        0 |        0
1257.78/1258.23	c 1258s |      19 |   695640 |   580782 |     6342    166 |        0 |        0
1259.78/1260.24	c 1260s |      19 |   696559 |   581582 |     6342    166 |        0 |        0
1261.88/1262.39	c 1262s |      19 |   697460 |   582382 |     6342    166 |        0 |        0
1263.98/1264.43	c 1264s |      19 |   698344 |   583182 |     6342    166 |        0 |        0
1266.08/1266.52	c 1266s |      19 |   699102 |   583882 |     6342    166 |        0 |        0
1268.28/1268.70	c 1268s |      19 |   699896 |   584582 |     6342    166 |        0 |        0
1270.57/1271.00	c 1270s |      19 |   700683 |   585282 |     6342    167 |        0 |        0
1272.77/1273.26	c 1273s |      19 |   701573 |   586082 |     6342    167 |        0 |        0
1274.97/1275.40	c 1275s |      19 |   702364 |   586782 |     6342    167 |        0 |        0
1277.17/1277.62	c 1277s |      19 |   703186 |   587482 |     6342    167 |        0 |        0
1279.37/1279.80	c 1279s |      19 |   703975 |   588182 |     6342    167 |        0 |        0
1281.37/1281.82	c 1281s |      19 |   704648 |   588782 |     6342    167 |        0 |        0
1283.47/1283.99	c 1283s |      19 |   705318 |   589382 |     6342    168 |        0 |        0
1285.87/1286.31	c 1286s |      19 |   706212 |   590182 |     6342    168 |        0 |        0
1287.88/1288.38	c 1288s |      19 |   706971 |   590882 |     6342    168 |        0 |        0
1290.08/1290.54	c 1290s |      19 |   707786 |   591582 |     6342    168 |        0 |        0
1292.37/1292.80	c 1292s |      19 |   708554 |   592282 |     6342    168 |        0 |        0
1294.48/1294.95	c 1294s |      19 |   709215 |   592882 |     6342    168 |        0 |        0
1296.77/1297.29	c 1297s |      19 |   709888 |   593482 |     6342    169 |        0 |        0
1298.88/1299.37	c 1299s |      19 |   710555 |   594082 |     6342    169 |        0 |        0
1301.17/1301.69	c 1301s |      19 |   711356 |   594782 |     6342    169 |        0 |        0
1303.27/1303.79	c 1303s |      19 |   712026 |   595382 |     6342    169 |        0 |        0
1305.57/1306.05	c 1305s |      19 |   712816 |   596082 |     6342    169 |        0 |        0
1307.97/1308.41	c 1308s |      19 |   713483 |   596682 |     6342    169 |        0 |        0
1310.17/1310.67	c 1310s |      19 |   714132 |   597282 |     6342    169 |        0 |        0
1312.47/1312.95	c 1312s |      19 |   714812 |   597882 |     6342    170 |        0 |        0
1314.67/1315.11	c 1314s |      19 |   715443 |   598482 |     6342    170 |        0 |        0
1316.87/1317.38	c 1317s |      19 |   716292 |   599182 |     6342    170 |        0 |        0
1319.07/1319.56	c 1319s |      19 |   716975 |   599782 |     6342    170 |        0 |        0
1321.17/1321.61	c 1321s |      19 |   717760 |   600482 |     6342    170 |        0 |        0
1323.16/1323.68	c 1323s |      19 |   718542 |   601182 |     6342    170 |        0 |        0
1325.36/1325.82	c 1325s |      19 |   719242 |   601782 |     6342    171 |        0 |        0
1327.37/1327.89	c 1327s |      19 |   719904 |   602382 |     6342    171 |        0 |        0
1329.46/1329.90	c 1329s |      19 |   720563 |   602982 |     6342    171 |        0 |        0
1331.56/1332.05	c 1331s |      19 |   721218 |   603582 |     6342    171 |        0 |        0
1333.97/1334.45	c 1334s |      19 |   721886 |   604182 |     6342    171 |        0 |        0
1336.17/1336.62	c 1336s |      19 |   722565 |   604782 |     6342    171 |        0 |        0
1338.17/1338.63	c 1338s |      19 |   723205 |   605382 |     6342    171 |        0 |        0
1340.46/1340.91	c 1340s |      19 |   723877 |   605982 |     6342    172 |        0 |        0
1342.77/1343.21	c 1343s |      19 |   724634 |   606682 |     6342    172 |        0 |        0
1344.76/1345.24	c 1345s |      19 |   725285 |   607282 |     6342    172 |        0 |        0
1346.96/1347.43	c 1347s |      19 |   725950 |   607882 |     6342    172 |        0 |        0
1349.06/1349.53	c 1349s |      19 |   726598 |   608482 |     6342    172 |        0 |        0
1351.16/1351.60	c 1351s |      19 |   727257 |   609082 |     6342    172 |        0 |        0
1353.16/1353.69	c 1353s |      19 |   728269 |   609982 |     6342    172 |        0 |        0
1355.26/1355.78	c 1355s |      19 |   729149 |   610682 |     6342    173 |        0 |        0
1357.36/1357.89	c 1357s |      19 |   730264 |   611682 |     6342    173 |        0 |        0
1359.56/1360.08	c 1359s |      19 |   731260 |   612582 |     6342    173 |        0 |        0
1361.57/1362.09	c 1361s |      19 |   732173 |   613382 |     6342    173 |        0 |        0
1363.66/1364.14	c 1363s |      19 |   732957 |   614082 |     6342    173 |        0 |        0
1365.75/1366.24	c 1366s |      19 |   733740 |   614782 |     6342    174 |        0 |        0
1367.85/1368.35	c 1368s |      19 |   734609 |   615582 |     6342    174 |        0 |        0
1369.85/1370.35	c 1370s |      19 |   735486 |   616382 |     6342    174 |        0 |        0
1371.95/1372.47	c 1372s |      19 |   736332 |   617182 |     6342    174 |        0 |        0
1374.05/1374.57	c 1374s |      19 |   737073 |   617882 |     6342    174 |        0 |        0
1376.15/1376.61	c 1376s |      19 |   737823 |   618582 |     6342    174 |        0 |        0
1378.25/1378.74	c 1378s |      19 |   738609 |   619282 |     6342    175 |        0 |        0
1380.35/1380.86	c 1380s |      19 |   739448 |   620082 |     6342    175 |        0 |        0
1382.36/1382.90	c 1382s |      19 |   740213 |   620782 |     6342    175 |        0 |        0
1384.66/1385.11	c 1384s |      19 |   741092 |   621582 |     6342    175 |        0 |        0
1386.76/1387.20	c 1387s |      19 |   741874 |   622282 |     6342    175 |        0 |        0
1388.96/1389.47	c 1389s |      19 |   742640 |   622982 |     6342    176 |        0 |        0
1391.06/1391.57	c 1391s |      19 |   743524 |   623782 |     6342    176 |        0 |        0
1393.26/1393.79	c 1393s |      19 |   744628 |   624782 |     6342    176 |        0 |        0
1395.36/1395.80	c 1395s |      19 |   745502 |   625582 |     6342    176 |        0 |        0
1397.56/1398.09	c 1397s |      19 |   746388 |   626382 |     6342    176 |        0 |        0
1399.86/1400.34	c 1400s |      19 |   747133 |   627082 |     6342    176 |        0 |        0
1401.96/1402.47	c 1402s |      19 |   747887 |   627782 |     6342    177 |        0 |        0
1404.06/1404.54	c 1404s |      19 |   748773 |   628582 |     6342    177 |        0 |        0
1406.26/1406.72	c 1406s |      19 |   749630 |   629382 |     6342    177 |        0 |        0
1408.26/1408.76	c 1408s |      19 |   750399 |   630082 |     6342    177 |        0 |        0
1410.46/1410.94	c 1410s |      19 |   751165 |   630782 |     6342    177 |        0 |        0
1412.66/1413.16	c 1413s |      19 |   752083 |   631582 |     6342    178 |        0 |        0
1414.85/1415.38	c 1415s |      19 |   753078 |   632482 |     6342    178 |        0 |        0
1417.05/1417.57	c 1417s |      19 |   754088 |   633382 |     6342    178 |        0 |        0
1419.15/1419.67	c 1419s |      19 |   754953 |   634182 |     6342    178 |        0 |        0
1421.45/1421.94	c 1421s |      19 |   755817 |   634982 |     6342    178 |        0 |        0
1423.75/1424.26	c 1424s |      19 |   756583 |   635682 |     6342    178 |        0 |        0
1425.95/1426.49	c 1426s |      19 |   757376 |   636382 |     6342    179 |        0 |        0
1428.15/1428.68	c 1428s |      19 |   758338 |   637182 |     6342    179 |        0 |        0
1430.15/1430.68	c 1430s |      19 |   759329 |   638082 |     6342    179 |        0 |        0
1432.45/1432.90	c 1432s |      19 |   760348 |   638982 |     6342    179 |        0 |        0
1434.65/1435.14	c 1434s |      19 |   761227 |   639782 |     6342    179 |        0 |        0
1436.85/1437.30	c 1437s |      19 |   762131 |   640582 |     6342    180 |        0 |        0
1438.85/1439.37	c 1439s |      19 |   763128 |   641482 |     6342    180 |        0 |        0
1441.05/1441.51	c 1441s |      19 |   764113 |   642382 |     6342    180 |        0 |        0
1443.25/1443.73	c 1443s |      19 |   764978 |   643182 |     6342    180 |        0 |        0
1445.35/1445.85	c 1445s |      19 |   765739 |   643882 |     6342    180 |        0 |        0
1447.55/1448.02	c 1447s |      19 |   766628 |   644682 |     6342    181 |        0 |        0
1449.75/1450.27	c 1450s |      19 |   767624 |   645582 |     6342    181 |        0 |        0
1451.95/1452.49	c 1452s |      19 |   768485 |   646382 |     6342    181 |        0 |        0
1454.15/1454.63	c 1454s |      19 |   769359 |   647182 |     6342    181 |        0 |        0
1456.34/1456.84	c 1456s |      19 |   770216 |   647982 |     6342    181 |        0 |        0
1458.54/1459.02	c 1458s |      19 |   770870 |   648582 |     6342    182 |        0 |        0
1460.74/1461.24	c 1461s |      19 |   771950 |   649582 |     6342    182 |        0 |        0
1462.94/1463.42	c 1463s |      19 |   772836 |   650382 |     6342    182 |        0 |        0
1465.14/1465.62	c 1465s |      19 |   773699 |   651182 |     6342    182 |        0 |        0
1467.24/1467.71	c 1467s |      19 |   774447 |   651882 |     6342    182 |        0 |        0
1469.44/1469.97	c 1469s |      19 |   775341 |   652682 |     6342    182 |        0 |        0
1471.64/1472.12	c 1471s |      19 |   776214 |   653482 |     6342    183 |        0 |        0
1473.84/1474.38	c 1474s |      19 |   777191 |   654382 |     6342    183 |        0 |        0
1476.14/1476.62	c 1476s |      19 |   778069 |   655182 |     6342    183 |        0 |        0
1478.34/1478.81	c 1478s |      19 |   778818 |   655882 |     6342    183 |        0 |        0
1480.54/1481.05	c 1480s |      19 |   779564 |   656582 |     6342    183 |        0 |        0
1482.74/1483.22	c 1483s |      19 |   780314 |   657282 |     6342    184 |        0 |        0
1484.84/1485.31	c 1485s |      19 |   780954 |   657882 |     6342    184 |        0 |        0
1486.95/1487.43	c 1487s |      19 |   781702 |   658582 |     6342    184 |        0 |        0
1489.15/1489.68	c 1489s |      19 |   782592 |   659382 |     6342    184 |        0 |        0
1491.24/1491.71	c 1491s |      19 |   783367 |   660082 |     6342    184 |        0 |        0
1493.34/1493.85	c 1493s |      19 |   784135 |   660782 |     6342    184 |        0 |        0
1495.94/1496.45	c 1496s |      19 |   784814 |   661382 |     6342    185 |        0 |        0
1497.94/1498.49	c 1498s |      19 |   785683 |   662182 |     6977    185 |        0 |        0
1500.23/1500.70	c 1500s |      19 |   786584 |   662982 |     6977    185 |        0 |        0
1502.34/1502.87	c 1502s |      19 |   787346 |   663682 |     6977    185 |        0 |        0
1504.44/1504.99	c 1504s |      19 |   788117 |   664382 |     6977    185 |        0 |        0
1506.64/1507.20	c 1507s |      19 |   788874 |   665082 |     6977    185 |        0 |        0
1508.95/1509.46	c 1509s |      19 |   789616 |   665782 |     6977    185 |        0 |        0
1511.05/1511.56	c 1511s |      19 |   790279 |   666382 |     6977    186 |        0 |        0
1512.44/1512.94	c 1512s |      20 |   790764 |   666827 |     6977    186 |        0 |        0
1514.45/1515.00	c 1514s |      20 |   794536 |   668627 |     6977    186 |        0 |        0
1516.54/1517.06	c 1516s |      20 |   796516 |   670327 |     6977    186 |        0 |        0
1518.64/1519.13	c 1518s |      20 |   798018 |   671627 |     6977    187 |        0 |        0
1520.64/1521.15	c 1520s |      20 |   799405 |   672827 |     6977    187 |        0 |        0
1522.74/1523.26	c 1523s |      20 |   800764 |   674027 |     6977    187 |        0 |        0
1524.94/1525.45	c 1525s |      20 |   802116 |   675227 |     6977    187 |        0 |        0
1527.04/1527.56	c 1527s |      20 |   803330 |   676227 |     6977    188 |        0 |        0
1529.14/1529.62	c 1529s |      20 |   804846 |   677527 |     6977    188 |        0 |        0
1531.23/1531.71	c 1531s |      20 |   806339 |   678827 |     6977    188 |        0 |        0
1533.23/1533.77	c 1533s |      20 |   807717 |   680027 |     6977    188 |        0 |        0
1535.34/1535.89	c 1535s |      20 |   808963 |   681127 |     6977    189 |        0 |        0
1537.63/1538.11	c 1537s |      20 |   810416 |   682427 |     6977    189 |        0 |        0
1539.64/1540.12	c 1539s |      20 |   812011 |   683727 |     6977    189 |        0 |        0
1541.63/1542.16	c 1542s |      20 |   813250 |   684827 |     6977    189 |        0 |        0
1543.73/1544.28	c 1544s |      20 |   814396 |   685827 |     6977    190 |        0 |        0
1545.83/1546.35	c 1546s |      20 |   815758 |   687027 |     6977    190 |        0 |        0
1547.93/1548.41	c 1548s |      20 |   816981 |   688127 |     6977    190 |        0 |        0
1550.03/1550.57	c 1550s |      20 |   818238 |   689227 |     6977    190 |        0 |        0
1552.03/1552.60	c 1552s |      20 |   819565 |   690427 |     6977    190 |        0 |        0
1554.13/1554.61	c 1554s |      20 |   820852 |   691527 |     6977    191 |        0 |        0
1556.13/1556.70	c 1556s |      20 |   822319 |   692827 |     6977    191 |        0 |        0
1558.33/1558.82	c 1558s |      20 |   823659 |   694027 |     6977    191 |        0 |        0
1560.32/1560.82	c 1560s |      20 |   824862 |   695127 |     6977    191 |        0 |        0
1562.42/1562.97	c 1562s |      20 |   825970 |   696127 |     6977    192 |        0 |        0
1564.42/1564.99	c 1564s |      20 |   827188 |   697227 |     6977    192 |        0 |        0
1566.52/1567.00	c 1566s |      20 |   828153 |   698127 |     6977    192 |        0 |        0
1568.62/1569.17	c 1569s |      20 |   829442 |   699227 |     6977    192 |        0 |        0
1570.82/1571.37	c 1571s |      20 |   830578 |   700227 |     6977    193 |        0 |        0
1573.03/1573.50	c 1573s |      20 |   831685 |   701227 |     6977    193 |        0 |        0
1575.03/1575.57	c 1575s |      20 |   833047 |   702427 |     6977    193 |        0 |        0
1577.23/1577.71	c 1577s |      20 |   834729 |   703827 |     6977    193 |        0 |        0
1579.34/1579.83	c 1579s |      20 |   836144 |   705027 |     6977    194 |        0 |        0
1581.54/1582.01	c 1581s |      20 |   837837 |   706427 |     6977    194 |        0 |        0
1583.64/1584.12	c 1583s |      20 |   839127 |   707527 |     6977    194 |        0 |        0
1585.73/1586.24	c 1586s |      20 |   840388 |   708627 |     6977    194 |        0 |        0
1587.83/1588.34	c 1588s |      20 |   841699 |   709727 |     6977    194 |        0 |        0
1589.82/1590.35	c 1590s |      20 |   842828 |   710727 |     6977    195 |        0 |        0
1591.92/1592.48	c 1592s |      20 |   844219 |   711927 |     6977    195 |        0 |        0
1594.02/1594.56	c 1594s |      20 |   845342 |   712927 |     6977    195 |        0 |        0
1596.12/1596.64	c 1596s |      20 |   846388 |   713827 |     6977    195 |        0 |        0
1598.22/1598.71	c 1598s |      20 |   847517 |   714827 |     6977    196 |        0 |        0
1600.23/1600.76	c 1600s |      20 |   848897 |   716027 |     6977    196 |        0 |        0
1602.22/1602.79	c 1602s |      20 |   850185 |   717127 |     6977    196 |        0 |        0
1604.32/1604.81	c 1604s |      20 |   851383 |   718127 |     6977    196 |        0 |        0
1606.42/1606.90	c 1606s |      20 |   852652 |   719227 |     6977    196 |        0 |        0
1608.52/1609.03	c 1608s |      20 |   853694 |   720127 |     6977    197 |        0 |        0
1610.62/1611.13	c 1610s |      20 |   855041 |   721327 |     6977    197 |        0 |        0
1612.72/1613.30	c 1613s |      20 |   856135 |   722327 |     6977    197 |        0 |        0
1614.92/1615.46	c 1615s |      20 |   857429 |   723427 |     6977    197 |        0 |        0
1616.92/1617.49	c 1617s |      20 |   858597 |   724427 |     6977    198 |        0 |        0
1619.02/1619.56	c 1619s |      20 |   859946 |   725627 |     6977    198 |        0 |        0
1621.22/1621.73	c 1621s |      20 |   861172 |   726727 |     6977    198 |        0 |        0
1623.42/1623.92	c 1623s |      20 |   862430 |   727827 |     6977    198 |        0 |        0
1625.53/1626.06	c 1625s |      20 |   863838 |   729027 |     6977    198 |        0 |        0
1627.73/1628.23	c 1628s |      20 |   865145 |   730127 |     6977    199 |        0 |        0
1629.72/1630.25	c 1630s |      20 |   866394 |   731227 |     6977    199 |        0 |        0
1631.82/1632.36	c 1632s |      20 |   867539 |   732227 |     6977    199 |        0 |        0
1633.92/1634.47	c 1634s |      20 |   868618 |   733227 |     6977    199 |        0 |        0
1636.21/1636.75	c 1636s |      20 |   869493 |   734027 |     6977    200 |        0 |        0
1638.21/1638.77	c 1638s |      20 |   870966 |   735327 |     6977    200 |        0 |        0
1640.41/1640.93	c 1640s |      20 |   872208 |   736427 |     6977    200 |        0 |        0
1642.41/1642.97	c 1642s |      20 |   873332 |   737427 |     6977    200 |        0 |        0
1644.61/1645.14	c 1644s |      20 |   874596 |   738527 |     6977    200 |        0 |        0
1646.71/1647.26	c 1647s |      20 |   875742 |   739527 |     6977    201 |        0 |        0
1648.71/1649.28	c 1649s |      20 |   876860 |   740527 |     6977    201 |        0 |        0
1650.83/1651.31	c 1651s |      20 |   877969 |   741527 |     6977    201 |        0 |        0
1652.82/1653.32	c 1653s |      20 |   879132 |   742527 |     6977    201 |        0 |        0
1655.23/1655.74	c 1655s |      20 |   880418 |   743627 |     6977    202 |        0 |        0
1657.33/1657.87	c 1657s |      20 |   881703 |   744727 |     6977    202 |        0 |        0
1659.32/1659.88	c 1659s |      20 |   882747 |   745627 |     6977    202 |        0 |        0
1661.52/1662.04	c 1661s |      20 |   883858 |   746627 |     6977    202 |        0 |        0
1663.72/1664.28	c 1664s |      20 |   884965 |   747627 |     6977    202 |        0 |        0
1665.92/1666.48	c 1666s |      20 |   885889 |   748427 |     6977    203 |        0 |        0
1668.01/1668.59	c 1668s |      20 |   887128 |   749527 |     6977    203 |        0 |        0
1670.11/1670.68	c 1670s |      20 |   888221 |   750527 |     6977    203 |        0 |        0
1672.21/1672.71	c 1672s |      20 |   889119 |   751327 |     6977    203 |        0 |        0
1674.21/1674.74	c 1674s |      20 |   890221 |   752227 |     6977    203 |        0 |        0
1676.51/1677.04	c 1676s |      20 |   891451 |   753227 |     6977    204 |        0 |        0
1678.71/1679.21	c 1679s |      20 |   892993 |   754527 |     6977    204 |        0 |        0
1680.71/1681.28	c 1681s |      20 |   894228 |   755627 |     6977    204 |        0 |        0
1682.81/1683.37	c 1683s |      20 |   895380 |   756627 |     6977    204 |        0 |        0
1684.81/1685.39	c 1685s |      20 |   896266 |   757427 |     6977    204 |        0 |        0
1687.01/1687.50	c 1687s |      20 |   897125 |   758227 |     6977    205 |        0 |        0
1689.01/1689.56	c 1689s |      20 |   898324 |   759327 |     6977    205 |        0 |        0
1691.11/1691.65	c 1691s |      20 |   899416 |   760327 |     6977    205 |        0 |        0
1693.20/1693.73	c 1693s |      20 |   900600 |   761327 |     6977    205 |        0 |        0
1695.31/1695.86	c 1695s |      20 |   901681 |   762327 |     6977    205 |        0 |        0
1697.41/1697.95	c 1697s |      20 |   902553 |   763127 |     6977    206 |        0 |        0
1699.51/1700.02	c 1699s |      20 |   903773 |   764227 |     6977    206 |        0 |        0
1701.71/1702.22	c 1702s |      20 |   904978 |   765327 |     6977    206 |        0 |        0
1703.81/1704.38	c 1704s |      20 |   905958 |   766227 |     6977    206 |        0 |        0
1706.01/1706.50	c 1706s |      20 |   906824 |   767027 |     6977    206 |        0 |        0
1708.10/1708.68	c 1708s |      20 |   907573 |   767727 |     6977    207 |        0 |        0
1710.31/1710.83	c 1710s |      20 |   908792 |   768827 |     6977    207 |        0 |        0
1712.42/1712.96	c 1712s |      20 |   910008 |   769927 |     6977    207 |        0 |        0
1714.51/1715.09	c 1714s |      20 |   910882 |   770727 |     6977    207 |        0 |        0
1716.60/1717.19	c 1717s |      20 |   911878 |   771627 |     6977    207 |        0 |        0
1718.70/1719.28	c 1719s |      20 |   912760 |   772427 |     6977    207 |        0 |        0
1720.90/1721.46	c 1721s |      20 |   913519 |   773127 |     6977    208 |        0 |        0
1723.00/1723.54	c 1723s |      20 |   914613 |   774127 |     6977    208 |        0 |        0
1725.00/1725.54	c 1725s |      20 |   915826 |   775227 |     6977    208 |        0 |        0
1727.20/1727.74	c 1727s |      20 |   917083 |   776327 |     6977    208 |        0 |        0
1729.50/1730.05	c 1729s |      20 |   918228 |   777327 |     6977    209 |        0 |        0
1731.60/1732.13	c 1731s |      20 |   919415 |   778427 |     6977    209 |        0 |        0
1733.80/1734.32	c 1734s |      20 |   920524 |   779427 |     6977    209 |        0 |        0
1735.80/1736.39	c 1736s |      20 |   921740 |   780527 |     6977    209 |        0 |        0
1737.91/1738.42	c 1738s |      20 |   922855 |   781527 |     6977    209 |        0 |        0
1740.01/1740.51	c 1740s |      20 |   923856 |   782427 |     6977    210 |        0 |        0
1742.01/1742.55	c 1742s |      20 |   924977 |   783427 |     6977    210 |        0 |        0
1744.10/1744.66	c 1744s |      20 |   926183 |   784527 |     6977    210 |        0 |        0
1746.20/1746.75	c 1746s |      20 |   927293 |   785527 |     6977    210 |        0 |        0
1748.40/1748.96	c 1748s |      20 |   928379 |   786527 |     6977    210 |        0 |        0
1750.40/1750.98	c 1750s |      20 |   929265 |   787327 |     6977    211 |        0 |        0
1752.60/1753.17	c 1753s |      20 |   930345 |   788327 |     6977    211 |        0 |        0
1754.70/1755.26	c 1755s |      20 |   931335 |   789227 |     6977    211 |        0 |        0
1756.80/1757.31	c 1757s |      20 |   932450 |   790227 |     6977    211 |        0 |        0
1758.90/1759.42	c 1759s |      20 |   933451 |   791127 |     6977    211 |        0 |        0
1761.00/1761.53	c 1761s |      20 |   934335 |   791927 |     6977    212 |        0 |        0
1763.20/1763.76	c 1763s |      20 |   935681 |   793127 |     6977    212 |        0 |        0
1765.60/1766.18	c 1766s |      20 |   936574 |   793927 |     6977    212 |        0 |        0
1767.70/1768.29	c 1768s |      20 |   937548 |   794827 |     6977    212 |        0 |        0
1769.99/1770.53	c 1770s |      20 |   938540 |   795727 |     6977    212 |        0 |        0
1772.29/1772.80	c 1772s |      20 |   939562 |   796627 |     6977    213 |        0 |        0
1774.29/1774.87	c 1774s |      20 |   940700 |   797627 |     6977    213 |        0 |        0
1776.60/1777.11	c 1776s |      20 |   941975 |   798727 |     6977    213 |        0 |        0
1778.70/1779.23	c 1779s |      20 |   942985 |   799627 |     6977    213 |        0 |        0
1780.70/1781.25	c 1781s |      20 |   943990 |   800527 |     6977    213 |        0 |        0
1782.99/1783.56	c 1783s |      20 |   944862 |   801327 |     6977    214 |        0 |        0
1785.09/1785.69	c 1785s |      20 |   945860 |   802227 |     6977    214 |        0 |        0
1787.29/1787.80	c 1787s |      20 |   946956 |   803227 |     6977    214 |        0 |        0
1789.40/1789.97	c 1789s |      20 |   947941 |   804127 |     6977    214 |        0 |        0
1791.60/1792.10	c 1791s |      20 |   948900 |   805027 |     6977    214 |        0 |        0
1793.59/1794.14	c 1793s |      20 |   949909 |   805927 |     6977    214 |        0 |        0
1795.69/1796.21	c 1796s |      20 |   950780 |   806727 |     6977    215 |        0 |        0
1797.89/1798.40	c 1798s |      20 |   951551 |   807427 |     6977    215 |        0 |        0
1799.90/1800.47	c 1800s |      20 |   952431 |   808227 |     6977    215 |        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-4093636-1466089674/watcher-4093636-1466089674 -o /tmp/evaluation-result-4093636-1466089674/solver-4093636-1466089674 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466075445-11101 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093636-1466089674.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.22 2.14 3/179 15275
/proc/meminfo: memFree=30169760/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=697924 CPUtime=0 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 2603 0 0 0 0 0 0 0 20 0 4 0 11016650 714674176 2964 33554432000 4194304 16246674 140733318006752 140733318006176 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 175249 2973 442 2943 0 172143 0
[pid=15275/tid=15276] ppid=15272 vsize=716356 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 733548544 3034 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=720452 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 737742848 3052 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=725572 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 742985728 3069 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.22 2.22 2.14 3/179 15275
/proc/meminfo: memFree=30169760/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 25837 0 0 0 5 4 0 0 20 0 4 0 11016650 1247350784 26191 33554432000 4194304 16246674 140733318006752 140733318006176 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 304529 26199 604 2943 0 301423 0
[pid=15275/tid=15276] ppid=15272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1247350784 26206 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1247350784 26213 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1247350784 26218 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200527 s]
/proc/loadavg: 2.22 2.22 2.14 3/179 15275
/proc/meminfo: memFree=30169760/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 48939 0 0 0 11 8 0 0 20 0 4 0 11016650 1247350784 49285 33554432000 4194304 16246674 140733318006752 140733317988672 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 304529 49294 806 2943 0 301423 0
[pid=15275/tid=15276] ppid=15272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1247350784 49299 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1247350784 49301 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1247350784 49302 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300503 s]
/proc/loadavg: 2.22 2.22 2.14 3/179 15275
/proc/meminfo: memFree=30169760/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 72678 0 0 0 18 11 0 0 20 0 4 0 11016650 1247350784 73024 33554432000 4194304 16246674 140733318006752 140733317988672 6837238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 304529 73036 806 2943 0 301423 0
[pid=15275/tid=15276] ppid=15272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1247350784 73043 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1247350784 73051 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1247350784 73059 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700403 s]
/proc/loadavg: 2.22 2.22 2.14 3/179 15275
/proc/meminfo: memFree=30169760/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 182798 0 0 0 44 25 0 0 20 0 4 0 11016650 1247350784 183145 33554432000 4194304 16246674 140733318006752 140733317988672 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 304529 183156 806 2943 0 301423 0
[pid=15275/tid=15276] ppid=15272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1247350784 183170 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1247350784 183179 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1247350784 183189 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.20 2.22 2.14 3/183 15279
/proc/meminfo: memFree=29183392/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1300036 CPUtime=1.49 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 261992 0 0 0 115 34 0 0 20 0 4 0 11016650 1331236864 262316 33554432000 4194304 16246674 140733318006752 140733317988672 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 325009 262330 867 2943 0 321903 0
[pid=15275/tid=15276] ppid=15272 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1331236864 262338 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1331236864 262346 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1331236864 262354 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1300036

[startup+3.1004 s]
/proc/loadavg: 2.20 2.22 2.14 3/183 15279
/proc/meminfo: memFree=29097460/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 267956 0 0 0 274 35 0 0 20 0 4 0 11016650 1339625472 268280 33554432000 4194304 16246674 140733318006752 140733317988672 13950202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 327057 268280 871 2943 0 323951 0
[pid=15275/tid=15276] ppid=15272 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1339625472 268280 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1339625472 268280 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1339625472 268280 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30044 s]
/proc/loadavg: 2.18 2.21 2.14 3/183 15279
/proc/meminfo: memFree=29096504/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 268177 0 0 0 594 35 0 0 20 0 4 0 11016650 1339625472 268501 33554432000 4194304 16246674 140733318006752 140733317988672 5722381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 327057 268501 872 2943 0 323951 0
[pid=15275/tid=15276] ppid=15272 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1339625472 268501 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1339625472 268501 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1339625472 268501 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.17 2.21 2.14 3/183 15279
/proc/meminfo: memFree=29095672/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 268301 0 0 0 1234 35 0 0 20 0 4 0 11016650 1340674048 268625 33554432000 4194304 16246674 140733318006752 140733317988672 5717503 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 327313 268625 874 2943 0 324207 0
[pid=15275/tid=15276] ppid=15272 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1340674048 268625 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1340674048 268625 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1340674048 268625 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1309252

[startup+25.5075 s]
/proc/loadavg: 2.22 2.22 2.14 3/183 15279
/proc/meminfo: memFree=29093720/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1311300 CPUtime=25.49 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 268947 0 0 0 2514 35 0 0 20 0 4 0 11016650 1342771200 269271 33554432000 4194304 16246674 140733318006752 140733317988672 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 327825 269271 874 2943 0 324719 0
[pid=15275/tid=15276] ppid=15272 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1342771200 269271 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1342771200 269271 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1342771200 269271 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1311300

[startup+51.1004 s]
/proc/loadavg: 2.13 2.20 2.14 3/183 15279
/proc/meminfo: memFree=29092072/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1311300 CPUtime=51.08 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 268947 0 0 0 5073 35 0 0 20 0 4 0 11016650 1342771200 269271 33554432000 4194304 16246674 140733318006752 140733317988672 5721677 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 327825 269271 874 2943 0 324719 0
[pid=15275/tid=15276] ppid=15272 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1342771200 269271 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1342771200 269271 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1342771200 269271 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 2.10 2.18 2.13 3/183 15280
/proc/meminfo: memFree=29087632/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1316420 CPUtime=102.27 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 270227 0 0 0 10191 36 0 0 20 0 4 0 11016650 1348014080 270551 33554432000 4194304 16246674 140733318006752 140733317988672 5711644 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 329105 270551 874 2943 0 325999 0
[pid=15275/tid=15276] ppid=15272 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1348014080 270551 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1348014080 270551 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1348014080 270551 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1316420


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

/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274283 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1330756

[startup+1362.3 s]
/proc/loadavg: 2.14 2.14 2.13 3/184 15362
/proc/meminfo: memFree=29106440/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1330756 CPUtime=1361.86 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 274123 0 0 0 136121 65 0 0 20 0 4 0 11016650 1362694144 274283 33554432000 4194304 16246674 140733318006752 140733317988672 13191512 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 332689 274283 874 2943 0 329583 0
[pid=15275/tid=15276] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274283 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274283 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274283 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1330756

[startup+1422.3 s]
/proc/loadavg: 2.05 2.11 2.12 3/183 15363
/proc/meminfo: memFree=29106192/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1330756 CPUtime=1421.85 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 274123 0 0 0 142119 66 0 0 20 0 4 0 11016650 1362694144 274283 33554432000 4194304 16246674 140733318006752 140733317988672 13191272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 332689 274283 874 2943 0 329583 0
[pid=15275/tid=15276] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274283 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274283 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274283 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1330756

[startup+1482.3 s]
/proc/loadavg: 2.02 2.09 2.11 3/183 15365
/proc/meminfo: memFree=29106012/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1330756 CPUtime=1481.84 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 274123 0 0 0 148118 66 0 0 20 0 4 0 11016650 1362694144 274283 33554432000 4194304 16246674 140733318006752 140733317988672 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 332689 274283 874 2943 0 329583 0
[pid=15275/tid=15276] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274283 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274283 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274283 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1330756

[startup+1542.3 s]
/proc/loadavg: 2.15 2.11 2.11 3/183 15366
/proc/meminfo: memFree=29105648/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1330756 CPUtime=1541.84 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 274232 0 0 0 154117 67 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 140733318005928 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 332689 274392 874 2943 0 329583 0
[pid=15275/tid=15276] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1330756

[startup+1602.3 s]
/proc/loadavg: 2.05 2.09 2.10 3/183 15367
/proc/meminfo: memFree=29103904/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1330756 CPUtime=1601.82 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 274232 0 0 0 160114 68 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 140733317988672 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 332689 274392 874 2943 0 329583 0
[pid=15275/tid=15276] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1330756

[startup+1662.31 s]
/proc/loadavg: 2.13 2.10 2.10 3/183 15368
/proc/meminfo: memFree=29103512/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1330756 CPUtime=1661.83 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 274232 0 0 0 166113 70 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 140733317988672 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 332689 274392 874 2943 0 329583 0
[pid=15275/tid=15276] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1330756

[startup+1722.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/183 15369
/proc/meminfo: memFree=29103316/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1330756 CPUtime=1721.8 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 274232 0 0 0 172108 72 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 140733317988672 12415720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 332689 274392 874 2943 0 329583 0
[pid=15275/tid=15276] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1330756

[startup+1782.3 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 15371
/proc/meminfo: memFree=29103184/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1330756 CPUtime=1781.79 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 274232 0 0 0 178105 74 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 140733318005928 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 332689 274392 874 2943 0 329583 0
[pid=15275/tid=15276] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1330756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.17 2.10 2.09 3/183 15372
/proc/meminfo: memFree=29103356/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1330756 CPUtime=1800.09 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 274232 0 0 0 179934 75 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 140733318005928 5673897 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 332689 274392 874 2943 0 329583 0
[pid=15275/tid=15276] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1330756

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

[startup+1800.6 s]
/proc/loadavg: 2.17 2.10 2.09 3/183 15372
/proc/meminfo: memFree=29103356/32872528 swapFree=681192/736380
[pid=15275] ppid=15272 vsize=1330756 CPUtime=1800.09 cores=1,3,5,7
/proc/15275/stat : 15275 (toysat) R 15272 15275 7985 0 -1 4202496 274232 0 0 0 179934 75 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 140733318005928 5673897 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/15275/statm: 332689 274392 874 2943 0 329583 0
[pid=15275/tid=15276] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15276/stat : 15276 (toysat) S 15272 15275 7985 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977106107632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=15275/tid=15277] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15277/stat : 15277 (toysat) S 15272 15275 7985 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977095617776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=15275/tid=15278] ppid=15272 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/15275/task/15278/stat : 15278 (toysat) S 15272 15275 7985 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11016650 1362694144 274392 33554432000 4194304 16246674 140733318006752 139977010703536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1330756

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.35
CPU system time (s): 0.751885
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1330756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.751885
maximum resident set size= 1097568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274232
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= 433
involuntary context switches= 1955

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4091 second user time and 15.7616 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-16 17:07:54
IDJOB=4093636
IDBENCH=79150
IDSOLVER=2553
FILE ID=node112/4093636-1466089674
RUNJOBID= node112-1466075445-11101
PBS_JOBID= 19904024
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 72248c5a2862af1e3cf852420a7ca986
RANDOM SEED=1065281540

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:        30170584 kB
Buffers:           42472 kB
Cached:           109252 kB
SwapCached:          696 kB
Active:          1194252 kB
Inactive:          71056 kB
Active(anon):    1114956 kB
Inactive(anon):      740 kB
Active(file):      79296 kB
Inactive(file):    70316 kB
Unevictable:      736380 kB
Mlocked:          681192 kB
SwapTotal:      67108856 kB
SwapFree:       67098028 kB
Dirty:             16464 kB
Writeback:             0 kB
AnonPages:       1849320 kB
Mapped:            10824 kB
Shmem:                 0 kB
Slab:             568444 kB
SReclaimable:      12416 kB
SUnreclaim:       556028 kB
KernelStack:        1496 kB
PageTables:         7872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1991280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node112 at 2016-06-16 17:37:55