Trace number 4093317

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMf839b9b81895c491ec67614997c8bc2d
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2100
Total number of constraints130
Number of soft constraints47
Number of constraints which are clauses70
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Top cost 2325
Min constraint cost 1
Max constraint cost 96
Sum of constraints costs 2324
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-16T14:05:47+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-4093317-1466078747.wbo"]
0.00/0.01	c use --random-gen="785545512 4148513391 2600215279 2769524920 757012196 2146450365 2891103077 1551220363 831006328 1009309942 4052312433 1205112239 289920646 17069690 594884068 3723332735 538260535 3849937314 3093854864 318238609 186587041 1846548948 2505631177 2250867186 1115710470 1360829054 654817015 33356099 83487489 851997432 3358393782 2454296270 862944290 3611466144 2225943065 2916830135 3573205055 2912283045 1827278382 840905320 374358714 1125633743 2865303562 3304039507 2943788436 1644590551 3499005279 3423144033 2730966801 2294289946 3152185966 2267271059 254975145 1093147541 1426119611 2101343867 981668735 2773199487 4293979816 2351945156 2587877649 1480768695 3874338246 273829782 2408381313 4087408719 1359086992 2277530582 76060316 1232182885 4057012912 2394142143 2520696236 3722832595 98746126 1634101738 3911645542 4252929155 647003697 2057972397 2181850042 2719206569 1409620596 2974970558 982270187 3330303357 4096049591 1618717572 1770854315 833184974 957218890 3635181321 1146055875 1198510961 3126387405 1237003539 242129264 2243466193 400156968 328914906 2696790743 812065005 2410484979 2523776021 2057376971 1031652774 2740259632 3561722010 41853990 2926786487 1678170620 709261751 682939684 342167010 3406229905 1051068815 603076951 1386574164 1178897243 1673752495 1626163983 2557949639 1130874558 3578052230 1499493864 3692533041 862141044 685227349 1522399756 243330722 4039234277 3453225293 1282555099 1638547243 2180967778 2985942735 3005176441 622796228 2256549330 594442884 4077501966 1581735753 3001774105 2568193409 1023683701 1020489435 2374801216 2284650772 126550496 3965927773 2738117332 3960899400 3994619708 4071864124 1046087910 3688603067 2824242111 2039224390 1069131048 3888944006 132339022 1453995689 1575635124 1546366518 1910818471 2114757842 753328130 2098001403 4168792169 2568026480 143985979 70152479 133527805 422831358 3737172852 1322574018 3139215988 2844944364 1081147652 770248706 2091217199 1181925852 3287818957 3283374307 2947940659 243055110 1957441247 1271387166 706763075 1762648021 1540418105 3070113485 1330691806 878110446 333092585 2508681353 3631639580 330198903 1156884907 2979951286 820594214 3550766728 3277686576 637040757 701313817 2341807875 613259046 1792557339 308915535 2960085203 805957705 3184411644 1990553638 525266609 2441807810 2200397444 3711876845 2158271661 2397501617 1672238159 1037749586 841496768 3284179364 4294060578 1487930794 2633006582 788797037 1055499658 3585783444 286356166 200881901 2037582819 677501766 4154208332 4246573841 1714977552 1864561071 4204824440 3197603040 3931692673 2740921078 1847134402 3946718770 3871257987 1666308072 3396736925 2691360156 2538423675 176336859 2868736556 2730232652 367850427 90171761 1386061162 3562773190 1084621859 255 362436" option to reproduce the execution
0.09/0.10	c #vars 2100
0.09/0.10	c #constraints 130
0.09/0.11	c BCD2: Hardening is enabled.
0.09/0.11	c BCD2: BiasedSearch is enabled.
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |      759      0 |        0 |        0
0.09/0.14	c  0.0s |       1 |      194 |      100 |      759      0 |        0 |        0
0.09/0.14	c  0.0s |       1 |     1234 |      101 |      835      0 |        0 |        0
0.09/0.14	c #cpu_time = 0.035s
0.09/0.14	c #wall_clock_time = 0.035s
0.09/0.14	c #decision = 1234
0.09/0.14	c #random_decision = 4
0.09/0.14	c #conflict = 101
0.09/0.14	c #restart = 1
0.09/0.14	o 1403
0.09/0.15	c BCD2: updating upper bound: 2324 -> 1402
0.09/0.15	c BCD2: 0 <= obj <= 1402
0.09/0.15	c BCD2: #cores=0, #unrelaxed=47, #relaxed=0, #hardened=0
0.09/0.15	c BCD2: #sat=1 #unsat=1 bias=1/2
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 |      835      0 |        0 |        0
0.09/0.18	c  0.0s |       1 |      462 |      100 |      835      0 |        0 |        0
0.19/0.30	c  0.1s |       2 |     1435 |      250 |      919      0 |        0 |        0
0.39/0.49	c  0.3s |       3 |     2614 |      475 |     1011      0 |        0 |        0
0.69/0.79	c  0.6s |       4 |     3768 |      813 |     1113      0 |        0 |        0
0.99/1.08	c  0.9s |       5 |     4962 |     1320 |     1225      0 |        0 |        0
1.59/1.62	c  1.5s |       6 |     6373 |     2081 |     1348      1 |        0 |        0
2.39/2.40	c  2.3s |       7 |     8235 |     3223 |     1483      2 |        0 |        0
3.59/3.65	c  3.5s |       8 |    10915 |     4936 |     1632      4 |        0 |        0
5.60/5.67	c  5.5s |       8 |    14356 |     7336 |     1632      5 |        0 |        0
5.79/5.87	c  5.7s |       9 |    14552 |     7506 |     1796      5 |        0 |        0
7.89/7.93	c  7.8s |       9 |    19211 |    10406 |     1796      7 |        0 |        0
8.69/8.77	c  8.6s |      10 |    20329 |    11361 |     1976      8 |        0 |        0
10.69/10.79	c 10.6s |      10 |    23309 |    13461 |     1976     10 |        0 |        0
12.79/12.84	c 12.7s |      10 |    25440 |    15361 |     1976     11 |        0 |        0
14.89/14.90	c 14.8s |      10 |    27226 |    16961 |     2174     12 |        0 |        0
14.99/15.06	c 14.9s |      11 |    27422 |    17144 |     2174     12 |        0 |        0
17.09/17.16	c 17.0s |      11 |    31478 |    19844 |     2174     14 |        0 |        0
19.19/19.22	c 19.1s |      11 |    33841 |    21844 |     2174     15 |        0 |        0
21.19/21.27	c 21.1s |      11 |    36013 |    23744 |     2174     16 |        0 |        0
23.29/23.35	c 23.2s |      11 |    38222 |    25644 |     2392     18 |        0 |        0
23.49/23.54	c 23.4s |      12 |    38419 |    25819 |     2392     18 |        0 |        0
25.49/25.60	c 25.5s |      12 |    41860 |    28219 |     2392     19 |        0 |        0
27.59/27.65	c 27.5s |      12 |    44172 |    30019 |     2392     20 |        0 |        0
29.58/29.70	c 29.6s |      12 |    45610 |    31319 |     2392     21 |        0 |        0
31.78/31.82	c 31.7s |      12 |    47257 |    32719 |     2392     22 |        0 |        0
33.78/33.82	c 33.7s |      12 |    48967 |    34119 |     2392     23 |        0 |        0
35.78/35.88	c 35.7s |      12 |    50520 |    35519 |     2392     23 |        0 |        0
37.98/38.01	c 37.9s |      12 |    51975 |    36819 |     2392     24 |        0 |        0
39.98/40.04	c 39.9s |      12 |    53413 |    38119 |     2392     25 |        0 |        0
40.98/41.06	c 40.9s |      13 |    54201 |    38832 |     2632     25 |        0 |        0
43.08/43.13	c 43.0s |      13 |    62375 |    41232 |     2632     27 |        0 |        0
45.19/45.22	c 45.1s |      13 |    64884 |    43432 |     2632     28 |        0 |        0
47.18/47.24	c 47.1s |      13 |    66914 |    45232 |     2632     29 |        0 |        0
49.28/49.34	c 49.2s |      13 |    69000 |    47132 |     2632     30 |        0 |        0
51.38/51.45	c 51.3s |      13 |    70953 |    48932 |     2632     31 |        0 |        0
53.38/53.49	c 53.3s |      13 |    72789 |    50632 |     2632     32 |        0 |        0
55.48/55.58	c 55.4s |      13 |    74645 |    52232 |     2632     33 |        0 |        0
57.48/57.59	c 57.4s |      13 |    76307 |    53732 |     2632     34 |        0 |        0
59.58/59.65	c 59.5s |      13 |    77952 |    55232 |     2632     34 |        0 |        0
61.59/61.69	c 61.5s |      13 |    79626 |    56732 |     2632     35 |        0 |        0
63.79/63.80	c 63.7s |      13 |    81741 |    58232 |     2896     36 |        0 |        0
63.89/63.98	c 63.8s |      14 |    81871 |    58352 |     2896     36 |        0 |        0
65.99/66.00	c 65.9s |      14 |    85149 |    60352 |     2896     37 |        0 |        0
67.98/68.08	c 67.9s |      14 |    86793 |    61852 |     2896     38 |        0 |        0
70.08/70.15	c 70.0s |      14 |    88220 |    63152 |     2896     39 |        0 |        0
72.08/72.16	c 72.0s |      14 |    89983 |    64752 |     2896     39 |        0 |        0
74.08/74.20	c 74.1s |      14 |    91392 |    66052 |     2896     40 |        0 |        0
76.18/76.27	c 76.1s |      14 |    92938 |    67452 |     2896     41 |        0 |        0
78.38/78.42	c 78.3s |      14 |    94477 |    68852 |     2896     41 |        0 |        0
80.39/80.49	c 80.3s |      14 |    96022 |    70252 |     2896     42 |        0 |        0
82.49/82.60	c 82.5s |      14 |    97572 |    71652 |     2896     43 |        0 |        0
84.69/84.79	c 84.6s |      14 |    99106 |    73052 |     2896     44 |        0 |        0
86.89/86.95	c 86.8s |      14 |   100495 |    74352 |     2896     44 |        0 |        0
88.98/89.00	c 88.9s |      14 |   101769 |    75552 |     2896     45 |        0 |        0
90.98/91.01	c 90.9s |      14 |   103374 |    76952 |     2896     45 |        0 |        0
93.08/93.18	c 93.0s |      14 |   104788 |    78252 |     2896     46 |        0 |        0
95.28/95.30	c 95.2s |      14 |   106215 |    79552 |     2896     47 |        0 |        0
97.38/97.47	c 97.3s |      14 |   107755 |    80952 |     2896     47 |        0 |        0
99.58/99.60	c 99.5s |      14 |   109160 |    82252 |     2896     48 |        0 |        0
101.58/101.66	c  101s |      14 |   110479 |    83452 |     2896     49 |        0 |        0
103.68/103.79	c  103s |      14 |   112010 |    84852 |     2896     49 |        0 |        0
105.77/105.83	c  105s |      14 |   113337 |    86052 |     2896     50 |        0 |        0
107.88/107.92	c  107s |      14 |   114539 |    87152 |     3186     50 |        0 |        0
108.88/108.97	c  108s |      15 |   115040 |    87632 |     3186     51 |        0 |        0
110.97/111.06	c  110s |      15 |   118780 |    89932 |     3186     52 |        0 |        0
112.97/113.08	c  112s |      15 |   120697 |    91632 |     3186     52 |        0 |        0
115.17/115.22	c  115s |      15 |   122317 |    93132 |     3186     53 |        0 |        0
117.27/117.35	c  117s |      15 |   123631 |    94332 |     3186     54 |        0 |        0
119.37/119.45	c  119s |      15 |   125138 |    95732 |     3186     54 |        0 |        0
121.37/121.46	c  121s |      15 |   126571 |    97032 |     3186     55 |        0 |        0
123.37/123.48	c  123s |      15 |   128169 |    98432 |     3186     56 |        0 |        0
125.48/125.56	c  125s |      15 |   129777 |    99832 |     3186     56 |        0 |        0
127.47/127.59	c  127s |      15 |   131364 |   101232 |     3186     57 |        0 |        0
129.67/129.75	c  129s |      15 |   133108 |   102732 |     3186     58 |        0 |        0
131.67/131.78	c  131s |      15 |   134616 |   104032 |     3186     58 |        0 |        0
133.77/133.84	c  133s |      15 |   136105 |   105332 |     3186     59 |        0 |        0
135.87/135.92	c  135s |      15 |   137590 |   106632 |     3186     59 |        0 |        0
137.97/138.09	c  137s |      15 |   138941 |   107832 |     3186     60 |        0 |        0
140.07/140.18	c  140s |      15 |   140161 |   108932 |     3186     60 |        0 |        0
142.27/142.33	c  142s |      15 |   141378 |   110032 |     3186     61 |        0 |        0
144.27/144.34	c  144s |      15 |   142359 |   110932 |     3186     61 |        0 |        0
146.27/146.36	c  146s |      15 |   143485 |   111932 |     3186     62 |        0 |        0
148.47/148.54	c  148s |      15 |   145283 |   113532 |     3186     63 |        0 |        0
150.57/150.62	c  150s |      15 |   146939 |   115032 |     3186     63 |        0 |        0
152.56/152.64	c  152s |      15 |   148793 |   116632 |     3186     64 |        0 |        0
154.56/154.69	c  154s |      15 |   150687 |   118332 |     3186     65 |        0 |        0
156.66/156.77	c  156s |      15 |   152584 |   120032 |     3186     65 |        0 |        0
158.76/158.82	c  158s |      15 |   154361 |   121632 |     3186     66 |        0 |        0
160.86/160.93	c  160s |      15 |   155989 |   123132 |     3186     67 |        0 |        0
162.87/162.94	c  162s |      15 |   157573 |   124532 |     3186     68 |        0 |        0
164.86/164.96	c  164s |      15 |   159230 |   126032 |     3186     68 |        0 |        0
166.96/167.08	c  166s |      15 |   161013 |   127632 |     3186     69 |        0 |        0
169.06/169.10	c  168s |      15 |   162548 |   129032 |     3186     70 |        0 |        0
171.16/171.23	c  171s |      15 |   164352 |   130632 |     3505     70 |        0 |        0
172.36/172.45	c  172s |      16 |   165362 |   131552 |     3505     71 |        0 |        0
174.46/174.55	c  174s |      16 |   169994 |   134152 |     3505     71 |        0 |        0
176.57/176.68	c  176s |      16 |   172247 |   136152 |     3505     72 |        0 |        0
178.67/178.71	c  178s |      16 |   174050 |   137752 |     3505     73 |        0 |        0
180.77/180.82	c  180s |      16 |   176044 |   139552 |     3505     73 |        0 |        0
182.77/182.84	c  182s |      16 |   177877 |   141152 |     3505     74 |        0 |        0
184.77/184.90	c  184s |      16 |   179803 |   142852 |     3505     75 |        0 |        0
186.86/187.00	c  186s |      16 |   182009 |   144852 |     3505     75 |        0 |        0
188.96/189.08	c  188s |      16 |   183907 |   146552 |     3505     76 |        0 |        0
190.96/191.09	c  190s |      16 |   185587 |   148052 |     3505     77 |        0 |        0
192.96/193.09	c  192s |      16 |   187708 |   149952 |     3505     77 |        0 |        0
195.06/195.13	c  194s |      16 |   189732 |   151752 |     3505     78 |        0 |        0
197.06/197.15	c  197s |      16 |   191539 |   153352 |     3505     79 |        0 |        0
199.17/199.27	c  199s |      16 |   193666 |   155252 |     3505     79 |        0 |        0
201.27/201.37	c  201s |      16 |   195827 |   157152 |     3505     80 |        0 |        0
203.36/203.42	c  203s |      16 |   197843 |   158952 |     3505     81 |        0 |        0
205.36/205.44	c  205s |      16 |   200051 |   160952 |     3505     81 |        0 |        0
207.36/207.45	c  207s |      16 |   201812 |   162552 |     3505     82 |        0 |        0
209.66/209.70	c  209s |      16 |   203562 |   164152 |     3505     83 |        0 |        0
211.66/211.77	c  211s |      16 |   205480 |   165852 |     3505     83 |        0 |        0
213.76/213.83	c  213s |      16 |   207250 |   167452 |     3505     84 |        0 |        0
215.86/215.92	c  215s |      16 |   209170 |   169152 |     3505     84 |        0 |        0
217.96/218.02	c  217s |      16 |   210951 |   170752 |     3505     85 |        0 |        0
219.97/220.04	c  219s |      16 |   212491 |   172152 |     3505     86 |        0 |        0
222.06/222.14	c  221s |      16 |   214491 |   173952 |     3505     86 |        0 |        0
224.06/224.16	c  224s |      16 |   216014 |   175352 |     3505     87 |        0 |        0
226.06/226.16	c  226s |      16 |   217710 |   176852 |     3505     87 |        0 |        0
228.16/228.21	c  228s |      16 |   219453 |   178452 |     3505     88 |        0 |        0
230.26/230.34	c  230s |      16 |   221216 |   180052 |     3505     88 |        0 |        0
232.26/232.37	c  232s |      16 |   222791 |   181452 |     3505     89 |        0 |        0
234.36/234.44	c  234s |      16 |   224786 |   183152 |     3505     90 |        0 |        0
236.46/236.58	c  236s |      16 |   226430 |   184652 |     3505     90 |        0 |        0
238.66/238.73	c  238s |      16 |   227856 |   185952 |     3505     91 |        0 |        0
240.65/240.73	c  240s |      16 |   229426 |   187352 |     3505     91 |        0 |        0
242.75/242.85	c  242s |      16 |   230872 |   188652 |     3505     92 |        0 |        0
244.85/244.92	c  244s |      16 |   232411 |   190052 |     3505     92 |        0 |        0
246.85/246.92	c  246s |      16 |   233739 |   191252 |     3505     93 |        0 |        0
248.95/249.08	c  248s |      16 |   235282 |   192652 |     3505     93 |        0 |        0
250.95/251.08	c  250s |      16 |   236465 |   193752 |     3505     94 |        0 |        0
253.05/253.16	c  253s |      16 |   237781 |   194952 |     3505     94 |        0 |        0
255.15/255.25	c  255s |      16 |   239231 |   196252 |     3856     94 |        0 |        0
257.25/257.31	c  257s |      16 |   240321 |   197252 |     3856     95 |        0 |        0
257.45/257.59	c  257s |      17 |   240521 |   197432 |     3856     95 |        0 |        0
259.55/259.66	c  259s |      17 |   244152 |   199232 |     3856     96 |        0 |        0
261.65/261.79	c  261s |      17 |   246130 |   200932 |     3856     96 |        0 |        0
263.84/263.91	c  263s |      17 |   247844 |   202432 |     3856     97 |        0 |        0
265.94/266.03	c  265s |      17 |   249372 |   203832 |     3856     97 |        0 |        0
268.05/268.11	c  267s |      17 |   250851 |   205132 |     3856     98 |        0 |        0
270.15/270.26	c  270s |      17 |   252298 |   206432 |     3856     98 |        0 |        0
272.25/272.38	c  272s |      17 |   253628 |   207632 |     3856     99 |        0 |        0
274.45/274.53	c  274s |      17 |   255225 |   209032 |     3856     99 |        0 |        0
276.45/276.53	c  276s |      17 |   256586 |   210232 |     3856    100 |        0 |        0
278.45/278.53	c  278s |      17 |   257950 |   211432 |     3856    100 |        0 |        0
280.46/280.57	c  280s |      17 |   259280 |   212632 |     3856    101 |        0 |        0
282.55/282.64	c  282s |      17 |   260589 |   213832 |     3856    101 |        0 |        0
284.65/284.78	c  284s |      17 |   261779 |   214932 |     3856    102 |        0 |        0
286.75/286.88	c  286s |      17 |   263130 |   216132 |     3856    102 |        0 |        0
288.95/289.08	c  288s |      17 |   264361 |   217232 |     3856    102 |        0 |        0
291.15/291.25	c  291s |      17 |   265578 |   218332 |     3856    103 |        0 |        0
293.15/293.29	c  293s |      17 |   266555 |   219232 |     3856    103 |        0 |        0
295.45/295.52	c  295s |      17 |   267434 |   220032 |     3856    104 |        0 |        0
297.45/297.59	c  297s |      17 |   268450 |   220932 |     3856    104 |        0 |        0
299.55/299.69	c  299s |      17 |   270147 |   222432 |     3856    104 |        0 |        0
301.75/301.84	c  301s |      17 |   271822 |   223932 |     3856    105 |        0 |        0
303.85/303.94	c  303s |      17 |   273252 |   225232 |     3856    106 |        0 |        0
305.95/306.05	c  305s |      17 |   274554 |   226432 |     3856    106 |        0 |        0
308.15/308.26	c  308s |      17 |   275726 |   227532 |     3856    106 |        0 |        0
310.25/310.31	c  310s |      17 |   277069 |   228732 |     3856    107 |        0 |        0
312.24/312.38	c  312s |      17 |   278631 |   230132 |     3856    107 |        0 |        0
314.34/314.41	c  314s |      17 |   279921 |   231332 |     3856    108 |        0 |        0
316.34/316.44	c  316s |      17 |   281111 |   232432 |     3856    108 |        0 |        0
318.44/318.53	c  318s |      17 |   282287 |   233532 |     3856    109 |        0 |        0
320.44/320.57	c  320s |      17 |   283663 |   234732 |     3856    109 |        0 |        0
322.64/322.72	c  322s |      17 |   285099 |   235932 |     3856    110 |        0 |        0
324.74/324.81	c  324s |      17 |   286439 |   237132 |     3856    110 |        0 |        0
326.75/326.89	c  326s |      17 |   287923 |   238432 |     3856    111 |        0 |        0
328.95/329.01	c  328s |      17 |   289391 |   239732 |     3856    111 |        0 |        0
330.94/331.03	c  330s |      17 |   290595 |   240832 |     3856    112 |        0 |        0
332.94/333.06	c  332s |      17 |   292177 |   242232 |     3856    112 |        0 |        0
335.04/335.16	c  335s |      17 |   293503 |   243432 |     3856    113 |        0 |        0
337.04/337.17	c  337s |      17 |   294993 |   244732 |     3856    113 |        0 |        0
339.04/339.18	c  339s |      17 |   296194 |   245832 |     3856    114 |        0 |        0
341.24/341.33	c  341s |      17 |   297647 |   247132 |     3856    114 |        0 |        0
343.25/343.38	c  343s |      17 |   298964 |   248332 |     3856    115 |        0 |        0
345.35/345.48	c  345s |      17 |   300258 |   249532 |     3856    115 |        0 |        0
347.65/347.72	c  347s |      17 |   301603 |   250732 |     3856    116 |        0 |        0
349.74/349.84	c  349s |      17 |   303155 |   252132 |     3856    116 |        0 |        0
351.84/351.95	c  351s |      17 |   304487 |   253332 |     3856    117 |        0 |        0
353.94/354.05	c  353s |      17 |   305878 |   254632 |     3856    117 |        0 |        0
356.13/356.24	c  356s |      17 |   307176 |   255832 |     3856    118 |        0 |        0
358.23/358.37	c  358s |      17 |   308728 |   257132 |     3856    118 |        0 |        0
360.43/360.57	c  360s |      17 |   310164 |   258432 |     3856    119 |        0 |        0
362.43/362.59	c  362s |      17 |   311603 |   259732 |     3856    119 |        0 |        0
364.53/364.63	c  364s |      17 |   312908 |   260932 |     3856    119 |        0 |        0
366.63/366.73	c  366s |      17 |   314356 |   262232 |     3856    120 |        0 |        0
368.73/368.87	c  368s |      17 |   315770 |   263532 |     3856    121 |        0 |        0
370.83/370.94	c  370s |      17 |   317077 |   264732 |     3856    121 |        0 |        0
372.84/372.97	c  372s |      17 |   318411 |   265932 |     3856    121 |        0 |        0
374.93/375.03	c  374s |      17 |   320056 |   267432 |     3856    122 |        0 |        0
377.03/377.11	c  376s |      17 |   321565 |   268832 |     3856    123 |        0 |        0
379.13/379.21	c  379s |      17 |   323160 |   270332 |     3856    123 |        0 |        0
381.23/381.32	c  381s |      17 |   324921 |   271832 |     3856    124 |        0 |        0
383.33/383.40	c  383s |      17 |   326726 |   273432 |     3856    124 |        0 |        0
385.33/385.40	c  385s |      17 |   328435 |   274932 |     3856    125 |        0 |        0
387.53/387.63	c  387s |      17 |   329948 |   276332 |     3856    126 |        0 |        0
389.53/389.66	c  389s |      17 |   331365 |   277632 |     3856    126 |        0 |        0
391.64/391.73	c  391s |      17 |   332663 |   278832 |     3856    127 |        0 |        0
393.74/393.83	c  393s |      17 |   334332 |   280332 |     3856    127 |        0 |        0
395.73/395.85	c  395s |      17 |   335621 |   281532 |     3856    128 |        0 |        0
397.83/397.92	c  397s |      17 |   337152 |   282932 |     3856    128 |        0 |        0
399.93/400.03	c  399s |      17 |   338568 |   284232 |     3856    129 |        0 |        0
402.03/402.15	c  402s |      17 |   340069 |   285632 |     3856    129 |        0 |        0
404.03/404.17	c  404s |      17 |   341375 |   286832 |     3856    130 |        0 |        0
406.13/406.24	c  406s |      17 |   343149 |   288432 |     3856    130 |        0 |        0
408.23/408.34	c  408s |      17 |   344543 |   289732 |     3856    131 |        0 |        0
410.33/410.47	c  410s |      17 |   345815 |   290932 |     3856    131 |        0 |        0
412.32/412.48	c  412s |      17 |   346907 |   291932 |     3856    132 |        0 |        0
414.42/414.57	c  414s |      17 |   348669 |   293532 |     3856    132 |        0 |        0
416.52/416.64	c  416s |      17 |   350186 |   294932 |     4242    133 |        0 |        0
418.42/418.56	c  418s |      18 |   351599 |   296252 |     4242    133 |        0 |        0
420.42/420.59	c  420s |      18 |   355034 |   298652 |     4242    134 |        0 |        0
422.52/422.68	c  422s |      18 |   357216 |   300652 |     4242    135 |        0 |        0
424.72/424.80	c  424s |      18 |   359153 |   302452 |     4242    136 |        0 |        0
426.73/426.83	c  426s |      18 |   361272 |   304352 |     4242    136 |        0 |        0
428.72/428.84	c  428s |      18 |   363611 |   306452 |     4242    137 |        0 |        0
430.72/430.84	c  430s |      18 |   365835 |   308352 |     4242    138 |        0 |        0
432.82/432.96	c  432s |      18 |   367608 |   309952 |     4242    138 |        0 |        0
434.82/434.97	c  434s |      18 |   369488 |   311652 |     4242    139 |        0 |        0
436.92/437.07	c  436s |      18 |   371352 |   313352 |     4242    140 |        0 |        0
439.02/439.11	c  438s |      18 |   373208 |   315052 |     4242    140 |        0 |        0
441.03/441.15	c  441s |      18 |   375052 |   316752 |     4242    141 |        0 |        0
443.02/443.19	c  443s |      18 |   377155 |   318552 |     4242    142 |        0 |        0
445.12/445.28	c  445s |      18 |   379241 |   320452 |     4242    142 |        0 |        0
447.22/447.35	c  447s |      18 |   381095 |   322152 |     4242    143 |        0 |        0
449.32/449.43	c  449s |      18 |   383221 |   324052 |     4242    144 |        0 |        0
451.32/451.45	c  451s |      18 |   384965 |   325652 |     4242    144 |        0 |        0
453.42/453.50	c  453s |      18 |   386708 |   327252 |     4242    145 |        0 |        0
455.42/455.56	c  455s |      18 |   388328 |   328752 |     4242    146 |        0 |        0
457.53/457.61	c  457s |      18 |   390205 |   330452 |     4242    146 |        0 |        0
459.62/459.72	c  459s |      18 |   392222 |   332252 |     4242    147 |        0 |        0
461.62/461.77	c  461s |      18 |   393957 |   333852 |     4242    147 |        0 |        0
463.82/463.90	c  463s |      18 |   395686 |   335452 |     4242    148 |        0 |        0
465.82/465.91	c  465s |      18 |   397586 |   337152 |     4242    149 |        0 |        0
467.92/468.00	c  467s |      18 |   399740 |   339052 |     4242    149 |        0 |        0
470.02/470.10	c  469s |      18 |   401523 |   340652 |     4242    150 |        0 |        0
472.02/472.11	c  471s |      18 |   403301 |   342252 |     4242    151 |        0 |        0
474.03/474.16	c  474s |      18 |   405048 |   343852 |     4242    151 |        0 |        0
476.12/476.25	c  476s |      18 |   406683 |   345352 |     4242    152 |        0 |        0
478.22/478.39	c  478s |      18 |   408565 |   347052 |     4242    152 |        0 |        0
480.32/480.44	c  480s |      18 |   410422 |   348752 |     4242    153 |        0 |        0
482.42/482.51	c  482s |      18 |   412172 |   350352 |     4242    154 |        0 |        0
484.42/484.51	c  484s |      18 |   413821 |   351852 |     4242    154 |        0 |        0
486.52/486.60	c  486s |      18 |   415354 |   353252 |     4242    155 |        0 |        0
488.52/488.67	c  488s |      18 |   416962 |   354752 |     4242    155 |        0 |        0
490.52/490.69	c  490s |      18 |   418478 |   356152 |     4242    156 |        0 |        0
492.62/492.78	c  492s |      18 |   421363 |   358452 |     4242    157 |        0 |        0
494.71/494.89	c  494s |      18 |   423366 |   360152 |     4242    157 |        0 |        0
496.81/496.93	c  496s |      18 |   425397 |   361952 |     4242    158 |        0 |        0
498.81/498.98	c  498s |      18 |   427302 |   363652 |     4242    159 |        0 |        0
500.91/501.02	c  500s |      18 |   429308 |   365452 |     4242    159 |        0 |        0
502.91/503.04	c  502s |      18 |   431431 |   367352 |     4242    160 |        0 |        0
504.92/505.09	c  504s |      18 |   433537 |   369252 |     4242    161 |        0 |        0
507.02/507.12	c  506s |      18 |   435401 |   370952 |     4242    161 |        0 |        0
509.01/509.12	c  508s |      18 |   437450 |   372752 |     4242    162 |        0 |        0
511.01/511.15	c  511s |      18 |   439569 |   374652 |     4242    163 |        0 |        0
513.21/513.31	c  513s |      18 |   441504 |   376452 |     4242    164 |        0 |        0
515.21/515.31	c  515s |      18 |   443616 |   378352 |     4242    164 |        0 |        0
517.21/517.33	c  517s |      18 |   445457 |   380052 |     4242    165 |        0 |        0
519.31/519.46	c  519s |      18 |   447327 |   381752 |     4242    166 |        0 |        0
521.42/521.56	c  521s |      18 |   449396 |   383652 |     4242    166 |        0 |        0
523.52/523.66	c  523s |      18 |   451368 |   385452 |     4242    167 |        0 |        0
525.61/525.71	c  525s |      18 |   453160 |   387052 |     4242    168 |        0 |        0
527.61/527.78	c  527s |      18 |   455348 |   389052 |     4242    168 |        0 |        0
529.71/529.86	c  529s |      18 |   457446 |   390852 |     4242    169 |        0 |        0
531.81/531.95	c  531s |      18 |   459515 |   392752 |     4242    170 |        0 |        0
533.91/534.07	c  533s |      18 |   461712 |   394752 |     4242    170 |        0 |        0
536.01/536.15	c  536s |      18 |   463736 |   396552 |     4242    171 |        0 |        0
538.11/538.21	c  538s |      18 |   465578 |   398252 |     4242    172 |        0 |        0
540.11/540.28	c  540s |      18 |   467945 |   400352 |     4242    173 |        0 |        0
542.11/542.29	c  542s |      18 |   470081 |   402252 |     4242    173 |        0 |        0
544.21/544.32	c  544s |      18 |   471931 |   403952 |     4242    174 |        0 |        0
546.20/546.32	c  546s |      18 |   474023 |   405652 |     4242    175 |        0 |        0
548.20/548.34	c  548s |      18 |   476072 |   407352 |     4242    175 |        0 |        0
550.20/550.37	c  550s |      18 |   477638 |   408752 |     4242    176 |        0 |        0
552.21/552.40	c  552s |      18 |   479428 |   410352 |     4242    176 |        0 |        0
554.31/554.46	c  554s |      18 |   481096 |   411852 |     4242    177 |        0 |        0
556.30/556.47	c  556s |      18 |   483171 |   413652 |     4242    178 |        0 |        0
558.40/558.54	c  558s |      18 |   485055 |   415352 |     4242    178 |        0 |        0
560.40/560.58	c  560s |      18 |   486829 |   416952 |     4242    179 |        0 |        0
562.50/562.60	c  562s |      18 |   488875 |   418752 |     4242    179 |        0 |        0
564.51/564.63	c  564s |      18 |   490664 |   420352 |     4242    180 |        0 |        0
566.51/566.66	c  566s |      18 |   492308 |   421852 |     4242    181 |        0 |        0
568.61/568.71	c  568s |      18 |   494227 |   423552 |     4242    181 |        0 |        0
570.61/570.73	c  570s |      18 |   496057 |   425152 |     4242    182 |        0 |        0
572.70/572.88	c  572s |      18 |   497848 |   426752 |     4242    183 |        0 |        0
574.80/574.90	c  574s |      18 |   499872 |   428552 |     4242    183 |        0 |        0
576.80/576.96	c  576s |      18 |   501731 |   430252 |     4242    184 |        0 |        0
578.90/579.08	c  578s |      18 |   503850 |   432152 |     4242    185 |        0 |        0
581.00/581.16	c  581s |      18 |   506113 |   434152 |     4242    185 |        0 |        0
583.10/583.21	c  583s |      18 |   507999 |   435852 |     4242    186 |        0 |        0
585.11/585.28	c  585s |      18 |   509849 |   437552 |     4242    187 |        0 |        0
587.20/587.34	c  587s |      18 |   511750 |   439252 |     4242    187 |        0 |        0
589.30/589.44	c  589s |      18 |   513421 |   440752 |     4242    188 |        0 |        0
591.40/591.51	c  591s |      18 |   515197 |   442352 |     4667    188 |        0 |        0
593.40/593.53	c  593s |      18 |   516855 |   443852 |     4667    189 |        0 |        0
594.10/594.26	c  594s |      19 |   517543 |   444482 |     4667    189 |        0 |        0
596.11/596.29	c  596s |      19 |   520780 |   446782 |     4667    190 |        0 |        0
598.20/598.36	c  598s |      19 |   523029 |   448782 |     4667    190 |        0 |        0
600.30/600.41	c  600s |      19 |   524658 |   450282 |     4667    191 |        0 |        0
602.30/602.48	c  602s |      19 |   526194 |   451682 |     4667    191 |        0 |        0
604.30/604.49	c  604s |      19 |   527604 |   452982 |     4667    192 |        0 |        0
606.50/606.63	c  606s |      19 |   529161 |   454382 |     4667    192 |        0 |        0
608.60/608.74	c  608s |      19 |   530686 |   455782 |     4667    193 |        0 |        0
610.60/610.78	c  610s |      19 |   532313 |   457282 |     4667    193 |        0 |        0
612.60/612.78	c  612s |      19 |   534324 |   458982 |     4667    194 |        0 |        0
614.60/614.78	c  614s |      19 |   536104 |   460582 |     4667    194 |        0 |        0
616.70/616.80	c  616s |      19 |   537896 |   462182 |     4667    195 |        0 |        0
618.70/618.85	c  618s |      19 |   539566 |   463682 |     4667    196 |        0 |        0
620.80/620.95	c  620s |      19 |   541278 |   465282 |     4667    196 |        0 |        0
622.90/623.05	c  622s |      19 |   542996 |   466782 |     4667    197 |        0 |        0
624.90/625.07	c  624s |      19 |   544865 |   468482 |     4667    197 |        0 |        0
627.00/627.11	c  626s |      19 |   546565 |   469982 |     4667    198 |        0 |        0
628.99/629.17	c  629s |      19 |   548333 |   471582 |     4667    198 |        0 |        0
631.09/631.28	c  631s |      19 |   550134 |   473182 |     4667    199 |        0 |        0
633.19/633.38	c  633s |      19 |   551716 |   474582 |     4667    199 |        0 |        0
635.29/635.49	c  635s |      19 |   553223 |   475982 |     4667    200 |        0 |        0
637.39/637.51	c  637s |      19 |   554741 |   477382 |     4667    200 |        0 |        0
639.49/639.61	c  639s |      19 |   556266 |   478782 |     4667    201 |        0 |        0
641.49/641.62	c  641s |      19 |   557689 |   480082 |     4667    201 |        0 |        0
643.50/643.67	c  643s |      19 |   559218 |   481482 |     4667    202 |        0 |        0
645.60/645.74	c  645s |      19 |   560758 |   482882 |     4667    202 |        0 |        0
647.69/647.84	c  647s |      19 |   562213 |   484182 |     4667    203 |        0 |        0
649.69/649.85	c  649s |      19 |   563748 |   485582 |     4667    203 |        0 |        0
651.79/651.96	c  651s |      19 |   565193 |   486882 |     4667    204 |        0 |        0
653.79/653.98	c  653s |      19 |   567085 |   488582 |     4667    204 |        0 |        0
655.89/656.04	c  655s |      19 |   568638 |   489982 |     4667    205 |        0 |        0
657.89/658.08	c  657s |      19 |   570153 |   491382 |     4667    205 |        0 |        0
660.09/660.22	c  660s |      19 |   571482 |   492582 |     4667    206 |        0 |        0
662.09/662.29	c  662s |      19 |   573433 |   494282 |     4667    206 |        0 |        0
664.19/664.30	c  664s |      19 |   575119 |   495782 |     4667    207 |        0 |        0
666.19/666.36	c  666s |      19 |   576875 |   497382 |     4667    207 |        0 |        0
668.19/668.39	c  668s |      19 |   578448 |   498782 |     4667    208 |        0 |        0
670.39/670.53	c  670s |      19 |   580123 |   500282 |     4667    208 |        0 |        0
672.39/672.53	c  672s |      19 |   581337 |   501382 |     4667    209 |        0 |        0
674.39/674.58	c  674s |      19 |   582778 |   502682 |     4667    209 |        0 |        0
676.49/676.62	c  676s |      19 |   584214 |   503982 |     4667    209 |        0 |        0
678.59/678.79	c  678s |      19 |   585660 |   505282 |     4667    210 |        0 |        0
680.68/680.83	c  680s |      19 |   587232 |   506682 |     4667    210 |        0 |        0
682.68/682.84	c  682s |      19 |   588889 |   508182 |     4667    211 |        0 |        0
684.78/684.99	c  684s |      19 |   590526 |   509682 |     4667    211 |        0 |        0
686.88/687.01	c  686s |      19 |   591962 |   510982 |     4667    212 |        0 |        0
688.88/689.04	c  688s |      19 |   593350 |   512282 |     4667    212 |        0 |        0
690.98/691.10	c  690s |      19 |   594547 |   513382 |     4667    213 |        0 |        0
692.99/693.18	c  693s |      19 |   595949 |   514682 |     4667    213 |        0 |        0
695.09/695.23	c  695s |      19 |   597245 |   515882 |     4667    214 |        0 |        0
697.18/697.32	c  697s |      19 |   598844 |   517282 |     4667    214 |        0 |        0
699.28/699.44	c  699s |      19 |   600262 |   518582 |     4667    214 |        0 |        0
701.38/701.56	c  701s |      19 |   601793 |   519982 |     4667    215 |        0 |        0
703.38/703.59	c  703s |      19 |   603081 |   521182 |     4667    215 |        0 |        0
705.58/705.74	c  705s |      19 |   604412 |   522382 |     4667    216 |        0 |        0
707.68/707.80	c  707s |      19 |   605720 |   523582 |     4667    216 |        0 |        0
709.68/709.81	c  709s |      19 |   607174 |   524882 |     4667    217 |        0 |        0
711.68/711.83	c  711s |      19 |   608841 |   526382 |     4667    217 |        0 |        0
713.68/713.85	c  713s |      19 |   610181 |   527582 |     4667    218 |        0 |        0
715.77/715.92	c  715s |      19 |   611352 |   528682 |     4667    218 |        0 |        0
717.77/717.99	c  717s |      19 |   612836 |   529982 |     4667    218 |        0 |        0
719.87/720.04	c  719s |      19 |   614550 |   531482 |     4667    219 |        0 |        0
721.97/722.19	c  722s |      19 |   616199 |   532982 |     4667    219 |        0 |        0
724.07/724.20	c  724s |      19 |   617741 |   534382 |     4667    220 |        0 |        0
726.07/726.28	c  726s |      19 |   619294 |   535782 |     4667    220 |        0 |        0
728.17/728.33	c  728s |      19 |   620751 |   537082 |     4667    221 |        0 |        0
730.17/730.39	c  730s |      19 |   622295 |   538482 |     4667    221 |        0 |        0
732.27/732.40	c  732s |      19 |   623610 |   539682 |     4667    222 |        0 |        0
734.36/734.55	c  734s |      19 |   625124 |   541082 |     4667    222 |        0 |        0
736.46/736.61	c  736s |      19 |   626551 |   542382 |     4667    223 |        0 |        0
738.46/738.66	c  738s |      19 |   628031 |   543682 |     4667    223 |        0 |        0
740.56/740.76	c  740s |      19 |   629612 |   545082 |     4667    224 |        0 |        0
742.56/742.76	c  742s |      19 |   631121 |   546482 |     4667    224 |        0 |        0
744.66/744.84	c  744s |      19 |   632544 |   547782 |     4667    225 |        0 |        0
746.66/746.88	c  746s |      19 |   634074 |   549182 |     4667    225 |        0 |        0
748.86/749.03	c  748s |      19 |   635494 |   550482 |     4667    226 |        0 |        0
750.86/751.06	c  750s |      19 |   636912 |   551782 |     4667    226 |        0 |        0
752.96/753.15	c  753s |      19 |   638337 |   553082 |     4667    226 |        0 |        0
754.96/755.18	c  755s |      19 |   639621 |   554282 |     4667    227 |        0 |        0
756.96/757.19	c  757s |      19 |   640843 |   555382 |     4667    227 |        0 |        0
759.06/759.24	c  759s |      19 |   642496 |   556882 |     4667    228 |        0 |        0
761.06/761.27	c  761s |      19 |   644283 |   558482 |     4667    228 |        0 |        0
763.15/763.37	c  763s |      19 |   645711 |   559782 |     4667    229 |        0 |        0
765.25/765.47	c  765s |      19 |   647147 |   561082 |     4667    229 |        0 |        0
767.45/767.60	c  767s |      19 |   648440 |   562282 |     4667    230 |        0 |        0
769.45/769.66	c  769s |      19 |   649728 |   563482 |     4667    230 |        0 |        0
771.55/771.78	c  771s |      19 |   650909 |   564582 |     4667    230 |        0 |        0
773.65/773.83	c  773s |      19 |   652383 |   565882 |     4667    231 |        0 |        0
775.74/775.93	c  775s |      19 |   653833 |   567182 |     4667    231 |        0 |        0
777.84/778.00	c  777s |      19 |   655142 |   568382 |     4667    232 |        0 |        0
779.85/780.02	c  779s |      19 |   656423 |   569582 |     4667    232 |        0 |        0
781.84/782.03	c  781s |      19 |   657793 |   570782 |     4667    233 |        0 |        0
783.94/784.13	c  783s |      19 |   660028 |   572782 |     4667    233 |        0 |        0
786.04/786.22	c  786s |      19 |   661672 |   574282 |     4667    234 |        0 |        0
788.04/788.25	c  788s |      19 |   663218 |   575682 |     4667    234 |        0 |        0
790.04/790.30	c  790s |      19 |   664512 |   576882 |     4667    235 |        0 |        0
792.14/792.35	c  792s |      19 |   666073 |   578282 |     4667    235 |        0 |        0
794.14/794.38	c  794s |      19 |   667542 |   579582 |     4667    236 |        0 |        0
796.13/796.40	c  796s |      19 |   668982 |   580882 |     4667    236 |        0 |        0
798.23/798.46	c  798s |      19 |   670447 |   582182 |     4667    236 |        0 |        0
800.33/800.55	c  800s |      19 |   672010 |   583582 |     4667    237 |        0 |        0
802.33/802.58	c  802s |      19 |   673465 |   584882 |     4667    237 |        0 |        0
804.43/804.62	c  804s |      19 |   675126 |   586282 |     4667    238 |        0 |        0
806.53/806.79	c  806s |      19 |   676752 |   587682 |     4667    238 |        0 |        0
808.62/808.89	c  808s |      19 |   678263 |   588982 |     4667    239 |        0 |        0
810.82/811.07	c  810s |      19 |   679704 |   590282 |     4667    239 |        0 |        0
813.02/813.22	c  813s |      19 |   681086 |   591482 |     4667    240 |        0 |        0
815.03/815.28	c  815s |      19 |   682393 |   592682 |     4667    240 |        0 |        0
817.13/817.36	c  817s |      19 |   683726 |   593882 |     4667    240 |        0 |        0
819.12/819.38	c  819s |      19 |   685233 |   595182 |     4667    241 |        0 |        0
821.32/821.51	c  821s |      19 |   686559 |   596382 |     4667    241 |        0 |        0
823.32/823.59	c  823s |      19 |   687867 |   597582 |     4667    242 |        0 |        0
825.51/825.78	c  825s |      19 |   689308 |   598882 |     4667    242 |        0 |        0
827.61/827.88	c  827s |      19 |   690403 |   599882 |     4667    243 |        0 |        0
829.71/829.98	c  829s |      19 |   691716 |   601082 |     4667    243 |        0 |        0
831.71/831.99	c  831s |      19 |   693274 |   602382 |     4667    243 |        0 |        0
833.81/834.00	c  833s |      19 |   694619 |   603582 |     4667    244 |        0 |        0
835.91/836.16	c  836s |      19 |   695944 |   604782 |     4667    244 |        0 |        0
837.90/838.20	c  838s |      19 |   697343 |   605982 |     4667    245 |        0 |        0
840.10/840.33	c  840s |      19 |   698785 |   607282 |     4667    245 |        0 |        0
842.20/842.48	c  842s |      19 |   700099 |   608482 |     4667    246 |        0 |        0
844.40/844.66	c  844s |      19 |   701637 |   609882 |     4667    246 |        0 |        0
846.50/846.78	c  846s |      19 |   703081 |   611182 |     4667    246 |        0 |        0
848.70/848.90	c  848s |      19 |   704516 |   612482 |     4667    247 |        0 |        0
850.80/851.05	c  850s |      19 |   705846 |   613682 |     4667    247 |        0 |        0
852.90/853.15	c  853s |      19 |   707035 |   614782 |     4667    248 |        0 |        0
855.00/855.22	c  855s |      19 |   708228 |   615882 |     4667    248 |        0 |        0
857.10/857.30	c  857s |      19 |   709511 |   617082 |     4667    248 |        0 |        0
859.10/859.38	c  859s |      19 |   710581 |   618082 |     4667    249 |        0 |        0
861.30/861.56	c  861s |      19 |   712041 |   619382 |     4667    249 |        0 |        0
863.49/863.75	c  863s |      19 |   713234 |   620482 |     4667    250 |        0 |        0
865.60/865.85	c  865s |      19 |   714841 |   621882 |     4667    250 |        0 |        0
867.70/867.91	c  867s |      19 |   716225 |   623082 |     4667    251 |        0 |        0
869.79/870.04	c  869s |      19 |   717833 |   624482 |     4667    251 |        0 |        0
871.89/872.10	c  871s |      19 |   719165 |   625682 |     4667    251 |        0 |        0
873.99/874.24	c  874s |      19 |   720471 |   626882 |     4667    252 |        0 |        0
876.08/876.30	c  876s |      19 |   721667 |   627982 |     4667    252 |        0 |        0
878.08/878.38	c  878s |      19 |   722986 |   629182 |     4667    253 |        0 |        0
880.18/880.40	c  880s |      19 |   724181 |   630282 |     4667    253 |        0 |        0
882.18/882.45	c  882s |      19 |   725394 |   631382 |     4667    253 |        0 |        0
884.29/884.56	c  884s |      19 |   726910 |   632782 |     4667    254 |        0 |        0
886.28/886.60	c  886s |      19 |   728449 |   634182 |     4667    254 |        0 |        0
888.48/888.76	c  888s |      19 |   729899 |   635482 |     4667    255 |        0 |        0
890.57/890.86	c  890s |      19 |   731240 |   636682 |     4667    255 |        0 |        0
892.57/892.88	c  892s |      19 |   732228 |   637582 |     4667    256 |        0 |        0
894.67/894.98	c  894s |      19 |   733542 |   638782 |     4667    256 |        0 |        0
896.97/897.20	c  897s |      19 |   734869 |   639982 |     4667    256 |        0 |        0
898.97/899.28	c  899s |      19 |   735964 |   640982 |     4667    257 |        0 |        0
901.07/901.34	c  901s |      19 |   737061 |   641982 |     4667    257 |        0 |        0
903.27/903.50	c  903s |      19 |   738609 |   643382 |     4667    258 |        0 |        0
905.37/905.60	c  905s |      19 |   740157 |   644782 |     4667    258 |        0 |        0
907.38/907.64	c  907s |      19 |   741576 |   646082 |     4667    258 |        0 |        0
909.37/909.66	c  909s |      19 |   742940 |   647282 |     4667    259 |        0 |        0
911.47/911.79	c  911s |      19 |   744147 |   648382 |     4667    259 |        0 |        0
913.57/913.85	c  913s |      19 |   745235 |   649382 |     4667    260 |        0 |        0
915.76/916.02	c  915s |      19 |   746532 |   650582 |     4667    260 |        0 |        0
917.76/918.08	c  917s |      19 |   747596 |   651582 |     4667    260 |        0 |        0
919.96/920.25	c  920s |      19 |   748661 |   652582 |     4667    261 |        0 |        0
922.06/922.35	c  922s |      19 |   749975 |   653782 |     4667    261 |        0 |        0
924.06/924.38	c  924s |      19 |   751047 |   654782 |     4667    261 |        0 |        0
926.06/926.38	c  926s |      19 |   752136 |   655782 |     4667    262 |        0 |        0
928.26/928.51	c  928s |      19 |   753320 |   656882 |     4667    262 |        0 |        0
930.25/930.59	c  930s |      19 |   754475 |   657882 |     4667    263 |        0 |        0
932.35/932.65	c  932s |      19 |   756057 |   659282 |     4667    263 |        0 |        0
934.45/934.76	c  934s |      19 |   757481 |   660582 |     4667    263 |        0 |        0
936.55/936.84	c  936s |      19 |   758901 |   661882 |     4667    264 |        0 |        0
938.55/938.87	c  938s |      19 |   760198 |   663082 |     5134    264 |        0 |        0
940.65/940.95	c  940s |      19 |   761349 |   664082 |     5134    265 |        0 |        0
942.75/943.03	c  942s |      19 |   762688 |   665282 |     5134    265 |        0 |        0
944.84/945.15	c  945s |      19 |   763896 |   666382 |     5134    265 |        0 |        0
945.75/946.03	c  945s |      20 |   764406 |   666827 |     5134    265 |        0 |        0
947.74/948.05	c  947s |      20 |   768026 |   668927 |     5134    266 |        0 |        0
949.84/950.10	c  949s |      20 |   770215 |   670827 |     5134    267 |        0 |        0
951.84/952.17	c  952s |      20 |   771983 |   672427 |     5134    267 |        0 |        0
954.04/954.32	c  954s |      20 |   773609 |   673927 |     5134    268 |        0 |        0
956.03/956.38	c  956s |      20 |   775223 |   675427 |     5134    268 |        0 |        0
958.23/958.55	c  958s |      20 |   776680 |   676727 |     5134    269 |        0 |        0
960.33/960.69	c  960s |      20 |   778507 |   678327 |     5134    269 |        0 |        0
962.53/962.83	c  962s |      20 |   780066 |   679727 |     5134    270 |        0 |        0
964.63/964.91	c  964s |      20 |   781730 |   681227 |     5134    270 |        0 |        0
966.74/967.01	c  966s |      20 |   783144 |   682527 |     5134    270 |        0 |        0
968.83/969.11	c  968s |      20 |   784620 |   683827 |     5134    271 |        0 |        0
970.83/971.14	c  970s |      20 |   786196 |   685227 |     5134    271 |        0 |        0
972.83/973.17	c  973s |      20 |   787723 |   686627 |     5134    272 |        0 |        0
974.93/975.23	c  975s |      20 |   789525 |   688227 |     5134    272 |        0 |        0
976.92/977.28	c  977s |      20 |   790928 |   689527 |     5134    273 |        0 |        0
979.12/979.41	c  979s |      20 |   792543 |   691027 |     5134    273 |        0 |        0
981.32/981.63	c  981s |      20 |   793983 |   692327 |     5134    274 |        0 |        0
983.42/983.75	c  983s |      20 |   795653 |   693827 |     5134    274 |        0 |        0
985.42/985.78	c  985s |      20 |   797205 |   695227 |     5134    274 |        0 |        0
987.52/987.89	c  987s |      20 |   798846 |   696727 |     5134    275 |        0 |        0
989.61/989.94	c  989s |      20 |   800370 |   698127 |     5134    275 |        0 |        0
991.61/991.96	c  991s |      20 |   801704 |   699327 |     5134    276 |        0 |        0
993.61/993.98	c  993s |      20 |   803440 |   700927 |     5134    276 |        0 |        0
995.71/996.02	c  995s |      20 |   804812 |   702227 |     5134    277 |        0 |        0
997.71/998.09	c  997s |      20 |   806326 |   703627 |     5134    277 |        0 |        0
999.81/1000.11	c  999s |      20 |   807762 |   704927 |     5134    277 |        0 |        0
1001.81/1002.20	c 1002s |      20 |   809551 |   706527 |     5134    278 |        0 |        0
1003.91/1004.23	c 1004s |      20 |   811104 |   707927 |     5134    278 |        0 |        0
1005.90/1006.28	c 1006s |      20 |   812635 |   709327 |     5134    279 |        0 |        0
1008.00/1008.33	c 1008s |      20 |   813940 |   710527 |     5134    279 |        0 |        0
1010.00/1010.36	c 1010s |      20 |   815494 |   711927 |     5134    280 |        0 |        0
1012.10/1012.46	c 1012s |      20 |   817274 |   713527 |     5134    280 |        0 |        0
1014.10/1014.49	c 1014s |      20 |   818740 |   714827 |     5134    281 |        0 |        0
1016.20/1016.58	c 1016s |      20 |   820292 |   716227 |     5134    281 |        0 |        0
1018.30/1018.69	c 1018s |      20 |   822020 |   717827 |     5134    282 |        0 |        0
1020.39/1020.78	c 1020s |      20 |   823696 |   719327 |     5134    282 |        0 |        0
1022.59/1022.94	c 1022s |      20 |   825110 |   720627 |     5134    282 |        0 |        0
1024.69/1025.01	c 1024s |      20 |   826406 |   721827 |     5134    283 |        0 |        0
1026.79/1027.15	c 1027s |      20 |   828197 |   723427 |     5134    283 |        0 |        0
1028.89/1029.22	c 1029s |      20 |   829727 |   724827 |     5134    284 |        0 |        0
1030.89/1031.24	c 1031s |      20 |   831144 |   726127 |     5134    284 |        0 |        0
1032.99/1033.35	c 1033s |      20 |   832374 |   727227 |     5134    285 |        0 |        0
1034.98/1035.39	c 1035s |      20 |   834116 |   728827 |     5134    285 |        0 |        0
1037.09/1037.49	c 1037s |      20 |   835629 |   730227 |     5134    285 |        0 |        0
1039.19/1039.55	c 1039s |      20 |   837168 |   731627 |     5134    286 |        0 |        0
1041.18/1041.59	c 1041s |      20 |   838562 |   732927 |     5134    286 |        0 |        0
1043.38/1043.70	c 1043s |      20 |   839867 |   734127 |     5134    287 |        0 |        0
1045.38/1045.74	c 1045s |      20 |   841191 |   735327 |     5134    287 |        0 |        0
1047.37/1047.78	c 1047s |      20 |   842639 |   736627 |     5134    288 |        0 |        0
1049.47/1049.87	c 1049s |      20 |   844357 |   738227 |     5134    288 |        0 |        0
1051.67/1052.01	c 1051s |      20 |   845868 |   739627 |     5134    288 |        0 |        0
1053.77/1054.12	c 1053s |      20 |   847400 |   741027 |     5134    289 |        0 |        0
1055.78/1056.16	c 1056s |      20 |   848798 |   742327 |     5134    289 |        0 |        0
1057.88/1058.20	c 1058s |      20 |   849889 |   743327 |     5134    290 |        0 |        0
1059.98/1060.33	c 1060s |      20 |   851413 |   744727 |     5134    290 |        0 |        0
1062.08/1062.49	c 1062s |      20 |   852732 |   745927 |     5134    290 |        0 |        0
1064.28/1064.60	c 1064s |      20 |   854039 |   747127 |     5134    291 |        0 |        0
1066.27/1066.62	c 1066s |      20 |   856341 |   748927 |     5134    291 |        0 |        0
1068.27/1068.68	c 1068s |      20 |   858161 |   750527 |     5134    292 |        0 |        0
1070.37/1070.78	c 1070s |      20 |   859955 |   752127 |     5134    292 |        0 |        0
1072.47/1072.85	c 1072s |      20 |   861633 |   753627 |     5134    293 |        0 |        0
1074.47/1074.87	c 1074s |      20 |   863177 |   755027 |     5134    293 |        0 |        0
1076.57/1076.96	c 1076s |      20 |   864960 |   756627 |     5134    294 |        0 |        0
1078.66/1079.10	c 1078s |      20 |   866629 |   758127 |     5134    294 |        0 |        0
1080.76/1081.13	c 1080s |      20 |   868376 |   759627 |     5134    295 |        0 |        0
1082.76/1083.18	c 1083s |      20 |   870374 |   761427 |     5134    295 |        0 |        0
1084.86/1085.24	c 1085s |      20 |   872129 |   763027 |     5134    296 |        0 |        0
1086.86/1087.29	c 1087s |      20 |   873710 |   764427 |     5134    296 |        0 |        0
1088.96/1089.32	c 1089s |      20 |   875268 |   765727 |     5134    297 |        0 |        0
1090.96/1091.35	c 1091s |      20 |   876722 |   767027 |     5134    297 |        0 |        0
1093.06/1093.45	c 1093s |      20 |   878061 |   768227 |     5134    298 |        0 |        0
1095.16/1095.56	c 1095s |      20 |   879735 |   769727 |     5134    298 |        0 |        0
1097.35/1097.71	c 1097s |      20 |   881205 |   771027 |     5134    298 |        0 |        0
1099.35/1099.72	c 1099s |      20 |   882886 |   772527 |     5134    299 |        0 |        0
1101.45/1101.84	c 1101s |      20 |   884432 |   773927 |     5134    299 |        0 |        0
1103.45/1103.88	c 1103s |      20 |   886090 |   775427 |     5134    300 |        0 |        0
1105.55/1105.93	c 1105s |      20 |   887684 |   776827 |     5134    300 |        0 |        0
1107.65/1108.06	c 1107s |      20 |   889354 |   778327 |     5134    301 |        0 |        0
1109.85/1110.20	c 1110s |      20 |   890672 |   779527 |     5134    301 |        0 |        0
1111.85/1112.28	c 1112s |      20 |   891749 |   780527 |     5134    301 |        0 |        0
1113.84/1114.29	c 1114s |      20 |   893037 |   781727 |     5134    302 |        0 |        0
1115.94/1116.39	c 1116s |      20 |   894349 |   782927 |     5134    302 |        0 |        0
1118.04/1118.41	c 1118s |      20 |   895556 |   784027 |     5134    303 |        0 |        0
1120.04/1120.46	c 1120s |      20 |   896736 |   785127 |     5134    303 |        0 |        0
1122.04/1122.46	c 1122s |      20 |   898046 |   786327 |     5134    303 |        0 |        0
1124.14/1124.57	c 1124s |      20 |   899352 |   787527 |     5134    304 |        0 |        0
1126.23/1126.68	c 1126s |      20 |   900654 |   788727 |     5134    304 |        0 |        0
1128.34/1128.75	c 1128s |      20 |   902265 |   790127 |     5134    305 |        0 |        0
1130.44/1130.86	c 1130s |      20 |   904031 |   791727 |     5134    305 |        0 |        0
1132.43/1132.87	c 1132s |      20 |   905446 |   793027 |     5134    305 |        0 |        0
1134.73/1135.18	c 1135s |      20 |   906836 |   794327 |     5134    306 |        0 |        0
1136.83/1137.28	c 1137s |      20 |   908638 |   795927 |     5134    306 |        0 |        0
1138.93/1139.39	c 1139s |      20 |   910025 |   797227 |     5134    307 |        0 |        0
1140.93/1141.39	c 1141s |      20 |   911366 |   798427 |     5134    307 |        0 |        0
1143.03/1143.47	c 1143s |      20 |   912775 |   799727 |     5134    308 |        0 |        0
1145.13/1145.58	c 1145s |      20 |   914643 |   801227 |     5134    308 |        0 |        0
1147.22/1147.69	c 1147s |      20 |   916237 |   802627 |     5134    309 |        0 |        0
1149.32/1149.77	c 1149s |      20 |   917888 |   804127 |     5134    309 |        0 |        0
1151.43/1151.87	c 1151s |      20 |   919317 |   805427 |     5134    309 |        0 |        0
1153.63/1154.02	c 1153s |      20 |   920633 |   806627 |     5134    310 |        0 |        0
1155.62/1156.07	c 1155s |      20 |   922424 |   808227 |     5134    310 |        0 |        0
1157.72/1158.14	c 1157s |      20 |   923940 |   809627 |     5134    311 |        0 |        0
1159.91/1160.30	c 1160s |      20 |   925353 |   810927 |     5134    311 |        0 |        0
1161.91/1162.37	c 1162s |      20 |   926769 |   812227 |     5134    312 |        0 |        0
1164.01/1164.40	c 1164s |      20 |   928399 |   813627 |     5134    312 |        0 |        0
1166.02/1166.49	c 1166s |      20 |   930169 |   815127 |     5134    312 |        0 |        0
1168.12/1168.55	c 1168s |      20 |   931617 |   816427 |     5134    313 |        0 |        0
1170.13/1170.57	c 1170s |      20 |   933133 |   817827 |     5134    313 |        0 |        0
1172.32/1172.71	c 1172s |      20 |   934514 |   819127 |     5134    314 |        0 |        0
1174.32/1174.76	c 1174s |      20 |   935935 |   820427 |     5134    314 |        0 |        0
1176.41/1176.83	c 1176s |      20 |   937236 |   821627 |     5134    315 |        0 |        0
1178.51/1178.99	c 1178s |      20 |   938796 |   823027 |     5134    315 |        0 |        0
1180.61/1181.08	c 1180s |      20 |   940227 |   824327 |     5134    315 |        0 |        0
1182.71/1183.19	c 1183s |      20 |   941892 |   825827 |     5134    316 |        0 |        0
1184.91/1185.30	c 1185s |      20 |   943411 |   827227 |     5134    316 |        0 |        0
1186.90/1187.32	c 1187s |      20 |   944831 |   828527 |     5134    317 |        0 |        0
1189.00/1189.44	c 1189s |      20 |   946484 |   830027 |     5134    317 |        0 |        0
1191.01/1191.45	c 1191s |      20 |   947921 |   831327 |     5134    318 |        0 |        0
1193.11/1193.56	c 1193s |      20 |   949439 |   832727 |     5134    318 |        0 |        0
1195.31/1195.71	c 1195s |      20 |   950953 |   834127 |     5134    319 |        0 |        0
1197.30/1197.72	c 1197s |      20 |   952273 |   835327 |     5134    319 |        0 |        0
1199.39/1199.82	c 1199s |      20 |   954150 |   837027 |     5134    319 |        0 |        0
1201.49/1201.90	c 1201s |      20 |   955934 |   838627 |     5134    320 |        0 |        0
1203.49/1203.92	c 1203s |      20 |   957512 |   840027 |     5134    320 |        0 |        0
1205.59/1206.07	c 1205s |      20 |   959296 |   841627 |     5134    321 |        0 |        0
1207.79/1208.26	c 1208s |      20 |   960697 |   842927 |     5134    321 |        0 |        0
1209.99/1210.40	c 1210s |      20 |   962120 |   844227 |     5134    322 |        0 |        0
1211.99/1212.42	c 1212s |      20 |   963318 |   845327 |     5134    322 |        0 |        0
1214.19/1214.60	c 1214s |      20 |   964619 |   846527 |     5134    322 |        0 |        0
1216.19/1216.61	c 1216s |      20 |   965928 |   847727 |     5134    323 |        0 |        0
1218.28/1218.75	c 1218s |      20 |   967990 |   849527 |     5134    323 |        0 |        0
1220.38/1220.81	c 1220s |      20 |   969644 |   851027 |     5134    324 |        0 |        0
1222.38/1222.86	c 1222s |      20 |   971301 |   852527 |     5134    324 |        0 |        0
1224.48/1224.98	c 1224s |      20 |   972761 |   853827 |     5134    325 |        0 |        0
1226.48/1226.99	c 1226s |      20 |   974293 |   855227 |     5134    325 |        0 |        0
1228.58/1229.02	c 1228s |      20 |   975582 |   856427 |     5134    326 |        0 |        0
1230.58/1231.05	c 1230s |      20 |   977091 |   857827 |     5134    326 |        0 |        0
1232.57/1233.08	c 1232s |      20 |   978373 |   859027 |     5134    326 |        0 |        0
1234.67/1235.14	c 1234s |      20 |   979900 |   860427 |     5134    327 |        0 |        0
1236.77/1237.27	c 1237s |      20 |   981426 |   861827 |     5134    327 |        0 |        0
1238.87/1239.34	c 1239s |      20 |   983058 |   863227 |     5134    328 |        0 |        0
1240.87/1241.38	c 1241s |      20 |   984777 |   864727 |     5134    328 |        0 |        0
1242.97/1243.49	c 1243s |      20 |   986367 |   866127 |     5134    329 |        0 |        0
1245.17/1245.62	c 1245s |      20 |   988072 |   867627 |     5134    329 |        0 |        0
1247.16/1247.67	c 1247s |      20 |   989411 |   868827 |     5134    330 |        0 |        0
1249.27/1249.77	c 1249s |      20 |   991140 |   870327 |     5134    330 |        0 |        0
1251.26/1251.80	c 1251s |      20 |   992829 |   871827 |     5134    331 |        0 |        0
1253.36/1253.84	c 1253s |      20 |   994349 |   873227 |     5134    331 |        0 |        0
1255.36/1255.89	c 1255s |      20 |   995895 |   874627 |     5134    331 |        0 |        0
1257.46/1257.95	c 1257s |      20 |   997469 |   876027 |     5134    332 |        0 |        0
1259.56/1260.09	c 1259s |      20 |   999021 |   877427 |     5134    332 |        0 |        0
1261.66/1262.19	c 1262s |      20 |  1000305 |   878627 |     5134    333 |        0 |        0
1263.86/1264.35	c 1264s |      20 |  1001863 |   880027 |     5134    333 |        0 |        0
1265.95/1266.43	c 1266s |      20 |  1003283 |   881327 |     5134    334 |        0 |        0
1267.96/1268.48	c 1268s |      20 |  1004722 |   882627 |     5134    334 |        0 |        0
1270.16/1270.66	c 1270s |      20 |  1006022 |   883827 |     5134    334 |        0 |        0
1272.15/1272.67	c 1272s |      20 |  1007226 |   884927 |     5134    335 |        0 |        0
1274.25/1274.70	c 1274s |      20 |  1008413 |   886027 |     5134    335 |        0 |        0
1276.25/1276.77	c 1276s |      20 |  1009900 |   887327 |     5134    335 |        0 |        0
1278.35/1278.89	c 1278s |      20 |  1011720 |   888927 |     5134    336 |        0 |        0
1280.55/1281.02	c 1280s |      20 |  1013393 |   890427 |     5134    336 |        0 |        0
1282.65/1283.12	c 1282s |      20 |  1014924 |   891827 |     5134    337 |        0 |        0
1284.75/1285.28	c 1285s |      20 |  1016398 |   893227 |     5134    337 |        0 |        0
1286.94/1287.40	c 1287s |      20 |  1017846 |   894527 |     5134    338 |        0 |        0
1288.94/1289.47	c 1289s |      20 |  1019376 |   895927 |     5134    338 |        0 |        0
1291.14/1291.60	c 1291s |      20 |  1020681 |   897127 |     5134    339 |        0 |        0
1293.15/1293.64	c 1293s |      20 |  1022190 |   898527 |     5134    339 |        0 |        0
1295.24/1295.80	c 1295s |      20 |  1023503 |   899727 |     5134    339 |        0 |        0
1297.33/1297.81	c 1297s |      20 |  1025214 |   901227 |     5134    340 |        0 |        0
1299.43/1299.94	c 1299s |      20 |  1026870 |   902627 |     5134    340 |        0 |        0
1301.43/1301.94	c 1301s |      20 |  1028219 |   903827 |     5134    341 |        0 |        0
1303.53/1304.06	c 1303s |      20 |  1029923 |   905327 |     5134    341 |        0 |        0
1305.53/1306.08	c 1305s |      20 |  1031391 |   906627 |     5134    342 |        0 |        0
1307.63/1308.13	c 1307s |      20 |  1033047 |   908127 |     5134    342 |        0 |        0
1309.74/1310.25	c 1310s |      20 |  1034486 |   909427 |     5134    342 |        0 |        0
1311.73/1312.26	c 1312s |      20 |  1036065 |   910827 |     5134    343 |        0 |        0
1313.93/1314.43	c 1314s |      20 |  1037595 |   912227 |     5134    343 |        0 |        0
1316.24/1316.71	c 1316s |      20 |  1039116 |   913627 |     5134    344 |        0 |        0
1318.33/1318.83	c 1318s |      20 |  1040429 |   914827 |     5134    344 |        0 |        0
1320.43/1320.91	c 1320s |      20 |  1042134 |   916227 |     5134    345 |        0 |        0
1322.43/1322.94	c 1322s |      20 |  1043843 |   917727 |     5134    345 |        0 |        0
1324.53/1325.06	c 1324s |      20 |  1045283 |   919027 |     5134    346 |        0 |        0
1326.53/1327.09	c 1326s |      20 |  1046937 |   920527 |     5134    346 |        0 |        0
1328.63/1329.19	c 1329s |      20 |  1048238 |   921727 |     5134    346 |        0 |        0
1330.73/1331.24	c 1331s |      20 |  1049636 |   923027 |     5134    347 |        0 |        0
1332.83/1333.33	c 1333s |      20 |  1051144 |   924427 |     5134    347 |        0 |        0
1334.83/1335.34	c 1335s |      20 |  1052557 |   925727 |     5134    348 |        0 |        0
1336.92/1337.43	c 1337s |      20 |  1054099 |   927127 |     5134    348 |        0 |        0
1339.02/1339.50	c 1339s |      20 |  1055577 |   928427 |     5134    349 |        0 |        0
1341.02/1341.55	c 1341s |      20 |  1057351 |   930027 |     5134    349 |        0 |        0
1343.12/1343.65	c 1343s |      20 |  1058892 |   931427 |     5134    349 |        0 |        0
1345.12/1345.66	c 1345s |      20 |  1060432 |   932827 |     5134    350 |        0 |        0
1347.22/1347.75	c 1347s |      20 |  1062002 |   934227 |     5134    350 |        0 |        0
1349.32/1349.84	c 1349s |      20 |  1063660 |   935727 |     5134    351 |        0 |        0
1351.42/1351.97	c 1351s |      20 |  1065292 |   937227 |     5134    351 |        0 |        0
1353.51/1354.02	c 1353s |      20 |  1066635 |   938427 |     5134    352 |        0 |        0
1355.51/1356.06	c 1355s |      20 |  1068297 |   939927 |     5134    352 |        0 |        0
1357.61/1358.10	c 1357s |      20 |  1069724 |   941227 |     5134    353 |        0 |        0
1359.61/1360.12	c 1359s |      20 |  1071132 |   942527 |     5134    353 |        0 |        0
1361.61/1362.15	c 1362s |      20 |  1072472 |   943727 |     5134    353 |        0 |        0
1363.62/1364.20	c 1364s |      20 |  1073907 |   945027 |     5134    354 |        0 |        0
1365.82/1366.31	c 1366s |      20 |  1075407 |   946427 |     5134    354 |        0 |        0
1367.81/1368.40	c 1368s |      20 |  1076771 |   947627 |     5134    355 |        0 |        0
1370.01/1370.54	c 1370s |      20 |  1078437 |   949127 |     5134    355 |        0 |        0
1372.11/1372.67	c 1372s |      20 |  1079871 |   950427 |     5134    356 |        0 |        0
1374.21/1374.73	c 1374s |      20 |  1081306 |   951727 |     5134    356 |        0 |        0
1376.21/1376.75	c 1376s |      20 |  1083007 |   953127 |     5134    356 |        0 |        0
1378.21/1378.79	c 1378s |      20 |  1084484 |   954427 |     5134    357 |        0 |        0
1380.41/1380.92	c 1380s |      20 |  1086108 |   955827 |     5134    357 |        0 |        0
1382.50/1383.01	c 1382s |      20 |  1087565 |   957127 |     5134    358 |        0 |        0
1384.60/1385.12	c 1384s |      20 |  1089214 |   958627 |     5134    358 |        0 |        0
1386.80/1387.34	c 1387s |      20 |  1090686 |   959927 |     5134    359 |        0 |        0
1388.91/1389.43	c 1389s |      20 |  1092342 |   961427 |     5134    359 |        0 |        0
1391.01/1391.51	c 1391s |      20 |  1093651 |   962627 |     5134    359 |        0 |        0
1393.10/1393.60	c 1393s |      20 |  1095062 |   963927 |     5134    360 |        0 |        0
1395.20/1395.73	c 1395s |      20 |  1096491 |   965227 |     5134    360 |        0 |        0
1397.20/1397.77	c 1397s |      20 |  1097698 |   966327 |     5134    361 |        0 |        0
1399.30/1399.87	c 1399s |      20 |  1099263 |   967727 |     5134    361 |        0 |        0
1401.40/1401.92	c 1401s |      20 |  1100595 |   968927 |     5134    361 |        0 |        0
1403.40/1403.94	c 1403s |      20 |  1101870 |   970127 |     5134    362 |        0 |        0
1405.50/1406.05	c 1405s |      20 |  1103162 |   971327 |     5134    362 |        0 |        0
1407.61/1408.15	c 1408s |      20 |  1104639 |   972627 |     5134    363 |        0 |        0
1409.70/1410.22	c 1410s |      20 |  1106288 |   974127 |     5134    363 |        0 |        0
1411.70/1412.28	c 1412s |      20 |  1107705 |   975427 |     5134    363 |        0 |        0
1413.80/1414.30	c 1414s |      20 |  1108909 |   976527 |     5134    364 |        0 |        0
1415.80/1416.31	c 1416s |      20 |  1110215 |   977727 |     5134    364 |        0 |        0
1417.90/1418.45	c 1418s |      20 |  1111287 |   978727 |     5134    365 |        0 |        0
1419.90/1420.46	c 1420s |      20 |  1112723 |   980027 |     5134    365 |        0 |        0
1422.00/1422.51	c 1422s |      20 |  1114286 |   981427 |     5134    365 |        0 |        0
1424.00/1424.52	c 1424s |      20 |  1115681 |   982727 |     5134    366 |        0 |        0
1426.00/1426.53	c 1426s |      20 |  1116875 |   983827 |     5134    366 |        0 |        0
1428.09/1428.69	c 1428s |      20 |  1117958 |   984827 |     5134    366 |        0 |        0
1430.29/1430.84	c 1430s |      20 |  1119694 |   986227 |     5134    367 |        0 |        0
1432.39/1432.98	c 1432s |      20 |  1121263 |   987627 |     5134    367 |        0 |        0
1434.49/1435.08	c 1434s |      20 |  1122876 |   989027 |     5134    368 |        0 |        0
1436.69/1437.21	c 1437s |      20 |  1124598 |   990527 |     5134    368 |        0 |        0
1438.69/1439.23	c 1439s |      20 |  1125815 |   991627 |     5134    369 |        0 |        0
1440.79/1441.34	c 1441s |      20 |  1127238 |   992927 |     5134    369 |        0 |        0
1442.80/1443.34	c 1443s |      20 |  1128477 |   994027 |     5648    369 |        0 |        0
1444.90/1445.42	c 1445s |      20 |  1129806 |   995227 |     5648    370 |        0 |        0
1446.89/1447.46	c 1447s |      20 |  1131147 |   996427 |     5648    370 |        0 |        0
1449.09/1449.62	c 1449s |      20 |  1132434 |   997627 |     5648    370 |        0 |        0
1451.09/1451.68	c 1451s |      20 |  1133634 |   998727 |     5648    371 |        0 |        0
1453.29/1453.84	c 1453s |      20 |  1135211 |  1000127 |     5648    371 |        0 |        0
1453.70/1454.22	c 1454s |      21 |  1135453 |  1000345 |     5648    371 |        0 |        0
1455.70/1456.25	c 1456s |      21 |  1137761 |  1001845 |     5648    372 |        0 |        0
1457.80/1458.34	c 1458s |      21 |  1139454 |  1003345 |     5648    372 |        0 |        0
1459.80/1460.37	c 1460s |      21 |  1140779 |  1004545 |     5648    372 |        0 |        0
1461.89/1462.49	c 1462s |      21 |  1141983 |  1005645 |     5648    373 |        0 |        0
1463.99/1464.51	c 1464s |      21 |  1143052 |  1006645 |     5648    373 |        0 |        0
1466.09/1466.61	c 1466s |      21 |  1144135 |  1007645 |     5648    373 |        0 |        0
1468.19/1468.74	c 1468s |      21 |  1145113 |  1008545 |     5648    373 |        0 |        0
1470.30/1470.88	c 1470s |      21 |  1146086 |  1009445 |     5648    374 |        0 |        0
1472.40/1472.91	c 1472s |      21 |  1147049 |  1010345 |     5648    374 |        0 |        0
1474.49/1475.10	c 1474s |      21 |  1148313 |  1011345 |     5648    374 |        0 |        0
1476.69/1477.29	c 1477s |      21 |  1149425 |  1012345 |     5648    375 |        0 |        0
1478.89/1479.44	c 1479s |      21 |  1150534 |  1013345 |     5648    375 |        0 |        0
1480.99/1481.50	c 1481s |      21 |  1151640 |  1014345 |     5648    375 |        0 |        0
1483.09/1483.68	c 1483s |      21 |  1152746 |  1015345 |     5648    375 |        0 |        0
1485.19/1485.71	c 1485s |      21 |  1153740 |  1016245 |     5648    376 |        0 |        0
1487.29/1487.84	c 1487s |      21 |  1154871 |  1017245 |     5648    376 |        0 |        0
1489.39/1489.97	c 1489s |      21 |  1156135 |  1018345 |     5648    376 |        0 |        0
1491.49/1492.00	c 1491s |      21 |  1157113 |  1019245 |     5648    377 |        0 |        0
1493.59/1494.15	c 1494s |      21 |  1158206 |  1020245 |     5648    377 |        0 |        0
1495.79/1496.33	c 1496s |      21 |  1159440 |  1021345 |     5648    377 |        0 |        0
1497.80/1498.38	c 1498s |      21 |  1160441 |  1022245 |     5648    378 |        0 |        0
1500.09/1500.60	c 1500s |      21 |  1161552 |  1023245 |     5648    378 |        0 |        0
1502.29/1502.82	c 1502s |      21 |  1162669 |  1024245 |     5648    378 |        0 |        0
1504.39/1504.91	c 1504s |      21 |  1163664 |  1025145 |     5648    378 |        0 |        0
1506.39/1507.00	c 1506s |      21 |  1164535 |  1025945 |     5648    379 |        0 |        0
1508.59/1509.19	c 1509s |      21 |  1165520 |  1026845 |     5648    379 |        0 |        0
1510.79/1511.36	c 1511s |      21 |  1166639 |  1027845 |     5648    379 |        0 |        0
1512.99/1513.53	c 1513s |      21 |  1167661 |  1028745 |     5648    379 |        0 |        0
1515.19/1515.75	c 1515s |      21 |  1168758 |  1029745 |     5648    380 |        0 |        0
1517.18/1517.80	c 1517s |      21 |  1169745 |  1030645 |     5648    380 |        0 |        0
1519.28/1519.84	c 1519s |      21 |  1170626 |  1031445 |     5648    380 |        0 |        0
1521.68/1522.22	c 1522s |      21 |  1171599 |  1032345 |     5648    381 |        0 |        0
1523.78/1524.37	c 1524s |      21 |  1172564 |  1033245 |     5648    381 |        0 |        0
1525.88/1526.41	c 1526s |      21 |  1173425 |  1034045 |     5648    381 |        0 |        0
1527.88/1528.41	c 1528s |      21 |  1174167 |  1034745 |     5648    381 |        0 |        0
1530.08/1530.69	c 1530s |      21 |  1175018 |  1035545 |     5648    381 |        0 |        0
1532.28/1532.80	c 1532s |      21 |  1176011 |  1036445 |     5648    382 |        0 |        0
1534.28/1534.89	c 1534s |      21 |  1177124 |  1037445 |     5648    382 |        0 |        0
1536.48/1537.01	c 1536s |      21 |  1178132 |  1038345 |     5648    382 |        0 |        0
1538.58/1539.13	c 1538s |      21 |  1179013 |  1039145 |     5648    383 |        0 |        0
1540.59/1541.18	c 1541s |      21 |  1179884 |  1039945 |     5648    383 |        0 |        0
1542.79/1543.39	c 1543s |      21 |  1180745 |  1040745 |     5648    383 |        0 |        0
1544.88/1545.49	c 1545s |      21 |  1181786 |  1041645 |     5648    383 |        0 |        0
1546.98/1547.52	c 1547s |      21 |  1182776 |  1042545 |     5648    384 |        0 |        0
1549.08/1549.62	c 1549s |      21 |  1183986 |  1043645 |     5648    384 |        0 |        0
1551.18/1551.74	c 1551s |      21 |  1185098 |  1044645 |     5648    384 |        0 |        0
1553.38/1553.94	c 1553s |      21 |  1185966 |  1045445 |     5648    384 |        0 |        0
1555.38/1555.97	c 1555s |      21 |  1186740 |  1046145 |     5648    385 |        0 |        0
1557.48/1558.07	c 1557s |      21 |  1187967 |  1047245 |     5648    385 |        0 |        0
1559.58/1560.19	c 1560s |      21 |  1189193 |  1048345 |     5648    385 |        0 |        0
1561.88/1562.43	c 1562s |      21 |  1190299 |  1049345 |     5648    386 |        0 |        0
1563.88/1564.44	c 1564s |      21 |  1191292 |  1050245 |     5648    386 |        0 |        0
1565.88/1566.48	c 1566s |      21 |  1192161 |  1051045 |     5648    386 |        0 |        0
1567.98/1568.54	c 1568s |      21 |  1193234 |  1052045 |     5648    386 |        0 |        0
1570.08/1570.64	c 1570s |      21 |  1194232 |  1052945 |     5648    387 |        0 |        0
1572.28/1572.85	c 1572s |      21 |  1195316 |  1053945 |     5648    387 |        0 |        0
1574.37/1574.99	c 1574s |      21 |  1196426 |  1054945 |     5648    387 |        0 |        0
1576.67/1577.23	c 1577s |      21 |  1197399 |  1055845 |     5648    387 |        0 |        0
1578.77/1579.38	c 1579s |      21 |  1198273 |  1056645 |     5648    388 |        0 |        0
1580.87/1581.40	c 1581s |      21 |  1199138 |  1057445 |     5648    388 |        0 |        0
1582.87/1583.43	c 1583s |      21 |  1199788 |  1058045 |     5648    388 |        0 |        0
1585.07/1585.64	c 1585s |      21 |  1200539 |  1058745 |     5648    388 |        0 |        0
1587.47/1588.01	c 1587s |      21 |  1201289 |  1059445 |     5648    389 |        0 |        0
1589.47/1590.02	c 1589s |      21 |  1202036 |  1060145 |     5648    389 |        0 |        0
1591.57/1592.17	c 1592s |      21 |  1202801 |  1060845 |     5648    389 |        0 |        0
1593.77/1594.39	c 1594s |      21 |  1203687 |  1061645 |     5648    389 |        0 |        0
1596.07/1596.62	c 1596s |      21 |  1204467 |  1062345 |     5648    389 |        0 |        0
1598.07/1598.63	c 1598s |      21 |  1205550 |  1063345 |     5648    390 |        0 |        0
1600.17/1600.78	c 1600s |      21 |  1206525 |  1064245 |     5648    390 |        0 |        0
1602.17/1602.78	c 1602s |      21 |  1207505 |  1065145 |     5648    390 |        0 |        0
1604.47/1605.02	c 1604s |      21 |  1208480 |  1066045 |     5648    390 |        0 |        0
1606.67/1607.27	c 1607s |      21 |  1209337 |  1066845 |     5648    391 |        0 |        0
1608.77/1609.38	c 1609s |      21 |  1210305 |  1067745 |     5648    391 |        0 |        0
1610.97/1611.56	c 1611s |      21 |  1211276 |  1068645 |     5648    391 |        0 |        0
1613.06/1613.62	c 1613s |      21 |  1212129 |  1069445 |     5648    391 |        0 |        0
1615.07/1615.68	c 1615s |      21 |  1212872 |  1070145 |     5648    392 |        0 |        0
1617.27/1617.83	c 1617s |      21 |  1213716 |  1070945 |     5648    392 |        0 |        0
1619.47/1620.07	c 1619s |      21 |  1214555 |  1071745 |     5648    392 |        0 |        0
1621.57/1622.15	c 1622s |      21 |  1215211 |  1072345 |     5648    392 |        0 |        0
1623.67/1624.22	c 1624s |      21 |  1216202 |  1073245 |     5648    393 |        0 |        0
1625.67/1626.23	c 1626s |      21 |  1217187 |  1074145 |     5648    393 |        0 |        0
1627.77/1628.39	c 1628s |      21 |  1218327 |  1075145 |     5648    393 |        0 |        0
1629.87/1630.40	c 1630s |      21 |  1219305 |  1076045 |     5648    393 |        0 |        0
1631.98/1632.58	c 1632s |      21 |  1220427 |  1077045 |     5648    394 |        0 |        0
1634.18/1634.73	c 1634s |      21 |  1221544 |  1078045 |     5648    394 |        0 |        0
1636.17/1636.74	c 1636s |      21 |  1222422 |  1078845 |     5648    394 |        0 |        0
1638.17/1638.75	c 1638s |      21 |  1223285 |  1079645 |     5648    394 |        0 |        0
1640.37/1640.92	c 1640s |      21 |  1224266 |  1080545 |     5648    395 |        0 |        0
1642.57/1643.14	c 1642s |      21 |  1225345 |  1081545 |     5648    395 |        0 |        0
1644.67/1645.21	c 1645s |      21 |  1226325 |  1082445 |     5648    395 |        0 |        0
1646.67/1647.28	c 1647s |      21 |  1227174 |  1083245 |     5648    396 |        0 |        0
1648.87/1649.47	c 1649s |      21 |  1228279 |  1084245 |     5648    396 |        0 |        0
1650.96/1651.55	c 1651s |      21 |  1229266 |  1085145 |     5648    396 |        0 |        0
1653.06/1653.70	c 1653s |      21 |  1230144 |  1085945 |     5648    396 |        0 |        0
1655.16/1655.76	c 1655s |      21 |  1230913 |  1086645 |     5648    397 |        0 |        0
1657.36/1657.97	c 1657s |      21 |  1231976 |  1087645 |     5648    397 |        0 |        0
1659.56/1660.17	c 1660s |      21 |  1232976 |  1088545 |     5648    397 |        0 |        0
1661.67/1662.22	c 1662s |      21 |  1233928 |  1089345 |     5648    397 |        0 |        0
1663.77/1664.32	c 1664s |      21 |  1234964 |  1090245 |     5648    398 |        0 |        0
1665.86/1666.46	c 1666s |      21 |  1236065 |  1091245 |     5648    398 |        0 |        0
1667.96/1668.58	c 1668s |      21 |  1237184 |  1092245 |     5648    398 |        0 |        0
1670.06/1670.61	c 1670s |      21 |  1238173 |  1093145 |     5648    398 |        0 |        0
1672.06/1672.63	c 1672s |      21 |  1239191 |  1094045 |     5648    399 |        0 |        0
1674.16/1674.70	c 1674s |      21 |  1240192 |  1094945 |     5648    399 |        0 |        0
1676.26/1676.86	c 1676s |      21 |  1241164 |  1095845 |     5648    399 |        0 |        0
1678.36/1678.92	c 1678s |      21 |  1242057 |  1096645 |     5648    399 |        0 |        0
1680.36/1680.93	c 1680s |      21 |  1242918 |  1097445 |     5648    400 |        0 |        0
1682.36/1682.99	c 1682s |      21 |  1243783 |  1098245 |     5648    400 |        0 |        0
1684.56/1685.15	c 1685s |      21 |  1244650 |  1099045 |     5648    400 |        0 |        0
1686.66/1687.25	c 1687s |      21 |  1245664 |  1099945 |     5648    400 |        0 |        0
1688.76/1689.31	c 1689s |      21 |  1246789 |  1100945 |     5648    401 |        0 |        0
1690.76/1691.38	c 1691s |      21 |  1247881 |  1101945 |     5648    401 |        0 |        0
1693.06/1693.64	c 1693s |      21 |  1248992 |  1102945 |     5648    401 |        0 |        0
1695.06/1695.68	c 1695s |      21 |  1249865 |  1103745 |     5648    402 |        0 |        0
1697.26/1697.82	c 1697s |      21 |  1250968 |  1104745 |     5648    402 |        0 |        0
1699.35/1699.94	c 1699s |      21 |  1252045 |  1105745 |     5648    402 |        0 |        0
1701.35/1701.96	c 1701s |      21 |  1252931 |  1106545 |     5648    402 |        0 |        0
1703.36/1703.98	c 1703s |      21 |  1253682 |  1107245 |     5648    403 |        0 |        0
1705.45/1706.08	c 1705s |      21 |  1254779 |  1108245 |     5648    403 |        0 |        0
1707.65/1708.21	c 1708s |      21 |  1255766 |  1109145 |     5648    403 |        0 |        0
1709.85/1710.42	c 1710s |      21 |  1256755 |  1110045 |     5648    403 |        0 |        0
1711.85/1712.42	c 1712s |      21 |  1257631 |  1110845 |     5648    404 |        0 |        0
1713.95/1714.55	c 1714s |      21 |  1258576 |  1111745 |     5648    404 |        0 |        0
1716.15/1716.78	c 1716s |      21 |  1259443 |  1112545 |     5648    404 |        0 |        0
1718.35/1718.97	c 1718s |      21 |  1260219 |  1113245 |     5648    404 |        0 |        0
1720.35/1720.99	c 1720s |      21 |  1261084 |  1114045 |     5648    405 |        0 |        0
1722.45/1723.07	c 1722s |      21 |  1261988 |  1114845 |     5648    405 |        0 |        0
1724.55/1725.18	c 1725s |      21 |  1262948 |  1115745 |     5648    405 |        0 |        0
1726.75/1727.30	c 1727s |      21 |  1263946 |  1116645 |     5648    405 |        0 |        0
1728.76/1729.34	c 1729s |      21 |  1264909 |  1117545 |     5648    406 |        0 |        0
1730.96/1731.52	c 1731s |      21 |  1266247 |  1118745 |     5648    406 |        0 |        0
1733.06/1733.63	c 1733s |      21 |  1267376 |  1119745 |     5648    406 |        0 |        0
1735.26/1735.81	c 1735s |      21 |  1268311 |  1120545 |     5648    407 |        0 |        0
1737.25/1737.86	c 1737s |      21 |  1269414 |  1121545 |     5648    407 |        0 |        0
1739.35/1739.96	c 1739s |      21 |  1270405 |  1122445 |     5648    407 |        0 |        0
1741.55/1742.15	c 1742s |      21 |  1271375 |  1123345 |     5648    407 |        0 |        0
1743.75/1744.33	c 1744s |      21 |  1272252 |  1124145 |     5648    408 |        0 |        0
1745.85/1746.43	c 1746s |      21 |  1273243 |  1125045 |     5648    408 |        0 |        0
1747.95/1748.59	c 1748s |      21 |  1274233 |  1125945 |     5648    408 |        0 |        0
1750.25/1750.84	c 1750s |      21 |  1275222 |  1126845 |     5648    408 |        0 |        0
1752.35/1752.98	c 1752s |      21 |  1276074 |  1127645 |     5648    409 |        0 |        0
1754.65/1755.22	c 1755s |      21 |  1276926 |  1128445 |     5648    409 |        0 |        0
1756.65/1757.28	c 1757s |      21 |  1277672 |  1129145 |     5648    409 |        0 |        0
1758.94/1759.52	c 1759s |      21 |  1278556 |  1129945 |     5648    409 |        0 |        0
1761.04/1761.66	c 1761s |      21 |  1279428 |  1130745 |     5648    410 |        0 |        0
1763.24/1763.80	c 1763s |      21 |  1280442 |  1131645 |     5648    410 |        0 |        0
1765.24/1765.84	c 1765s |      21 |  1281297 |  1132445 |     5648    410 |        0 |        0
1767.34/1767.93	c 1767s |      21 |  1282177 |  1133245 |     5648    410 |        0 |        0
1769.74/1770.33	c 1770s |      21 |  1283035 |  1134045 |     5648    411 |        0 |        0
1771.94/1772.52	c 1772s |      21 |  1283894 |  1134845 |     5648    411 |        0 |        0
1774.14/1774.72	c 1774s |      21 |  1284880 |  1135745 |     5648    411 |        0 |        0
1776.34/1776.94	c 1776s |      21 |  1285753 |  1136545 |     5648    411 |        0 |        0
1778.44/1779.09	c 1778s |      21 |  1286506 |  1137245 |     5648    411 |        0 |        0
1780.64/1781.25	c 1781s |      21 |  1287254 |  1137945 |     5648    412 |        0 |        0
1782.84/1783.40	c 1783s |      21 |  1288232 |  1138845 |     5648    412 |        0 |        0
1784.94/1785.52	c 1785s |      21 |  1288985 |  1139545 |     5648    412 |        0 |        0
1787.14/1787.77	c 1787s |      21 |  1289749 |  1140245 |     5648    412 |        0 |        0
1789.44/1790.01	c 1789s |      21 |  1290529 |  1140945 |     5648    413 |        0 |        0
1791.54/1792.14	c 1791s |      21 |  1292344 |  1142445 |     5648    413 |        0 |        0
1793.74/1794.30	c 1794s |      21 |  1293778 |  1143645 |     5648    413 |        0 |        0
1795.74/1796.31	c 1796s |      21 |  1294774 |  1144445 |     5648    414 |        0 |        0
1797.84/1798.42	c 1798s |      21 |  1296084 |  1145545 |     5648    414 |        0 |        0
1799.94/1800.55	c 1800s |      21 |  1297339 |  1146645 |     5648    414 |        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-4093317-1466078747/watcher-4093317-1466078747 -o /tmp/evaluation-result-4093317-1466078747/solver-4093317-1466078747 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093317-1466078747.wbo 

pid=14482
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.09 2.16 2.12 3/178 14485
/proc/meminfo: memFree=30398632/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=799164 CPUtime=0 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 2993 0 0 0 0 0 0 0 20 0 4 0 9920344 818343936 3355 33554432000 4194304 16246674 140736386343568 140736386342992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 200303 3364 441 2943 0 197197 0
[pid=14485/tid=14486] ppid=14482 vsize=816572 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 836169728 3424 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=821692 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 841412608 3442 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=825788 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9920345 845606912 3458 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100131 s]
/proc/loadavg: 2.09 2.16 2.12 3/178 14485
/proc/meminfo: memFree=30398632/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 25577 0 0 0 5 4 0 0 20 0 4 0 9920344 1247350784 25932 33554432000 4194304 16246674 140736386343568 140736386342992 12481124 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 304529 25947 613 2943 0 301423 0
[pid=14485/tid=14486] ppid=14482 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1247350784 25959 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1247350784 25971 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9920345 1247350784 25980 33554432000 4194304 16246674 140736386343568 140355651488944 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.200538 s]
/proc/loadavg: 2.09 2.16 2.12 3/178 14485
/proc/meminfo: memFree=30398632/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 49672 0 0 0 11 8 0 0 20 0 4 0 9920344 1247350784 50019 33554432000 4194304 16246674 140736386343568 140736386342992 6021007 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 304529 50032 807 2943 0 301423 0
[pid=14485/tid=14486] ppid=14482 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1247350784 50041 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1247350784 50047 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9920345 1247350784 50057 33554432000 4194304 16246674 140736386343568 140355651488944 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.300478 s]
/proc/loadavg: 2.09 2.16 2.12 3/178 14485
/proc/meminfo: memFree=30398632/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 78881 0 0 0 17 12 0 0 20 0 4 0 9920344 1247350784 79228 33554432000 4194304 16246674 140736386343568 140736386325440 5586485 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 304529 79241 807 2943 0 301423 0
[pid=14485/tid=14486] ppid=14482 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1247350784 79250 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1247350784 79259 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9920345 1247350784 79267 33554432000 4194304 16246674 140736386343568 140355651488944 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.700416 s]
/proc/loadavg: 2.09 2.16 2.12 3/178 14485
/proc/meminfo: memFree=30398632/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 206277 0 0 0 41 28 0 0 20 0 4 0 9920344 1247350784 206624 33554432000 4194304 16246674 140736386343568 140736386325440 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 304529 206634 807 2943 0 301423 0
[pid=14485/tid=14486] ppid=14482 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1247350784 206640 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1247350784 206650 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9920345 1247350784 206661 33554432000 4194304 16246674 140736386343568 140355651488944 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.50042 s]
/proc/loadavg: 2.09 2.16 2.12 3/182 14489
/proc/meminfo: memFree=29413108/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 266515 0 0 0 113 36 0 0 20 0 4 0 9920344 1333334016 266840 33554432000 4194304 16246674 140736386343568 140736386325440 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 325521 266840 872 2943 0 322415 0
[pid=14485/tid=14486] ppid=14482 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1333334016 266840 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1333334016 266840 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1333334016 266840 33554432000 4194304 16246674 140736386343568 140355651488944 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) 1302084

[startup+3.10044 s]
/proc/loadavg: 2.08 2.15 2.12 3/182 14489
/proc/meminfo: memFree=29327424/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 267868 0 0 0 273 36 0 0 20 0 4 0 9920344 1338576896 268193 33554432000 4194304 16246674 140736386343568 140736386325440 6845797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 326801 268193 874 2943 0 323695 0
[pid=14485/tid=14486] ppid=14482 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1338576896 268193 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1338576896 268193 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1338576896 268193 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.08 2.15 2.12 3/183 14490
/proc/meminfo: memFree=29327948/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 267999 0 0 0 593 36 0 0 20 0 4 0 9920344 1339625472 268324 33554432000 4194304 16246674 140736386343568 140736386325440 5522909 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 327057 268324 874 2943 0 323951 0
[pid=14485/tid=14486] ppid=14482 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1339625472 268324 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1339625472 268324 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1339625472 268324 33554432000 4194304 16246674 140736386343568 140355651488944 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.07 2.15 2.12 3/183 14490
/proc/meminfo: memFree=29325976/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 268432 0 0 0 1233 36 0 0 20 0 4 0 9920344 1340674048 268757 33554432000 4194304 16246674 140736386343568 140736386325440 5717608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 327313 268757 874 2943 0 324207 0
[pid=14485/tid=14486] ppid=14482 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1340674048 268757 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1340674048 268757 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1340674048 268757 33554432000 4194304 16246674 140736386343568 140355651488944 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.5005 s]
/proc/loadavg: 2.13 2.16 2.12 3/183 14490
/proc/meminfo: memFree=29326304/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 268483 0 0 0 2513 36 0 0 20 0 4 0 9920344 1341722624 268808 33554432000 4194304 16246674 140736386343568 140736386325440 5545832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 327569 268808 874 2943 0 324463 0
[pid=14485/tid=14486] ppid=14482 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1341722624 268808 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1341722624 268808 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1341722624 268808 33554432000 4194304 16246674 140736386343568 140355651488944 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) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.14 2.16 2.12 3/183 14490
/proc/meminfo: memFree=29319204/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1316420 CPUtime=51.08 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 270224 0 0 0 5072 36 0 0 20 0 4 0 9920344 1348014080 270549 33554432000 4194304 16246674 140736386343568 140736386325440 5546093 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 329105 270549 874 2943 0 325999 0
[pid=14485/tid=14486] ppid=14482 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1348014080 270549 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1348014080 270549 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1348014080 270549 33554432000 4194304 16246674 140736386343568 140355651488944 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) 1316420

[startup+102.301 s]
/proc/loadavg: 2.14 2.16 2.12 3/183 14491
/proc/meminfo: memFree=29316864/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1318468 CPUtime=102.28 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 270715 0 0 0 10191 37 0 0 20 0 4 0 9920344 1350111232 271040 33554432000 4194304 16246674 140736386343568 140736386325440 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 329617 271040 876 2943 0 326511 0
[pid=14485/tid=14486] ppid=14482 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1350111232 271040 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1350111232 271040 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1350111232 271040 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1318468


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

/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1355354112 272346 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1323588

[startup+1302.3 s]
/proc/loadavg: 2.22 2.20 2.14 3/183 14521
/proc/meminfo: memFree=29306076/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1323588 CPUtime=1301.83 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 272427 0 0 0 130138 45 0 0 20 0 4 0 9920344 1355354112 272346 33554432000 4194304 16246674 140736386343568 140736386325440 13927384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 330897 272346 876 2943 0 327791 0
[pid=14485/tid=14486] ppid=14482 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1355354112 272346 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1355354112 272346 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1355354112 272346 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1323588

[startup+1362.3 s]
/proc/loadavg: 2.26 2.21 2.14 3/183 14522
/proc/meminfo: memFree=29306372/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1323588 CPUtime=1361.81 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 272465 0 0 0 136135 46 0 0 20 0 4 0 9920344 1355354112 272347 33554432000 4194304 16246674 140736386343568 140736386325440 5545721 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 330897 272347 876 2943 0 327791 0
[pid=14485/tid=14486] ppid=14482 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1355354112 272347 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1355354112 272347 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1355354112 272347 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1323588

[startup+1422.3 s]
/proc/loadavg: 2.19 2.20 2.14 3/183 14523
/proc/meminfo: memFree=29307332/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1323588 CPUtime=1421.8 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 272466 0 0 0 142134 46 0 0 20 0 4 0 9920344 1355354112 272347 33554432000 4194304 16246674 140736386343568 140736386325440 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 330897 272347 876 2943 0 327791 0
[pid=14485/tid=14486] ppid=14482 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1355354112 272347 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1355354112 272347 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1355354112 272347 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1323588

[startup+1482.3 s]
/proc/loadavg: 2.33 2.22 2.15 4/184 14527
/proc/meminfo: memFree=29306900/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1323588 CPUtime=1481.79 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 272466 0 0 0 148132 47 0 0 20 0 4 0 9920344 1355354112 272347 33554432000 4194304 16246674 140736386343568 140736386325440 5546214 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 330897 272347 876 2943 0 327791 0
[pid=14485/tid=14486] ppid=14482 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1355354112 272347 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1355354112 272347 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1355354112 272347 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1323588

[startup+1542.31 s]
/proc/loadavg: 2.23 2.21 2.15 3/183 14529
/proc/meminfo: memFree=29305856/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1324612 CPUtime=1541.79 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 272475 0 0 0 154132 47 0 0 20 0 4 0 9920344 1356402688 272356 33554432000 4194304 16246674 140736386343568 140736386325440 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 331153 272356 876 2943 0 328047 0
[pid=14485/tid=14486] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272356 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272356 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272356 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1324612

[startup+1602.3 s]
/proc/loadavg: 2.20 2.20 2.15 3/183 14530
/proc/meminfo: memFree=29305104/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1324612 CPUtime=1601.77 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 272509 0 0 0 160130 47 0 0 20 0 4 0 9920344 1356402688 272390 33554432000 4194304 16246674 140736386343568 140736386325440 5545704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 331153 272390 876 2943 0 328047 0
[pid=14485/tid=14486] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272390 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272390 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272390 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1324612

[startup+1662.3 s]
/proc/loadavg: 2.12 2.17 2.14 3/183 14579
/proc/meminfo: memFree=29305520/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1324612 CPUtime=1661.76 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 272722 0 0 0 166128 48 0 0 20 0 4 0 9920344 1356402688 272603 33554432000 4194304 16246674 140736386343568 140736386325440 5545721 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 331153 272603 876 2943 0 328047 0
[pid=14485/tid=14486] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272603 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272603 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272603 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1324612

[startup+1722.3 s]
/proc/loadavg: 2.09 2.16 2.14 3/183 14580
/proc/meminfo: memFree=29296712/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1324612 CPUtime=1721.75 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 272722 0 0 0 172127 48 0 0 20 0 4 0 9920344 1356402688 272603 33554432000 4194304 16246674 140736386343568 140736386325440 5546224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 331153 272603 876 2943 0 328047 0
[pid=14485/tid=14486] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272603 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272603 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272603 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1324612

[startup+1782.3 s]
/proc/loadavg: 2.19 2.17 2.14 3/183 14581
/proc/meminfo: memFree=29295968/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1324612 CPUtime=1781.74 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 272722 0 0 0 178126 48 0 0 20 0 4 0 9920344 1356402688 272603 33554432000 4194304 16246674 140736386343568 140736386325440 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 331153 272603 876 2943 0 328047 0
[pid=14485/tid=14486] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272603 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272603 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272603 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1324612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.16 2.14 3/183 14582
/proc/meminfo: memFree=29295840/32872528 swapFree=532956/565660
[pid=14485] ppid=14482 vsize=1324612 CPUtime=1800.04 cores=1,3,5,7
/proc/14485/stat : 14485 (toysat) R 14482 14485 11130 0 -1 4202496 272722 0 0 0 179956 48 0 0 20 0 4 0 9920344 1356402688 272603 33554432000 4194304 16246674 140736386343568 140736386325440 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14485/statm: 331153 272603 876 2943 0 328047 0
[pid=14485/tid=14486] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14486/stat : 14486 (toysat) S 14482 14485 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272603 33554432000 4194304 16246674 140736386343568 140355672452336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14485/tid=14487] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14487/stat : 14487 (toysat) S 14482 14485 11130 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272603 33554432000 4194304 16246674 140736386343568 140355661962480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14485/tid=14488] ppid=14482 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14485/task/14488/stat : 14488 (toysat) S 14482 14485 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9920345 1356402688 272603 33554432000 4194304 16246674 140736386343568 140355651488944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1324612

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.06
CPU user time (s): 1799.57
CPU system time (s): 0.489925
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 1324612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.489925
maximum resident set size= 1090412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272722
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= 461
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6163 second user time and 6.95294 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-16 14:05:47
IDJOB=4093317
IDBENCH=78670
IDSOLVER=2553
FILE ID=node138/4093317-1466078747
RUNJOBID= node138-1466074865-13652
PBS_JOBID= 19904002
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= f839b9b81895c491ec67614997c8bc2d
RANDOM SEED=309588431

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30398904 kB
Buffers:           23016 kB
Cached:           105148 kB
SwapCached:         1380 kB
Active:          1151328 kB
Inactive:          54444 kB
Active(anon):    1078076 kB
Inactive(anon):     1664 kB
Active(file):      73252 kB
Inactive(file):    52780 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1646124 kB
Mapped:            10476 kB
Shmem:                 0 kB
Slab:             566792 kB
SReclaimable:      10628 kB
SUnreclaim:       556164 kB
KernelStack:        1512 kB
PageTables:         7400 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1784564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node138 at 2016-06-16 14:35:48