Trace number 4093398

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-31-30--soft-33-100-0.wbo
MD5SUMb618f143f0ce2a95508bc08f0990c2c8
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables930
Total number of constraints61
Number of soft constraints41
Number of constraints which are clauses31
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint31
Top cost 2356
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2355
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 32
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-16T15:08:56+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-4093398-1466082535.wbo"]
0.00/0.01	c use --random-gen="2258452154 3995903588 3324955360 1549795544 527178433 848279962 500401316 4268437124 67599877 348578447 4075179629 3340025686 2627035847 1773786951 1503251489 436822456 916816394 3809736209 2322839556 2988363528 3310766682 1281001158 3867760776 3694279317 3176329472 2571594046 3539625278 2716921271 2722248428 2654824056 1526187052 3672104529 1500266413 2458429477 1756803632 3645983298 2862105882 2129265650 2486945304 2572316958 844442154 1596746425 4266869529 1219676287 3699736150 3587902299 718046272 2073613005 3049420872 1848098295 2272753473 2514891837 3535662235 1888632459 173267194 3541305769 3379842213 928470113 3066825635 4113800127 2022107011 1396678523 1370545120 2584686894 1053112843 87836112 4273010388 4021622243 1519369394 1303861341 2775495150 1271069420 3794361479 4128754040 3704424924 1817048616 3889524313 3019154657 4254444694 1672111037 73408422 4290823529 594865495 4163594800 3979165594 2343737656 3540069356 595118943 3690642267 1028914288 1005628876 3290128372 639277937 4155783644 1710385560 1180444095 249782523 3752775751 1196787805 2437922305 3003354036 889001138 199991219 1118403910 3454634587 2192433979 4084814253 3007042049 4027410837 1984057703 2305127856 3631349336 3557889150 2280531994 4206612134 2611870684 1657959765 2904046082 1673840235 2359321636 468490439 3393336494 2759861760 1727832451 2206587082 150873381 332295831 756092945 3584103520 1744235426 2148177365 3506342925 2900505553 4088883409 3611076508 4204811037 3124976400 3211136350 3151958601 1660895119 3027879289 78783409 2474028559 1192485936 157184737 4251487355 1665557810 2767685622 788384683 2160485785 1279163653 3989672894 2091047216 1081322519 3988919294 3280635281 385639397 2430830104 1133481198 2176177939 1917384009 4092835763 3262777467 948202948 308659785 4015970574 2799539692 3512231503 2658861853 351666905 3608492548 2254502831 1961366996 3864728571 1561103892 2079126825 154918981 2926044087 756598033 227338811 793880287 388471785 2900668448 1414980020 3435317994 2232570314 588302939 2057753748 917079619 2736423836 758971001 4131970132 159947817 4247045656 3388865674 2586999252 4278046721 1356916704 1718873456 1329723772 3000883851 109501056 3606756227 406169015 645586314 2204958801 1381798598 233091887 3429003932 771673498 868477058 2293409216 3216044329 2099691099 2059210264 1487482645 3741540683 3956902396 1734549268 3797970085 3491084823 2965757034 3488808846 3685512711 146922486 4131137965 3271540205 2247498323 1881525229 2215068489 4261826999 2329034501 3233805579 1532360326 2438557280 2433601516 188979111 3422572140 2212636995 3758602716 3607641145 627686974 4199546922 2957949319 2664168196 1565580192 1480105543 1575093004 2084003631 3527040759 1536652086 2154092181 1322867885 3275318080 2785483690 1312012463 255 362436" option to reproduce the execution
0.00/0.05	c #vars 930
0.00/0.05	c #constraints 61
0.00/0.05	c BCD2: Hardening is enabled.
0.00/0.05	c BCD2: BiasedSearch is enabled.
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      344      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      183 |      100 |      344      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      827 |      102 |      379      0 |        0 |        0
0.00/0.08	c #cpu_time = 0.032s
0.00/0.08	c #wall_clock_time = 0.032s
0.00/0.08	c #decision = 827
0.00/0.08	c #random_decision = 4
0.00/0.08	c #conflict = 102
0.00/0.08	c #restart = 1
0.00/0.08	o 1336
0.00/0.08	c BCD2: updating upper bound: 2355 -> 1335
0.00/0.08	c BCD2: 0 <= obj <= 1335
0.00/0.08	c BCD2: #cores=0, #unrelaxed=41, #relaxed=0, #hardened=0
0.00/0.08	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.09	c  0.0s |       0 |        0 |        0 |      379      0 |        0 |        0
0.09/0.17	c  0.1s |       1 |      519 |      100 |      379      0 |        0 |        0
0.19/0.27	c  0.2s |       2 |     1208 |      250 |      417      0 |        0 |        0
0.39/0.43	c  0.3s |       3 |     1926 |      475 |      459      0 |        0 |        0
0.69/0.73	c  0.6s |       4 |     2896 |      813 |      505      1 |        0 |        0
0.99/1.04	c  1.0s |       5 |     4046 |     1320 |      556      2 |        0 |        0
1.49/1.58	c  1.5s |       6 |     5497 |     2081 |      612      3 |        0 |        0
2.30/2.34	c  2.3s |       7 |     7743 |     3223 |      674      5 |        0 |        0
3.40/3.45	c  3.4s |       8 |    10366 |     4936 |      742      7 |        0 |        0
5.50/5.51	c  5.4s |       9 |    13987 |     7506 |      817     10 |        0 |        0
7.49/7.57	c  7.5s |       9 |    17475 |    10006 |      817     13 |        0 |        0
8.69/8.76	c  8.7s |      10 |    19036 |    11361 |      899     15 |        0 |        0
10.79/10.81	c 10.7s |      10 |    22606 |    13861 |      899     18 |        0 |        0
12.79/12.87	c 12.8s |      10 |    25325 |    16261 |      899     21 |        0 |        0
13.59/13.65	c 13.6s |      11 |    26367 |    17144 |      989     21 |        0 |        0
15.59/15.69	c 15.6s |      11 |    30169 |    19444 |      989     24 |        0 |        0
17.69/17.72	c 17.6s |      11 |    32597 |    21544 |      989     26 |        0 |        0
19.68/19.77	c 19.7s |      11 |    34796 |    23444 |      989     28 |        0 |        0
21.68/21.77	c 21.7s |      11 |    36812 |    25144 |      989     30 |        0 |        0
22.59/22.64	c 22.6s |      12 |    37577 |    25819 |     1088     31 |        0 |        0
24.59/24.69	c 24.6s |      12 |    41799 |    28819 |     1088     35 |        0 |        0
26.69/26.72	c 26.6s |      12 |    44815 |    31119 |     1088     37 |        0 |        0
28.70/28.73	c 28.6s |      12 |    47272 |    33319 |     1088     39 |        0 |        0
30.79/30.83	c 30.7s |      12 |    49639 |    35419 |     1088     41 |        0 |        0
32.79/32.85	c 32.8s |      12 |    51874 |    37419 |     1088     43 |        0 |        0
34.19/34.26	c 34.2s |      13 |    53423 |    38832 |     1197     45 |        0 |        0
36.29/36.33	c 36.2s |      13 |    58076 |    41132 |     1197     47 |        0 |        0
38.38/38.42	c 38.3s |      13 |    60854 |    42732 |     1197     49 |        0 |        0
40.38/40.44	c 40.4s |      13 |    63344 |    44232 |     1197     50 |        0 |        0
42.48/42.55	c 42.5s |      13 |    66180 |    45632 |     1197     52 |        0 |        0
44.48/44.55	c 44.5s |      13 |    68395 |    46932 |     1197     53 |        0 |        0
46.48/46.55	c 46.5s |      13 |    69944 |    48032 |     1197     54 |        0 |        0
48.68/48.71	c 48.6s |      13 |    71853 |    49432 |     1197     55 |        0 |        0
50.69/50.72	c 50.6s |      13 |    73321 |    50632 |     1197     57 |        0 |        0
52.79/52.82	c 52.7s |      13 |    75226 |    51932 |     1197     58 |        0 |        0
54.88/54.96	c 54.9s |      13 |    77274 |    53232 |     1197     59 |        0 |        0
56.98/57.00	c 56.9s |      13 |    78824 |    54432 |     1197     60 |        0 |        0
58.98/59.09	c 59.0s |      13 |    80262 |    55532 |     1197     61 |        0 |        0
61.08/61.18	c 61.1s |      13 |    83530 |    57832 |     1197     64 |        0 |        0
61.59/61.63	c 61.5s |      14 |    84683 |    58352 |     1317     64 |        0 |        0
63.58/63.68	c 63.6s |      14 |    88276 |    61052 |     1317     67 |        0 |        0
65.68/65.75	c 65.7s |      14 |    90770 |    63252 |     1317     69 |        0 |        0
67.78/67.84	c 67.8s |      14 |    93164 |    65452 |     1317     71 |        0 |        0
69.88/69.91	c 69.8s |      14 |    95454 |    67552 |     1317     73 |        0 |        0
71.88/71.97	c 71.9s |      14 |    98081 |    69852 |     1317     75 |        0 |        0
73.88/73.99	c 73.9s |      14 |   100402 |    71952 |     1317     77 |        0 |        0
75.98/76.05	c 76.0s |      14 |   102962 |    74252 |     1317     79 |        0 |        0
77.98/78.10	c 78.0s |      14 |   105459 |    76452 |     1317     81 |        0 |        0
80.08/80.17	c 80.1s |      14 |   108053 |    78752 |     1317     83 |        0 |        0
82.18/82.25	c 82.2s |      14 |   110404 |    80752 |     1317     85 |        0 |        0
84.18/84.30	c 84.2s |      14 |   112627 |    82652 |     1317     86 |        0 |        0
86.28/86.31	c 86.2s |      14 |   114844 |    84652 |     1317     88 |        0 |        0
88.28/88.36	c 88.3s |      14 |   117030 |    86652 |     1317     90 |        0 |        0
89.28/89.38	c 89.3s |      15 |   118095 |    87632 |     1449     91 |        0 |        0
91.38/91.47	c 91.4s |      15 |   121838 |    90432 |     1449     94 |        0 |        0
93.48/93.54	c 93.5s |      15 |   124937 |    93132 |     1449     96 |        0 |        0
95.47/95.56	c 95.5s |      15 |   127552 |    95432 |     1449     98 |        0 |        0
97.57/97.64	c 97.6s |      15 |   130109 |    97732 |     1449    100 |        0 |        0
99.67/99.71	c 99.6s |      15 |   132786 |   100132 |     1449    102 |        0 |        0
101.67/101.74	c  101s |      15 |   135317 |   102432 |     1449    104 |        0 |        0
103.67/103.77	c  103s |      15 |   137638 |   104532 |     1449    106 |        0 |        0
105.77/105.82	c  105s |      15 |   140144 |   106832 |     1449    108 |        0 |        0
107.78/107.90	c  107s |      15 |   142576 |   109032 |     1449    110 |        0 |        0
109.87/110.00	c  109s |      15 |   145258 |   111332 |     1449    112 |        0 |        0
112.07/112.11	c  112s |      15 |   147637 |   113432 |     1449    113 |        0 |        0
114.07/114.18	c  114s |      15 |   150025 |   115532 |     1449    115 |        0 |        0
116.17/116.23	c  116s |      15 |   151990 |   117332 |     1449    117 |        0 |        0
118.27/118.31	c  118s |      15 |   154137 |   119232 |     1449    118 |        0 |        0
120.27/120.39	c  120s |      15 |   156342 |   121232 |     1449    120 |        0 |        0
122.37/122.45	c  122s |      15 |   158464 |   123132 |     1449    122 |        0 |        0
124.38/124.48	c  124s |      15 |   161137 |   125432 |     1449    124 |        0 |        0
126.48/126.58	c  126s |      15 |   163448 |   127532 |     1449    126 |        0 |        0
128.57/128.60	c  128s |      15 |   165747 |   129632 |     1449    127 |        0 |        0
130.37/130.49	c  130s |      16 |   167866 |   131552 |     1594    129 |        0 |        0
132.47/132.57	c  132s |      16 |   171355 |   134252 |     1594    131 |        0 |        0
134.57/134.64	c  134s |      16 |   173818 |   136452 |     1594    133 |        0 |        0
136.57/136.69	c  136s |      16 |   176112 |   138552 |     1594    135 |        0 |        0
138.57/138.70	c  138s |      16 |   178737 |   140852 |     1594    137 |        0 |        0
140.67/140.73	c  140s |      16 |   181202 |   143052 |     1594    139 |        0 |        0
142.67/142.76	c  142s |      16 |   183536 |   145152 |     1594    140 |        0 |        0
144.67/144.76	c  144s |      16 |   185407 |   146852 |     1594    142 |        0 |        0
146.67/146.77	c  146s |      16 |   187830 |   148952 |     1594    143 |        0 |        0
148.77/148.85	c  148s |      16 |   190240 |   151152 |     1594    145 |        0 |        0
150.87/150.92	c  150s |      16 |   192523 |   153252 |     1594    147 |        0 |        0
152.97/153.00	c  152s |      16 |   194923 |   155352 |     1594    149 |        0 |        0
154.97/155.03	c  154s |      16 |   197127 |   157252 |     1594    150 |        0 |        0
156.97/157.04	c  156s |      16 |   199350 |   159152 |     1594    152 |        0 |        0
159.06/159.11	c  159s |      16 |   201597 |   161152 |     1594    153 |        0 |        0
161.06/161.13	c  161s |      16 |   203888 |   163152 |     1594    155 |        0 |        0
163.16/163.24	c  163s |      16 |   205983 |   165052 |     1594    157 |        0 |        0
165.26/165.31	c  165s |      16 |   208353 |   167152 |     1594    158 |        0 |        0
167.36/167.40	c  167s |      16 |   210251 |   168852 |     1594    160 |        0 |        0
169.37/169.46	c  169s |      16 |   212606 |   170852 |     1594    161 |        0 |        0
171.46/171.52	c  171s |      16 |   214721 |   172752 |     1594    163 |        0 |        0
173.56/173.63	c  173s |      16 |   217096 |   174852 |     1594    165 |        0 |        0
175.56/175.64	c  175s |      16 |   219316 |   176852 |     1594    166 |        0 |        0
177.66/177.71	c  177s |      16 |   221512 |   178852 |     1594    168 |        0 |        0
179.66/179.72	c  179s |      16 |   223613 |   180752 |     1594    169 |        0 |        0
181.76/181.80	c  181s |      16 |   225959 |   182852 |     1594    171 |        0 |        0
183.86/183.90	c  183s |      16 |   228045 |   184752 |     1594    173 |        0 |        0
185.87/185.98	c  185s |      16 |   230429 |   186852 |     1594    174 |        0 |        0
187.96/188.03	c  187s |      16 |   232835 |   188952 |     1594    176 |        0 |        0
189.96/190.09	c  190s |      16 |   235204 |   191052 |     1594    178 |        0 |        0
192.16/192.22	c  192s |      16 |   237166 |   192852 |     1594    179 |        0 |        0
194.16/194.26	c  194s |      16 |   239578 |   194952 |     1594    181 |        0 |        0
196.26/196.31	c  196s |      16 |   241774 |   196952 |     1754    182 |        0 |        0
196.76/196.80	c  196s |      17 |   242301 |   197432 |     1754    183 |        0 |        0
198.76/198.85	c  198s |      17 |   246014 |   200132 |     1754    185 |        0 |        0
200.76/200.86	c  200s |      17 |   248737 |   202432 |     1754    187 |        0 |        0
202.76/202.86	c  202s |      17 |   251486 |   204532 |     1754    189 |        0 |        0
204.86/204.93	c  204s |      17 |   253985 |   206532 |     1754    190 |        0 |        0
206.86/206.99	c  206s |      17 |   256015 |   208332 |     1754    192 |        0 |        0
208.96/209.06	c  208s |      17 |   258447 |   210432 |     1754    193 |        0 |        0
211.06/211.17	c  211s |      17 |   260571 |   212332 |     1754    195 |        0 |        0
213.16/213.23	c  213s |      17 |   262586 |   214132 |     1754    196 |        0 |        0
215.25/215.30	c  215s |      17 |   264571 |   215932 |     1754    197 |        0 |        0
217.25/217.39	c  217s |      17 |   266708 |   217832 |     1754    199 |        0 |        0
219.25/219.39	c  219s |      17 |   268845 |   219732 |     1754    200 |        0 |        0
221.35/221.43	c  221s |      17 |   271272 |   221732 |     1754    202 |        0 |        0
223.45/223.51	c  223s |      17 |   273541 |   223732 |     1754    203 |        0 |        0
225.46/225.52	c  225s |      17 |   275551 |   225532 |     1754    205 |        0 |        0
227.45/227.55	c  227s |      17 |   277536 |   227332 |     1754    206 |        0 |        0
229.45/229.58	c  229s |      17 |   279513 |   229132 |     1754    207 |        0 |        0
231.55/231.65	c  231s |      17 |   281758 |   231132 |     1754    209 |        0 |        0
233.65/233.73	c  233s |      17 |   283724 |   232932 |     1754    210 |        0 |        0
235.65/235.79	c  235s |      17 |   285529 |   234532 |     1754    212 |        0 |        0
237.75/237.81	c  237s |      17 |   287440 |   236232 |     1754    213 |        0 |        0
239.76/239.86	c  239s |      17 |   289663 |   238132 |     1754    214 |        0 |        0
241.75/241.87	c  241s |      17 |   291713 |   239832 |     1754    216 |        0 |        0
243.85/243.94	c  243s |      17 |   293813 |   241632 |     1754    217 |        0 |        0
245.96/246.01	c  245s |      17 |   295621 |   243232 |     1754    218 |        0 |        0
247.96/248.09	c  248s |      17 |   297433 |   244832 |     1754    219 |        0 |        0
250.06/250.15	c  250s |      17 |   299482 |   246632 |     1754    221 |        0 |        0
252.05/252.16	c  252s |      17 |   301344 |   248332 |     1754    222 |        0 |        0
254.06/254.17	c  254s |      17 |   303231 |   250032 |     1754    223 |        0 |        0
256.15/256.25	c  256s |      17 |   305475 |   252032 |     1754    225 |        0 |        0
258.25/258.33	c  258s |      17 |   307256 |   253632 |     1754    226 |        0 |        0
260.35/260.44	c  260s |      17 |   309092 |   255232 |     1754    227 |        0 |        0
262.35/262.44	c  262s |      17 |   310966 |   256832 |     1754    229 |        0 |        0
264.45/264.57	c  264s |      17 |   312776 |   258432 |     1754    230 |        0 |        0
266.45/266.58	c  266s |      17 |   314372 |   259832 |     1754    231 |        0 |        0
268.55/268.66	c  268s |      17 |   316062 |   261332 |     1754    232 |        0 |        0
270.66/270.76	c  270s |      17 |   318407 |   263332 |     1754    234 |        0 |        0
272.76/272.86	c  272s |      17 |   320577 |   265232 |     1754    235 |        0 |        0
274.85/274.96	c  274s |      17 |   322620 |   267032 |     1754    236 |        0 |        0
276.95/277.03	c  276s |      17 |   324628 |   268832 |     1754    238 |        0 |        0
278.95/279.09	c  279s |      17 |   326243 |   270232 |     1754    239 |        0 |        0
281.05/281.17	c  281s |      17 |   327891 |   271732 |     1754    240 |        0 |        0
283.15/283.22	c  283s |      17 |   330045 |   273632 |     1754    241 |        0 |        0
285.25/285.32	c  285s |      17 |   332083 |   275432 |     1754    243 |        0 |        0
287.35/287.47	c  287s |      17 |   333954 |   277132 |     1754    244 |        0 |        0
289.45/289.52	c  289s |      17 |   336278 |   279032 |     1754    246 |        0 |        0
291.55/291.62	c  291s |      17 |   338818 |   281232 |     1754    247 |        0 |        0
293.55/293.69	c  293s |      17 |   341017 |   283132 |     1754    249 |        0 |        0
295.65/295.75	c  295s |      17 |   342972 |   284832 |     1754    250 |        0 |        0
297.75/297.82	c  297s |      17 |   345332 |   286932 |     1754    252 |        0 |        0
299.75/299.88	c  299s |      17 |   347675 |   288932 |     1754    253 |        0 |        0
301.75/301.90	c  301s |      17 |   349599 |   290632 |     1754    254 |        0 |        0
303.84/303.97	c  303s |      17 |   351579 |   292332 |     1754    256 |        0 |        0
305.94/306.04	c  305s |      17 |   353461 |   293932 |     1754    257 |        0 |        0
308.05/308.15	c  308s |      17 |   355147 |   295432 |     1930    258 |        0 |        0
309.05/309.19	c  309s |      18 |   356086 |   296252 |     1930    259 |        0 |        0
311.14/311.21	c  311s |      18 |   359412 |   298652 |     1930    260 |        0 |        0
313.14/313.26	c  313s |      18 |   361450 |   300452 |     1930    262 |        0 |        0
315.24/315.34	c  315s |      18 |   363723 |   302352 |     1930    263 |        0 |        0
317.34/317.43	c  317s |      18 |   366156 |   304352 |     1930    264 |        0 |        0
319.34/319.48	c  319s |      18 |   368408 |   306152 |     1930    266 |        0 |        0
321.44/321.55	c  321s |      18 |   370847 |   308152 |     1930    267 |        0 |        0
323.54/323.64	c  323s |      18 |   372798 |   309852 |     1930    268 |        0 |        0
325.55/325.65	c  325s |      18 |   375154 |   311752 |     1930    270 |        0 |        0
327.64/327.74	c  327s |      18 |   377573 |   313852 |     1930    271 |        0 |        0
329.64/329.76	c  329s |      18 |   379945 |   315852 |     1930    273 |        0 |        0
331.74/331.82	c  331s |      18 |   382035 |   317652 |     1930    274 |        0 |        0
333.84/333.91	c  333s |      18 |   384125 |   319452 |     1930    275 |        0 |        0
335.84/335.97	c  335s |      18 |   386198 |   321252 |     1930    276 |        0 |        0
337.94/338.06	c  337s |      18 |   388436 |   323152 |     1930    278 |        0 |        0
340.04/340.15	c  340s |      18 |   390666 |   324952 |     1930    279 |        0 |        0
342.15/342.29	c  342s |      18 |   392590 |   326652 |     1930    280 |        0 |        0
344.24/344.39	c  344s |      18 |   394643 |   328352 |     1930    282 |        0 |        0
346.34/346.42	c  346s |      18 |   396828 |   330152 |     1930    283 |        0 |        0
348.34/348.44	c  348s |      18 |   398854 |   331752 |     1930    284 |        0 |        0
350.44/350.52	c  350s |      18 |   400718 |   333352 |     1930    285 |        0 |        0
352.44/352.55	c  352s |      18 |   402550 |   334952 |     1930    286 |        0 |        0
354.54/354.61	c  354s |      18 |   404505 |   336552 |     1930    287 |        0 |        0
356.64/356.70	c  356s |      18 |   406707 |   338352 |     1930    289 |        0 |        0
358.64/358.77	c  358s |      18 |   408485 |   339952 |     1930    290 |        0 |        0
360.74/360.86	c  360s |      18 |   410750 |   341752 |     1930    291 |        0 |        0
362.83/362.93	c  362s |      18 |   412795 |   343452 |     1930    292 |        0 |        0
364.83/364.95	c  364s |      18 |   414631 |   345052 |     1930    294 |        0 |        0
366.93/367.03	c  366s |      18 |   416311 |   346552 |     1930    295 |        0 |        0
368.93/369.05	c  368s |      18 |   418290 |   348252 |     1930    296 |        0 |        0
371.03/371.10	c  371s |      18 |   420614 |   350152 |     1930    297 |        0 |        0
373.03/373.15	c  373s |      18 |   422539 |   351852 |     1930    298 |        0 |        0
375.03/375.16	c  375s |      18 |   424510 |   353552 |     1930    300 |        0 |        0
377.03/377.19	c  377s |      18 |   426465 |   355252 |     1930    301 |        0 |        0
379.12/379.27	c  379s |      18 |   428396 |   356852 |     1930    302 |        0 |        0
381.32/381.40	c  381s |      18 |   430222 |   358452 |     1930    303 |        0 |        0
383.42/383.53	c  383s |      18 |   432183 |   360052 |     1930    304 |        0 |        0
385.42/385.56	c  385s |      18 |   433930 |   361552 |     1930    305 |        0 |        0
387.52/387.64	c  387s |      18 |   435793 |   363152 |     1930    307 |        0 |        0
389.51/389.67	c  389s |      18 |   437832 |   364752 |     1930    308 |        0 |        0
391.62/391.72	c  391s |      18 |   440081 |   366652 |     1930    309 |        0 |        0
393.61/393.76	c  393s |      18 |   442043 |   368352 |     1930    310 |        0 |        0
395.71/395.86	c  395s |      18 |   444066 |   370152 |     1930    312 |        0 |        0
397.81/397.91	c  397s |      18 |   446148 |   371952 |     1930    313 |        0 |        0
399.91/400.00	c  399s |      18 |   448681 |   374052 |     1930    314 |        0 |        0
401.91/402.07	c  401s |      18 |   450556 |   375652 |     1930    315 |        0 |        0
404.01/404.19	c  404s |      18 |   452422 |   377252 |     1930    317 |        0 |        0
406.11/406.27	c  406s |      18 |   454323 |   378852 |     1930    318 |        0 |        0
408.20/408.35	c  408s |      18 |   456236 |   380552 |     1930    319 |        0 |        0
410.31/410.41	c  410s |      18 |   458745 |   382752 |     1930    321 |        0 |        0
412.30/412.45	c  412s |      18 |   461393 |   385052 |     1930    322 |        0 |        0
414.40/414.50	c  414s |      18 |   463597 |   387052 |     1930    324 |        0 |        0
416.40/416.54	c  416s |      18 |   465726 |   388952 |     1930    325 |        0 |        0
418.40/418.55	c  418s |      18 |   467713 |   390752 |     1930    326 |        0 |        0
420.50/420.63	c  420s |      18 |   469700 |   392552 |     1930    328 |        0 |        0
422.60/422.72	c  422s |      18 |   472095 |   394652 |     1930    329 |        0 |        0
424.60/424.75	c  424s |      18 |   474232 |   396552 |     1930    330 |        0 |        0
426.70/426.85	c  426s |      18 |   476326 |   398452 |     1930    332 |        0 |        0
428.79/428.92	c  428s |      18 |   478286 |   400252 |     1930    333 |        0 |        0
430.79/430.93	c  430s |      18 |   480323 |   402052 |     1930    334 |        0 |        0
432.79/432.99	c  432s |      18 |   482429 |   403952 |     1930    336 |        0 |        0
434.79/434.99	c  434s |      18 |   484665 |   405952 |     1930    337 |        0 |        0
436.89/437.01	c  436s |      18 |   487150 |   408152 |     1930    339 |        0 |        0
438.89/439.05	c  438s |      18 |   489453 |   410152 |     1930    340 |        0 |        0
440.89/441.08	c  440s |      18 |   491832 |   412252 |     1930    342 |        0 |        0
442.98/443.11	c  443s |      18 |   494110 |   414252 |     1930    343 |        0 |        0
444.98/445.15	c  445s |      18 |   496639 |   416452 |     1930    345 |        0 |        0
447.08/447.20	c  447s |      18 |   499108 |   418652 |     1930    346 |        0 |        0
449.08/449.26	c  449s |      18 |   501187 |   420452 |     1930    348 |        0 |        0
451.08/451.29	c  451s |      18 |   502770 |   421852 |     1930    349 |        0 |        0
453.19/453.37	c  453s |      18 |   504423 |   423352 |     1930    350 |        0 |        0
455.18/455.40	c  455s |      18 |   506097 |   424752 |     1930    351 |        0 |        0
457.28/457.47	c  457s |      18 |   507562 |   426052 |     1930    352 |        0 |        0
459.37/459.51	c  459s |      18 |   508671 |   427052 |     1930    352 |        0 |        0
461.47/461.61	c  461s |      18 |   510679 |   428752 |     1930    354 |        0 |        0
463.47/463.69	c  463s |      18 |   512937 |   430752 |     1930    355 |        0 |        0
465.57/465.79	c  465s |      18 |   515130 |   432652 |     1930    356 |        0 |        0
467.67/467.82	c  467s |      18 |   517005 |   434252 |     1930    358 |        0 |        0
469.77/469.95	c  469s |      18 |   519031 |   435952 |     1930    359 |        0 |        0
471.78/471.96	c  471s |      18 |   521075 |   437652 |     1930    360 |        0 |        0
473.87/474.05	c  473s |      18 |   523032 |   439352 |     1930    361 |        0 |        0
475.97/476.15	c  476s |      18 |   525278 |   441152 |     1930    362 |        0 |        0
478.07/478.26	c  478s |      18 |   527078 |   442752 |     2123    364 |        0 |        0
480.06/480.29	c  480s |      18 |   528945 |   444352 |     2123    365 |        0 |        0
480.26/480.43	c  480s |      19 |   529110 |   444482 |     2123    365 |        0 |        0
482.26/482.46	c  482s |      19 |   532650 |   446882 |     2123    366 |        0 |        0
484.36/484.52	c  484s |      19 |   535016 |   448982 |     2123    368 |        0 |        0
486.36/486.55	c  486s |      19 |   537331 |   450982 |     2123    369 |        0 |        0
488.36/488.55	c  488s |      19 |   539497 |   452882 |     2123    370 |        0 |        0
490.46/490.66	c  490s |      19 |   541618 |   454782 |     2123    372 |        0 |        0
492.55/492.75	c  492s |      19 |   543901 |   456782 |     2123    373 |        0 |        0
494.66/494.85	c  494s |      19 |   546067 |   458682 |     2123    374 |        0 |        0
496.76/496.96	c  496s |      19 |   548145 |   460482 |     2123    375 |        0 |        0
498.76/498.97	c  498s |      19 |   550059 |   462182 |     2123    376 |        0 |        0
500.86/501.08	c  500s |      19 |   552096 |   463982 |     2123    378 |        0 |        0
502.96/503.17	c  503s |      19 |   554226 |   465882 |     2123    379 |        0 |        0
505.06/505.28	c  505s |      19 |   556367 |   467782 |     2123    380 |        0 |        0
507.16/507.33	c  507s |      19 |   558280 |   469482 |     2123    381 |        0 |        0
509.16/509.37	c  509s |      19 |   560229 |   471182 |     2123    382 |        0 |        0
511.25/511.41	c  511s |      19 |   562181 |   472882 |     2123    384 |        0 |        0
513.25/513.49	c  513s |      19 |   564088 |   474582 |     2123    385 |        0 |        0
515.35/515.52	c  515s |      19 |   566260 |   476482 |     2123    386 |        0 |        0
517.35/517.57	c  517s |      19 |   568304 |   478282 |     2123    387 |        0 |        0
519.54/519.70	c  519s |      19 |   570516 |   480182 |     2123    389 |        0 |        0
521.54/521.71	c  521s |      19 |   572429 |   481882 |     2123    390 |        0 |        0
523.55/523.79	c  523s |      19 |   574453 |   483682 |     2123    391 |        0 |        0
525.54/525.80	c  525s |      19 |   576363 |   485382 |     2123    392 |        0 |        0
527.64/527.84	c  527s |      19 |   578309 |   487182 |     2123    393 |        0 |        0
529.74/529.93	c  529s |      19 |   580361 |   488982 |     2123    394 |        0 |        0
531.74/531.95	c  531s |      19 |   582689 |   490982 |     2123    396 |        0 |        0
533.84/534.00	c  533s |      19 |   584946 |   492982 |     2123    397 |        0 |        0
535.84/536.01	c  535s |      19 |   587108 |   494882 |     2123    398 |        0 |        0
537.84/538.03	c  537s |      19 |   589137 |   496682 |     2123    400 |        0 |        0
539.83/540.08	c  539s |      19 |   591337 |   498582 |     2123    401 |        0 |        0
541.93/542.16	c  542s |      19 |   593405 |   500382 |     2123    402 |        0 |        0
543.93/544.19	c  544s |      19 |   595327 |   502082 |     2123    403 |        0 |        0
546.03/546.20	c  546s |      19 |   597252 |   503782 |     2123    404 |        0 |        0
548.03/548.25	c  548s |      19 |   599424 |   505682 |     2123    406 |        0 |        0
550.12/550.33	c  550s |      19 |   601333 |   507382 |     2123    407 |        0 |        0
552.13/552.33	c  552s |      19 |   603237 |   509082 |     2123    408 |        0 |        0
554.12/554.36	c  554s |      19 |   604973 |   510682 |     2123    409 |        0 |        0
556.22/556.42	c  556s |      19 |   607066 |   512582 |     2123    410 |        0 |        0
558.22/558.45	c  558s |      19 |   608942 |   514282 |     2123    411 |        0 |        0
560.21/560.49	c  560s |      19 |   610807 |   515982 |     2123    413 |        0 |        0
562.41/562.60	c  562s |      19 |   612657 |   517682 |     2123    414 |        0 |        0
564.41/564.63	c  564s |      19 |   614566 |   519382 |     2123    415 |        0 |        0
566.42/566.65	c  566s |      19 |   616633 |   521182 |     2123    416 |        0 |        0
568.51/568.75	c  568s |      19 |   618398 |   522782 |     2123    417 |        0 |        0
570.61/570.84	c  570s |      19 |   620178 |   524382 |     2123    418 |        0 |        0
572.81/573.00	c  572s |      19 |   622492 |   526382 |     2123    420 |        0 |        0
574.81/575.01	c  574s |      19 |   624376 |   528082 |     2123    421 |        0 |        0
576.81/577.08	c  576s |      19 |   626496 |   529982 |     2123    422 |        0 |        0
578.90/579.15	c  579s |      19 |   628468 |   531782 |     2123    423 |        0 |        0
581.00/581.21	c  581s |      19 |   630329 |   533482 |     2123    424 |        0 |        0
583.00/583.21	c  583s |      19 |   632085 |   535082 |     2123    425 |        0 |        0
585.01/585.24	c  585s |      19 |   634067 |   536782 |     2123    427 |        0 |        0
587.10/587.35	c  587s |      19 |   636224 |   538682 |     2123    428 |        0 |        0
589.10/589.38	c  589s |      19 |   638027 |   540282 |     2123    429 |        0 |        0
591.20/591.45	c  591s |      19 |   639925 |   541982 |     2123    430 |        0 |        0
593.30/593.55	c  593s |      19 |   641814 |   543682 |     2123    431 |        0 |        0
595.30/595.59	c  595s |      19 |   643619 |   545282 |     2123    432 |        0 |        0
597.50/597.70	c  597s |      19 |   645502 |   546982 |     2123    433 |        0 |        0
599.49/599.74	c  599s |      19 |   647259 |   548582 |     2123    434 |        0 |        0
601.60/601.82	c  601s |      19 |   649015 |   550182 |     2123    436 |        0 |        0
603.59/603.89	c  603s |      19 |   650905 |   551882 |     2123    437 |        0 |        0
605.59/605.90	c  605s |      19 |   652944 |   553682 |     2123    438 |        0 |        0
607.69/607.99	c  607s |      19 |   654566 |   555182 |     2123    439 |        0 |        0
609.78/610.02	c  609s |      19 |   656390 |   556782 |     2123    440 |        0 |        0
611.78/612.06	c  611s |      19 |   658261 |   558482 |     2123    441 |        0 |        0
613.88/614.18	c  614s |      19 |   660137 |   560182 |     2123    442 |        0 |        0
615.98/616.21	c  616s |      19 |   661989 |   561882 |     2123    443 |        0 |        0
618.09/618.32	c  618s |      19 |   663877 |   563582 |     2123    444 |        0 |        0
620.08/620.33	c  620s |      19 |   665505 |   565082 |     2123    445 |        0 |        0
622.18/622.41	c  622s |      19 |   667196 |   566582 |     2123    446 |        0 |        0
624.18/624.46	c  624s |      19 |   668732 |   567982 |     2123    447 |        0 |        0
626.28/626.52	c  626s |      19 |   670263 |   569382 |     2123    448 |        0 |        0
628.37/628.65	c  628s |      19 |   671806 |   570782 |     2123    449 |        0 |        0
630.47/630.75	c  630s |      19 |   673510 |   572282 |     2123    450 |        0 |        0
632.67/632.93	c  632s |      19 |   674938 |   573582 |     2123    451 |        0 |        0
634.77/635.08	c  634s |      19 |   676392 |   574882 |     2123    452 |        0 |        0
636.87/637.19	c  637s |      19 |   677741 |   576082 |     2123    453 |        0 |        0
638.97/639.28	c  639s |      19 |   679110 |   577282 |     2123    454 |        0 |        0
641.17/641.45	c  641s |      19 |   680486 |   578482 |     2123    454 |        0 |        0
643.37/643.63	c  643s |      19 |   681903 |   579682 |     2123    455 |        0 |        0
645.37/645.67	c  645s |      19 |   683124 |   580782 |     2123    456 |        0 |        0
647.46/647.73	c  647s |      19 |   684620 |   582082 |     2123    457 |        0 |        0
649.46/649.75	c  649s |      19 |   686077 |   583382 |     2123    458 |        0 |        0
651.66/651.90	c  651s |      19 |   687593 |   584682 |     2123    459 |        0 |        0
653.66/653.90	c  653s |      19 |   688956 |   585882 |     2123    459 |        0 |        0
655.76/656.09	c  656s |      19 |   690318 |   587082 |     2123    460 |        0 |        0
657.76/658.09	c  658s |      19 |   691441 |   588082 |     2123    461 |        0 |        0
659.86/660.13	c  660s |      19 |   692443 |   588982 |     2123    462 |        0 |        0
661.86/662.19	c  662s |      19 |   693554 |   589982 |     2123    462 |        0 |        0
663.96/664.22	c  664s |      19 |   695197 |   591382 |     2123    463 |        0 |        0
666.06/666.34	c  666s |      19 |   696933 |   592882 |     2123    464 |        0 |        0
668.16/668.48	c  668s |      19 |   698519 |   594282 |     2123    465 |        0 |        0
670.25/670.58	c  670s |      19 |   699894 |   595482 |     2123    466 |        0 |        0
672.35/672.69	c  672s |      19 |   701295 |   596682 |     2123    467 |        0 |        0
674.45/674.73	c  674s |      19 |   702670 |   597882 |     2123    468 |        0 |        0
676.55/676.85	c  676s |      19 |   704116 |   599182 |     2123    468 |        0 |        0
678.65/678.95	c  678s |      19 |   705596 |   600482 |     2123    469 |        0 |        0
680.75/681.01	c  680s |      19 |   707092 |   601782 |     2123    470 |        0 |        0
682.74/683.03	c  682s |      19 |   708433 |   602982 |     2123    471 |        0 |        0
684.84/685.13	c  685s |      19 |   709625 |   604082 |     2123    472 |        0 |        0
686.94/687.24	c  687s |      19 |   711054 |   605382 |     2123    473 |        0 |        0
689.04/689.32	c  689s |      19 |   712401 |   606582 |     2123    473 |        0 |        0
691.04/691.38	c  691s |      19 |   713628 |   607682 |     2123    474 |        0 |        0
693.24/693.55	c  693s |      19 |   714957 |   608882 |     2123    475 |        0 |        0
695.34/695.69	c  695s |      19 |   716287 |   610082 |     2123    476 |        0 |        0
697.44/697.73	c  697s |      19 |   717500 |   611182 |     2123    476 |        0 |        0
699.53/699.80	c  699s |      19 |   718812 |   612382 |     2123    477 |        0 |        0
701.64/701.94	c  701s |      19 |   720137 |   613582 |     2123    478 |        0 |        0
703.84/704.11	c  704s |      19 |   721391 |   614682 |     2123    479 |        0 |        0
705.83/706.15	c  706s |      19 |   722504 |   615682 |     2123    480 |        0 |        0
707.93/708.24	c  708s |      19 |   723610 |   616682 |     2123    480 |        0 |        0
709.93/710.25	c  710s |      19 |   725602 |   618482 |     2123    481 |        0 |        0
712.03/712.30	c  712s |      19 |   727380 |   620082 |     2123    482 |        0 |        0
714.03/714.33	c  714s |      19 |   729053 |   621582 |     2123    483 |        0 |        0
716.13/716.48	c  716s |      19 |   730820 |   623182 |     2123    485 |        0 |        0
718.13/718.49	c  718s |      19 |   732480 |   624682 |     2123    486 |        0 |        0
720.23/720.56	c  720s |      19 |   734258 |   626282 |     2123    487 |        0 |        0
722.32/722.62	c  722s |      19 |   735891 |   627782 |     2123    488 |        0 |        0
724.32/724.64	c  724s |      19 |   738114 |   629682 |     2123    489 |        0 |        0
726.42/726.70	c  726s |      19 |   740204 |   631482 |     2123    490 |        0 |        0
728.51/728.84	c  728s |      19 |   742121 |   633182 |     2123    491 |        0 |        0
730.61/730.94	c  730s |      19 |   743883 |   634782 |     2123    492 |        0 |        0
732.71/733.05	c  732s |      19 |   745532 |   636282 |     2123    493 |        0 |        0
734.71/735.07	c  734s |      19 |   747257 |   637882 |     2123    494 |        0 |        0
736.92/737.23	c  737s |      19 |   748907 |   639382 |     2123    495 |        0 |        0
739.02/739.36	c  739s |      19 |   750438 |   640782 |     2123    496 |        0 |        0
741.12/741.45	c  741s |      19 |   751888 |   642082 |     2123    497 |        0 |        0
743.21/743.56	c  743s |      19 |   753307 |   643382 |     2123    498 |        0 |        0
745.21/745.59	c  745s |      19 |   754606 |   644582 |     2123    499 |        0 |        0
747.31/747.69	c  747s |      19 |   755798 |   645682 |     2123    500 |        0 |        0
749.51/749.86	c  749s |      19 |   757162 |   646882 |     2123    501 |        0 |        0
751.51/751.88	c  751s |      19 |   758775 |   648282 |     2123    501 |        0 |        0
753.61/753.96	c  753s |      19 |   760652 |   649982 |     2123    503 |        0 |        0
755.71/756.00	c  755s |      19 |   762545 |   651682 |     2123    504 |        0 |        0
757.71/758.06	c  757s |      19 |   764199 |   653182 |     2123    505 |        0 |        0
759.91/760.23	c  760s |      19 |   765983 |   654782 |     2123    506 |        0 |        0
761.90/762.30	c  762s |      19 |   767480 |   656182 |     2123    507 |        0 |        0
764.00/764.32	c  764s |      19 |   769159 |   657682 |     2123    508 |        0 |        0
766.00/766.33	c  766s |      19 |   770771 |   659182 |     2123    509 |        0 |        0
768.10/768.46	c  768s |      19 |   772427 |   660682 |     2123    510 |        0 |        0
770.20/770.51	c  770s |      19 |   774314 |   662282 |     2336    511 |        0 |        0
772.20/772.54	c  772s |      19 |   775962 |   663782 |     2336    512 |        0 |        0
774.30/774.65	c  774s |      19 |   777611 |   665282 |     2336    513 |        0 |        0
776.30/776.69	c  776s |      19 |   779251 |   666782 |     2336    514 |        0 |        0
776.40/776.77	c  776s |      20 |   779308 |   666827 |     2336    514 |        0 |        0
778.50/778.82	c  778s |      20 |   782324 |   669027 |     2336    515 |        0 |        0
780.49/780.85	c  780s |      20 |   784519 |   670927 |     2336    516 |        0 |        0
782.49/782.88	c  782s |      20 |   786650 |   672727 |     2336    517 |        0 |        0
784.59/784.98	c  784s |      20 |   788559 |   674427 |     2336    518 |        0 |        0
786.59/786.98	c  786s |      20 |   790233 |   675927 |     2336    519 |        0 |        0
788.68/789.02	c  788s |      20 |   792279 |   677727 |     2336    520 |        0 |        0
790.78/791.16	c  791s |      20 |   794197 |   679427 |     2336    521 |        0 |        0
792.89/793.23	c  793s |      20 |   795662 |   680727 |     2336    522 |        0 |        0
794.88/795.25	c  795s |      20 |   797301 |   682127 |     2336    523 |        0 |        0
796.98/797.32	c  797s |      20 |   798667 |   683327 |     2336    524 |        0 |        0
798.98/799.37	c  799s |      20 |   800598 |   685027 |     2336    525 |        0 |        0
800.98/801.38	c  801s |      20 |   802311 |   686527 |     2336    526 |        0 |        0
803.08/803.41	c  803s |      20 |   804320 |   688227 |     2336    527 |        0 |        0
805.18/805.50	c  805s |      20 |   806292 |   689927 |     2336    528 |        0 |        0
807.18/807.59	c  807s |      20 |   808151 |   691627 |     2336    529 |        0 |        0
809.28/809.65	c  809s |      20 |   809798 |   693127 |     2336    530 |        0 |        0
811.37/811.71	c  811s |      20 |   811723 |   694827 |     2336    531 |        0 |        0
813.37/813.79	c  813s |      20 |   813666 |   696527 |     2336    532 |        0 |        0
815.47/815.88	c  815s |      20 |   815616 |   698227 |     2336    533 |        0 |        0
817.47/817.89	c  817s |      20 |   817367 |   699727 |     2336    534 |        0 |        0
819.67/820.01	c  819s |      20 |   819224 |   701327 |     2336    535 |        0 |        0
821.77/822.10	c  822s |      20 |   821087 |   702827 |     2336    536 |        0 |        0
823.87/824.22	c  824s |      20 |   822900 |   704427 |     2336    537 |        0 |        0
825.97/826.32	c  826s |      20 |   824747 |   706027 |     2336    538 |        0 |        0
827.97/828.33	c  828s |      20 |   826333 |   707427 |     2336    539 |        0 |        0
829.96/830.39	c  830s |      20 |   827949 |   708827 |     2336    540 |        0 |        0
832.06/832.42	c  832s |      20 |   829746 |   710427 |     2336    541 |        0 |        0
834.16/834.54	c  834s |      20 |   831393 |   711927 |     2336    542 |        0 |        0
836.16/836.58	c  836s |      20 |   833053 |   713427 |     2336    543 |        0 |        0
838.25/838.69	c  838s |      20 |   834947 |   715127 |     2336    544 |        0 |        0
840.35/840.70	c  840s |      20 |   836691 |   716727 |     2336    545 |        0 |        0
842.36/842.75	c  842s |      20 |   838459 |   718327 |     2336    546 |        0 |        0
844.56/844.90	c  844s |      20 |   839942 |   719727 |     2336    547 |        0 |        0
846.55/846.99	c  846s |      20 |   841875 |   721427 |     2336    548 |        0 |        0
848.65/849.04	c  848s |      20 |   844094 |   723227 |     2336    549 |        0 |        0
850.65/851.09	c  851s |      20 |   845776 |   724727 |     2336    550 |        0 |        0
852.75/853.16	c  853s |      20 |   847461 |   726227 |     2336    551 |        0 |        0
854.85/855.24	c  855s |      20 |   849448 |   727927 |     2336    552 |        0 |        0
856.85/857.26	c  857s |      20 |   851269 |   729527 |     2336    553 |        0 |        0
858.94/859.38	c  859s |      20 |   852930 |   731027 |     2336    554 |        0 |        0
861.05/861.40	c  861s |      20 |   854497 |   732427 |     2336    554 |        0 |        0
863.04/863.48	c  863s |      20 |   856450 |   734127 |     2336    555 |        0 |        0
865.14/865.51	c  865s |      20 |   858233 |   735727 |     2336    556 |        0 |        0
867.14/867.58	c  867s |      20 |   859937 |   737227 |     2336    557 |        0 |        0
869.24/869.69	c  869s |      20 |   861498 |   738627 |     2336    558 |        0 |        0
871.34/871.79	c  871s |      20 |   863329 |   740227 |     2336    559 |        0 |        0
873.54/873.91	c  873s |      20 |   865131 |   741827 |     2336    560 |        0 |        0
875.64/876.01	c  875s |      20 |   866939 |   743427 |     2336    561 |        0 |        0
877.74/878.10	c  878s |      20 |   869158 |   745327 |     2336    562 |        0 |        0
879.83/880.24	c  880s |      20 |   871099 |   747027 |     2336    564 |        0 |        0
881.84/882.30	c  882s |      20 |   872889 |   748627 |     2336    565 |        0 |        0
883.93/884.30	c  884s |      20 |   874536 |   750127 |     2336    565 |        0 |        0
885.93/886.36	c  886s |      20 |   876167 |   751627 |     2336    566 |        0 |        0
888.03/888.41	c  888s |      20 |   878004 |   753227 |     2336    567 |        0 |        0
890.03/890.49	c  890s |      20 |   879544 |   754627 |     2336    568 |        0 |        0
892.13/892.54	c  892s |      20 |   881143 |   756027 |     2336    569 |        0 |        0
894.13/894.58	c  894s |      20 |   883351 |   757927 |     2336    570 |        0 |        0
896.23/896.69	c  896s |      20 |   885404 |   759727 |     2336    571 |        0 |        0
898.33/898.72	c  898s |      20 |   887171 |   761227 |     2336    572 |        0 |        0
900.32/900.73	c  900s |      20 |   888881 |   762727 |     2336    573 |        0 |        0
902.42/902.88	c  902s |      20 |   890689 |   764327 |     2336    574 |        0 |        0
904.52/904.91	c  904s |      20 |   892461 |   765927 |     2336    575 |        0 |        0
906.62/907.04	c  906s |      20 |   894251 |   767527 |     2336    576 |        0 |        0
908.61/909.09	c  909s |      20 |   895751 |   768927 |     2336    577 |        0 |        0
910.71/911.15	c  911s |      20 |   897437 |   770427 |     2336    578 |        0 |        0
912.81/913.23	c  913s |      20 |   899353 |   772127 |     2336    579 |        0 |        0
914.82/915.27	c  915s |      20 |   901136 |   773727 |     2336    580 |        0 |        0
916.91/917.35	c  917s |      20 |   902694 |   775127 |     2336    581 |        0 |        0
919.01/919.41	c  919s |      20 |   904421 |   776627 |     2336    582 |        0 |        0
921.01/921.46	c  921s |      20 |   906332 |   778227 |     2336    583 |        0 |        0
923.11/923.50	c  923s |      20 |   908261 |   779927 |     2336    584 |        0 |        0
925.11/925.59	c  925s |      20 |   910358 |   781727 |     2336    585 |        0 |        0
927.31/927.70	c  927s |      20 |   912332 |   783427 |     2336    586 |        0 |        0
929.30/929.77	c  929s |      20 |   914091 |   785027 |     2336    587 |        0 |        0
931.41/931.87	c  931s |      20 |   915977 |   786727 |     2336    588 |        0 |        0
933.40/933.90	c  933s |      20 |   917407 |   788027 |     2336    589 |        0 |        0
935.50/935.93	c  935s |      20 |   919339 |   789727 |     2336    590 |        0 |        0
937.50/937.98	c  937s |      20 |   921141 |   791327 |     2336    591 |        0 |        0
939.60/940.03	c  939s |      20 |   922949 |   792927 |     2336    592 |        0 |        0
941.60/942.04	c  941s |      20 |   924508 |   794327 |     2336    593 |        0 |        0
943.70/944.11	c  944s |      20 |   926181 |   795827 |     2336    594 |        0 |        0
945.80/946.20	c  946s |      20 |   927848 |   797327 |     2336    595 |        0 |        0
947.80/948.27	c  948s |      20 |   929638 |   798927 |     2336    596 |        0 |        0
949.89/950.39	c  950s |      20 |   931368 |   800427 |     2336    597 |        0 |        0
951.99/952.47	c  952s |      20 |   933192 |   802027 |     2336    598 |        0 |        0
953.99/954.48	c  954s |      20 |   934847 |   803427 |     2336    599 |        0 |        0
956.09/956.53	c  956s |      20 |   937028 |   805127 |     2336    600 |        0 |        0
958.19/958.61	c  958s |      20 |   938719 |   806627 |     2336    601 |        0 |        0
960.18/960.64	c  960s |      20 |   940415 |   808127 |     2336    602 |        0 |        0
962.28/962.79	c  962s |      20 |   942310 |   809727 |     2336    603 |        0 |        0
964.48/964.90	c  964s |      20 |   944011 |   811227 |     2336    603 |        0 |        0
966.49/966.97	c  966s |      20 |   945806 |   812827 |     2336    604 |        0 |        0
968.47/968.97	c  968s |      20 |   947229 |   814127 |     2336    605 |        0 |        0
970.47/970.99	c  970s |      20 |   948558 |   815327 |     2336    606 |        0 |        0
972.57/973.00	c  972s |      20 |   949998 |   816627 |     2336    607 |        0 |        0
974.57/975.07	c  974s |      20 |   952064 |   818427 |     2336    608 |        0 |        0
976.57/977.09	c  977s |      20 |   954164 |   820227 |     2336    609 |        0 |        0
978.68/979.13	c  979s |      20 |   955975 |   821827 |     2336    610 |        0 |        0
980.78/981.22	c  981s |      20 |   957927 |   823527 |     2336    611 |        0 |        0
982.87/983.30	c  983s |      20 |   959840 |   825127 |     2336    612 |        0 |        0
984.87/985.35	c  985s |      20 |   961705 |   826727 |     2336    613 |        0 |        0
986.97/987.46	c  987s |      20 |   963793 |   828427 |     2336    614 |        0 |        0
988.96/989.49	c  989s |      20 |   965562 |   829927 |     2336    615 |        0 |        0
991.06/991.51	c  991s |      20 |   967192 |   831327 |     2336    616 |        0 |        0
993.06/993.52	c  993s |      20 |   968581 |   832527 |     2336    617 |        0 |        0
995.17/995.62	c  995s |      20 |   970150 |   833927 |     2336    618 |        0 |        0
997.16/997.68	c  997s |      20 |   971613 |   835227 |     2336    618 |        0 |        0
999.36/999.82	c  999s |      20 |   973245 |   836627 |     2336    619 |        0 |        0
1001.46/1001.91	c 1001s |      20 |   975083 |   838227 |     2336    620 |        0 |        0
1003.46/1003.93	c 1003s |      20 |   976996 |   839927 |     2336    621 |        0 |        0
1005.46/1005.99	c 1005s |      20 |   979039 |   841627 |     2336    622 |        0 |        0
1007.56/1008.04	c 1007s |      20 |   980813 |   843227 |     2336    623 |        0 |        0
1009.56/1010.07	c 1009s |      20 |   982626 |   844827 |     2336    624 |        0 |        0
1011.66/1012.14	c 1012s |      20 |   984269 |   846327 |     2336    625 |        0 |        0
1013.76/1014.21	c 1014s |      20 |   986102 |   847927 |     2336    626 |        0 |        0
1015.76/1016.25	c 1016s |      20 |   988090 |   849627 |     2336    627 |        0 |        0
1017.76/1018.26	c 1018s |      20 |   989769 |   851127 |     2336    628 |        0 |        0
1019.86/1020.30	c 1020s |      20 |   991434 |   852627 |     2336    629 |        0 |        0
1021.86/1022.39	c 1022s |      20 |   993277 |   854227 |     2336    630 |        0 |        0
1023.96/1024.45	c 1024s |      20 |   995110 |   855827 |     2336    631 |        0 |        0
1026.06/1026.54	c 1026s |      20 |   996892 |   857427 |     2336    632 |        0 |        0
1028.17/1028.61	c 1028s |      20 |   998646 |   859027 |     2336    633 |        0 |        0
1030.27/1030.72	c 1030s |      20 |  1000302 |   860527 |     2336    634 |        0 |        0
1032.36/1032.80	c 1032s |      20 |  1001899 |   861927 |     2336    635 |        0 |        0
1034.36/1034.81	c 1034s |      20 |  1003227 |   863127 |     2336    636 |        0 |        0
1036.46/1036.91	c 1036s |      20 |  1004964 |   864627 |     2336    637 |        0 |        0
1038.46/1038.95	c 1038s |      20 |  1006775 |   866227 |     2336    638 |        0 |        0
1040.46/1040.98	c 1040s |      20 |  1008212 |   867527 |     2336    639 |        0 |        0
1042.56/1043.05	c 1042s |      20 |  1009632 |   868827 |     2336    639 |        0 |        0
1044.67/1045.14	c 1045s |      20 |  1011104 |   870127 |     2336    640 |        0 |        0
1046.77/1047.21	c 1047s |      20 |  1013118 |   871927 |     2336    641 |        0 |        0
1048.76/1049.26	c 1049s |      20 |  1015016 |   873627 |     2336    642 |        0 |        0
1050.86/1051.38	c 1051s |      20 |  1016849 |   875227 |     2336    643 |        0 |        0
1052.96/1053.43	c 1053s |      20 |  1018420 |   876627 |     2336    644 |        0 |        0
1054.96/1055.44	c 1055s |      20 |  1020030 |   878027 |     2336    645 |        0 |        0
1057.06/1057.55	c 1057s |      20 |  1021590 |   879427 |     2336    646 |        0 |        0
1059.16/1059.66	c 1059s |      20 |  1023157 |   880827 |     2336    647 |        0 |        0
1061.26/1061.72	c 1061s |      20 |  1024925 |   882327 |     2336    648 |        0 |        0
1063.36/1063.87	c 1063s |      20 |  1026647 |   883827 |     2336    649 |        0 |        0
1065.36/1065.89	c 1065s |      20 |  1028399 |   885327 |     2336    650 |        0 |        0
1067.46/1067.95	c 1067s |      20 |  1030250 |   886927 |     2336    651 |        0 |        0
1069.46/1069.96	c 1069s |      20 |  1032075 |   888427 |     2336    652 |        0 |        0
1071.46/1071.99	c 1071s |      20 |  1033754 |   889927 |     2336    652 |        0 |        0
1073.55/1074.04	c 1073s |      20 |  1035539 |   891427 |     2336    653 |        0 |        0
1075.65/1076.16	c 1076s |      20 |  1037294 |   892927 |     2336    654 |        0 |        0
1077.75/1078.21	c 1078s |      20 |  1038923 |   894327 |     2336    655 |        0 |        0
1079.76/1080.23	c 1080s |      20 |  1040448 |   895627 |     2336    656 |        0 |        0
1081.85/1082.32	c 1082s |      20 |  1042281 |   897227 |     2336    657 |        0 |        0
1083.95/1084.47	c 1084s |      20 |  1043857 |   898627 |     2336    658 |        0 |        0
1086.05/1086.53	c 1086s |      20 |  1045283 |   899927 |     2336    659 |        0 |        0
1088.05/1088.59	c 1088s |      20 |  1046894 |   901327 |     2336    660 |        0 |        0
1090.15/1090.65	c 1090s |      20 |  1048427 |   902727 |     2336    660 |        0 |        0
1092.35/1092.83	c 1092s |      20 |  1049912 |   904027 |     2336    661 |        0 |        0
1094.45/1094.91	c 1094s |      20 |  1051623 |   905427 |     2336    662 |        0 |        0
1096.45/1096.93	c 1096s |      20 |  1053412 |   907027 |     2336    663 |        0 |        0
1098.56/1099.07	c 1098s |      20 |  1055047 |   908527 |     2336    664 |        0 |        0
1100.66/1101.17	c 1101s |      20 |  1056707 |   910027 |     2336    665 |        0 |        0
1102.75/1103.27	c 1103s |      20 |  1058260 |   911427 |     2336    666 |        0 |        0
1104.85/1105.34	c 1105s |      20 |  1059797 |   912827 |     2336    667 |        0 |        0
1106.95/1107.48	c 1107s |      20 |  1061493 |   914327 |     2336    668 |        0 |        0
1109.15/1109.66	c 1109s |      20 |  1063061 |   915727 |     2336    669 |        0 |        0
1111.15/1111.67	c 1111s |      20 |  1064742 |   917227 |     2336    669 |        0 |        0
1113.25/1113.71	c 1113s |      20 |  1066488 |   918727 |     2336    670 |        0 |        0
1115.25/1115.72	c 1115s |      20 |  1068034 |   920127 |     2336    671 |        0 |        0
1117.35/1117.85	c 1117s |      20 |  1069743 |   921627 |     2336    672 |        0 |        0
1119.45/1119.95	c 1119s |      20 |  1071329 |   923027 |     2336    673 |        0 |        0
1121.55/1122.01	c 1121s |      20 |  1072763 |   924327 |     2336    674 |        0 |        0
1123.55/1124.04	c 1123s |      20 |  1074226 |   925627 |     2336    675 |        0 |        0
1125.65/1126.18	c 1126s |      20 |  1075849 |   927027 |     2336    676 |        0 |        0
1127.75/1128.23	c 1128s |      20 |  1077577 |   928527 |     2336    676 |        0 |        0
1129.85/1130.30	c 1130s |      20 |  1079275 |   929927 |     2336    677 |        0 |        0
1131.84/1132.34	c 1132s |      20 |  1080673 |   931127 |     2336    678 |        0 |        0
1133.94/1134.42	c 1134s |      20 |  1082239 |   932527 |     2336    679 |        0 |        0
1135.95/1136.43	c 1136s |      20 |  1083688 |   933827 |     2336    680 |        0 |        0
1138.05/1138.57	c 1138s |      20 |  1085224 |   935127 |     2336    681 |        0 |        0
1140.14/1140.69	c 1140s |      20 |  1086715 |   936427 |     2336    681 |        0 |        0
1142.24/1142.76	c 1142s |      20 |  1088306 |   937727 |     2336    682 |        0 |        0
1144.34/1144.85	c 1144s |      20 |  1089758 |   939027 |     2336    683 |        0 |        0
1146.34/1146.89	c 1146s |      20 |  1091010 |   940127 |     2336    684 |        0 |        0
1148.54/1149.07	c 1148s |      20 |  1092516 |   941427 |     2336    685 |        0 |        0
1150.54/1151.07	c 1150s |      20 |  1093907 |   942627 |     2336    685 |        0 |        0
1152.54/1153.08	c 1152s |      20 |  1095237 |   943827 |     2336    686 |        0 |        0
1154.74/1155.22	c 1155s |      20 |  1096628 |   945027 |     2336    687 |        0 |        0
1156.75/1157.29	c 1157s |      20 |  1097863 |   946127 |     2336    687 |        0 |        0
1158.84/1159.33	c 1159s |      20 |  1099085 |   947227 |     2336    688 |        0 |        0
1160.94/1161.42	c 1161s |      20 |  1100172 |   948227 |     2336    689 |        0 |        0
1162.94/1163.49	c 1163s |      20 |  1101282 |   949227 |     2336    689 |        0 |        0
1164.94/1165.49	c 1165s |      20 |  1102406 |   950227 |     2336    690 |        0 |        0
1167.14/1167.61	c 1167s |      20 |  1104090 |   951727 |     2336    691 |        0 |        0
1169.24/1169.74	c 1169s |      20 |  1105627 |   953127 |     2336    692 |        0 |        0
1171.34/1171.80	c 1171s |      20 |  1106944 |   954327 |     2336    693 |        0 |        0
1173.44/1173.91	c 1173s |      20 |  1108356 |   955627 |     2336    693 |        0 |        0
1175.44/1176.00	c 1175s |      20 |  1109989 |   957027 |     2336    694 |        0 |        0
1177.54/1178.05	c 1177s |      20 |  1111346 |   958227 |     2336    695 |        0 |        0
1179.64/1180.12	c 1180s |      20 |  1112565 |   959327 |     2336    696 |        0 |        0
1181.64/1182.18	c 1182s |      20 |  1113867 |   960427 |     2336    696 |        0 |        0
1183.84/1184.37	c 1184s |      20 |  1115072 |   961527 |     2336    697 |        0 |        0
1185.93/1186.44	c 1186s |      20 |  1116833 |   963027 |     2336    698 |        0 |        0
1188.03/1188.57	c 1188s |      20 |  1118263 |   964327 |     2336    699 |        0 |        0
1190.13/1190.68	c 1190s |      20 |  1119668 |   965627 |     2336    700 |        0 |        0
1192.13/1192.69	c 1192s |      20 |  1121343 |   967127 |     2336    701 |        0 |        0
1194.33/1194.86	c 1194s |      20 |  1123133 |   968727 |     2336    702 |        0 |        0
1196.53/1197.03	c 1196s |      20 |  1124901 |   970327 |     2336    703 |        0 |        0
1198.64/1199.19	c 1199s |      20 |  1126660 |   971927 |     2336    704 |        0 |        0
1200.74/1201.28	c 1201s |      20 |  1128332 |   973427 |     2336    704 |        0 |        0
1202.83/1203.30	c 1203s |      20 |  1130183 |   975027 |     2336    705 |        0 |        0
1204.83/1205.34	c 1205s |      20 |  1131945 |   976627 |     2336    706 |        0 |        0
1206.83/1207.36	c 1207s |      20 |  1133799 |   978227 |     2336    707 |        0 |        0
1208.83/1209.36	c 1209s |      20 |  1135461 |   979727 |     2336    708 |        0 |        0
1210.93/1211.45	c 1211s |      20 |  1137029 |   981127 |     2336    709 |        0 |        0
1213.03/1213.56	c 1213s |      20 |  1138610 |   982527 |     2336    710 |        0 |        0
1215.14/1215.61	c 1215s |      20 |  1140435 |   984127 |     2336    711 |        0 |        0
1217.13/1217.66	c 1217s |      20 |  1141955 |   985527 |     2336    712 |        0 |        0
1219.13/1219.67	c 1219s |      20 |  1143333 |   986727 |     2336    713 |        0 |        0
1221.23/1221.72	c 1221s |      20 |  1144985 |   988227 |     2336    714 |        0 |        0
1223.23/1223.72	c 1223s |      20 |  1146439 |   989527 |     2336    714 |        0 |        0
1225.33/1225.84	c 1225s |      20 |  1148087 |   991027 |     2336    715 |        0 |        0
1227.43/1227.90	c 1227s |      20 |  1149793 |   992527 |     2336    716 |        0 |        0
1229.53/1230.02	c 1229s |      20 |  1151573 |   994127 |     2570    717 |        0 |        0
1231.53/1232.07	c 1231s |      20 |  1153123 |   995527 |     2570    718 |        0 |        0
1233.53/1234.10	c 1234s |      20 |  1154846 |   997027 |     2570    719 |        0 |        0
1235.63/1236.19	c 1236s |      20 |  1156430 |   998427 |     2570    720 |        0 |        0
1237.73/1238.26	c 1238s |      20 |  1158136 |   999927 |     2570    721 |        0 |        0
1238.43/1238.90	c 1238s |      21 |  1158589 |  1000345 |     2570    721 |        0 |        0
1240.43/1240.97	c 1240s |      21 |  1161663 |  1002645 |     2570    722 |        0 |        0
1242.53/1243.01	c 1242s |      21 |  1163549 |  1004345 |     2570    723 |        0 |        0
1244.52/1245.05	c 1244s |      21 |  1165701 |  1006245 |     2570    724 |        0 |        0
1246.62/1247.15	c 1247s |      21 |  1167487 |  1007845 |     2570    725 |        0 |        0
1248.62/1249.18	c 1249s |      21 |  1169242 |  1009445 |     2570    726 |        0 |        0
1250.62/1251.19	c 1251s |      21 |  1170987 |  1011045 |     2570    727 |        0 |        0
1252.72/1253.29	c 1253s |      21 |  1172765 |  1012645 |     2570    728 |        0 |        0
1254.82/1255.33	c 1255s |      21 |  1174648 |  1014345 |     2570    729 |        0 |        0
1256.93/1257.41	c 1257s |      21 |  1176559 |  1016045 |     2570    730 |        0 |        0
1258.92/1259.48	c 1259s |      21 |  1178192 |  1017545 |     2570    731 |        0 |        0
1260.92/1261.48	c 1261s |      21 |  1179874 |  1019045 |     2570    732 |        0 |        0
1263.02/1263.58	c 1263s |      21 |  1181908 |  1020845 |     2570    733 |        0 |        0
1265.12/1265.62	c 1265s |      21 |  1183631 |  1022345 |     2570    734 |        0 |        0
1267.12/1267.63	c 1267s |      21 |  1185245 |  1023745 |     2570    735 |        0 |        0
1269.12/1269.69	c 1269s |      21 |  1186803 |  1025145 |     2570    735 |        0 |        0
1271.23/1271.75	c 1271s |      21 |  1188131 |  1026345 |     2570    736 |        0 |        0
1273.22/1273.76	c 1273s |      21 |  1189483 |  1027545 |     2570    737 |        0 |        0
1275.32/1275.85	c 1275s |      21 |  1190856 |  1028745 |     2570    738 |        0 |        0
1277.42/1277.94	c 1277s |      21 |  1192663 |  1030345 |     2570    738 |        0 |        0
1279.42/1279.95	c 1279s |      21 |  1194478 |  1031945 |     2570    739 |        0 |        0
1281.52/1282.06	c 1281s |      21 |  1196112 |  1033445 |     2570    740 |        0 |        0
1283.62/1284.15	c 1284s |      21 |  1197770 |  1034945 |     2570    741 |        0 |        0
1285.72/1286.28	c 1286s |      21 |  1199570 |  1036545 |     2570    742 |        0 |        0
1287.82/1288.30	c 1288s |      21 |  1201201 |  1038045 |     2570    743 |        0 |        0
1289.82/1290.33	c 1290s |      21 |  1203065 |  1039645 |     2570    744 |        0 |        0
1291.82/1292.34	c 1292s |      21 |  1204776 |  1041145 |     2570    745 |        0 |        0
1293.82/1294.40	c 1294s |      21 |  1206450 |  1042645 |     2570    746 |        0 |        0
1295.92/1296.48	c 1296s |      21 |  1208303 |  1044245 |     2570    747 |        0 |        0
1298.02/1298.52	c 1298s |      21 |  1209942 |  1045745 |     2570    748 |        0 |        0
1300.12/1300.63	c 1300s |      21 |  1211629 |  1047245 |     2570    748 |        0 |        0
1302.22/1302.70	c 1302s |      21 |  1213495 |  1048845 |     2570    749 |        0 |        0
1304.31/1304.82	c 1304s |      21 |  1215452 |  1050545 |     2570    750 |        0 |        0
1306.32/1306.86	c 1306s |      21 |  1217227 |  1052145 |     2570    751 |        0 |        0
1308.41/1308.96	c 1308s |      21 |  1219218 |  1053945 |     2570    752 |        0 |        0
1310.51/1311.06	c 1310s |      21 |  1221079 |  1055645 |     2570    753 |        0 |        0
1312.61/1313.11	c 1313s |      21 |  1222987 |  1057345 |     2570    754 |        0 |        0
1314.61/1315.15	c 1315s |      21 |  1224720 |  1058945 |     2570    755 |        0 |        0
1316.71/1317.24	c 1317s |      21 |  1226480 |  1060545 |     2570    756 |        0 |        0
1318.81/1319.37	c 1319s |      21 |  1228357 |  1062245 |     2570    757 |        0 |        0
1320.91/1321.44	c 1321s |      21 |  1230121 |  1063845 |     2570    758 |        0 |        0
1323.01/1323.51	c 1323s |      21 |  1232007 |  1065545 |     2570    759 |        0 |        0
1325.02/1325.54	c 1325s |      21 |  1233797 |  1067145 |     2570    760 |        0 |        0
1327.11/1327.61	c 1327s |      21 |  1235547 |  1068745 |     2570    761 |        0 |        0
1329.21/1329.73	c 1329s |      21 |  1237410 |  1070445 |     2570    762 |        0 |        0
1331.31/1331.82	c 1331s |      21 |  1239474 |  1072245 |     2570    763 |        0 |        0
1333.41/1333.91	c 1333s |      21 |  1241392 |  1073945 |     2570    764 |        0 |        0
1335.41/1335.92	c 1335s |      21 |  1243021 |  1075445 |     2570    765 |        0 |        0
1337.51/1338.01	c 1337s |      21 |  1244679 |  1076945 |     2570    766 |        0 |        0
1339.52/1340.06	c 1339s |      21 |  1246449 |  1078545 |     2570    767 |        0 |        0
1341.62/1342.11	c 1342s |      21 |  1247969 |  1079945 |     2570    768 |        0 |        0
1343.72/1344.23	c 1344s |      21 |  1249722 |  1081545 |     2570    769 |        0 |        0
1345.81/1346.33	c 1346s |      21 |  1251756 |  1083345 |     2570    770 |        0 |        0
1347.91/1348.44	c 1348s |      21 |  1253526 |  1084945 |     2570    771 |        0 |        0
1349.91/1350.46	c 1350s |      21 |  1255285 |  1086545 |     2570    771 |        0 |        0
1352.11/1352.60	c 1352s |      21 |  1257129 |  1088245 |     2570    772 |        0 |        0
1354.11/1354.68	c 1354s |      21 |  1258784 |  1089745 |     2570    773 |        0 |        0
1356.21/1356.78	c 1356s |      21 |  1260546 |  1091345 |     2570    774 |        0 |        0
1358.41/1358.90	c 1358s |      21 |  1262305 |  1092945 |     2570    775 |        0 |        0
1360.41/1360.98	c 1360s |      21 |  1264096 |  1094545 |     2570    776 |        0 |        0
1362.52/1363.05	c 1362s |      21 |  1265623 |  1095945 |     2570    777 |        0 |        0
1364.62/1365.11	c 1365s |      21 |  1267306 |  1097445 |     2570    778 |        0 |        0
1366.71/1367.22	c 1367s |      21 |  1269092 |  1099045 |     2570    779 |        0 |        0
1368.71/1369.25	c 1369s |      21 |  1270900 |  1100645 |     2570    780 |        0 |        0
1370.71/1371.29	c 1371s |      21 |  1272689 |  1102245 |     2570    781 |        0 |        0
1372.81/1373.36	c 1373s |      21 |  1274588 |  1103945 |     2570    782 |        0 |        0
1374.81/1375.38	c 1375s |      21 |  1276234 |  1105445 |     2570    783 |        0 |        0
1376.91/1377.47	c 1377s |      21 |  1278114 |  1107145 |     2570    784 |        0 |        0
1378.92/1379.50	c 1379s |      21 |  1279883 |  1108745 |     2570    785 |        0 |        0
1381.12/1381.65	c 1381s |      21 |  1281853 |  1110545 |     2570    786 |        0 |        0
1383.21/1383.79	c 1383s |      21 |  1283506 |  1112045 |     2570    786 |        0 |        0
1385.31/1385.86	c 1385s |      21 |  1285187 |  1113545 |     2570    787 |        0 |        0
1387.41/1387.95	c 1387s |      21 |  1286947 |  1115145 |     2570    788 |        0 |        0
1389.51/1390.06	c 1389s |      21 |  1288560 |  1116645 |     2570    789 |        0 |        0
1391.61/1392.14	c 1392s |      21 |  1290280 |  1118145 |     2570    790 |        0 |        0
1393.71/1394.24	c 1394s |      21 |  1291955 |  1119645 |     2570    791 |        0 |        0
1395.81/1396.36	c 1396s |      21 |  1293624 |  1121145 |     2570    792 |        0 |        0
1397.91/1398.47	c 1398s |      21 |  1295155 |  1122545 |     2570    793 |        0 |        0
1399.91/1400.49	c 1400s |      21 |  1296900 |  1124145 |     2570    794 |        0 |        0
1402.01/1402.55	c 1402s |      21 |  1298645 |  1125745 |     2570    794 |        0 |        0
1404.00/1404.57	c 1404s |      21 |  1300284 |  1127245 |     2570    795 |        0 |        0
1406.10/1406.63	c 1406s |      21 |  1301945 |  1128745 |     2570    796 |        0 |        0
1408.10/1408.67	c 1408s |      21 |  1303436 |  1130145 |     2570    797 |        0 |        0
1410.20/1410.74	c 1410s |      21 |  1304951 |  1131545 |     2570    798 |        0 |        0
1412.20/1412.79	c 1412s |      21 |  1306469 |  1132945 |     2570    799 |        0 |        0
1414.30/1414.80	c 1414s |      21 |  1308092 |  1134345 |     2570    800 |        0 |        0
1416.41/1416.98	c 1416s |      21 |  1309964 |  1136045 |     2570    801 |        0 |        0
1418.51/1419.10	c 1419s |      21 |  1311873 |  1137745 |     2570    802 |        0 |        0
1420.60/1421.10	c 1421s |      21 |  1313535 |  1139245 |     2570    802 |        0 |        0
1422.70/1423.24	c 1423s |      21 |  1315273 |  1140845 |     2570    803 |        0 |        0
1424.80/1425.34	c 1425s |      21 |  1317052 |  1142445 |     2570    804 |        0 |        0
1426.80/1427.40	c 1427s |      21 |  1318722 |  1143945 |     2570    805 |        0 |        0
1428.90/1429.42	c 1429s |      21 |  1320351 |  1145445 |     2570    806 |        0 |        0
1430.90/1431.45	c 1431s |      21 |  1321800 |  1146745 |     2570    807 |        0 |        0
1433.00/1433.52	c 1433s |      21 |  1323338 |  1148145 |     2570    808 |        0 |        0
1435.11/1435.64	c 1435s |      21 |  1324995 |  1149645 |     2570    808 |        0 |        0
1437.10/1437.65	c 1437s |      21 |  1326426 |  1150945 |     2570    809 |        0 |        0
1439.30/1439.81	c 1439s |      21 |  1328143 |  1152445 |     2570    810 |        0 |        0
1441.30/1441.89	c 1441s |      21 |  1329572 |  1153745 |     2570    811 |        0 |        0
1443.50/1444.02	c 1443s |      21 |  1331134 |  1155145 |     2570    812 |        0 |        0
1445.70/1446.21	c 1446s |      21 |  1332655 |  1156545 |     2570    813 |        0 |        0
1447.70/1448.23	c 1448s |      21 |  1334305 |  1158045 |     2570    813 |        0 |        0
1449.80/1450.34	c 1450s |      21 |  1335914 |  1159545 |     2570    814 |        0 |        0
1451.80/1452.36	c 1452s |      21 |  1337452 |  1160945 |     2570    815 |        0 |        0
1453.90/1454.43	c 1454s |      21 |  1339234 |  1162545 |     2570    816 |        0 |        0
1455.90/1456.47	c 1456s |      21 |  1340666 |  1163845 |     2570    817 |        0 |        0
1458.00/1458.54	c 1458s |      21 |  1342200 |  1165245 |     2570    818 |        0 |        0
1460.10/1460.64	c 1460s |      21 |  1343744 |  1166645 |     2570    818 |        0 |        0
1462.09/1462.69	c 1462s |      21 |  1345194 |  1167945 |     2570    819 |        0 |        0
1464.19/1464.78	c 1464s |      21 |  1346627 |  1169245 |     2570    820 |        0 |        0
1466.29/1466.86	c 1466s |      21 |  1348660 |  1171045 |     2570    821 |        0 |        0
1468.39/1468.95	c 1468s |      21 |  1350367 |  1172545 |     2570    822 |        0 |        0
1470.49/1471.04	c 1470s |      21 |  1352075 |  1174045 |     2570    823 |        0 |        0
1472.50/1473.07	c 1472s |      21 |  1353788 |  1175545 |     2570    824 |        0 |        0
1474.60/1475.15	c 1475s |      21 |  1355475 |  1177045 |     2570    825 |        0 |        0
1476.69/1477.23	c 1477s |      21 |  1357105 |  1178545 |     2570    825 |        0 |        0
1478.69/1479.28	c 1479s |      21 |  1358625 |  1179945 |     2570    826 |        0 |        0
1480.79/1481.31	c 1481s |      21 |  1360316 |  1181445 |     2570    827 |        0 |        0
1482.79/1483.34	c 1483s |      21 |  1361835 |  1182845 |     2570    828 |        0 |        0
1484.79/1485.35	c 1485s |      21 |  1363266 |  1184145 |     2570    829 |        0 |        0
1486.89/1487.49	c 1487s |      21 |  1364965 |  1185645 |     2570    830 |        0 |        0
1489.00/1489.56	c 1489s |      21 |  1366578 |  1187045 |     2570    830 |        0 |        0
1491.10/1491.65	c 1491s |      21 |  1368161 |  1188445 |     2570    831 |        0 |        0
1493.09/1493.67	c 1493s |      21 |  1369612 |  1189745 |     2570    832 |        0 |        0
1495.19/1495.72	c 1495s |      21 |  1371031 |  1191045 |     2570    833 |        0 |        0
1497.29/1497.87	c 1497s |      21 |  1372506 |  1192345 |     2570    834 |        0 |        0
1499.49/1500.01	c 1499s |      21 |  1373925 |  1193645 |     2570    834 |        0 |        0
1501.59/1502.12	c 1502s |      21 |  1375517 |  1195045 |     2570    835 |        0 |        0
1503.59/1504.18	c 1504s |      21 |  1377181 |  1196545 |     2570    836 |        0 |        0
1505.69/1506.27	c 1506s |      21 |  1378655 |  1197845 |     2570    837 |        0 |        0
1507.89/1508.41	c 1508s |      21 |  1380092 |  1199145 |     2570    838 |        0 |        0
1509.89/1510.42	c 1510s |      21 |  1381805 |  1200645 |     2570    838 |        0 |        0
1511.99/1512.51	c 1512s |      21 |  1383569 |  1202145 |     2570    839 |        0 |        0
1513.99/1514.54	c 1514s |      21 |  1384987 |  1203445 |     2570    840 |        0 |        0
1515.99/1516.57	c 1516s |      21 |  1386348 |  1204645 |     2570    841 |        0 |        0
1518.09/1518.66	c 1518s |      21 |  1387906 |  1206045 |     2570    842 |        0 |        0
1520.18/1520.79	c 1520s |      21 |  1389377 |  1207345 |     2570    842 |        0 |        0
1522.38/1522.93	c 1522s |      21 |  1390713 |  1208545 |     2570    843 |        0 |        0
1524.38/1524.94	c 1524s |      21 |  1392134 |  1209745 |     2570    844 |        0 |        0
1526.39/1526.96	c 1526s |      21 |  1393410 |  1210845 |     2570    845 |        0 |        0
1528.49/1529.02	c 1528s |      21 |  1394921 |  1212145 |     2570    845 |        0 |        0
1530.48/1531.09	c 1531s |      21 |  1396264 |  1213345 |     2570    846 |        0 |        0
1532.58/1533.19	c 1533s |      21 |  1397458 |  1214445 |     2570    847 |        0 |        0
1534.78/1535.34	c 1535s |      21 |  1398952 |  1215745 |     2570    847 |        0 |        0
1536.78/1537.36	c 1537s |      21 |  1400196 |  1216845 |     2570    848 |        0 |        0
1538.98/1539.51	c 1539s |      21 |  1401397 |  1217945 |     2570    849 |        0 |        0
1541.08/1541.63	c 1541s |      21 |  1402948 |  1219345 |     2570    849 |        0 |        0
1543.08/1543.69	c 1543s |      21 |  1404596 |  1220845 |     2570    850 |        0 |        0
1545.18/1545.78	c 1545s |      21 |  1406033 |  1222145 |     2570    851 |        0 |        0
1547.29/1547.80	c 1547s |      21 |  1407695 |  1223645 |     2570    852 |        0 |        0
1549.28/1549.81	c 1549s |      21 |  1409218 |  1225045 |     2570    853 |        0 |        0
1551.28/1551.88	c 1551s |      21 |  1410691 |  1226345 |     2570    854 |        0 |        0
1553.38/1553.92	c 1553s |      21 |  1412423 |  1227845 |     2570    854 |        0 |        0
1555.38/1555.99	c 1555s |      21 |  1413861 |  1229145 |     2570    855 |        0 |        0
1557.48/1558.02	c 1557s |      21 |  1415178 |  1230345 |     2570    856 |        0 |        0
1559.48/1560.07	c 1559s |      21 |  1416673 |  1231645 |     2570    857 |        0 |        0
1561.58/1562.15	c 1562s |      21 |  1418142 |  1232945 |     2570    857 |        0 |        0
1563.68/1564.27	c 1564s |      21 |  1419517 |  1234145 |     2570    858 |        0 |        0
1565.78/1566.35	c 1566s |      21 |  1420869 |  1235345 |     2570    859 |        0 |        0
1567.78/1568.37	c 1568s |      21 |  1422296 |  1236545 |     2570    860 |        0 |        0
1569.88/1570.45	c 1570s |      21 |  1423614 |  1237745 |     2570    860 |        0 |        0
1571.98/1572.53	c 1572s |      21 |  1424980 |  1238945 |     2570    861 |        0 |        0
1573.98/1574.59	c 1574s |      21 |  1426346 |  1240145 |     2570    862 |        0 |        0
1576.08/1576.62	c 1576s |      21 |  1428137 |  1241745 |     2570    863 |        0 |        0
1578.08/1578.67	c 1578s |      21 |  1430117 |  1243545 |     2570    864 |        0 |        0
1580.18/1580.77	c 1580s |      21 |  1431853 |  1245145 |     2570    865 |        0 |        0
1582.27/1582.86	c 1582s |      21 |  1433638 |  1246745 |     2570    866 |        0 |        0
1584.37/1584.99	c 1584s |      21 |  1435257 |  1248245 |     2570    866 |        0 |        0
1586.37/1587.00	c 1586s |      21 |  1436911 |  1249745 |     2570    867 |        0 |        0
1588.47/1589.04	c 1588s |      21 |  1438653 |  1251345 |     2570    868 |        0 |        0
1590.47/1591.09	c 1591s |      21 |  1440356 |  1252845 |     2570    869 |        0 |        0
1592.67/1593.20	c 1593s |      21 |  1442128 |  1254445 |     2570    870 |        0 |        0
1594.67/1595.25	c 1595s |      21 |  1443656 |  1255845 |     2570    871 |        0 |        0
1596.87/1597.43	c 1597s |      21 |  1445357 |  1257345 |     2570    872 |        0 |        0
1598.98/1599.55	c 1599s |      21 |  1447188 |  1258945 |     2570    873 |        0 |        0
1601.18/1601.72	c 1601s |      21 |  1448715 |  1260345 |     2570    874 |        0 |        0
1603.17/1603.77	c 1603s |      21 |  1450377 |  1261845 |     2570    874 |        0 |        0
1605.17/1605.79	c 1605s |      21 |  1451899 |  1263245 |     2570    875 |        0 |        0
1607.27/1607.87	c 1607s |      21 |  1453392 |  1264645 |     2570    876 |        0 |        0
1609.37/1609.92	c 1609s |      21 |  1455081 |  1266145 |     2570    877 |        0 |        0
1611.47/1612.05	c 1611s |      21 |  1456583 |  1267545 |     2570    878 |        0 |        0
1613.57/1614.12	c 1614s |      21 |  1458278 |  1269045 |     2570    879 |        0 |        0
1615.57/1616.18	c 1616s |      21 |  1459980 |  1270545 |     2570    880 |        0 |        0
1617.68/1618.23	c 1618s |      21 |  1461706 |  1272045 |     2570    880 |        0 |        0
1619.67/1620.24	c 1620s |      21 |  1463466 |  1273645 |     2570    881 |        0 |        0
1621.77/1622.35	c 1622s |      21 |  1465126 |  1275145 |     2570    882 |        0 |        0
1623.87/1624.41	c 1624s |      21 |  1466796 |  1276645 |     2570    883 |        0 |        0
1625.87/1626.43	c 1626s |      21 |  1468418 |  1278145 |     2570    884 |        0 |        0
1627.97/1628.54	c 1628s |      21 |  1470066 |  1279645 |     2570    885 |        0 |        0
1630.07/1630.61	c 1630s |      21 |  1471705 |  1281145 |     2570    886 |        0 |        0
1632.07/1632.67	c 1632s |      21 |  1473320 |  1282645 |     2570    887 |        0 |        0
1634.07/1634.70	c 1634s |      21 |  1474987 |  1284145 |     2570    888 |        0 |        0
1636.17/1636.70	c 1636s |      21 |  1476789 |  1285745 |     2570    888 |        0 |        0
1638.27/1638.81	c 1638s |      21 |  1478592 |  1287345 |     2570    889 |        0 |        0
1640.36/1640.94	c 1640s |      21 |  1480254 |  1288845 |     2570    890 |        0 |        0
1642.46/1643.05	c 1642s |      21 |  1482027 |  1290445 |     2570    891 |        0 |        0
1644.56/1645.13	c 1645s |      21 |  1483686 |  1291945 |     2570    892 |        0 |        0
1646.56/1647.17	c 1647s |      21 |  1485356 |  1293445 |     2570    893 |        0 |        0
1648.66/1649.29	c 1649s |      21 |  1487187 |  1295045 |     2570    894 |        0 |        0
1650.76/1651.30	c 1651s |      21 |  1488922 |  1296545 |     2570    895 |        0 |        0
1652.87/1653.44	c 1653s |      21 |  1490672 |  1297945 |     2570    896 |        0 |        0
1654.97/1655.60	c 1655s |      21 |  1492161 |  1299245 |     2570    896 |        0 |        0
1657.17/1657.75	c 1657s |      21 |  1493948 |  1300745 |     2570    897 |        0 |        0
1659.26/1659.82	c 1659s |      21 |  1495593 |  1302145 |     2570    898 |        0 |        0
1661.26/1661.85	c 1661s |      21 |  1497149 |  1303545 |     2570    899 |        0 |        0
1663.26/1663.87	c 1663s |      21 |  1498508 |  1304745 |     2570    900 |        0 |        0
1665.46/1666.02	c 1665s |      21 |  1499961 |  1306045 |     2570    900 |        0 |        0
1667.46/1668.02	c 1667s |      21 |  1501190 |  1307145 |     2570    901 |        0 |        0
1669.46/1670.08	c 1669s |      21 |  1502812 |  1308545 |     2570    902 |        0 |        0
1671.57/1672.19	c 1672s |      21 |  1504143 |  1309745 |     2570    903 |        0 |        0
1673.67/1674.30	c 1674s |      21 |  1505796 |  1311145 |     2570    903 |        0 |        0
1675.76/1676.35	c 1676s |      21 |  1507503 |  1312645 |     2570    904 |        0 |        0
1677.76/1678.37	c 1678s |      21 |  1509186 |  1314145 |     2570    905 |        0 |        0
1679.96/1680.50	c 1680s |      21 |  1510920 |  1315645 |     2570    906 |        0 |        0
1681.96/1682.59	c 1682s |      21 |  1512478 |  1317045 |     2570    907 |        0 |        0
1684.06/1684.65	c 1684s |      21 |  1514177 |  1318545 |     2570    908 |        0 |        0
1686.16/1686.79	c 1686s |      21 |  1515707 |  1319945 |     2570    909 |        0 |        0
1688.26/1688.89	c 1688s |      21 |  1517439 |  1321445 |     2570    909 |        0 |        0
1690.46/1691.02	c 1690s |      21 |  1519348 |  1323145 |     2570    910 |        0 |        0
1692.46/1693.02	c 1692s |      21 |  1521020 |  1324645 |     2570    911 |        0 |        0
1694.46/1695.06	c 1694s |      21 |  1522507 |  1325945 |     2570    912 |        0 |        0
1696.46/1697.07	c 1696s |      21 |  1524100 |  1327345 |     2570    913 |        0 |        0
1698.45/1699.07	c 1698s |      21 |  1525940 |  1328945 |     2570    914 |        0 |        0
1700.55/1701.19	c 1701s |      21 |  1527498 |  1330345 |     2570    915 |        0 |        0
1702.65/1703.22	c 1703s |      21 |  1529035 |  1331745 |     2570    916 |        0 |        0
1704.65/1705.29	c 1705s |      21 |  1531031 |  1333445 |     2570    917 |        0 |        0
1706.66/1707.29	c 1707s |      21 |  1532884 |  1335145 |     2570    918 |        0 |        0
1708.75/1709.35	c 1709s |      21 |  1534879 |  1336945 |     2570    919 |        0 |        0
1710.85/1711.47	c 1711s |      21 |  1536527 |  1338445 |     2570    919 |        0 |        0
1712.95/1713.53	c 1713s |      21 |  1537916 |  1339745 |     2570    920 |        0 |        0
1714.95/1715.56	c 1715s |      21 |  1539563 |  1341245 |     2570    921 |        0 |        0
1717.05/1717.65	c 1717s |      21 |  1541351 |  1342845 |     2570    922 |        0 |        0
1719.15/1719.71	c 1719s |      21 |  1543064 |  1344345 |     2570    923 |        0 |        0
1721.15/1721.78	c 1721s |      21 |  1544690 |  1345845 |     2570    924 |        0 |        0
1723.26/1723.88	c 1723s |      21 |  1546552 |  1347545 |     2570    925 |        0 |        0
1725.36/1725.91	c 1725s |      21 |  1548302 |  1349145 |     2570    926 |        0 |        0
1727.35/1727.93	c 1727s |      21 |  1550068 |  1350745 |     2570    927 |        0 |        0
1729.35/1729.93	c 1729s |      21 |  1551719 |  1352245 |     2570    928 |        0 |        0
1731.45/1732.01	c 1731s |      21 |  1553404 |  1353745 |     2570    928 |        0 |        0
1733.45/1734.05	c 1733s |      21 |  1555034 |  1355245 |     2570    929 |        0 |        0
1735.55/1736.10	c 1736s |      21 |  1556678 |  1356745 |     2570    930 |        0 |        0
1737.56/1738.10	c 1738s |      21 |  1558206 |  1358145 |     2570    931 |        0 |        0
1739.55/1740.18	c 1740s |      21 |  1559887 |  1359645 |     2570    932 |        0 |        0
1741.75/1742.32	c 1742s |      21 |  1561659 |  1361245 |     2570    933 |        0 |        0
1743.85/1744.40	c 1744s |      21 |  1563288 |  1362745 |     2570    934 |        0 |        0
1745.95/1746.52	c 1746s |      21 |  1564780 |  1364145 |     2570    935 |        0 |        0
1748.05/1748.65	c 1748s |      21 |  1566781 |  1365745 |     2570    936 |        0 |        0
1750.15/1750.75	c 1750s |      21 |  1568560 |  1367345 |     2570    936 |        0 |        0
1752.25/1752.87	c 1752s |      21 |  1570253 |  1368845 |     2570    937 |        0 |        0
1754.35/1754.99	c 1754s |      21 |  1571789 |  1370245 |     2570    938 |        0 |        0
1756.45/1757.03	c 1756s |      21 |  1573216 |  1371545 |     2570    939 |        0 |        0
1758.45/1759.05	c 1758s |      21 |  1574781 |  1372945 |     2570    940 |        0 |        0
1760.44/1761.06	c 1760s |      21 |  1576203 |  1374245 |     2570    941 |        0 |        0
1762.54/1763.19	c 1763s |      21 |  1578010 |  1375845 |     2570    941 |        0 |        0
1764.64/1765.23	c 1765s |      21 |  1579667 |  1377345 |     2570    942 |        0 |        0
1766.64/1767.29	c 1767s |      21 |  1581196 |  1378745 |     2570    943 |        0 |        0
1768.84/1769.40	c 1769s |      21 |  1583170 |  1380445 |     2570    944 |        0 |        0
1770.84/1771.45	c 1771s |      21 |  1584921 |  1382045 |     2570    945 |        0 |        0
1772.94/1773.55	c 1773s |      21 |  1586583 |  1383545 |     2570    946 |        0 |        0
1775.04/1775.66	c 1775s |      21 |  1588223 |  1385045 |     2570    947 |        0 |        0
1777.15/1777.78	c 1777s |      21 |  1590531 |  1386845 |     2570    948 |        0 |        0
1779.25/1779.81	c 1779s |      21 |  1592260 |  1388345 |     2570    949 |        0 |        0
1781.34/1781.93	c 1781s |      21 |  1594094 |  1389845 |     2570    950 |        0 |        0
1783.34/1783.95	c 1783s |      21 |  1596046 |  1391545 |     2570    951 |        0 |        0
1785.44/1786.01	c 1785s |      21 |  1597823 |  1393145 |     2570    952 |        0 |        0
1787.54/1788.11	c 1788s |      21 |  1599445 |  1394645 |     2570    952 |        0 |        0
1789.54/1790.13	c 1790s |      21 |  1601237 |  1396245 |     2570    953 |        0 |        0
1791.64/1792.22	c 1792s |      21 |  1602981 |  1397845 |     2570    954 |        0 |        0
1793.74/1794.33	c 1794s |      21 |  1605018 |  1399645 |     2570    955 |        0 |        0
1795.75/1796.38	c 1796s |      21 |  1606671 |  1401145 |     2570    956 |        0 |        0
1797.95/1798.52	c 1798s |      21 |  1608549 |  1402845 |     2570    957 |        0 |        0
1799.94/1800.56	c 1800s |      21 |  1610051 |  1404245 |     2570    958 |        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-4093398-1466082535/watcher-4093398-1466082535 -o /tmp/evaluation-result-4093398-1466082535/solver-4093398-1466082535 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093398-1466082535.wbo 

pid=14226
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.22 2.18 2.13 2/179 14229
/proc/meminfo: memFree=29988188/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=707004 CPUtime=0 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 2637 0 0 0 0 0 0 0 20 0 4 0 10302501 723972096 2997 33554432000 4194304 16246674 140735173473120 140735173472544 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 177519 3006 441 2943 0 174413 0
[pid=14229/tid=14230] ppid=14226 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 742846464 3066 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 745992192 3082 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 751235072 3098 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100181 s]
/proc/loadavg: 2.22 2.18 2.13 2/179 14229
/proc/meminfo: memFree=29988188/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 26226 0 0 0 6 3 0 0 20 0 4 0 10302501 1247350784 26573 33554432000 4194304 16246674 140735173473120 140735173472544 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 304529 26587 805 2943 0 301423 0
[pid=14229/tid=14230] ppid=14226 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1247350784 26601 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1247350784 26617 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1247350784 26626 33554432000 4194304 16246674 140735173473120 140258398170288 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.200516 s]
/proc/loadavg: 2.22 2.18 2.13 2/179 14229
/proc/meminfo: memFree=29988188/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 55550 0 0 0 12 7 0 0 20 0 4 0 10302501 1247350784 55897 33554432000 4194304 16246674 140735173473120 140735173472544 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 304529 55908 805 2943 0 301423 0
[pid=14229/tid=14230] ppid=14226 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1247350784 55917 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1247350784 55926 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1247350784 55936 33554432000 4194304 16246674 140735173473120 140258398170288 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.300486 s]
/proc/loadavg: 2.22 2.18 2.13 2/179 14229
/proc/meminfo: memFree=29988188/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 86030 0 0 0 19 10 0 0 20 0 4 0 10302501 1247350784 86377 33554432000 4194304 16246674 140735173473120 140735173472544 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 304529 86391 805 2943 0 301423 0
[pid=14229/tid=14230] ppid=14226 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1247350784 86397 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1247350784 86401 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1247350784 86407 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700397 s]
/proc/loadavg: 2.22 2.18 2.13 2/179 14229
/proc/meminfo: memFree=29988188/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 208715 0 0 0 43 26 0 0 20 0 4 0 10302501 1247350784 209062 33554432000 4194304 16246674 140735173473120 140735173455040 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 304529 209077 811 2943 0 301423 0
[pid=14229/tid=14230] ppid=14226 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1247350784 209086 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1247350784 209095 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1247350784 209101 33554432000 4194304 16246674 140735173473120 140258398170288 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) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.29 2.20 2.13 3/183 14233
/proc/meminfo: memFree=29004408/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1303108 CPUtime=1.49 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 266711 0 0 0 115 34 0 0 20 0 4 0 10302501 1334382592 267035 33554432000 4194304 16246674 140735173473120 140735173472432 5545724 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 325777 267035 871 2943 0 322671 0
[pid=14229/tid=14230] ppid=14226 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1334382592 267035 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1334382592 267035 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1334382592 267035 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1303108

[startup+3.10041 s]
/proc/loadavg: 2.29 2.20 2.13 3/183 14233
/proc/meminfo: memFree=28917484/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 267862 0 0 0 275 34 0 0 20 0 4 0 10302501 1338576896 268186 33554432000 4194304 16246674 140735173473120 140735173455040 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 326801 268186 872 2943 0 323695 0
[pid=14229/tid=14230] ppid=14226 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1338576896 268186 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1338576896 268186 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1338576896 268186 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30041 s]
/proc/loadavg: 2.29 2.20 2.13 4/183 14233
/proc/meminfo: memFree=28916180/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 268177 0 0 0 595 34 0 0 20 0 4 0 10302501 1339625472 268501 33554432000 4194304 16246674 140735173473120 140735173455040 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 327057 268501 872 2943 0 323951 0
[pid=14229/tid=14230] ppid=14226 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1339625472 268501 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1339625472 268501 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1339625472 268501 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.39 2.22 2.14 3/183 14233
/proc/meminfo: memFree=28915072/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 268177 0 0 0 1235 34 0 0 20 0 4 0 10302501 1339625472 268501 33554432000 4194304 16246674 140735173473120 140735173455040 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 327057 268501 872 2943 0 323951 0
[pid=14229/tid=14230] ppid=14226 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1339625472 268501 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1339625472 268501 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1339625472 268501 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.33 2.22 2.14 3/183 14233
/proc/meminfo: memFree=28911152/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1312324 CPUtime=25.49 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 269201 0 0 0 2514 35 0 0 20 0 4 0 10302501 1343819776 269525 33554432000 4194304 16246674 140735173473120 140735173455040 7249920 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 328081 269525 872 2943 0 324975 0
[pid=14229/tid=14230] ppid=14226 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1343819776 269525 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1343819776 269525 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1343819776 269525 33554432000 4194304 16246674 140735173473120 140258398170288 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) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.22 2.20 2.13 4/183 14282
/proc/meminfo: memFree=28939552/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 269201 0 0 0 5073 35 0 0 20 0 4 0 10302501 1343819776 269525 33554432000 4194304 16246674 140735173473120 140735173455040 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 328081 269525 872 2943 0 324975 0
[pid=14229/tid=14230] ppid=14226 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1343819776 269525 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1343819776 269525 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1343819776 269525 33554432000 4194304 16246674 140735173473120 140258398170288 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) 1312324

[startup+102.3 s]
/proc/loadavg: 2.19 2.19 2.13 3/184 14286
/proc/meminfo: memFree=28939896/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1312324 CPUtime=102.28 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 269201 0 0 0 10193 35 0 0 20 0 4 0 10302501 1343819776 269525 33554432000 4194304 16246674 140735173473120 140735173455040 13950184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 328081 269525 872 2943 0 324975 0
[pid=14229/tid=14230] ppid=14226 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1343819776 269525 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1343819776 269525 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1343819776 269525 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1312324


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

/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1319492

[startup+1302.3 s]
/proc/loadavg: 2.14 2.24 2.19 3/184 14316
/proc/meminfo: memFree=28926012/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1319492 CPUtime=1301.82 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 271434 0 0 0 130143 39 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140735173455040 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 329873 271577 876 2943 0 326767 0
[pid=14229/tid=14230] ppid=14226 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.20 2.24 2.19 3/183 14317
/proc/meminfo: memFree=28925916/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1319492 CPUtime=1361.81 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 271434 0 0 0 136141 40 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140735173455040 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 329873 271577 876 2943 0 326767 0
[pid=14229/tid=14230] ppid=14226 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1319492

[startup+1422.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 14319
/proc/meminfo: memFree=28925940/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1319492 CPUtime=1421.81 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 271434 0 0 0 142141 40 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140735173455040 5515676 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 329873 271577 876 2943 0 326767 0
[pid=14229/tid=14230] ppid=14226 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1319492

[startup+1482.3 s]
/proc/loadavg: 2.13 2.22 2.18 3/183 14320
/proc/meminfo: memFree=28926216/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1319492 CPUtime=1481.79 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 271434 0 0 0 148139 40 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140735173455040 5823234 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 329873 271577 876 2943 0 326767 0
[pid=14229/tid=14230] ppid=14226 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1351159808 271577 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1319492

[startup+1542.31 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 14321
/proc/meminfo: memFree=28924384/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1321540 CPUtime=1541.79 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 271735 0 0 0 154139 40 0 0 20 0 4 0 10302501 1353256960 271878 33554432000 4194304 16246674 140735173473120 140735173455040 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 330385 271878 876 2943 0 327279 0
[pid=14229/tid=14230] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 271878 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 271878 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 271878 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1321540

[startup+1602.3 s]
/proc/loadavg: 2.16 2.21 2.18 4/183 14322
/proc/meminfo: memFree=28924788/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1321540 CPUtime=1601.77 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 271735 0 0 0 160137 40 0 0 20 0 4 0 10302501 1353256960 271878 33554432000 4194304 16246674 140735173473120 140735173455040 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 330385 271878 876 2943 0 327279 0
[pid=14229/tid=14230] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 271878 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 271878 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 271878 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1321540

[startup+1662.3 s]
/proc/loadavg: 2.18 2.21 2.18 4/183 14323
/proc/meminfo: memFree=28923696/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1321540 CPUtime=1661.76 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 271946 0 0 0 166136 40 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140735173455040 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 330385 272089 876 2943 0 327279 0
[pid=14229/tid=14230] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1321540

[startup+1722.3 s]
/proc/loadavg: 2.17 2.20 2.18 4/183 14325
/proc/meminfo: memFree=28923896/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1321540 CPUtime=1721.75 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 271946 0 0 0 172135 40 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140735173455040 6021024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 330385 272089 876 2943 0 327279 0
[pid=14229/tid=14230] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1321540

[startup+1782.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 14326
/proc/meminfo: memFree=28923652/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1321540 CPUtime=1781.74 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 271946 0 0 0 178134 40 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140735173455040 13760276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 330385 272089 876 2943 0 327279 0
[pid=14229/tid=14230] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1321540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.19 2.20 2.18 3/183 14326
/proc/meminfo: memFree=28924104/32872528 swapFree=876280/941688
[pid=14229] ppid=14226 vsize=1321540 CPUtime=1800.04 cores=0,2,4,6
/proc/14229/stat : 14229 (toysat) R 14226 14229 7213 0 -1 4202496 271946 0 0 0 179964 40 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140735173455040 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14229/statm: 330385 272089 876 2943 0 327279 0
[pid=14229/tid=14230] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14230/stat : 14230 (toysat) S 14226 14229 7213 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140258491477232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14229/tid=14231] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14231/stat : 14231 (toysat) S 14226 14229 7213 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140258480987376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14229/tid=14232] ppid=14226 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14229/task/14232/stat : 14232 (toysat) S 14226 14229 7213 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10302501 1353256960 272089 33554432000 4194304 16246674 140735173473120 140258398170288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1321540

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.407937
maximum resident set size= 1088356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271946
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= 451
involuntary context switches= 1949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6123 second user time and 6.90595 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-16 15:08:55
IDJOB=4093398
IDBENCH=78711
IDSOLVER=2553
FILE ID=node113/4093398-1466082535
RUNJOBID= node113-1466075295-13238
PBS_JOBID= 19904023
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-31-30--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-4093398-1466082535/watcher-4093398-1466082535 -o /tmp/evaluation-result-4093398-1466082535/solver-4093398-1466082535 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466075295-13238 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093398-1466082535.wbo

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

MD5SUM BENCH= b618f143f0ce2a95508bc08f0990c2c8
RANDOM SEED=1232984008

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29989080 kB
Buffers:           32100 kB
Cached:           108896 kB
SwapCached:         2160 kB
Active:          1179608 kB
Inactive:          60640 kB
Active(anon):    1100036 kB
Inactive(anon):     1612 kB
Active(file):      79572 kB
Inactive(file):    59028 kB
Unevictable:      941688 kB
Mlocked:          876280 kB
SwapTotal:      67108856 kB
SwapFree:       67098740 kB
Dirty:             16464 kB
Writeback:             0 kB
AnonPages:       2138576 kB
Mapped:            10600 kB
Shmem:                 0 kB
Slab:             567632 kB
SReclaimable:      11324 kB
SUnreclaim:       556308 kB
KernelStack:        1464 kB
PageTables:         8220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2184216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1255424 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 node113 at 2016-06-16 15:38:56