Trace number 4093320

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.12 1800.54

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo
MD5SUM3aafd47af6446049bcdbc11c9b966efe
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark1800.05
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3150
Total number of constraints160
Number of soft constraints101
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint45
Top cost 4835
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4834
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
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:49:35+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-4093320-1466081375.wbo"]
0.00/0.01	c use --random-gen="3721036389 3922004386 2746718033 3446903010 50898849 1307267301 1062306506 3181113690 3032993911 2414147492 427615645 2068337748 1712600762 4088180493 4008249681 2662619286 1794401501 3357638303 3469535308 382244091 3399471463 2856856856 2731970922 68043542 1555598938 1316226586 25596528 656981847 2059426170 1763282086 3920109212 2710896332 4158384287 1737863304 2830184483 4147388301 4142169455 409839557 119575987 252814442 1970463210 2508447339 3136398675 131149125 409037073 2534322731 2319921274 3522639850 3626115979 1357748387 3243569879 1113230451 3832549744 3382196364 136169331 604910069 634619713 1412626442 2098957029 2006609686 4290606037 163972928 1366993840 2562095537 1530570794 2758933878 2979036929 1668337928 3143265457 1089477347 1390448998 3161653030 92239856 1410484658 1697091800 2904249546 3640946625 2643785127 336370229 1061311106 174130912 3766367628 4162075757 796443177 2086490847 212959674 3375900600 2077403573 4014351347 2948081880 914165628 3645322296 1861626947 2994598042 1503732165 2801210351 2984060035 3613774499 3830897870 2285746364 3825800504 317482750 2425097931 843249369 3667583830 442620583 696258055 2797030147 1940660247 3285433319 1098727036 4034148849 520380546 4201808591 3809983457 2054870108 98152675 4121526301 933072067 2660842411 1188583612 555446014 1553919699 1435394167 895698932 518586762 322430772 3316783154 2514901590 2812035980 1676120147 3571875447 2177003857 1915692606 1210470964 3167091340 2360376461 2905125595 2328045085 3378733319 1487808507 2538556209 3575964231 2480424426 2701051083 393070435 2741175038 2571020544 2174743232 234570010 145378058 2984839938 2133211936 1673553545 3367383837 3093329983 3268885102 2327655302 499343920 862462173 4193774274 244956322 991841059 4137738088 4260936707 10685523 3002513400 3971507271 1682887953 1186879258 1070432480 2058224070 1752551897 2941858421 2969031535 3842329427 1411638044 2880555874 1587975038 3878456387 1832491798 3081354327 1697605598 2123850236 3287240687 2173645379 4287444897 857445 2557461074 4032632360 2675619069 1408257627 3951600704 514034156 2349457769 1552178373 2536832657 1711383449 2284165218 3274949449 2473411692 2811825408 1458868578 3239101879 84653258 2393928076 349431739 1084309696 2885101031 1688392515 3152072741 34209880 4033276379 1267828435 1161094394 1616206457 2936728882 3234738228 671795627 1872324051 4078347634 2793789031 4047797941 205208548 1945099978 3585509257 343499613 689100145 923546438 1238345553 2252476802 1756767347 639915675 4226558259 2607316807 902838181 1446787055 4065571637 1960249785 3442422808 2696258875 3111949878 4088233491 3813587699 156562876 3019307068 3034295580 2197765953 3454071124 2485464206 2336904061 1978255840 2529130047 3128846527 623553326 410850352 255 362436" option to reproduce the execution
0.09/0.15	c #vars 3150
0.09/0.15	c #constraints 160
0.09/0.17	c BCD2: Hardening is enabled.
0.09/0.17	c BCD2: BiasedSearch is enabled.
0.09/0.17	c Solving starts ...
0.09/0.17	c ============================[ Search Statistics ]============================
0.09/0.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.17	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.17	c =============================================================================
0.09/0.17	c  0.0s |       0 |        0 |        0 |     1137      0 |        0 |        0
0.19/0.20	c  0.0s |       1 |      249 |      100 |     1137      0 |        0 |        0
0.19/0.21	c  0.0s |       1 |     2219 |      102 |     1251      0 |        0 |        0
0.19/0.21	c #cpu_time = 0.044s
0.19/0.21	c #wall_clock_time = 0.044s
0.19/0.21	c #decision = 2219
0.19/0.21	c #random_decision = 5
0.19/0.21	c #conflict = 102
0.19/0.21	c #restart = 1
0.19/0.21	o 2739
0.19/0.21	c BCD2: updating upper bound: 4834 -> 2738
0.19/0.21	c BCD2: 0 <= obj <= 2738
0.19/0.21	c BCD2: #cores=0, #unrelaxed=101, #relaxed=0, #hardened=0
0.19/0.21	c BCD2: #sat=1 #unsat=1 bias=1/2
0.19/0.21	c Solving starts ...
0.19/0.21	c ============================[ Search Statistics ]============================
0.19/0.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.21	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.21	c =============================================================================
0.19/0.22	c  0.0s |       0 |        0 |        0 |     1251      0 |        0 |        0
0.19/0.27	c  0.1s |       1 |      548 |      100 |     1251      0 |        0 |        0
0.39/0.41	c  0.2s |       2 |     1429 |      250 |     1377      0 |        0 |        0
0.49/0.59	c  0.4s |       3 |     2974 |      475 |     1515      0 |        0 |        0
0.79/0.85	c  0.6s |       4 |     4618 |      813 |     1667      0 |        0 |        0
1.20/1.27	c  1.1s |       5 |     5987 |     1320 |     1834      0 |        0 |        0
1.78/1.88	c  1.7s |       6 |     7626 |     2081 |     2018      0 |        0 |        0
2.98/3.07	c  2.9s |       7 |    10098 |     3223 |     2220      1 |        0 |        0
4.78/4.82	c  4.6s |       8 |    13130 |     4936 |     2442      2 |        0 |        0
6.88/6.94	c  6.7s |       8 |    16280 |     6936 |     2442      3 |        0 |        0
7.58/7.65	c  7.4s |       9 |    16920 |     7506 |     2687      3 |        0 |        0
9.68/9.70	c  9.5s |       9 |    20897 |     9206 |     2687      4 |        0 |        0
11.78/11.84	c 11.6s |       9 |    22842 |    10606 |     2687      5 |        0 |        0
13.18/13.22	c 13.0s |      10 |    23725 |    11361 |     2956      5 |        0 |        0
15.28/15.34	c 15.1s |      10 |    27986 |    13161 |     2956      6 |        0 |        0
17.38/17.45	c 17.2s |      10 |    29663 |    14661 |     2956      7 |        0 |        0
19.58/19.63	c 19.4s |      10 |    31153 |    15961 |     2956      7 |        0 |        0
21.58/21.69	c 21.5s |      11 |    32452 |    17144 |     3252      8 |        0 |        0
23.68/23.72	c 23.5s |      11 |    35713 |    18844 |     3252      8 |        0 |        0
25.78/25.81	c 25.6s |      11 |    37078 |    20044 |     3252      9 |        0 |        0
27.88/27.92	c 27.7s |      11 |    38270 |    21144 |     3252      9 |        0 |        0
29.89/29.97	c 29.8s |      11 |    39702 |    22444 |     3252     10 |        0 |        0
31.99/32.05	c 31.8s |      11 |    41259 |    23844 |     3252     11 |        0 |        0
34.08/34.12	c 33.9s |      11 |    42720 |    25144 |     3252     11 |        0 |        0
35.18/35.30	c 35.1s |      12 |    43456 |    25819 |     3578     11 |        0 |        0
37.38/37.40	c 37.2s |      12 |    46323 |    27519 |     3578     12 |        0 |        0
39.38/39.49	c 39.3s |      12 |    47776 |    28819 |     3578     13 |        0 |        0
41.48/41.59	c 41.4s |      12 |    49362 |    30219 |     3578     13 |        0 |        0
43.68/43.75	c 43.5s |      12 |    50681 |    31419 |     3578     14 |        0 |        0
45.68/45.77	c 45.6s |      12 |    52001 |    32619 |     3578     14 |        0 |        0
47.78/47.80	c 47.6s |      12 |    53317 |    33819 |     3578     14 |        0 |        0
49.88/49.90	c 49.7s |      12 |    54523 |    34919 |     3578     15 |        0 |        0
51.98/52.08	c 51.9s |      12 |    55849 |    36119 |     3578     15 |        0 |        0
54.09/54.16	c 53.9s |      12 |    56941 |    37119 |     3578     16 |        0 |        0
56.19/56.27	c 56.1s |      12 |    58140 |    38219 |     3578     16 |        0 |        0
57.58/57.65	c 57.4s |      13 |    58823 |    38832 |     3936     16 |        0 |        0
59.68/59.71	c 59.5s |      13 |    62882 |    40532 |     3936     17 |        0 |        0
61.69/61.78	c 61.6s |      13 |    64344 |    41832 |     3936     17 |        0 |        0
63.89/63.94	c 63.7s |      13 |    65525 |    42932 |     3936     18 |        0 |        0
65.98/66.07	c 65.9s |      13 |    66773 |    44032 |     3936     18 |        0 |        0
68.18/68.22	c 68.0s |      13 |    68109 |    45232 |     3936     19 |        0 |        0
70.28/70.32	c 70.1s |      13 |    69378 |    46332 |     3936     19 |        0 |        0
72.38/72.49	c 72.3s |      13 |    70625 |    47432 |     3936     20 |        0 |        0
74.48/74.57	c 74.4s |      13 |    71848 |    48532 |     3936     20 |        0 |        0
76.68/76.75	c 76.5s |      13 |    73064 |    49632 |     3936     20 |        0 |        0
78.68/78.76	c 78.5s |      13 |    74059 |    50532 |     3936     21 |        0 |        0
80.88/80.94	c 80.7s |      13 |    75293 |    51632 |     3936     21 |        0 |        0
82.98/83.05	c 82.8s |      13 |    76425 |    52632 |     3936     21 |        0 |        0
85.08/85.10	c 84.9s |      13 |    77548 |    53632 |     3936     22 |        0 |        0
87.18/87.21	c 87.0s |      13 |    78669 |    54632 |     3936     22 |        0 |        0
89.38/89.46	c 89.2s |      13 |    79541 |    55432 |     3936     22 |        0 |        0
91.48/91.55	c 91.3s |      13 |    80681 |    56432 |     3936     23 |        0 |        0
93.58/93.64	c 93.4s |      13 |    81969 |    57532 |     3936     23 |        0 |        0
95.18/95.25	c 95.0s |      14 |    82884 |    58352 |     4330     23 |        0 |        0
97.28/97.40	c 97.2s |      14 |    87742 |    60152 |     4330     24 |        0 |        0
99.37/99.49	c 99.3s |      14 |    90481 |    61652 |     4330     24 |        0 |        0
101.47/101.55	c  101s |      14 |    93037 |    62952 |     4330     25 |        0 |        0
103.67/103.72	c  103s |      14 |    94606 |    64252 |     4330     25 |        0 |        0
105.68/105.80	c  105s |      14 |    95960 |    65352 |     4330     26 |        0 |        0
107.88/107.92	c  107s |      14 |    97828 |    66752 |     4330     26 |        0 |        0
109.97/110.10	c  109s |      14 |    99771 |    67952 |     4330     26 |        0 |        0
112.17/112.21	c  111s |      14 |   101546 |    69052 |     4330     27 |        0 |        0
114.17/114.28	c  114s |      14 |   104198 |    70252 |     4330     27 |        0 |        0
116.27/116.35	c  116s |      14 |   106098 |    71352 |     4330     28 |        0 |        0
118.37/118.46	c  118s |      14 |   108209 |    72652 |     4330     28 |        0 |        0
120.57/120.69	c  120s |      14 |   110830 |    73652 |     4330     28 |        0 |        0
122.77/122.83	c  122s |      14 |   114082 |    74652 |     4330     29 |        0 |        0
124.77/124.84	c  124s |      14 |   116276 |    75652 |     4330     29 |        0 |        0
126.77/126.89	c  126s |      14 |   117653 |    76652 |     4330     29 |        0 |        0
128.87/128.99	c  128s |      14 |   118560 |    77452 |     4330     30 |        0 |        0
130.97/131.03	c  130s |      14 |   119756 |    78352 |     4330     30 |        0 |        0
132.97/133.09	c  132s |      14 |   120764 |    79252 |     4330     30 |        0 |        0
135.07/135.18	c  134s |      14 |   121637 |    80052 |     4330     30 |        0 |        0
137.27/137.38	c  137s |      14 |   123017 |    80952 |     4330     31 |        0 |        0
139.57/139.61	c  139s |      14 |   124687 |    81952 |     4330     31 |        0 |        0
141.57/141.69	c  141s |      14 |   125945 |    82852 |     4330     31 |        0 |        0
143.77/143.84	c  143s |      14 |   127661 |    83952 |     4330     32 |        0 |        0
145.87/145.99	c  145s |      14 |   129464 |    85052 |     4330     32 |        0 |        0
148.07/148.15	c  147s |      14 |   131204 |    86252 |     4330     32 |        0 |        0
150.17/150.29	c  150s |      14 |   133081 |    87452 |     4763     33 |        0 |        0
150.57/150.66	c  150s |      15 |   133312 |    87632 |     4763     33 |        0 |        0
152.67/152.71	c  152s |      15 |   136642 |    89332 |     4763     33 |        0 |        0
154.66/154.75	c  154s |      15 |   138005 |    90532 |     4763     33 |        0 |        0
156.66/156.76	c  156s |      15 |   139158 |    91532 |     4763     34 |        0 |        0
158.86/158.91	c  158s |      15 |   140304 |    92532 |     4763     34 |        0 |        0
160.87/160.94	c  160s |      15 |   141383 |    93432 |     4763     34 |        0 |        0
162.87/163.00	c  162s |      15 |   142320 |    94232 |     4763     34 |        0 |        0
165.36/165.44	c  165s |      15 |   143213 |    95032 |     4763     35 |        0 |        0
167.56/167.69	c  167s |      15 |   144264 |    95932 |     4763     35 |        0 |        0
169.66/169.74	c  169s |      15 |   145073 |    96632 |     4763     35 |        0 |        0
171.67/171.75	c  171s |      15 |   145982 |    97432 |     4763     35 |        0 |        0
173.87/173.93	c  173s |      15 |   147034 |    98332 |     4763     35 |        0 |        0
175.86/175.96	c  175s |      15 |   147863 |    99032 |     4763     36 |        0 |        0
177.96/178.03	c  177s |      15 |   148786 |    99832 |     4763     36 |        0 |        0
180.16/180.26	c  180s |      15 |   149820 |   100732 |     4763     36 |        0 |        0
182.36/182.45	c  182s |      15 |   150970 |   101732 |     4763     36 |        0 |        0
184.36/184.46	c  184s |      15 |   151902 |   102532 |     4763     36 |        0 |        0
186.36/186.48	c  186s |      15 |   152576 |   103132 |     4763     37 |        0 |        0
188.56/188.66	c  188s |      15 |   153756 |   104132 |     4763     37 |        0 |        0
190.66/190.71	c  190s |      15 |   154631 |   104932 |     4763     37 |        0 |        0
192.86/192.98	c  192s |      15 |   155672 |   105832 |     4763     37 |        0 |        0
195.06/195.19	c  194s |      15 |   156463 |   106532 |     4763     38 |        0 |        0
197.26/197.33	c  197s |      15 |   157594 |   107532 |     4763     38 |        0 |        0
199.36/199.49	c  199s |      15 |   158606 |   108432 |     4763     38 |        0 |        0
201.56/201.68	c  201s |      15 |   159501 |   109232 |     4763     38 |        0 |        0
203.67/203.75	c  203s |      15 |   160277 |   109932 |     4763     38 |        0 |        0
205.76/205.87	c  205s |      15 |   161212 |   110732 |     4763     39 |        0 |        0
207.96/208.02	c  207s |      15 |   162355 |   111732 |     4763     39 |        0 |        0
210.06/210.15	c  209s |      15 |   163523 |   112732 |     4763     39 |        0 |        0
212.16/212.25	c  212s |      15 |   164545 |   113632 |     4763     39 |        0 |        0
214.16/214.28	c  214s |      15 |   165328 |   114332 |     4763     40 |        0 |        0
216.45/216.53	c  216s |      15 |   166457 |   115332 |     4763     40 |        0 |        0
218.66/218.73	c  218s |      15 |   167482 |   116232 |     4763     40 |        0 |        0
220.76/220.89	c  220s |      15 |   168389 |   117032 |     4763     40 |        0 |        0
223.05/223.19	c  222s |      15 |   169152 |   117732 |     4763     41 |        0 |        0
225.25/225.34	c  225s |      15 |   170562 |   118932 |     4763     41 |        0 |        0
227.26/227.34	c  227s |      15 |   171717 |   119932 |     4763     41 |        0 |        0
229.46/229.59	c  229s |      15 |   172730 |   120832 |     4763     41 |        0 |        0
231.55/231.65	c  231s |      15 |   173561 |   121532 |     4763     42 |        0 |        0
233.65/233.71	c  233s |      15 |   174695 |   122532 |     4763     42 |        0 |        0
235.75/235.86	c  235s |      15 |   175742 |   123432 |     4763     42 |        0 |        0
237.95/238.03	c  237s |      15 |   176923 |   124432 |     4763     42 |        0 |        0
240.16/240.22	c  240s |      15 |   177949 |   125332 |     4763     43 |        0 |        0
242.25/242.39	c  242s |      15 |   179094 |   126332 |     4763     43 |        0 |        0
244.45/244.58	c  244s |      15 |   180248 |   127332 |     4763     43 |        0 |        0
246.46/246.58	c  246s |      15 |   181182 |   128132 |     4763     43 |        0 |        0
248.85/248.98	c  248s |      15 |   182375 |   129132 |     4763     44 |        0 |        0
251.05/251.15	c  250s |      15 |   183628 |   130232 |     4763     44 |        0 |        0
253.25/253.30	c  253s |      15 |   184645 |   131132 |     5240     44 |        0 |        0
254.05/254.11	c  253s |      16 |   185126 |   131552 |     5240     44 |        0 |        0
256.15/256.22	c  256s |      16 |   187838 |   133252 |     5240     45 |        0 |        0
258.25/258.32	c  258s |      16 |   189532 |   134752 |     5240     45 |        0 |        0
260.35/260.43	c  260s |      16 |   191260 |   136252 |     5240     46 |        0 |        0
262.35/262.43	c  262s |      16 |   192490 |   137352 |     5240     46 |        0 |        0
264.45/264.56	c  264s |      16 |   193697 |   138452 |     5240     46 |        0 |        0
266.55/266.67	c  266s |      16 |   195046 |   139652 |     5240     47 |        0 |        0
268.56/268.69	c  268s |      16 |   196463 |   140952 |     5240     47 |        0 |        0
270.95/271.02	c  270s |      16 |   197825 |   142152 |     5240     48 |        0 |        0
272.96/273.03	c  272s |      16 |   199362 |   143552 |     5240     48 |        0 |        0
274.95/275.05	c  274s |      16 |   200688 |   144752 |     5240     48 |        0 |        0
276.95/277.07	c  276s |      16 |   201888 |   145852 |     5240     49 |        0 |        0
279.05/279.15	c  278s |      16 |   203226 |   147052 |     5240     49 |        0 |        0
281.05/281.17	c  280s |      16 |   204393 |   148152 |     5240     49 |        0 |        0
283.25/283.31	c  283s |      16 |   205686 |   149352 |     5240     50 |        0 |        0
285.35/285.47	c  285s |      16 |   207006 |   150552 |     5240     50 |        0 |        0
287.35/287.47	c  287s |      16 |   208559 |   151852 |     5240     50 |        0 |        0
289.35/289.49	c  289s |      16 |   209900 |   153052 |     5240     51 |        0 |        0
291.44/291.55	c  291s |      16 |   211224 |   154252 |     5240     51 |        0 |        0
293.44/293.57	c  293s |      16 |   212575 |   155452 |     5240     51 |        0 |        0
295.54/295.68	c  295s |      16 |   214014 |   156752 |     5240     52 |        0 |        0
297.54/297.70	c  297s |      16 |   215166 |   157752 |     5240     52 |        0 |        0
299.64/299.79	c  299s |      16 |   216281 |   158752 |     5240     52 |        0 |        0
301.74/301.81	c  301s |      16 |   217385 |   159752 |     5240     53 |        0 |        0
303.84/303.99	c  303s |      16 |   218700 |   160952 |     5240     53 |        0 |        0
306.14/306.23	c  306s |      16 |   219795 |   161952 |     5240     53 |        0 |        0
308.15/308.27	c  308s |      16 |   220775 |   162852 |     5240     54 |        0 |        0
310.25/310.37	c  310s |      16 |   221991 |   163952 |     5240     54 |        0 |        0
312.34/312.44	c  312s |      16 |   223102 |   164952 |     5240     54 |        0 |        0
314.44/314.52	c  314s |      16 |   224246 |   165952 |     5240     55 |        0 |        0
316.64/316.70	c  316s |      16 |   225654 |   167252 |     5240     55 |        0 |        0
318.74/318.86	c  318s |      16 |   226885 |   168352 |     5240     55 |        0 |        0
321.04/321.18	c  320s |      16 |   227992 |   169352 |     5240     56 |        0 |        0
323.04/323.18	c  322s |      16 |   229209 |   170452 |     5240     56 |        0 |        0
325.14/325.26	c  325s |      16 |   230314 |   171452 |     5240     56 |        0 |        0
327.24/327.31	c  327s |      16 |   231304 |   172352 |     5240     56 |        0 |        0
329.24/329.37	c  329s |      16 |   232154 |   173152 |     5240     57 |        0 |        0
331.44/331.54	c  331s |      16 |   233300 |   174152 |     5240     57 |        0 |        0
333.54/333.60	c  333s |      16 |   234618 |   175352 |     5240     57 |        0 |        0
335.54/335.63	c  335s |      16 |   235731 |   176352 |     5240     58 |        0 |        0
337.64/337.72	c  337s |      16 |   236921 |   177452 |     5240     58 |        0 |        0
339.74/339.83	c  339s |      16 |   238103 |   178552 |     5240     58 |        0 |        0
342.04/342.10	c  341s |      16 |   239181 |   179552 |     5240     59 |        0 |        0
344.14/344.21	c  343s |      16 |   240349 |   180652 |     5240     59 |        0 |        0
346.24/346.37	c  346s |      16 |   241468 |   181652 |     5240     59 |        0 |        0
348.44/348.52	c  348s |      16 |   242560 |   182652 |     5240     59 |        0 |        0
350.63/350.72	c  350s |      16 |   243636 |   183652 |     5240     60 |        0 |        0
352.73/352.83	c  352s |      16 |   244839 |   184752 |     5240     60 |        0 |        0
354.73/354.84	c  354s |      16 |   245913 |   185752 |     5240     60 |        0 |        0
356.83/356.99	c  356s |      16 |   247147 |   186852 |     5240     61 |        0 |        0
358.93/359.05	c  358s |      16 |   248231 |   187852 |     5240     61 |        0 |        0
361.13/361.23	c  361s |      16 |   249338 |   188852 |     5240     61 |        0 |        0
363.23/363.30	c  363s |      16 |   250342 |   189752 |     5240     62 |        0 |        0
365.24/365.38	c  365s |      16 |   251551 |   190852 |     5240     62 |        0 |        0
367.33/367.50	c  367s |      16 |   252770 |   191952 |     5240     62 |        0 |        0
369.53/369.64	c  369s |      16 |   253872 |   192952 |     5240     62 |        0 |        0
371.53/371.65	c  371s |      16 |   254852 |   193852 |     5240     63 |        0 |        0
373.63/373.70	c  373s |      16 |   255930 |   194852 |     5240     63 |        0 |        0
375.73/375.80	c  375s |      16 |   257109 |   195852 |     5240     63 |        0 |        0
377.83/377.94	c  377s |      16 |   258269 |   196852 |     5765     63 |        0 |        0
379.13/379.26	c  379s |      17 |   258903 |   197432 |     5765     64 |        0 |        0
381.23/381.39	c  381s |      17 |   262346 |   198932 |     5765     64 |        0 |        0
383.33/383.49	c  383s |      17 |   263705 |   200132 |     5765     64 |        0 |        0
385.43/385.55	c  385s |      17 |   264822 |   201132 |     5765     65 |        0 |        0
387.53/387.64	c  387s |      17 |   265804 |   202032 |     5765     65 |        0 |        0
389.63/389.77	c  389s |      17 |   266891 |   203032 |     5765     65 |        0 |        0
391.73/391.86	c  391s |      17 |   267869 |   203932 |     5765     65 |        0 |        0
394.03/394.14	c  393s |      17 |   268724 |   204732 |     5765     66 |        0 |        0
396.03/396.19	c  395s |      17 |   269865 |   205732 |     5765     66 |        0 |        0
398.23/398.37	c  398s |      17 |   270970 |   206732 |     5765     66 |        0 |        0
400.33/400.44	c  400s |      17 |   271964 |   207632 |     5765     66 |        0 |        0
402.63/402.72	c  402s |      17 |   272945 |   208532 |     5765     67 |        0 |        0
404.83/404.95	c  404s |      17 |   273952 |   209432 |     5765     67 |        0 |        0
406.92/407.08	c  406s |      17 |   274807 |   210232 |     5765     67 |        0 |        0
409.02/409.14	c  408s |      17 |   275693 |   211032 |     5765     67 |        0 |        0
411.12/411.20	c  410s |      17 |   276576 |   211832 |     5765     67 |        0 |        0
413.12/413.28	c  413s |      17 |   277545 |   212732 |     5765     68 |        0 |        0
415.22/415.38	c  415s |      17 |   278649 |   213732 |     5765     68 |        0 |        0
417.42/417.57	c  417s |      17 |   279555 |   214532 |     5765     68 |        0 |        0
419.72/419.80	c  419s |      17 |   280446 |   215332 |     5765     68 |        0 |        0
421.72/421.88	c  421s |      17 |   281227 |   216032 |     5765     69 |        0 |        0
423.72/423.89	c  423s |      17 |   282104 |   216832 |     5765     69 |        0 |        0
425.92/426.07	c  425s |      17 |   282967 |   217632 |     5765     69 |        0 |        0
428.12/428.28	c  428s |      17 |   283727 |   218332 |     5765     69 |        0 |        0
430.33/430.45	c  430s |      17 |   284494 |   219032 |     5765     69 |        0 |        0
432.43/432.51	c  432s |      17 |   285247 |   219732 |     5765     70 |        0 |        0
434.53/434.70	c  434s |      17 |   286263 |   220632 |     5765     70 |        0 |        0
436.83/436.95	c  436s |      17 |   287133 |   221432 |     5765     70 |        0 |        0
438.83/438.97	c  438s |      17 |   287888 |   222132 |     5765     70 |        0 |        0
441.13/441.23	c  441s |      17 |   288755 |   222932 |     5765     70 |        0 |        0
443.22/443.33	c  443s |      17 |   289626 |   223732 |     5765     71 |        0 |        0
445.22/445.38	c  445s |      17 |   290536 |   224532 |     5765     71 |        0 |        0
447.42/447.55	c  447s |      17 |   291414 |   225332 |     5765     71 |        0 |        0
449.72/449.81	c  449s |      17 |   292296 |   226132 |     5765     71 |        0 |        0
451.92/452.06	c  451s |      17 |   293217 |   226932 |     5765     71 |        0 |        0
454.12/454.29	c  454s |      17 |   294098 |   227732 |     5765     72 |        0 |        0
456.22/456.40	c  456s |      17 |   294862 |   228432 |     5765     72 |        0 |        0
458.42/458.53	c  458s |      17 |   295865 |   229332 |     5765     72 |        0 |        0
460.52/460.66	c  460s |      17 |   296618 |   230032 |     5765     72 |        0 |        0
462.82/462.91	c  462s |      17 |   297491 |   230832 |     5765     72 |        0 |        0
464.82/464.96	c  464s |      17 |   298145 |   231432 |     5765     73 |        0 |        0
467.02/467.10	c  466s |      17 |   299119 |   232332 |     5765     73 |        0 |        0
469.22/469.35	c  469s |      17 |   299999 |   233132 |     5765     73 |        0 |        0
471.42/471.53	c  471s |      17 |   300894 |   233932 |     5765     73 |        0 |        0
473.42/473.53	c  473s |      17 |   301677 |   234632 |     5765     74 |        0 |        0
475.52/475.65	c  475s |      17 |   302536 |   235432 |     5765     74 |        0 |        0
477.82/477.91	c  477s |      17 |   303415 |   236232 |     5765     74 |        0 |        0
479.92/480.09	c  479s |      17 |   304300 |   237032 |     5765     74 |        0 |        0
482.22/482.34	c  482s |      17 |   305170 |   237832 |     5765     74 |        0 |        0
484.42/484.50	c  484s |      17 |   305815 |   238432 |     5765     75 |        0 |        0
486.62/486.70	c  486s |      17 |   306694 |   239232 |     5765     75 |        0 |        0
488.71/488.84	c  488s |      17 |   307559 |   240032 |     5765     75 |        0 |        0
491.01/491.11	c  490s |      17 |   308422 |   240832 |     5765     75 |        0 |        0
493.11/493.27	c  493s |      17 |   309191 |   241532 |     5765     75 |        0 |        0
495.41/495.60	c  495s |      17 |   309980 |   242232 |     5765     76 |        0 |        0
497.51/497.67	c  497s |      17 |   310885 |   243032 |     5765     76 |        0 |        0
499.61/499.78	c  499s |      17 |   311891 |   243932 |     5765     76 |        0 |        0
501.62/501.79	c  501s |      17 |   312896 |   244832 |     5765     76 |        0 |        0
503.92/504.01	c  503s |      17 |   313773 |   245632 |     5765     76 |        0 |        0
505.91/506.04	c  505s |      17 |   314548 |   246332 |     5765     77 |        0 |        0
507.91/508.08	c  507s |      17 |   315915 |   247532 |     5765     77 |        0 |        0
510.11/510.29	c  510s |      17 |   317135 |   248632 |     5765     77 |        0 |        0
512.41/512.51	c  512s |      17 |   318127 |   249532 |     5765     77 |        0 |        0
514.51/514.64	c  514s |      17 |   319008 |   250332 |     5765     78 |        0 |        0
516.71/516.80	c  516s |      17 |   319876 |   251132 |     5765     78 |        0 |        0
518.71/518.87	c  518s |      17 |   320773 |   251932 |     5765     78 |        0 |        0
521.01/521.13	c  520s |      17 |   321768 |   252832 |     5765     78 |        0 |        0
523.11/523.23	c  523s |      17 |   322551 |   253532 |     5765     79 |        0 |        0
525.31/525.45	c  525s |      17 |   323528 |   254432 |     5765     79 |        0 |        0
527.41/527.56	c  527s |      17 |   324406 |   255232 |     5765     79 |        0 |        0
529.41/529.58	c  529s |      17 |   325487 |   256132 |     5765     79 |        0 |        0
531.51/531.66	c  531s |      17 |   326528 |   257032 |     5765     79 |        0 |        0
533.61/533.79	c  533s |      17 |   327566 |   257932 |     5765     80 |        0 |        0
535.81/535.93	c  535s |      17 |   328669 |   258932 |     5765     80 |        0 |        0
537.91/538.09	c  537s |      17 |   329809 |   259932 |     5765     80 |        0 |        0
540.00/540.10	c  539s |      17 |   330799 |   260832 |     5765     80 |        0 |        0
542.00/542.13	c  541s |      17 |   331791 |   261732 |     5765     81 |        0 |        0
544.20/544.31	c  544s |      17 |   332888 |   262732 |     5765     81 |        0 |        0
546.30/546.49	c  546s |      17 |   333894 |   263632 |     5765     81 |        0 |        0
548.50/548.61	c  548s |      17 |   334943 |   264532 |     5765     81 |        0 |        0
550.60/550.75	c  550s |      17 |   335948 |   265432 |     5765     82 |        0 |        0
552.60/552.79	c  552s |      17 |   336810 |   266232 |     5765     82 |        0 |        0
554.80/554.93	c  554s |      17 |   337815 |   267132 |     5765     82 |        0 |        0
556.80/556.95	c  556s |      17 |   338681 |   267932 |     5765     82 |        0 |        0
559.00/559.11	c  558s |      17 |   339710 |   268832 |     5765     83 |        0 |        0
561.11/561.21	c  560s |      17 |   340794 |   269832 |     5765     83 |        0 |        0
563.10/563.29	c  563s |      17 |   341785 |   270732 |     5765     83 |        0 |        0
565.20/565.34	c  565s |      17 |   342775 |   271632 |     5765     83 |        0 |        0
567.20/567.39	c  567s |      17 |   343795 |   272532 |     5765     84 |        0 |        0
569.40/569.51	c  569s |      17 |   345000 |   273632 |     5765     84 |        0 |        0
571.40/571.55	c  571s |      17 |   346001 |   274532 |     5765     84 |        0 |        0
573.50/573.68	c  573s |      17 |   346916 |   275332 |     5765     84 |        0 |        0
575.60/575.73	c  575s |      17 |   347831 |   276132 |     5765     85 |        0 |        0
577.70/577.88	c  577s |      17 |   349046 |   277232 |     5765     85 |        0 |        0
579.80/579.93	c  579s |      17 |   350036 |   278132 |     5765     85 |        0 |        0
581.90/582.06	c  581s |      17 |   351041 |   279032 |     5765     85 |        0 |        0
583.90/584.08	c  583s |      17 |   351921 |   279832 |     5765     86 |        0 |        0
585.90/586.08	c  585s |      17 |   352918 |   280732 |     5765     86 |        0 |        0
588.00/588.14	c  587s |      17 |   353962 |   281632 |     5765     86 |        0 |        0
590.00/590.14	c  589s |      17 |   354823 |   282432 |     5765     86 |        0 |        0
592.20/592.36	c  592s |      17 |   355692 |   283232 |     5765     86 |        0 |        0
594.39/594.53	c  594s |      17 |   356592 |   284032 |     5765     87 |        0 |        0
596.59/596.70	c  596s |      17 |   357701 |   285032 |     5765     87 |        0 |        0
598.59/598.78	c  598s |      17 |   358701 |   285932 |     5765     87 |        0 |        0
600.70/600.84	c  600s |      17 |   359570 |   286732 |     5765     87 |        0 |        0
602.80/602.95	c  602s |      17 |   360449 |   287532 |     5765     88 |        0 |        0
604.79/604.96	c  604s |      17 |   361317 |   288332 |     5765     88 |        0 |        0
606.99/607.12	c  606s |      17 |   362204 |   289132 |     5765     88 |        0 |        0
609.09/609.28	c  609s |      17 |   363089 |   289932 |     5765     88 |        0 |        0
611.19/611.34	c  611s |      17 |   363971 |   290732 |     5765     88 |        0 |        0
613.29/613.44	c  613s |      17 |   364876 |   291532 |     5765     89 |        0 |        0
615.39/615.56	c  615s |      17 |   365849 |   292432 |     5765     89 |        0 |        0
617.69/617.81	c  617s |      17 |   366836 |   293332 |     5765     89 |        0 |        0
619.69/619.82	c  619s |      17 |   367684 |   294132 |     6342     89 |        0 |        0
621.89/622.00	c  621s |      17 |   368685 |   295032 |     6342     89 |        0 |        0
623.89/624.05	c  623s |      17 |   369552 |   295832 |     6342     90 |        0 |        0
624.99/625.14	c  624s |      18 |   370006 |   296252 |     6342     90 |        0 |        0
627.00/627.16	c  626s |      18 |   374386 |   297952 |     6342     90 |        0 |        0
629.09/629.27	c  629s |      18 |   376143 |   299452 |     6342     90 |        0 |        0
631.29/631.44	c  631s |      18 |   377538 |   300652 |     6342     91 |        0 |        0
633.39/633.58	c  633s |      18 |   378794 |   301752 |     6342     91 |        0 |        0
635.50/635.69	c  635s |      18 |   379931 |   302752 |     6342     91 |        0 |        0
637.59/637.74	c  637s |      18 |   380985 |   303652 |     6342     91 |        0 |        0
639.69/639.88	c  639s |      18 |   381854 |   304452 |     6342     91 |        0 |        0
641.79/641.92	c  641s |      18 |   382661 |   305152 |     6342     92 |        0 |        0
643.79/643.97	c  643s |      18 |   383695 |   306052 |     6342     92 |        0 |        0
645.89/646.04	c  645s |      18 |   384949 |   307152 |     6342     92 |        0 |        0
647.99/648.14	c  647s |      18 |   385963 |   308052 |     6342     92 |        0 |        0
650.10/650.27	c  650s |      18 |   386891 |   308852 |     6342     92 |        0 |        0
652.49/652.61	c  652s |      18 |   387796 |   309652 |     6342     93 |        0 |        0
654.50/654.69	c  654s |      18 |   388822 |   310552 |     6342     93 |        0 |        0
656.70/656.84	c  656s |      18 |   390102 |   311652 |     6342     93 |        0 |        0
658.69/658.88	c  658s |      18 |   391103 |   312552 |     6342     93 |        0 |        0
660.79/660.91	c  660s |      18 |   392268 |   313552 |     6342     93 |        0 |        0
662.79/662.95	c  662s |      18 |   393046 |   314252 |     6342     94 |        0 |        0
664.89/665.02	c  664s |      18 |   394184 |   315252 |     6342     94 |        0 |        0
667.09/667.23	c  667s |      18 |   395431 |   316352 |     6342     94 |        0 |        0
669.09/669.25	c  669s |      18 |   396334 |   317152 |     6342     94 |        0 |        0
671.29/671.40	c  671s |      18 |   397489 |   318152 |     6342     94 |        0 |        0
673.38/673.50	c  673s |      18 |   398381 |   318952 |     6342     95 |        0 |        0
675.58/675.71	c  675s |      18 |   399499 |   319952 |     6342     95 |        0 |        0
677.59/677.78	c  677s |      18 |   400465 |   320852 |     6342     95 |        0 |        0
679.68/679.85	c  679s |      18 |   401632 |   321852 |     6342     95 |        0 |        0
681.89/682.00	c  681s |      18 |   402856 |   322952 |     6342     95 |        0 |        0
684.09/684.21	c  683s |      18 |   403776 |   323752 |     6342     96 |        0 |        0
686.18/686.38	c  686s |      18 |   404862 |   324752 |     6342     96 |        0 |        0
688.28/688.41	c  688s |      18 |   405865 |   325652 |     6342     96 |        0 |        0
690.29/690.47	c  690s |      18 |   406874 |   326552 |     6342     96 |        0 |        0
692.49/692.64	c  692s |      18 |   407844 |   327452 |     6342     96 |        0 |        0
694.69/694.81	c  694s |      18 |   408647 |   328152 |     6342     97 |        0 |        0
696.79/696.93	c  696s |      18 |   409530 |   328952 |     6342     97 |        0 |        0
698.78/698.95	c  698s |      18 |   410421 |   329752 |     6342     97 |        0 |        0
700.98/701.19	c  700s |      18 |   411300 |   330552 |     6342     97 |        0 |        0
703.18/703.31	c  703s |      18 |   412588 |   331652 |     6342     97 |        0 |        0
705.19/705.35	c  705s |      18 |   413621 |   332552 |     6342     97 |        0 |        0
707.28/707.49	c  707s |      18 |   414503 |   333352 |     6342     98 |        0 |        0
709.59/709.77	c  709s |      18 |   415668 |   334352 |     6342     98 |        0 |        0
711.69/711.81	c  711s |      18 |   416685 |   335252 |     6342     98 |        0 |        0
713.68/713.86	c  713s |      18 |   417593 |   336052 |     6342     98 |        0 |        0
715.88/716.00	c  715s |      18 |   418486 |   336852 |     6342     98 |        0 |        0
717.98/718.18	c  717s |      18 |   419398 |   337652 |     6342     99 |        0 |        0
720.28/720.41	c  720s |      18 |   420528 |   338652 |     6342     99 |        0 |        0
722.48/722.61	c  722s |      18 |   421547 |   339552 |     6342     99 |        0 |        0
724.48/724.62	c  724s |      18 |   422430 |   340352 |     6342     99 |        0 |        0
726.48/726.63	c  726s |      18 |   423245 |   341052 |     6342     99 |        0 |        0
728.48/728.64	c  728s |      18 |   424024 |   341752 |     6342     99 |        0 |        0
730.58/730.71	c  730s |      18 |   425291 |   342852 |     6342    100 |        0 |        0
732.58/732.74	c  732s |      18 |   426629 |   344052 |     6342    100 |        0 |        0
734.58/734.75	c  734s |      18 |   427742 |   345052 |     6342    100 |        0 |        0
736.58/736.78	c  736s |      18 |   428829 |   346052 |     6342    100 |        0 |        0
738.68/738.82	c  738s |      18 |   429595 |   346752 |     6342    101 |        0 |        0
740.68/740.86	c  740s |      18 |   430792 |   347852 |     6342    101 |        0 |        0
742.97/743.12	c  742s |      18 |   431851 |   348852 |     6342    101 |        0 |        0
745.07/745.26	c  745s |      18 |   432963 |   349852 |     6342    101 |        0 |        0
747.37/747.51	c  747s |      18 |   434069 |   350852 |     6342    101 |        0 |        0
749.38/749.54	c  749s |      18 |   434937 |   351652 |     6342    102 |        0 |        0
751.39/751.59	c  751s |      18 |   436169 |   352752 |     6342    102 |        0 |        0
753.58/753.74	c  753s |      18 |   437143 |   353652 |     6342    102 |        0 |        0
755.78/755.95	c  755s |      18 |   438121 |   354552 |     6342    102 |        0 |        0
757.98/758.11	c  757s |      18 |   439001 |   355352 |     6342    102 |        0 |        0
759.97/760.14	c  759s |      18 |   439771 |   356052 |     6342    103 |        0 |        0
761.97/762.18	c  761s |      18 |   441028 |   357152 |     6342    103 |        0 |        0
764.17/764.35	c  764s |      18 |   442360 |   358252 |     6342    103 |        0 |        0
766.27/766.42	c  766s |      18 |   443392 |   359152 |     6342    103 |        0 |        0
768.48/768.66	c  768s |      18 |   444382 |   360052 |     6342    103 |        0 |        0
770.57/770.70	c  770s |      18 |   445158 |   360752 |     6342    104 |        0 |        0
772.67/772.86	c  772s |      18 |   446306 |   361752 |     6342    104 |        0 |        0
774.67/774.88	c  774s |      18 |   447286 |   362652 |     6342    104 |        0 |        0
776.87/777.06	c  776s |      18 |   448308 |   363552 |     6342    104 |        0 |        0
778.97/779.15	c  778s |      18 |   449193 |   364352 |     6342    104 |        0 |        0
781.17/781.39	c  781s |      18 |   450070 |   365052 |     6342    105 |        0 |        0
783.17/783.40	c  783s |      18 |   450820 |   365752 |     6342    105 |        0 |        0
785.38/785.54	c  785s |      18 |   452280 |   367052 |     6342    105 |        0 |        0
787.47/787.65	c  787s |      18 |   453532 |   368152 |     6342    105 |        0 |        0
789.47/789.66	c  789s |      18 |   454547 |   369052 |     6342    105 |        0 |        0
791.47/791.67	c  791s |      18 |   455201 |   369652 |     6342    106 |        0 |        0
793.76/793.96	c  793s |      18 |   456191 |   370552 |     6342    106 |        0 |        0
795.97/796.16	c  795s |      18 |   457313 |   371552 |     6342    106 |        0 |        0
798.07/798.24	c  798s |      18 |   458175 |   372352 |     6342    106 |        0 |        0
800.06/800.27	c  800s |      18 |   459036 |   373152 |     6342    106 |        0 |        0
802.26/802.41	c  802s |      18 |   459901 |   373952 |     6342    106 |        0 |        0
804.37/804.58	c  804s |      18 |   460677 |   374652 |     6342    107 |        0 |        0
806.47/806.60	c  806s |      18 |   461578 |   375452 |     6342    107 |        0 |        0
808.58/808.74	c  808s |      18 |   462915 |   376652 |     6342    107 |        0 |        0
810.67/810.90	c  810s |      18 |   464009 |   377652 |     6342    107 |        0 |        0
812.97/813.13	c  812s |      18 |   465157 |   378652 |     6342    107 |        0 |        0
815.17/815.32	c  815s |      18 |   466159 |   379552 |     6342    108 |        0 |        0
817.16/817.36	c  817s |      18 |   467038 |   380352 |     6342    108 |        0 |        0
819.16/819.37	c  819s |      18 |   467948 |   381152 |     6342    108 |        0 |        0
821.27/821.46	c  821s |      18 |   468928 |   382052 |     6342    108 |        0 |        0
823.36/823.52	c  823s |      18 |   469808 |   382852 |     6342    108 |        0 |        0
825.96/826.10	c  825s |      18 |   470686 |   383652 |     6342    109 |        0 |        0
827.96/828.15	c  827s |      18 |   471566 |   384452 |     6342    109 |        0 |        0
829.96/830.18	c  829s |      18 |   472446 |   385252 |     6342    109 |        0 |        0
832.17/832.39	c  832s |      18 |   473317 |   386052 |     6342    109 |        0 |        0
834.46/834.61	c  834s |      18 |   474174 |   386852 |     6342    109 |        0 |        0
836.76/836.97	c  836s |      18 |   474936 |   387552 |     6342    109 |        0 |        0
838.86/839.06	c  838s |      18 |   475837 |   388352 |     6342    110 |        0 |        0
840.96/841.17	c  840s |      18 |   477091 |   389452 |     6342    110 |        0 |        0
843.16/843.34	c  843s |      18 |   478176 |   390452 |     6342    110 |        0 |        0
845.16/845.39	c  845s |      18 |   479185 |   391352 |     6342    110 |        0 |        0
847.46/847.62	c  847s |      18 |   480178 |   392252 |     6342    110 |        0 |        0
849.65/849.81	c  849s |      18 |   480942 |   392952 |     6342    111 |        0 |        0
851.76/851.93	c  851s |      18 |   481909 |   393852 |     6342    111 |        0 |        0
853.86/854.04	c  853s |      18 |   482879 |   394752 |     6342    111 |        0 |        0
855.96/856.19	c  855s |      18 |   483871 |   395652 |     6342    111 |        0 |        0
858.07/858.30	c  858s |      18 |   484786 |   396452 |     6342    111 |        0 |        0
860.26/860.49	c  860s |      18 |   485545 |   397152 |     6342    111 |        0 |        0
862.46/862.69	c  862s |      18 |   486309 |   397852 |     6342    112 |        0 |        0
864.76/864.95	c  864s |      18 |   487278 |   398752 |     6342    112 |        0 |        0
866.77/867.00	c  866s |      18 |   488305 |   399652 |     6342    112 |        0 |        0
868.86/869.02	c  868s |      18 |   489352 |   400552 |     6342    112 |        0 |        0
870.86/871.02	c  870s |      18 |   490440 |   401552 |     6342    112 |        0 |        0
872.86/873.08	c  872s |      18 |   491325 |   402352 |     6342    113 |        0 |        0
874.96/875.10	c  874s |      18 |   492619 |   403452 |     6342    113 |        0 |        0
876.95/877.18	c  876s |      18 |   493482 |   404252 |     6342    113 |        0 |        0
879.05/879.21	c  878s |      18 |   494488 |   405152 |     6342    113 |        0 |        0
881.06/881.25	c  881s |      18 |   495406 |   405952 |     6342    113 |        0 |        0
883.15/883.36	c  883s |      18 |   496531 |   406952 |     6342    114 |        0 |        0
885.26/885.49	c  885s |      18 |   497953 |   408252 |     6342    114 |        0 |        0
887.36/887.57	c  887s |      18 |   499061 |   409252 |     6342    114 |        0 |        0
889.56/889.71	c  889s |      18 |   500145 |   410252 |     6342    114 |        0 |        0
891.55/891.78	c  891s |      18 |   500998 |   411052 |     6342    114 |        0 |        0
893.75/893.94	c  893s |      18 |   501884 |   411852 |     6342    115 |        0 |        0
895.76/895.97	c  895s |      18 |   502758 |   412652 |     6342    115 |        0 |        0
897.96/898.11	c  897s |      18 |   503894 |   413652 |     6342    115 |        0 |        0
899.95/900.12	c  899s |      18 |   505047 |   414652 |     6342    115 |        0 |        0
902.15/902.35	c  902s |      18 |   506137 |   415652 |     6342    115 |        0 |        0
904.35/904.50	c  904s |      18 |   506924 |   416352 |     6342    116 |        0 |        0
906.45/906.64	c  906s |      18 |   508318 |   417552 |     6342    116 |        0 |        0
908.55/908.80	c  908s |      18 |   509543 |   418652 |     6342    116 |        0 |        0
910.86/911.01	c  910s |      18 |   510512 |   419552 |     6342    116 |        0 |        0
912.96/913.14	c  912s |      18 |   511500 |   420452 |     6342    116 |        0 |        0
915.05/915.22	c  915s |      18 |   512403 |   421252 |     6342    117 |        0 |        0
917.15/917.34	c  917s |      18 |   513533 |   422252 |     6342    117 |        0 |        0
919.25/919.42	c  919s |      18 |   514877 |   423452 |     6342    117 |        0 |        0
921.35/921.56	c  921s |      18 |   516166 |   424552 |     6342    117 |        0 |        0
923.44/923.61	c  923s |      18 |   517228 |   425452 |     6342    118 |        0 |        0
925.55/925.73	c  925s |      18 |   518434 |   426552 |     6342    118 |        0 |        0
927.75/927.90	c  927s |      18 |   519671 |   427652 |     6342    118 |        0 |        0
929.95/930.10	c  929s |      18 |   520820 |   428652 |     6342    118 |        0 |        0
932.05/932.20	c  931s |      18 |   521801 |   429552 |     6342    118 |        0 |        0
934.05/934.25	c  934s |      18 |   522590 |   430252 |     6342    119 |        0 |        0
936.24/936.47	c  936s |      18 |   523836 |   431352 |     6342    119 |        0 |        0
938.35/938.59	c  938s |      18 |   524842 |   432252 |     6342    119 |        0 |        0
940.45/940.68	c  940s |      18 |   525726 |   433052 |     6342    119 |        0 |        0
942.75/942.94	c  942s |      18 |   526609 |   433852 |     6342    119 |        0 |        0
944.95/945.14	c  944s |      18 |   527421 |   434552 |     6342    120 |        0 |        0
946.94/947.18	c  946s |      18 |   528582 |   435552 |     6342    120 |        0 |        0
949.04/949.27	c  949s |      18 |   529551 |   436452 |     6342    120 |        0 |        0
951.14/951.34	c  951s |      18 |   530558 |   437352 |     6342    120 |        0 |        0
953.34/953.55	c  953s |      18 |   531402 |   438152 |     6342    120 |        0 |        0
955.45/955.64	c  955s |      18 |   532126 |   438852 |     6342    120 |        0 |        0
957.64/957.87	c  957s |      18 |   532996 |   439652 |     6342    121 |        0 |        0
959.94/960.11	c  959s |      18 |   533847 |   440452 |     6342    121 |        0 |        0
961.94/962.11	c  961s |      18 |   534622 |   441152 |     6342    121 |        0 |        0
964.04/964.26	c  964s |      18 |   535361 |   441852 |     6977    121 |        0 |        0
966.24/966.46	c  966s |      18 |   536019 |   442452 |     6977    121 |        0 |        0
968.34/968.56	c  968s |      18 |   536680 |   443052 |     6977    121 |        0 |        0
970.55/970.74	c  970s |      18 |   538106 |   444252 |     6977    121 |        0 |        0
971.25/971.47	c  971s |      19 |   538360 |   444482 |     6977    122 |        0 |        0
973.35/973.59	c  973s |      19 |   540805 |   445782 |     6977    122 |        0 |        0
975.54/975.71	c  975s |      19 |   542177 |   446982 |     6977    122 |        0 |        0
977.54/977.79	c  977s |      19 |   543300 |   447982 |     6977    122 |        0 |        0
979.74/979.90	c  979s |      19 |   544189 |   448782 |     6977    123 |        0 |        0
981.74/981.91	c  981s |      19 |   545058 |   449582 |     6977    123 |        0 |        0
983.94/984.15	c  983s |      19 |   546061 |   450482 |     6977    123 |        0 |        0
986.14/986.30	c  986s |      19 |   546917 |   451282 |     6977    123 |        0 |        0
988.34/988.52	c  988s |      19 |   547801 |   452082 |     6977    123 |        0 |        0
990.54/990.75	c  990s |      19 |   548695 |   452882 |     6977    123 |        0 |        0
992.54/992.78	c  992s |      19 |   549468 |   453582 |     6977    124 |        0 |        0
994.84/995.01	c  994s |      19 |   550494 |   454482 |     6977    124 |        0 |        0
997.04/997.23	c  997s |      19 |   551547 |   455382 |     6977    124 |        0 |        0
999.04/999.26	c  999s |      19 |   552445 |   456182 |     6977    124 |        0 |        0
1001.14/1001.34	c 1001s |      19 |   553314 |   456982 |     6977    124 |        0 |        0
1003.14/1003.40	c 1003s |      19 |   554089 |   457682 |     6977    125 |        0 |        0
1005.34/1005.55	c 1005s |      19 |   554950 |   458482 |     6977    125 |        0 |        0
1007.43/1007.69	c 1007s |      19 |   555808 |   459282 |     6977    125 |        0 |        0
1009.74/1009.97	c 1009s |      19 |   556800 |   460182 |     6977    125 |        0 |        0
1012.04/1012.21	c 1011s |      19 |   557747 |   460982 |     6977    125 |        0 |        0
1014.03/1014.22	c 1014s |      19 |   558561 |   461682 |     6977    125 |        0 |        0
1016.03/1016.24	c 1016s |      19 |   559343 |   462382 |     6977    126 |        0 |        0
1018.23/1018.43	c 1018s |      19 |   560502 |   463382 |     6977    126 |        0 |        0
1020.33/1020.52	c 1020s |      19 |   561679 |   464382 |     6977    126 |        0 |        0
1022.53/1022.74	c 1022s |      19 |   562671 |   465282 |     6977    126 |        0 |        0
1024.73/1024.91	c 1024s |      19 |   563575 |   466082 |     6977    126 |        0 |        0
1026.93/1027.11	c 1026s |      19 |   564396 |   466782 |     6977    127 |        0 |        0
1028.93/1029.17	c 1028s |      19 |   565434 |   467682 |     6977    127 |        0 |        0
1031.03/1031.27	c 1031s |      19 |   566348 |   468482 |     6977    127 |        0 |        0
1033.13/1033.33	c 1033s |      19 |   567264 |   469282 |     6977    127 |        0 |        0
1035.23/1035.44	c 1035s |      19 |   568048 |   469982 |     6977    127 |        0 |        0
1037.34/1037.55	c 1037s |      19 |   568838 |   470682 |     6977    128 |        0 |        0
1039.33/1039.55	c 1039s |      19 |   569739 |   471482 |     6977    128 |        0 |        0
1041.53/1041.75	c 1041s |      19 |   570625 |   472282 |     6977    128 |        0 |        0
1043.63/1043.86	c 1043s |      19 |   571535 |   473082 |     6977    128 |        0 |        0
1045.93/1046.11	c 1045s |      19 |   572584 |   473982 |     6977    128 |        0 |        0
1047.93/1048.18	c 1047s |      19 |   573332 |   474682 |     6977    128 |        0 |        0
1050.13/1050.39	c 1050s |      19 |   574009 |   475282 |     6977    129 |        0 |        0
1052.33/1052.55	c 1052s |      19 |   574998 |   476182 |     6977    129 |        0 |        0
1054.52/1054.71	c 1054s |      19 |   575886 |   476982 |     6977    129 |        0 |        0
1056.52/1056.74	c 1056s |      19 |   576769 |   477782 |     6977    129 |        0 |        0
1058.72/1058.90	c 1058s |      19 |   577650 |   478582 |     6977    129 |        0 |        0
1060.82/1061.06	c 1060s |      19 |   578445 |   479282 |     6977    130 |        0 |        0
1062.92/1063.14	c 1062s |      19 |   579299 |   480082 |     6977    130 |        0 |        0
1064.92/1065.19	c 1064s |      19 |   580195 |   480882 |     6977    130 |        0 |        0
1067.12/1067.38	c 1067s |      19 |   581101 |   481682 |     6977    130 |        0 |        0
1069.24/1069.47	c 1069s |      19 |   582152 |   482582 |     6977    130 |        0 |        0
1071.23/1071.50	c 1071s |      19 |   583066 |   483382 |     6977    130 |        0 |        0
1073.33/1073.55	c 1073s |      19 |   583947 |   484182 |     6977    131 |        0 |        0
1075.43/1075.63	c 1075s |      19 |   584941 |   485082 |     6977    131 |        0 |        0
1077.43/1077.69	c 1077s |      19 |   585942 |   485982 |     6977    131 |        0 |        0
1079.43/1079.70	c 1079s |      19 |   586859 |   486782 |     6977    131 |        0 |        0
1081.73/1081.92	c 1081s |      19 |   587900 |   487682 |     6977    131 |        0 |        0
1083.83/1084.03	c 1083s |      19 |   588790 |   488482 |     6977    132 |        0 |        0
1086.03/1086.25	c 1086s |      19 |   589927 |   489482 |     6977    132 |        0 |        0
1088.23/1088.40	c 1088s |      19 |   590948 |   490382 |     6977    132 |        0 |        0
1090.33/1090.54	c 1090s |      19 |   591850 |   491182 |     6977    132 |        0 |        0
1092.53/1092.71	c 1092s |      19 |   592756 |   491982 |     6977    132 |        0 |        0
1094.63/1094.82	c 1094s |      19 |   593547 |   492682 |     6977    133 |        0 |        0
1096.73/1096.95	c 1096s |      19 |   594599 |   493582 |     6977    133 |        0 |        0
1098.83/1099.00	c 1098s |      19 |   595714 |   494582 |     6977    133 |        0 |        0
1100.92/1101.16	c 1100s |      19 |   596880 |   495582 |     6977    133 |        0 |        0
1103.02/1103.24	c 1103s |      19 |   597784 |   496382 |     6977    134 |        0 |        0
1105.02/1105.24	c 1105s |      19 |   598826 |   497282 |     6977    134 |        0 |        0
1107.12/1107.30	c 1107s |      19 |   599968 |   498282 |     6977    134 |        0 |        0
1109.12/1109.34	c 1109s |      19 |   600871 |   499082 |     6977    134 |        0 |        0
1111.22/1111.42	c 1111s |      19 |   601865 |   499982 |     6977    134 |        0 |        0
1113.32/1113.57	c 1113s |      19 |   602732 |   500782 |     6977    135 |        0 |        0
1115.52/1115.70	c 1115s |      19 |   603753 |   501682 |     6977    135 |        0 |        0
1117.53/1117.76	c 1117s |      19 |   604526 |   502382 |     6977    135 |        0 |        0
1119.72/1119.95	c 1119s |      19 |   605518 |   503282 |     6977    135 |        0 |        0
1121.92/1122.13	c 1121s |      19 |   606559 |   504182 |     6977    135 |        0 |        0
1123.92/1124.18	c 1123s |      19 |   607481 |   504982 |     6977    136 |        0 |        0
1126.02/1126.21	c 1125s |      19 |   608574 |   505882 |     6977    136 |        0 |        0
1128.22/1128.43	c 1128s |      19 |   609702 |   506882 |     6977    136 |        0 |        0
1130.32/1130.50	c 1130s |      19 |   610624 |   507682 |     6977    136 |        0 |        0
1132.41/1132.63	c 1132s |      19 |   611545 |   508482 |     6977    136 |        0 |        0
1134.61/1134.81	c 1134s |      19 |   612431 |   509282 |     6977    137 |        0 |        0
1136.81/1137.00	c 1136s |      19 |   613440 |   510182 |     6977    137 |        0 |        0
1138.91/1139.19	c 1138s |      19 |   614350 |   510982 |     6977    137 |        0 |        0
1141.11/1141.39	c 1141s |      19 |   615223 |   511782 |     6977    137 |        0 |        0
1143.41/1143.66	c 1143s |      19 |   616110 |   512582 |     6977    137 |        0 |        0
1145.61/1145.86	c 1145s |      19 |   617009 |   513382 |     6977    137 |        0 |        0
1147.71/1147.99	c 1147s |      19 |   617920 |   514182 |     6977    138 |        0 |        0
1149.81/1150.07	c 1149s |      19 |   618807 |   514982 |     6977    138 |        0 |        0
1151.91/1152.11	c 1151s |      19 |   619684 |   515782 |     6977    138 |        0 |        0
1153.92/1154.13	c 1153s |      19 |   620460 |   516482 |     6977    138 |        0 |        0
1156.12/1156.33	c 1156s |      19 |   621373 |   517282 |     6977    138 |        0 |        0
1158.11/1158.39	c 1158s |      19 |   622164 |   517982 |     6977    139 |        0 |        0
1160.21/1160.41	c 1160s |      19 |   623054 |   518782 |     6977    139 |        0 |        0
1162.31/1162.50	c 1162s |      19 |   623843 |   519482 |     6977    139 |        0 |        0
1164.51/1164.74	c 1164s |      19 |   624703 |   520282 |     6977    139 |        0 |        0
1166.71/1166.92	c 1166s |      19 |   625477 |   520982 |     6977    139 |        0 |        0
1168.71/1168.95	c 1168s |      19 |   626227 |   521682 |     6977    139 |        0 |        0
1170.91/1171.11	c 1170s |      19 |   626992 |   522382 |     6977    140 |        0 |        0
1172.91/1173.15	c 1172s |      19 |   627744 |   523082 |     6977    140 |        0 |        0
1175.11/1175.33	c 1175s |      19 |   628479 |   523782 |     6977    140 |        0 |        0
1177.21/1177.44	c 1177s |      19 |   629414 |   524582 |     6977    140 |        0 |        0
1179.21/1179.48	c 1179s |      19 |   630294 |   525382 |     6977    140 |        0 |        0
1181.31/1181.57	c 1181s |      19 |   631047 |   526082 |     6977    140 |        0 |        0
1183.41/1183.69	c 1183s |      19 |   631816 |   526782 |     6977    141 |        0 |        0
1185.51/1185.76	c 1185s |      19 |   632803 |   527682 |     6977    141 |        0 |        0
1187.71/1187.97	c 1187s |      19 |   633693 |   528482 |     6977    141 |        0 |        0
1189.91/1190.19	c 1189s |      19 |   634553 |   529282 |     6977    141 |        0 |        0
1192.11/1192.39	c 1192s |      19 |   635420 |   530082 |     6977    141 |        0 |        0
1194.31/1194.55	c 1194s |      19 |   636186 |   530782 |     6977    142 |        0 |        0
1196.31/1196.55	c 1196s |      19 |   637047 |   531582 |     6977    142 |        0 |        0
1198.51/1198.73	c 1198s |      19 |   637929 |   532382 |     6977    142 |        0 |        0
1200.71/1200.96	c 1200s |      19 |   638822 |   533182 |     6977    142 |        0 |        0
1202.91/1203.12	c 1202s |      19 |   639684 |   533982 |     6977    142 |        0 |        0
1204.91/1205.17	c 1204s |      19 |   640438 |   534682 |     6977    142 |        0 |        0
1207.11/1207.33	c 1207s |      19 |   641184 |   535382 |     6977    143 |        0 |        0
1209.31/1209.59	c 1209s |      19 |   641952 |   536082 |     6977    143 |        0 |        0
1211.61/1211.85	c 1211s |      19 |   642934 |   536982 |     6977    143 |        0 |        0
1213.91/1214.11	c 1213s |      19 |   643828 |   537782 |     6977    143 |        0 |        0
1216.01/1216.24	c 1216s |      19 |   644859 |   538682 |     6977    143 |        0 |        0
1218.31/1218.53	c 1218s |      19 |   645827 |   539482 |     6977    144 |        0 |        0
1220.41/1220.64	c 1220s |      19 |   646725 |   540282 |     6977    144 |        0 |        0
1222.61/1222.88	c 1222s |      19 |   647598 |   541082 |     6977    144 |        0 |        0
1224.70/1224.92	c 1224s |      19 |   648357 |   541782 |     6977    144 |        0 |        0
1226.90/1227.14	c 1226s |      19 |   649121 |   542482 |     6977    144 |        0 |        0
1228.90/1229.18	c 1228s |      19 |   649919 |   543182 |     6977    144 |        0 |        0
1231.10/1231.36	c 1231s |      19 |   650564 |   543782 |     6977    145 |        0 |        0
1233.20/1233.47	c 1233s |      19 |   651585 |   544682 |     6977    145 |        0 |        0
1235.40/1235.68	c 1235s |      19 |   652469 |   545482 |     6977    145 |        0 |        0
1237.60/1237.89	c 1237s |      19 |   653226 |   546182 |     6977    145 |        0 |        0
1239.90/1240.17	c 1239s |      19 |   653999 |   546882 |     6977    145 |        0 |        0
1242.20/1242.49	c 1242s |      19 |   654799 |   547582 |     6977    146 |        0 |        0
1244.30/1244.58	c 1244s |      19 |   655575 |   548282 |     6977    146 |        0 |        0
1246.60/1246.82	c 1246s |      19 |   656450 |   549082 |     6977    146 |        0 |        0
1248.60/1248.89	c 1248s |      19 |   657203 |   549782 |     6977    146 |        0 |        0
1250.80/1251.02	c 1250s |      19 |   657988 |   550482 |     6977    146 |        0 |        0
1253.00/1253.23	c 1253s |      19 |   658758 |   551182 |     6977    146 |        0 |        0
1255.01/1255.29	c 1255s |      19 |   659688 |   551982 |     6977    147 |        0 |        0
1257.10/1257.34	c 1257s |      19 |   660795 |   552982 |     6977    147 |        0 |        0
1259.20/1259.49	c 1259s |      19 |   661847 |   553882 |     6977    147 |        0 |        0
1261.30/1261.54	c 1261s |      19 |   662893 |   554782 |     6977    147 |        0 |        0
1263.30/1263.57	c 1263s |      19 |   663672 |   555482 |     6977    147 |        0 |        0
1265.50/1265.79	c 1265s |      19 |   664472 |   556182 |     6977    148 |        0 |        0
1267.60/1267.87	c 1267s |      19 |   665358 |   556982 |     6977    148 |        0 |        0
1269.90/1270.12	c 1269s |      19 |   666246 |   557782 |     6977    148 |        0 |        0
1271.90/1272.16	c 1271s |      19 |   667022 |   558482 |     6977    148 |        0 |        0
1274.10/1274.34	c 1274s |      19 |   667907 |   559282 |     6977    148 |        0 |        0
1276.40/1276.63	c 1276s |      19 |   668796 |   560082 |     6977    148 |        0 |        0
1278.50/1278.72	c 1278s |      19 |   669465 |   560682 |     6977    149 |        0 |        0
1280.70/1280.98	c 1280s |      19 |   670376 |   561482 |     6977    149 |        0 |        0
1283.00/1283.21	c 1282s |      19 |   671116 |   562182 |     6977    149 |        0 |        0
1285.20/1285.46	c 1285s |      19 |   672042 |   562982 |     6977    149 |        0 |        0
1287.50/1287.77	c 1287s |      19 |   672980 |   563782 |     6977    149 |        0 |        0
1289.70/1289.90	c 1289s |      19 |   673757 |   564482 |     6977    149 |        0 |        0
1291.79/1292.02	c 1291s |      19 |   674521 |   565182 |     6977    150 |        0 |        0
1293.79/1294.07	c 1293s |      19 |   675432 |   565982 |     6977    150 |        0 |        0
1295.99/1296.28	c 1296s |      19 |   676340 |   566782 |     6977    150 |        0 |        0
1298.09/1298.38	c 1298s |      19 |   677090 |   567482 |     6977    150 |        0 |        0
1300.39/1300.60	c 1300s |      19 |   677996 |   568282 |     6977    150 |        0 |        0
1302.40/1302.65	c 1302s |      19 |   678913 |   569082 |     6977    151 |        0 |        0
1304.39/1304.70	c 1304s |      19 |   679934 |   569982 |     6977    151 |        0 |        0
1306.49/1306.75	c 1306s |      19 |   680851 |   570782 |     6977    151 |        0 |        0
1308.69/1308.96	c 1308s |      19 |   681725 |   571582 |     6977    151 |        0 |        0
1310.69/1310.97	c 1310s |      19 |   682500 |   572282 |     6977    151 |        0 |        0
1312.89/1313.14	c 1312s |      19 |   683405 |   573082 |     6977    151 |        0 |        0
1314.89/1315.14	c 1314s |      19 |   684215 |   573782 |     6977    152 |        0 |        0
1317.09/1317.34	c 1317s |      19 |   685219 |   574682 |     6977    152 |        0 |        0
1319.19/1319.46	c 1319s |      19 |   686124 |   575482 |     6977    152 |        0 |        0
1321.29/1321.55	c 1321s |      19 |   686915 |   576182 |     6977    152 |        0 |        0
1323.49/1323.74	c 1323s |      19 |   687832 |   576982 |     6977    152 |        0 |        0
1325.49/1325.77	c 1325s |      19 |   688613 |   577682 |     6977    153 |        0 |        0
1327.69/1327.98	c 1327s |      19 |   689637 |   578582 |     6977    153 |        0 |        0
1329.99/1330.21	c 1329s |      19 |   690521 |   579382 |     6977    153 |        0 |        0
1332.29/1332.55	c 1332s |      19 |   691309 |   580082 |     6977    153 |        0 |        0
1334.49/1334.71	c 1334s |      19 |   692055 |   580782 |     6977    153 |        0 |        0
1336.58/1336.83	c 1336s |      19 |   693114 |   581682 |     6977    153 |        0 |        0
1338.69/1339.00	c 1338s |      19 |   694266 |   582682 |     6977    154 |        0 |        0
1340.89/1341.18	c 1340s |      19 |   695463 |   583782 |     6977    154 |        0 |        0
1342.99/1343.23	c 1343s |      19 |   696345 |   584582 |     6977    154 |        0 |        0
1345.19/1345.43	c 1345s |      19 |   697445 |   585582 |     6977    154 |        0 |        0
1347.28/1347.50	c 1347s |      19 |   698410 |   586482 |     6977    155 |        0 |        0
1349.28/1349.52	c 1349s |      19 |   699278 |   587282 |     6977    155 |        0 |        0
1351.38/1351.68	c 1351s |      19 |   700253 |   588182 |     6977    155 |        0 |        0
1353.58/1353.87	c 1353s |      19 |   701228 |   589082 |     6977    155 |        0 |        0
1355.78/1356.06	c 1355s |      19 |   702107 |   589882 |     6977    155 |        0 |        0
1357.88/1358.15	c 1357s |      19 |   702880 |   590582 |     6977    156 |        0 |        0
1360.08/1360.30	c 1360s |      19 |   703752 |   591382 |     6977    156 |        0 |        0
1362.28/1362.55	c 1362s |      19 |   704874 |   592382 |     6977    156 |        0 |        0
1364.28/1364.59	c 1364s |      19 |   705774 |   593182 |     6977    156 |        0 |        0
1366.48/1366.77	c 1366s |      19 |   706637 |   593982 |     6977    156 |        0 |        0
1368.58/1368.82	c 1368s |      19 |   707385 |   594682 |     6977    157 |        0 |        0
1370.68/1370.96	c 1370s |      19 |   708143 |   595382 |     6977    157 |        0 |        0
1372.68/1372.99	c 1372s |      19 |   709015 |   596182 |     6977    157 |        0 |        0
1374.78/1375.04	c 1374s |      19 |   709773 |   596882 |     6977    157 |        0 |        0
1376.98/1377.22	c 1377s |      19 |   710594 |   597582 |     6977    157 |        0 |        0
1379.08/1379.31	c 1379s |      19 |   711377 |   598282 |     6977    157 |        0 |        0
1381.28/1381.55	c 1381s |      19 |   712031 |   598882 |     6977    158 |        0 |        0
1383.48/1383.75	c 1383s |      19 |   712942 |   599682 |     6977    158 |        0 |        0
1385.58/1385.87	c 1385s |      19 |   713727 |   600382 |     6977    158 |        0 |        0
1387.78/1388.02	c 1387s |      19 |   714419 |   600982 |     6977    158 |        0 |        0
1389.77/1390.07	c 1389s |      19 |   715243 |   601682 |     6977    158 |        0 |        0
1392.17/1392.42	c 1392s |      19 |   716026 |   602382 |     6977    158 |        0 |        0
1394.37/1394.69	c 1394s |      19 |   716880 |   603082 |     6977    158 |        0 |        0
1396.58/1396.83	c 1396s |      19 |   717560 |   603682 |     6977    159 |        0 |        0
1398.58/1398.87	c 1398s |      19 |   718389 |   604382 |     6977    159 |        0 |        0
1400.78/1401.06	c 1400s |      19 |   719162 |   605082 |     6977    159 |        0 |        0
1402.78/1403.08	c 1402s |      19 |   719865 |   605682 |     6977    159 |        0 |        0
1405.08/1405.35	c 1405s |      19 |   720551 |   606282 |     6977    159 |        0 |        0
1407.48/1407.73	c 1407s |      19 |   721212 |   606882 |     6977    159 |        0 |        0
1409.98/1410.26	c 1410s |      19 |   721783 |   607382 |     6977    160 |        0 |        0
1411.98/1412.27	c 1412s |      19 |   722573 |   608082 |     6977    160 |        0 |        0
1413.98/1414.28	c 1414s |      19 |   723391 |   608782 |     6977    160 |        0 |        0
1416.17/1416.40	c 1416s |      19 |   724078 |   609382 |     6977    160 |        0 |        0
1418.17/1418.50	c 1418s |      19 |   724986 |   610182 |     6977    160 |        0 |        0
1420.37/1420.61	c 1420s |      19 |   725921 |   610982 |     6977    160 |        0 |        0
1422.47/1422.74	c 1422s |      19 |   726638 |   611582 |     6977    160 |        0 |        0
1424.78/1425.03	c 1424s |      19 |   727328 |   612182 |     6977    161 |        0 |        0
1426.88/1427.11	c 1426s |      19 |   727970 |   612782 |     6977    161 |        0 |        0
1429.47/1429.73	c 1429s |      19 |   728632 |   613382 |     6977    161 |        0 |        0
1431.47/1431.75	c 1431s |      19 |   729312 |   613982 |     6977    161 |        0 |        0
1433.67/1433.98	c 1433s |      19 |   729977 |   614582 |     6977    161 |        0 |        0
1436.07/1436.32	c 1436s |      19 |   730636 |   615182 |     6977    161 |        0 |        0
1438.17/1438.44	c 1438s |      19 |   731188 |   615682 |     6977    161 |        0 |        0
1440.36/1440.63	c 1440s |      19 |   731867 |   616282 |     6977    162 |        0 |        0
1442.36/1442.68	c 1442s |      19 |   732540 |   616882 |     6977    162 |        0 |        0
1444.47/1444.79	c 1444s |      19 |   733225 |   617482 |     6977    162 |        0 |        0
1446.97/1447.21	c 1446s |      19 |   733880 |   618082 |     6977    162 |        0 |        0
1449.07/1449.32	c 1449s |      19 |   734538 |   618682 |     6977    162 |        0 |        0
1451.27/1451.54	c 1451s |      19 |   735251 |   619282 |     6977    162 |        0 |        0
1453.56/1453.84	c 1453s |      19 |   736042 |   619982 |     6977    162 |        0 |        0
1455.86/1456.16	c 1455s |      19 |   736721 |   620582 |     6977    163 |        0 |        0
1458.06/1458.38	c 1458s |      19 |   737669 |   621382 |     6977    163 |        0 |        0
1460.26/1460.58	c 1460s |      19 |   738377 |   621982 |     6977    163 |        0 |        0
1462.55/1462.85	c 1462s |      19 |   739141 |   622682 |     6977    163 |        0 |        0
1464.75/1465.06	c 1464s |      19 |   739810 |   623282 |     6977    163 |        0 |        0
1466.86/1467.17	c 1466s |      19 |   740499 |   623882 |     6977    163 |        0 |        0
1469.26/1469.52	c 1469s |      19 |   741205 |   624482 |     6977    164 |        0 |        0
1471.26/1471.58	c 1471s |      19 |   742103 |   625282 |     6977    164 |        0 |        0
1473.26/1473.58	c 1473s |      19 |   742744 |   625882 |     6977    164 |        0 |        0
1475.66/1475.93	c 1475s |      19 |   743530 |   626582 |     6977    164 |        0 |        0
1477.95/1478.20	c 1477s |      19 |   744303 |   627282 |     6977    164 |        0 |        0
1480.15/1480.42	c 1480s |      19 |   744962 |   627882 |     6977    164 |        0 |        0
1482.45/1482.76	c 1482s |      19 |   745643 |   628482 |     6977    164 |        0 |        0
1484.75/1485.07	c 1484s |      19 |   746325 |   629082 |     6977    165 |        0 |        0
1487.24/1487.51	c 1487s |      19 |   747010 |   629682 |     6977    165 |        0 |        0
1489.35/1489.62	c 1489s |      19 |   747697 |   630282 |     6977    165 |        0 |        0
1491.65/1491.91	c 1491s |      19 |   748472 |   630982 |     6977    165 |        0 |        0
1493.66/1493.92	c 1493s |      19 |   749037 |   631482 |     6977    165 |        0 |        0
1495.75/1496.06	c 1495s |      19 |   749644 |   631982 |     6977    165 |        0 |        0
1497.84/1498.18	c 1497s |      19 |   750188 |   632482 |     6977    165 |        0 |        0
1500.44/1500.76	c 1500s |      19 |   750762 |   632982 |     6977    166 |        0 |        0
1502.54/1502.85	c 1502s |      19 |   751685 |   633782 |     6977    166 |        0 |        0
1504.64/1504.93	c 1504s |      19 |   752378 |   634382 |     6977    166 |        0 |        0
1506.63/1506.98	c 1506s |      19 |   753052 |   634982 |     6977    166 |        0 |        0
1508.74/1509.03	c 1508s |      19 |   753708 |   635582 |     6977    166 |        0 |        0
1510.94/1511.21	c 1510s |      19 |   754366 |   636182 |     6977    166 |        0 |        0
1512.94/1513.28	c 1513s |      19 |   754920 |   636682 |     6977    166 |        0 |        0
1515.03/1515.32	c 1515s |      19 |   755451 |   637182 |     6977    166 |        0 |        0
1517.23/1517.51	c 1517s |      19 |   755896 |   637582 |     6977    167 |        0 |        0
1519.23/1519.59	c 1519s |      19 |   756325 |   637982 |     6977    167 |        0 |        0
1521.34/1521.63	c 1521s |      19 |   756893 |   638482 |     6977    167 |        0 |        0
1523.64/1523.98	c 1523s |      19 |   757542 |   639082 |     6977    167 |        0 |        0
1525.73/1526.09	c 1525s |      19 |   757979 |   639482 |     6977    167 |        0 |        0
1527.84/1528.16	c 1527s |      19 |   758682 |   640082 |     6977    167 |        0 |        0
1529.94/1530.22	c 1530s |      19 |   760154 |   641382 |     6977    167 |        0 |        0
1532.03/1532.38	c 1532s |      19 |   761213 |   642382 |     6977    168 |        0 |        0
1534.13/1534.46	c 1534s |      19 |   762324 |   643382 |     6977    168 |        0 |        0
1536.22/1536.58	c 1536s |      19 |   763436 |   644382 |     6977    168 |        0 |        0
1538.32/1538.65	c 1538s |      19 |   764446 |   645282 |     6977    168 |        0 |        0
1540.32/1540.68	c 1540s |      19 |   765462 |   646182 |     6977    169 |        0 |        0
1542.52/1542.81	c 1542s |      19 |   766601 |   647182 |     6977    169 |        0 |        0
1544.62/1544.93	c 1544s |      19 |   767679 |   648182 |     6977    169 |        0 |        0
1546.82/1547.12	c 1546s |      19 |   768765 |   649182 |     6977    169 |        0 |        0
1548.82/1549.14	c 1548s |      19 |   769655 |   649982 |     6977    169 |        0 |        0
1550.93/1551.24	c 1551s |      19 |   770512 |   650782 |     6977    170 |        0 |        0
1553.03/1553.38	c 1553s |      19 |   771488 |   651682 |     6977    170 |        0 |        0
1555.12/1555.43	c 1555s |      19 |   772336 |   652482 |     6977    170 |        0 |        0
1557.31/1557.62	c 1557s |      19 |   773228 |   653282 |     6977    170 |        0 |        0
1559.41/1559.75	c 1559s |      19 |   774079 |   654082 |     6977    170 |        0 |        0
1561.61/1561.94	c 1561s |      19 |   774955 |   654882 |     6977    171 |        0 |        0
1563.71/1564.09	c 1563s |      19 |   775935 |   655782 |     6977    171 |        0 |        0
1565.81/1566.18	c 1565s |      19 |   776969 |   656682 |     6977    171 |        0 |        0
1567.91/1568.24	c 1568s |      19 |   778005 |   657582 |     6977    171 |        0 |        0
1570.11/1570.42	c 1570s |      19 |   778907 |   658382 |     6977    171 |        0 |        0
1572.21/1572.51	c 1572s |      19 |   779682 |   659082 |     6977    172 |        0 |        0
1574.40/1574.70	c 1574s |      19 |   780689 |   659982 |     6977    172 |        0 |        0
1576.40/1576.77	c 1576s |      19 |   781841 |   660982 |     6977    172 |        0 |        0
1578.50/1578.86	c 1578s |      19 |   782832 |   661882 |     6977    172 |        0 |        0
1580.51/1580.87	c 1580s |      19 |   783709 |   662682 |     7675    172 |        0 |        0
1582.71/1583.03	c 1582s |      19 |   784607 |   663482 |     7675    172 |        0 |        0
1584.80/1585.14	c 1584s |      19 |   785380 |   664182 |     7675    173 |        0 |        0
1586.89/1587.23	c 1587s |      19 |   786363 |   665082 |     7675    173 |        0 |        0
1589.09/1589.40	c 1589s |      19 |   787353 |   665982 |     7675    173 |        0 |        0
1591.09/1591.46	c 1591s |      19 |   788241 |   666782 |     7675    173 |        0 |        0
1591.19/1591.56	c 1591s |      20 |   788290 |   666827 |     7675    173 |        0 |        0
1593.29/1593.65	c 1593s |      20 |   791770 |   668227 |     7675    174 |        0 |        0
1595.39/1595.75	c 1595s |      20 |   793509 |   669827 |     7675    174 |        0 |        0
1597.49/1597.81	c 1597s |      20 |   795170 |   671327 |     7675    174 |        0 |        0
1599.58/1599.93	c 1599s |      20 |   796499 |   672527 |     7675    175 |        0 |        0
1601.59/1601.96	c 1601s |      20 |   797713 |   673627 |     7675    175 |        0 |        0
1603.70/1604.03	c 1603s |      20 |   799002 |   674827 |     7675    175 |        0 |        0
1605.69/1606.05	c 1605s |      20 |   800075 |   675827 |     7675    175 |        0 |        0
1607.79/1608.12	c 1607s |      20 |   801271 |   676927 |     7675    175 |        0 |        0
1609.79/1610.15	c 1609s |      20 |   802467 |   678027 |     7675    176 |        0 |        0
1611.89/1612.29	c 1612s |      20 |   803647 |   679127 |     7675    176 |        0 |        0
1614.19/1614.50	c 1614s |      20 |   804960 |   680327 |     7675    176 |        0 |        0
1616.18/1616.57	c 1616s |      20 |   806002 |   681327 |     7675    176 |        0 |        0
1618.28/1618.67	c 1618s |      20 |   807103 |   682327 |     7675    177 |        0 |        0
1620.38/1620.72	c 1620s |      20 |   808293 |   683427 |     7675    177 |        0 |        0
1622.58/1622.92	c 1622s |      20 |   809371 |   684427 |     7675    177 |        0 |        0
1624.68/1625.01	c 1624s |      20 |   810545 |   685527 |     7675    177 |        0 |        0
1626.78/1627.16	c 1626s |      20 |   811978 |   686727 |     7675    178 |        0 |        0
1628.88/1629.20	c 1628s |      20 |   813279 |   687827 |     7675    178 |        0 |        0
1630.87/1631.22	c 1631s |      20 |   814530 |   688927 |     7675    178 |        0 |        0
1633.07/1633.47	c 1633s |      20 |   815624 |   689927 |     7675    178 |        0 |        0
1635.17/1635.51	c 1635s |      20 |   816746 |   690927 |     7675    178 |        0 |        0
1637.27/1637.63	c 1637s |      20 |   817711 |   691827 |     7675    179 |        0 |        0
1639.26/1639.69	c 1639s |      20 |   818688 |   692727 |     7675    179 |        0 |        0
1641.46/1641.83	c 1641s |      20 |   819940 |   693827 |     7675    179 |        0 |        0
1643.56/1643.96	c 1643s |      20 |   821038 |   694827 |     7675    179 |        0 |        0
1645.56/1645.98	c 1645s |      20 |   822140 |   695827 |     7675    179 |        0 |        0
1647.76/1648.12	c 1647s |      20 |   823369 |   696927 |     7675    180 |        0 |        0
1649.96/1650.31	c 1650s |      20 |   824563 |   698027 |     7675    180 |        0 |        0
1652.16/1652.54	c 1652s |      20 |   825630 |   699027 |     7675    180 |        0 |        0
1654.17/1654.58	c 1654s |      20 |   826748 |   700027 |     7675    180 |        0 |        0
1656.25/1656.63	c 1656s |      20 |   827743 |   700927 |     7675    181 |        0 |        0
1658.45/1658.81	c 1658s |      20 |   829059 |   702127 |     7675    181 |        0 |        0
1660.55/1660.97	c 1660s |      20 |   830142 |   703127 |     7675    181 |        0 |        0
1662.75/1663.14	c 1662s |      20 |   831230 |   704127 |     7675    181 |        0 |        0
1664.75/1665.17	c 1664s |      20 |   832337 |   705127 |     7675    181 |        0 |        0
1666.74/1667.18	c 1666s |      20 |   833438 |   706127 |     7675    182 |        0 |        0
1668.84/1669.29	c 1669s |      20 |   834864 |   707427 |     7675    182 |        0 |        0
1670.94/1671.32	c 1671s |      20 |   836050 |   708527 |     7675    182 |        0 |        0
1673.04/1673.41	c 1673s |      20 |   837014 |   709427 |     7675    182 |        0 |        0
1675.15/1675.56	c 1675s |      20 |   837908 |   710227 |     7675    183 |        0 |        0
1677.24/1677.66	c 1677s |      20 |   839118 |   711327 |     7675    183 |        0 |        0
1679.33/1679.74	c 1679s |      20 |   840317 |   712427 |     7675    183 |        0 |        0
1681.53/1681.91	c 1681s |      20 |   841549 |   713527 |     7675    183 |        0 |        0
1683.63/1684.01	c 1683s |      20 |   842655 |   714527 |     7675    183 |        0 |        0
1685.63/1686.04	c 1685s |      20 |   843521 |   715327 |     7675    184 |        0 |        0
1687.73/1688.19	c 1687s |      20 |   844496 |   716227 |     7675    184 |        0 |        0
1689.84/1690.25	c 1690s |      20 |   845512 |   717127 |     7675    184 |        0 |        0
1691.84/1692.25	c 1692s |      20 |   846505 |   718027 |     7675    184 |        0 |        0
1693.84/1694.27	c 1694s |      20 |   847619 |   719027 |     7675    184 |        0 |        0
1695.94/1696.34	c 1696s |      20 |   848613 |   719927 |     7675    185 |        0 |        0
1698.03/1698.50	c 1698s |      20 |   849789 |   721027 |     7675    185 |        0 |        0
1700.13/1700.59	c 1700s |      20 |   850744 |   721927 |     7675    185 |        0 |        0
1702.23/1702.66	c 1702s |      20 |   851724 |   722827 |     7675    185 |        0 |        0
1704.33/1704.70	c 1704s |      20 |   852589 |   723627 |     7675    185 |        0 |        0
1706.63/1707.08	c 1706s |      20 |   853348 |   724327 |     7675    186 |        0 |        0
1708.83/1709.26	c 1709s |      20 |   854713 |   725527 |     7675    186 |        0 |        0
1710.93/1711.37	c 1711s |      20 |   855923 |   726627 |     7675    186 |        0 |        0
1713.03/1713.49	c 1713s |      20 |   857018 |   727627 |     7675    186 |        0 |        0
1715.13/1715.56	c 1715s |      20 |   857980 |   728527 |     7675    186 |        0 |        0
1717.12/1717.57	c 1717s |      20 |   858766 |   729227 |     7675    187 |        0 |        0
1719.22/1719.68	c 1719s |      20 |   859785 |   730127 |     7675    187 |        0 |        0
1721.42/1721.81	c 1721s |      20 |   861154 |   731327 |     7675    187 |        0 |        0
1723.53/1723.96	c 1723s |      20 |   862350 |   732427 |     7675    187 |        0 |        0
1725.63/1726.03	c 1725s |      20 |   863422 |   733427 |     7675    187 |        0 |        0
1727.72/1728.13	c 1727s |      20 |   864384 |   734327 |     7675    188 |        0 |        0
1729.82/1730.28	c 1730s |      20 |   865445 |   735327 |     7675    188 |        0 |        0
1732.01/1732.40	c 1732s |      20 |   866347 |   736127 |     7675    188 |        0 |        0
1734.11/1734.52	c 1734s |      20 |   867331 |   737027 |     7675    188 |        0 |        0
1736.31/1736.73	c 1736s |      20 |   868287 |   737927 |     7675    188 |        0 |        0
1738.51/1738.91	c 1738s |      20 |   869139 |   738727 |     7675    189 |        0 |        0
1740.51/1740.95	c 1740s |      20 |   870270 |   739727 |     7675    189 |        0 |        0
1742.71/1743.11	c 1742s |      20 |   871491 |   740827 |     7675    189 |        0 |        0
1744.71/1745.12	c 1744s |      20 |   872558 |   741827 |     7675    189 |        0 |        0
1746.80/1747.28	c 1747s |      20 |   873647 |   742827 |     7675    189 |        0 |        0
1748.90/1749.39	c 1749s |      20 |   874622 |   743727 |     7675    190 |        0 |        0
1751.20/1751.60	c 1751s |      20 |   875722 |   744727 |     7675    190 |        0 |        0
1753.40/1753.80	c 1753s |      20 |   876906 |   745827 |     7675    190 |        0 |        0
1755.41/1755.81	c 1755s |      20 |   877996 |   746827 |     7675    190 |        0 |        0
1757.40/1757.83	c 1757s |      20 |   878979 |   747727 |     7675    191 |        0 |        0
1759.50/1759.90	c 1759s |      20 |   880170 |   748827 |     7675    191 |        0 |        0
1761.50/1761.97	c 1761s |      20 |   881238 |   749827 |     7675    191 |        0 |        0
1763.60/1764.01	c 1763s |      20 |   882214 |   750727 |     7675    191 |        0 |        0
1765.59/1766.09	c 1765s |      20 |   883288 |   751727 |     7675    191 |        0 |        0
1767.69/1768.12	c 1767s |      20 |   884031 |   752427 |     7675    192 |        0 |        0
1769.70/1770.13	c 1769s |      20 |   884917 |   753227 |     7675    192 |        0 |        0
1771.69/1772.16	c 1771s |      20 |   886000 |   754227 |     7675    192 |        0 |        0
1773.89/1774.31	c 1774s |      20 |   887262 |   755327 |     7675    192 |        0 |        0
1775.99/1776.40	c 1776s |      20 |   888393 |   756327 |     7675    192 |        0 |        0
1777.98/1778.44	c 1778s |      20 |   889350 |   757227 |     7675    193 |        0 |        0
1779.98/1780.46	c 1780s |      20 |   890672 |   758427 |     7675    193 |        0 |        0
1781.98/1782.49	c 1782s |      20 |   891866 |   759527 |     7675    193 |        0 |        0
1784.18/1784.64	c 1784s |      20 |   893052 |   760627 |     7675    193 |        0 |        0
1786.19/1786.69	c 1786s |      20 |   894134 |   761627 |     7675    193 |        0 |        0
1788.39/1788.86	c 1788s |      20 |   895240 |   762627 |     7675    194 |        0 |        0
1790.48/1790.93	c 1790s |      20 |   896430 |   763727 |     7675    194 |        0 |        0
1792.48/1792.98	c 1792s |      20 |   897395 |   764627 |     7675    194 |        0 |        0
1794.58/1795.06	c 1794s |      20 |   898563 |   765727 |     7675    194 |        0 |        0
1796.67/1797.17	c 1796s |      20 |   899653 |   766727 |     7675    195 |        0 |        0
1798.87/1799.30	c 1799s |      20 |   900713 |   767727 |     7675    195 |        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-4093320-1466081375/watcher-4093320-1466081375 -o /tmp/evaluation-result-4093320-1466081375/solver-4093320-1466081375 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466075598-10666 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093320-1466081375.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.39 2.28 2.20 3/179 11302
/proc/meminfo: memFree=29652804/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=701884 CPUtime=0 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 2615 0 0 0 0 0 0 0 20 0 4 0 10184014 718729216 2975 33554432000 4194304 16246674 140734199555856 140734199555280 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 175983 2984 441 2943 0 172877 0
[pid=11302/tid=11303] ppid=11299 vsize=718268 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 735506432 3042 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 740749312 3059 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 744943616 3075 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.39 2.28 2.20 3/179 11302
/proc/meminfo: memFree=29652804/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 25789 0 0 0 5 4 0 0 20 0 4 0 10184014 1247350784 26143 33554432000 4194304 16246674 140734199555856 140734199555280 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 304529 26152 606 2943 0 301423 0
[pid=11302/tid=11303] ppid=11299 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1247350784 26158 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1247350784 26164 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1247350784 26171 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200513 s]
/proc/loadavg: 2.39 2.28 2.20 3/179 11302
/proc/meminfo: memFree=29652804/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 49249 0 0 0 11 8 0 0 20 0 4 0 10184014 1247350784 49596 33554432000 4194304 16246674 140734199555856 140734199555280 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 304529 49605 775 2943 0 301423 0
[pid=11302/tid=11303] ppid=11299 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1247350784 49613 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1247350784 49620 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1247350784 49626 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300479 s]
/proc/loadavg: 2.39 2.28 2.20 3/179 11302
/proc/meminfo: memFree=29652804/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 68921 0 0 0 17 11 0 0 20 0 4 0 10184014 1247350784 69268 33554432000 4194304 16246674 140734199555856 140734199555280 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 304529 69273 808 2943 0 301423 0
[pid=11302/tid=11303] ppid=11299 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1247350784 69280 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1247350784 69283 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1247350784 69288 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700359 s]
/proc/loadavg: 2.39 2.28 2.20 3/179 11302
/proc/meminfo: memFree=29652804/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1306180 CPUtime=0.69 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 139810 0 0 0 48 21 0 0 20 0 4 0 10184014 1337528320 140134 33554432000 4194304 16246674 140734199555856 140734199537728 13928602 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 326545 140134 869 2943 0 323439 0
[pid=11302/tid=11303] ppid=11299 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1337528320 140134 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1337528320 140134 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1337528320 140134 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1306180

[startup+1.5004 s]
/proc/loadavg: 2.36 2.27 2.20 3/183 11306
/proc/meminfo: memFree=28805516/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1307204 CPUtime=1.48 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 267860 0 0 0 112 36 0 0 20 0 4 0 10184014 1338576896 268184 33554432000 4194304 16246674 140734199555856 140734199537728 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 326801 268184 869 2943 0 323695 0
[pid=11302/tid=11303] ppid=11299 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1338576896 268184 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1338576896 268184 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1338576896 268184 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1307204

[startup+3.10039 s]
/proc/loadavg: 2.36 2.27 2.20 3/183 11306
/proc/meminfo: memFree=28579960/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 267922 0 0 0 272 36 0 0 20 0 4 0 10184014 1338576896 268246 33554432000 4194304 16246674 140734199555856 140734199537728 14068430 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 326801 268246 873 2943 0 323695 0
[pid=11302/tid=11303] ppid=11299 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1338576896 268246 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1338576896 268246 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1338576896 268246 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.41 2.29 2.21 3/183 11306
/proc/meminfo: memFree=28579548/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 267923 0 0 0 592 36 0 0 20 0 4 0 10184014 1338576896 268247 33554432000 4194304 16246674 140734199555856 140734199537728 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 326801 268247 874 2943 0 323695 0
[pid=11302/tid=11303] ppid=11299 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1338576896 268247 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1338576896 268247 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1338576896 268247 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.38 2.28 2.20 3/183 11306
/proc/meminfo: memFree=28575752/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 268181 0 0 0 1232 36 0 0 20 0 4 0 10184014 1339625472 268505 33554432000 4194304 16246674 140734199555856 140734199537728 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 327057 268505 876 2943 0 323951 0
[pid=11302/tid=11303] ppid=11299 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1339625472 268505 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1339625472 268505 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1339625472 268505 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5075 s]
/proc/loadavg: 2.29 2.27 2.20 4/183 11306
/proc/meminfo: memFree=28565764/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1314372 CPUtime=25.49 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 269717 0 0 0 2513 36 0 0 20 0 4 0 10184014 1345916928 270041 33554432000 4194304 16246674 140734199555856 140734199537728 13943604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 328593 270041 876 2943 0 325487 0
[pid=11302/tid=11303] ppid=11299 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1345916928 270041 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1345916928 270041 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1345916928 270041 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1314372

[startup+51.1004 s]
/proc/loadavg: 2.19 2.24 2.19 3/184 11309
/proc/meminfo: memFree=28565196/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1315396 CPUtime=51.08 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 269749 0 0 0 5072 36 0 0 20 0 4 0 10184014 1346965504 270073 33554432000 4194304 16246674 140734199555856 140734199537728 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 328849 270073 876 2943 0 325743 0
[pid=11302/tid=11303] ppid=11299 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1346965504 270073 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1346965504 270073 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1346965504 270073 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1315396

[startup+102.3 s]
/proc/loadavg: 2.08 2.20 2.18 3/183 11310
/proc/meminfo: memFree=28557720/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1319492 CPUtime=102.27 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 270776 0 0 0 10190 37 0 0 20 0 4 0 10184014 1351159808 271100 33554432000 4194304 16246674 140734199555856 140734199538848 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 329873 271100 876 2943 0 326767 0
[pid=11302/tid=11303] ppid=11299 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1351159808 271100 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1351159808 271100 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1351159808 271100 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1319492


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

/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1372131328 276235 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1339972

[startup+1302.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 11363
/proc/meminfo: memFree=28521992/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1339972 CPUtime=1302.09 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 275911 0 0 0 130135 74 0 0 20 0 4 0 10184014 1372131328 276235 33554432000 4194304 16246674 140734199555856 140734199537728 5589718 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 334993 276235 876 2943 0 331887 0
[pid=11302/tid=11303] ppid=11299 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1372131328 276235 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1372131328 276235 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1372131328 276235 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1339972

[startup+1362.3 s]
/proc/loadavg: 2.28 2.21 2.18 3/183 11364
/proc/meminfo: memFree=28513312/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1340996 CPUtime=1362.08 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 276373 0 0 0 136134 74 0 0 20 0 4 0 10184014 1373179904 276697 33554432000 4194304 16246674 140734199555856 140734199537728 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 335249 276697 876 2943 0 332143 0
[pid=11302/tid=11303] ppid=11299 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1373179904 276697 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1373179904 276697 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1373179904 276697 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1340996

[startup+1422.3 s]
/proc/loadavg: 2.45 2.28 2.20 4/183 11366
/proc/meminfo: memFree=28513512/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1340996 CPUtime=1422.07 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 276373 0 0 0 142131 76 0 0 20 0 4 0 10184014 1373179904 276697 33554432000 4194304 16246674 140734199555856 140734199537728 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 335249 276697 876 2943 0 332143 0
[pid=11302/tid=11303] ppid=11299 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1373179904 276697 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1373179904 276697 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1373179904 276697 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1340996

[startup+1482.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/183 11367
/proc/meminfo: memFree=28512364/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1340996 CPUtime=1482.05 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 276400 0 0 0 148126 79 0 0 20 0 4 0 10184014 1373179904 276953 33554432000 4194304 16246674 140734199555856 140734199537728 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 335249 276953 876 2943 0 332143 0
[pid=11302/tid=11303] ppid=11299 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1373179904 276953 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1373179904 276953 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1373179904 276953 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1340996

[startup+1542.3 s]
/proc/loadavg: 2.13 2.21 2.18 3/182 11368
/proc/meminfo: memFree=28513180/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1340996 CPUtime=1542.03 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 276437 0 0 0 154121 82 0 0 20 0 4 0 10184014 1373179904 276953 33554432000 4194304 16246674 140734199555856 140734199537728 5545993 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 335249 276953 876 2943 0 332143 0
[pid=11302/tid=11303] ppid=11299 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1373179904 276953 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1373179904 276953 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1340996 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1373179904 276953 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1340996

[startup+1602.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/183 11370
/proc/meminfo: memFree=28506860/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1346116 CPUtime=1601.99 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 277716 0 0 0 160116 83 0 0 20 0 4 0 10184014 1378422784 278189 33554432000 4194304 16246674 140734199555856 140734199537728 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 336529 278189 876 2943 0 333423 0
[pid=11302/tid=11303] ppid=11299 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1378422784 278189 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1378422784 278189 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1378422784 278189 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1346116

[startup+1662.31 s]
/proc/loadavg: 2.13 2.19 2.18 3/183 11371
/proc/meminfo: memFree=28505740/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1348164 CPUtime=1661.95 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 278102 0 0 0 166112 83 0 0 20 0 4 0 10184014 1380519936 278539 33554432000 4194304 16246674 140734199555856 140734199537728 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 337041 278539 876 2943 0 333935 0
[pid=11302/tid=11303] ppid=11299 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1380519936 278539 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1380519936 278539 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1380519936 278539 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1348164

[startup+1722.3 s]
/proc/loadavg: 2.13 2.18 2.17 3/183 11373
/proc/meminfo: memFree=28503256/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1349188 CPUtime=1721.92 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 278603 0 0 0 172108 84 0 0 20 0 4 0 10184014 1381568512 279001 33554432000 4194304 16246674 140734199555856 140734199537728 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 337297 279001 876 2943 0 334191 0
[pid=11302/tid=11303] ppid=11299 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1381568512 279001 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1381568512 279001 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1381568512 279001 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1349188

[startup+1782.3 s]
/proc/loadavg: 2.24 2.20 2.18 4/183 11374
/proc/meminfo: memFree=28499780/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1352260 CPUtime=1781.88 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 279413 0 0 0 178104 84 0 0 20 0 4 0 10184014 1384714240 279769 33554432000 4194304 16246674 140734199555856 140734199537728 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 338065 279769 876 2943 0 334959 0
[pid=11302/tid=11303] ppid=11299 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1384714240 279769 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1384714240 279769 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1384714240 279769 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1352260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.25 2.21 2.18 3/183 11423
/proc/meminfo: memFree=28532632/32872528 swapFree=1199460/1313924
[pid=11302] ppid=11299 vsize=1352260 CPUtime=1800.07 cores=0,2,4,6
/proc/11302/stat : 11302 (toysat) R 11299 11302 9104 0 -1 4202496 279428 0 0 0 179923 84 0 0 20 0 4 0 10184014 1384714240 279769 33554432000 4194304 16246674 140734199555856 140734199553664 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11302/statm: 338065 279769 876 2943 0 334959 0
[pid=11302/tid=11303] ppid=11299 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11303/stat : 11303 (toysat) S 11299 11302 9104 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10184014 1384714240 279769 33554432000 4194304 16246674 140734199555856 140392805674224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11302/tid=11304] ppid=11299 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11304/stat : 11304 (toysat) S 11299 11302 9104 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10184014 1384714240 279769 33554432000 4194304 16246674 140734199555856 140392795184368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11302/tid=11305] ppid=11299 vsize=1352260 CPUtime=0 cores=0,2,4,6
/proc/11302/task/11305/stat : 11305 (toysat) S 11299 11302 9104 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10184014 1384714240 279769 33554432000 4194304 16246674 140734199555856 140392683007152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1352260

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 11302 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.54
CPU time (s): 1800.12
CPU user time (s): 1799.24
CPU system time (s): 0.876866
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 1352260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.876866
maximum resident set size= 1119076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279428
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= 258
involuntary context switches= 1861

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.12422 second user time and 7.2559 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-16 14:49:35
IDJOB=4093320
IDBENCH=78702
IDSOLVER=2553
FILE ID=node131/4093320-1466081375
RUNJOBID= node131-1466075598-10666
PBS_JOBID= 19904008
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 3aafd47af6446049bcdbc11c9b966efe
RANDOM SEED=342741718

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29653068 kB
Buffers:           25100 kB
Cached:           102532 kB
SwapCached:         1972 kB
Active:          1148916 kB
Inactive:          55024 kB
Active(anon):    1077084 kB
Inactive(anon):     1452 kB
Active(file):      71832 kB
Inactive(file):    53572 kB
Unevictable:     1313924 kB
Mlocked:         1199460 kB
SwapTotal:      67108856 kB
SwapFree:       67099344 kB
Dirty:             32832 kB
Writeback:             4 kB
AnonPages:       2388956 kB
Mapped:            10580 kB
Shmem:                 0 kB
Slab:             566868 kB
SReclaimable:      10764 kB
SUnreclaim:       556104 kB
KernelStack:        1496 kB
PageTables:         8548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2530800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node131 at 2016-06-16 15:19:36