Trace number 4080013

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.08 1800.61

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-ns894788.opb
MD5SUMca3efe2da0610ce6a80a42a3887418e6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3463
Total number of constraints2279
Number of constraints which are clauses678
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1456
Minimum length of a constraint1
Maximum length of a constraint97
Number of terms in the objective function 7
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 97
Number of bits of the biggest sum of numbers7
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-07T07:53:57+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4080013-1465278837.opb"]
0.00/0.01	c use --random-gen="1018760927 2833728792 240082332 413199820 1854672501 1233903297 268246038 4164022339 4282618053 2365784347 3220731744 1041565303 38383761 1806206808 3079729126 1939608366 2157798570 2778087465 4007645523 3684035589 1643261902 737401189 2204084894 558908631 1555369357 3686577895 2144178980 582391664 2057514041 3104654240 1463621599 3084280398 3503151673 1603860407 3099653482 3621478806 462998375 269426654 2167067527 166287935 120293652 1332643479 1314454298 4271506777 936779937 158438019 2119574180 1383433021 2927863731 96666653 4149868899 4066562911 558770770 411449464 547164786 2071188895 3021490863 1481969006 3603255088 2473464531 1571170198 3528806066 4161354989 306557516 2293118478 2170048601 4057997630 3823934043 316955499 1331839232 2610074243 3458670360 1685498686 1274989053 120229413 3240457161 692407452 1342439442 2641786446 3261651210 2451953692 2090548108 846020324 1891504773 2394636580 1398635801 1759849131 425727145 1070633274 1554182802 1621098474 2468014339 603703706 1192110229 3630302920 3615584751 1661762152 3667513777 2915350277 1235382980 1936854843 3342637543 2204183219 4006042189 4074786599 398861096 149351253 4097692807 1461473006 3596552781 546003372 591897137 1163486674 2551415846 3217808437 859308063 1706866902 2992670125 3847844127 747351707 4210748679 1539462191 2982605680 26714997 2471305034 3229935736 3604936533 3714025189 2948578821 493099999 198906972 2939000586 4094101159 3550034624 3084501747 452026986 2486073171 4294240151 1069576855 478346365 1619691299 2627618482 4012445403 3669798585 2096400225 3056647229 2954295965 3944937730 1202025611 3991241425 916632322 2183369395 3006498503 4026156548 4259873764 694918031 3934673603 433865068 525677789 3742617637 315029900 2567967027 1302500075 3733530288 3999375552 1273656268 2696988471 295557265 2438528529 3876963837 2218154642 1973313676 2652465175 1584107654 463541544 4139059380 2624068113 410360145 1946393651 1190967800 1990483564 926693849 3610221290 2849748469 433583179 426591691 3364575292 2878014575 1965819652 1287199134 718084824 3437872615 685144559 2126939398 1554522505 1048680823 4056889233 3478707213 1520136985 2970826094 1459432962 4077378679 4130729146 2546568727 166187683 3901910631 453672887 1696118936 852895655 614978207 768426282 2943990923 3250984298 1367308871 1693712357 1634359141 1344528190 1162185024 3311963062 2027270139 1857324487 2499133692 1628682162 3976870664 1066182050 1812483220 3503600036 795858280 2950977200 3371662948 1799544842 3556359853 3962067109 1251015137 1483527572 2608510005 1365397830 3154952401 3440653127 3458960984 823405977 3363517250 3482630064 3173841339 1444074379 1208663045 3909540319 3748692703 2526742926 1539986891 2681750328 2747799804 2995402201 2394792096 3485795772 955451802 255 362436" option to reproduce the execution
0.00/0.06	c #vars 3463
0.00/0.06	c #constraints 2279
0.09/0.10	c BCD2: Hardening is enabled.
0.09/0.10	c BCD2: BiasedSearch is enabled.
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     1892      0 |     1127 |        0
0.09/0.14	c  0.0s |       1 |      328 |      100 |     1892      0 |     1127 |      113
0.19/0.20	c  0.1s |       2 |      867 |      250 |     2082      0 |     1127 |      113
0.29/0.33	c  0.2s |       3 |     1598 |      475 |     2291      0 |     1127 |      113
0.48/0.53	c  0.4s |       4 |     2592 |      813 |     2521      0 |     1127 |      113
0.68/0.76	c  0.7s |       5 |     4599 |     1320 |     2774      0 |     1127 |      113
1.19/1.24	c  1.1s |       6 |     6147 |     2081 |     3358      0 |     1127 |      113
1.68/1.79	c  1.7s |       7 |     8836 |     3223 |     3694      0 |     1127 |      113
2.69/2.70	c  2.6s |       8 |    12010 |     4936 |     4064      0 |     1127 |      113
4.19/4.26	c  4.2s |       9 |    17153 |     7506 |     4471      1 |     1127 |      113
6.29/6.32	c  6.2s |       9 |    23680 |    10906 |     4471      2 |     1127 |      113
6.59/6.62	c  6.5s |      10 |    24543 |    11361 |     4919      2 |     1127 |      113
8.59/8.62	c  8.5s |      10 |    32010 |    14561 |     4919      3 |     1127 |      113
10.59/10.63	c 10.5s |      11 |    36981 |    17144 |     5411      4 |     1127 |      113
12.59/12.66	c 12.6s |      11 |    42196 |    19844 |     5411      5 |     1127 |      113
14.69/14.75	c 14.6s |      11 |    46564 |    22544 |     5411      5 |     1127 |      113
16.79/16.83	c 16.7s |      11 |    50057 |    24944 |     5411      6 |     1127 |      113
17.69/17.78	c 17.7s |      12 |    51144 |    25819 |     5953      6 |     1127 |      113
19.68/19.79	c 19.7s |      12 |    56234 |    28419 |     5953      7 |     1127 |      113
21.78/21.81	c 21.7s |      12 |    62823 |    31519 |     5953      7 |     1127 |      113
23.78/23.83	c 23.7s |      12 |    69022 |    34519 |     5953      8 |     1128 |      113
25.78/25.84	c 25.7s |      12 |    74077 |    37219 |     5953      9 |     1128 |      113
27.08/27.13	c 27.0s |      13 |    76564 |    38832 |     6549      9 |     1128 |      113
29.08/29.19	c 29.1s |      13 |    84290 |    42132 |     6549     10 |     1128 |      113
31.18/31.26	c 31.2s |      13 |    87094 |    44032 |     6549     10 |     1128 |      113
33.28/33.31	c 33.2s |      13 |    90083 |    45932 |     6549     11 |     1128 |      113
35.29/35.34	c 35.2s |      13 |    94776 |    48532 |     6549     11 |     1128 |      113
37.29/37.39	c 37.3s |      13 |    99171 |    51232 |     6549     12 |     1128 |      113
39.39/39.42	c 39.3s |      13 |   102947 |    53532 |     6549     13 |     1128 |      113
41.39/41.44	c 41.3s |      13 |   107257 |    56132 |     6549     13 |     1128 |      113
43.38/43.45	c 43.3s |      13 |   110202 |    58332 |     7204     14 |     1128 |      113
43.38/43.46	c 43.4s |      14 |   110219 |    58352 |     7204     14 |     1128 |      113
45.38/45.47	c 45.4s |      14 |   114379 |    60952 |     7204     14 |     1128 |      113
47.39/47.49	c 47.4s |      14 |   118110 |    63352 |     7204     15 |     1128 |      113
49.48/49.51	c 49.4s |      14 |   121719 |    65752 |     7204     15 |     1128 |      113
51.48/51.52	c 51.4s |      14 |   126960 |    68452 |     7204     16 |     1128 |      113
53.48/53.56	c 53.5s |      14 |   132426 |    71252 |     7204     16 |     1128 |      113
55.58/55.62	c 55.5s |      14 |   137323 |    73952 |     7204     17 |     1128 |      113
57.68/57.70	c 57.6s |      14 |   140707 |    76152 |     7204     17 |     1128 |      113
59.68/59.73	c 59.6s |      14 |   145823 |    78752 |     7204     18 |     1129 |      113
61.69/61.80	c 61.7s |      14 |   152100 |    81552 |     7204     19 |     1129 |      113
63.78/63.86	c 63.8s |      14 |   156006 |    84052 |     7204     19 |     1129 |      113
65.88/65.96	c 65.9s |      14 |   158577 |    86052 |     7204     20 |     1129 |      113
67.38/67.50	c 67.4s |      15 |   160831 |    87632 |     7925     20 |     1129 |      113
69.58/69.60	c 69.5s |      15 |   164749 |    89832 |     7925     20 |     1129 |      113
71.59/71.65	c 71.5s |      15 |   167862 |    91732 |     7925     21 |     1129 |      113
73.68/73.70	c 73.6s |      15 |   170478 |    93432 |     7925     21 |     1129 |      113
75.68/75.77	c 75.7s |      15 |   172555 |    94932 |     7925     21 |     1129 |      113
77.78/77.87	c 77.8s |      15 |   175236 |    96732 |     7925     22 |     1129 |      113
79.88/79.94	c 79.8s |      15 |   177990 |    98632 |     7925     22 |     1129 |      113
81.88/81.96	c 81.9s |      15 |   180702 |   100332 |     7925     23 |     1129 |      113
83.88/84.00	c 83.9s |      15 |   183450 |   102332 |     7925     23 |     1129 |      113
86.08/86.13	c 86.0s |      15 |   186027 |   104132 |     7925     23 |     1129 |      113
88.08/88.14	c 88.0s |      15 |   189490 |   106132 |     7925     24 |     1129 |      113
90.18/90.20	c 90.1s |      15 |   194316 |   109032 |     7925     24 |     1129 |      113
92.17/92.24	c 92.1s |      15 |   198594 |   111632 |     7925     25 |     1129 |      113
94.17/94.27	c 94.2s |      15 |   201936 |   114032 |     7925     25 |     1129 |      113
96.17/96.27	c 96.2s |      15 |   204883 |   116032 |     7925     26 |     1129 |      113
98.17/98.28	c 98.2s |      15 |   208671 |   118432 |     7925     26 |     1129 |      113
100.18/100.30	c  100s |      15 |   211519 |   120432 |     7925     27 |     1129 |      113
102.27/102.34	c  102s |      15 |   214842 |   122732 |     7925     27 |     1129 |      113
104.37/104.44	c  104s |      15 |   217595 |   124732 |     7925     27 |     1129 |      113
106.37/106.49	c  106s |      15 |   221347 |   127032 |     7925     28 |     1129 |      113
108.47/108.55	c  108s |      15 |   224688 |   129232 |     7925     28 |     1129 |      113
110.47/110.59	c  110s |      15 |   227497 |   131332 |     8718     29 |     1129 |      113
110.77/110.81	c  110s |      16 |   227783 |   131552 |     8718     29 |     1129 |      113
112.77/112.82	c  112s |      16 |   231293 |   133552 |     8718     29 |     1129 |      113
114.78/114.89	c  114s |      16 |   234694 |   135652 |     8718     29 |     1129 |      113
116.87/116.97	c  116s |      16 |   238827 |   138352 |     8718     30 |     1129 |      113
118.88/118.99	c  118s |      16 |   241513 |   140452 |     8718     30 |     1129 |      113
120.97/121.08	c  120s |      16 |   244964 |   142652 |     8718     31 |     1129 |      113
122.97/123.09	c  122s |      16 |   248576 |   144852 |     8718     31 |     1129 |      113
125.27/125.31	c  125s |      16 |   251332 |   146752 |     8718     32 |     1129 |      113
127.27/127.39	c  127s |      16 |   254596 |   148752 |     8718     32 |     1129 |      113
129.37/129.44	c  129s |      16 |   257642 |   150752 |     8718     32 |     1129 |      113
131.47/131.50	c  131s |      16 |   260160 |   152552 |     8718     33 |     1129 |      113
133.47/133.50	c  133s |      16 |   263330 |   154452 |     8718     33 |     1129 |      113
135.47/135.58	c  135s |      16 |   266310 |   156252 |     8718     33 |     1129 |      113
137.46/137.59	c  137s |      16 |   268759 |   157852 |     8718     34 |     1129 |      113
139.56/139.63	c  139s |      16 |   271544 |   159852 |     8718     34 |     1129 |      113
141.66/141.72	c  141s |      16 |   274006 |   161552 |     8718     34 |     1129 |      113
143.66/143.78	c  143s |      16 |   276137 |   163052 |     8718     35 |     1129 |      113
145.77/145.88	c  145s |      16 |   278566 |   164752 |     8718     35 |     1129 |      113
147.87/147.98	c  147s |      16 |   282345 |   167052 |     8718     35 |     1129 |      113
149.87/150.00	c  149s |      16 |   284350 |   168552 |     8718     36 |     1129 |      113
151.98/152.05	c  151s |      16 |   287359 |   170552 |     8718     36 |     1129 |      113
153.97/154.10	c  153s |      16 |   289809 |   172252 |     8718     36 |     1129 |      113
156.07/156.12	c  156s |      16 |   291780 |   173552 |     8718     36 |     1129 |      113
158.07/158.16	c  158s |      16 |   293990 |   175152 |     8718     37 |     1129 |      113
160.17/160.23	c  160s |      16 |   296100 |   176652 |     8718     37 |     1129 |      113
162.17/162.27	c  162s |      16 |   298155 |   178152 |     8718     37 |     1129 |      113
164.27/164.30	c  164s |      16 |   300146 |   179552 |     8718     38 |     1129 |      113
166.27/166.34	c  166s |      16 |   302914 |   181252 |     8718     38 |     1129 |      113
168.27/168.35	c  168s |      16 |   304739 |   182452 |     8718     38 |     1129 |      113
170.27/170.37	c  170s |      16 |   306308 |   183552 |     8718     38 |     1129 |      113
172.36/172.43	c  172s |      16 |   308173 |   184952 |     8718     39 |     1129 |      113
174.46/174.56	c  174s |      16 |   310128 |   186452 |     8718     39 |     1129 |      113
176.56/176.69	c  176s |      16 |   312072 |   187852 |     8718     39 |     1129 |      113
178.76/178.80	c  178s |      16 |   313922 |   189252 |     8718     39 |     1129 |      113
180.76/180.84	c  180s |      16 |   316396 |   190652 |     8718     40 |     1129 |      113
182.77/182.88	c  182s |      16 |   320906 |   193052 |     8718     40 |     1129 |      113
184.87/184.91	c  184s |      16 |   325491 |   195452 |     8718     41 |     1129 |      113
186.46/186.58	c  186s |      17 |   328667 |   197432 |     9590     41 |     1129 |      113
188.56/188.62	c  188s |      17 |   334389 |   200232 |     9590     41 |     1129 |      113
190.56/190.68	c  190s |      17 |   339393 |   202932 |     9590     42 |     1129 |      113
192.67/192.77	c  192s |      17 |   343720 |   205432 |     9590     42 |     1129 |      113
194.66/194.77	c  194s |      17 |   346491 |   207332 |     9590     42 |     1129 |      113
196.76/196.84	c  196s |      17 |   349609 |   209532 |     9590     43 |     1129 |      113
198.75/198.87	c  198s |      17 |   354726 |   212132 |     9590     43 |     1130 |      113
200.85/200.96	c  200s |      17 |   358592 |   214532 |     9590     44 |     1130 |      113
202.95/203.05	c  202s |      17 |   362444 |   216932 |     9590     44 |     1130 |      113
205.05/205.11	c  205s |      17 |   365265 |   218932 |     9590     44 |     1130 |      113
207.05/207.12	c  207s |      17 |   367689 |   220832 |     9590     45 |     1130 |      113
209.07/209.17	c  209s |      17 |   370120 |   222632 |     9590     45 |     1130 |      113
211.16/211.30	c  211s |      17 |   372482 |   224332 |     9590     45 |     1130 |      113
213.26/213.30	c  213s |      17 |   374406 |   225832 |     9590     46 |     1130 |      113
215.36/215.42	c  215s |      17 |   377099 |   227732 |     9590     46 |     1130 |      113
217.36/217.44	c  217s |      17 |   380437 |   229732 |     9590     46 |     1130 |      113
219.46/219.52	c  219s |      17 |   383369 |   231632 |     9590     47 |     1130 |      113
221.55/221.60	c  221s |      17 |   386229 |   233532 |     9590     47 |     1130 |      113
223.65/223.70	c  223s |      17 |   388500 |   235232 |     9590     47 |     1130 |      113
225.66/225.70	c  225s |      17 |   390730 |   236832 |     9590     48 |     1130 |      113
227.65/227.78	c  227s |      17 |   393001 |   238532 |     9590     48 |     1130 |      113
229.75/229.87	c  229s |      17 |   395356 |   240232 |     9590     48 |     1130 |      113
231.86/231.96	c  231s |      17 |   398830 |   242432 |     9590     48 |     1131 |      113
233.96/234.09	c  233s |      17 |   401039 |   244232 |     9590     49 |     1131 |      113
236.06/236.10	c  235s |      17 |   402851 |   245732 |     9590     49 |     1131 |      113
238.05/238.19	c  238s |      17 |   404682 |   247232 |     9590     49 |     1131 |      113
240.15/240.22	c  240s |      17 |   406504 |   248632 |     9590     50 |     1131 |      113
242.16/242.22	c  242s |      17 |   408201 |   250032 |     9590     50 |     1131 |      113
244.15/244.27	c  244s |      17 |   410088 |   251532 |     9590     50 |     1131 |      113
246.15/246.27	c  246s |      17 |   411706 |   252832 |     9590     50 |     1131 |      113
248.25/248.35	c  248s |      17 |   413345 |   254132 |     9590     51 |     1131 |      113
250.25/250.38	c  250s |      17 |   415514 |   255732 |     9590     51 |     1131 |      113
252.25/252.38	c  252s |      17 |   417437 |   257232 |     9590     51 |     1131 |      113
254.35/254.43	c  254s |      17 |   419229 |   258632 |     9590     51 |     1131 |      113
256.55/256.68	c  256s |      17 |   420842 |   259932 |     9590     52 |     1131 |      113
258.56/258.70	c  258s |      17 |   423057 |   261532 |     9590     52 |     1131 |      113
260.76/260.83	c  260s |      17 |   425012 |   263032 |     9590     52 |     1131 |      113
262.85/262.90	c  262s |      17 |   427805 |   264832 |     9590     52 |     1131 |      113
264.84/264.93	c  264s |      17 |   429971 |   266632 |     9590     53 |     1131 |      113
266.84/266.94	c  266s |      17 |   433854 |   268732 |     9590     53 |     1131 |      113
268.94/269.04	c  268s |      17 |   436219 |   270432 |     9590     53 |     1131 |      113
270.94/271.08	c  270s |      17 |   438210 |   272032 |     9590     54 |     1131 |      113
273.04/273.13	c  273s |      17 |   440548 |   273832 |     9590     54 |     1131 |      113
275.06/275.16	c  275s |      17 |   443276 |   275632 |     9590     54 |     1131 |      113
277.15/277.21	c  277s |      17 |   445597 |   277232 |     9590     54 |     1131 |      113
279.15/279.26	c  279s |      17 |   447548 |   278832 |     9590     55 |     1131 |      113
281.25/281.34	c  281s |      17 |   450272 |   280832 |     9590     55 |     1131 |      113
283.25/283.37	c  283s |      17 |   452881 |   282732 |     9590     55 |     1131 |      113
285.34/285.43	c  285s |      17 |   455172 |   284432 |     9590     56 |     1131 |      113
287.34/287.47	c  287s |      17 |   458476 |   286332 |     9590     56 |     1131 |      113
289.45/289.51	c  289s |      17 |   460387 |   287932 |     9590     56 |     1131 |      113
291.44/291.54	c  291s |      17 |   462077 |   289332 |     9590     57 |     1131 |      113
293.44/293.57	c  293s |      17 |   463896 |   290832 |     9590     57 |     1131 |      113
295.55/295.61	c  295s |      17 |   465422 |   292132 |     9590     57 |     1131 |      113
297.55/297.65	c  297s |      17 |   466992 |   293432 |     9590     57 |     1131 |      113
299.65/299.73	c  299s |      17 |   468964 |   294832 |    10549     57 |     1131 |      113
301.75/301.80	c  301s |      17 |   470795 |   296232 |    10549     58 |     1131 |      113
301.75/301.82	c  301s |      18 |   470817 |   296252 |    10549     58 |     1131 |      113
303.75/303.86	c  303s |      18 |   473943 |   297852 |    10549     58 |     1132 |      113
305.85/305.99	c  305s |      18 |   475898 |   299352 |    10549     58 |     1132 |      113
307.94/308.02	c  307s |      18 |   477924 |   300752 |    10549     58 |     1132 |      113
309.94/310.08	c  309s |      18 |   480582 |   302552 |    10549     59 |     1132 |      113
312.04/312.15	c  312s |      18 |   483529 |   304352 |    10549     59 |     1132 |      113
314.14/314.28	c  314s |      18 |   486489 |   306152 |    10549     59 |     1132 |      113
316.14/316.29	c  316s |      18 |   488264 |   307452 |    10549     59 |     1132 |      113
318.24/318.37	c  318s |      18 |   491040 |   309252 |    10549     60 |     1132 |      113
320.34/320.42	c  320s |      18 |   493996 |   311252 |    10549     60 |     1132 |      113
322.35/322.42	c  322s |      18 |   496539 |   313052 |    10549     60 |     1132 |      113
324.44/324.51	c  324s |      18 |   498454 |   314552 |    10549     61 |     1132 |      113
326.44/326.53	c  326s |      18 |   502180 |   316852 |    10549     61 |     1132 |      113
328.44/328.59	c  328s |      18 |   505198 |   318852 |    10549     61 |     1132 |      113
330.54/330.63	c  330s |      18 |   507488 |   320352 |    10549     61 |     1132 |      113
332.64/332.73	c  332s |      18 |   509737 |   321952 |    10549     62 |     1132 |      113
334.64/334.78	c  334s |      18 |   512148 |   323752 |    10549     62 |     1132 |      113
336.74/336.86	c  336s |      18 |   514419 |   325352 |    10549     62 |     1132 |      113
338.94/339.02	c  338s |      18 |   516802 |   326752 |    10549     63 |     1132 |      113
341.04/341.11	c  341s |      18 |   520298 |   328752 |    10549     63 |     1132 |      113
343.03/343.16	c  343s |      18 |   524217 |   330852 |    10549     63 |     1132 |      113
345.13/345.25	c  345s |      18 |   527175 |   332952 |    10549     64 |     1132 |      113
347.14/347.27	c  347s |      18 |   529791 |   334852 |    10549     64 |     1132 |      113
349.24/349.33	c  349s |      18 |   532255 |   336652 |    10549     64 |     1132 |      113
351.24/351.39	c  351s |      18 |   535418 |   338352 |    10549     64 |     1133 |      113
353.34/353.44	c  353s |      18 |   538085 |   340352 |    10549     65 |     1133 |      113
355.34/355.48	c  355s |      18 |   540490 |   342152 |    10549     65 |     1133 |      113
357.34/357.50	c  357s |      18 |   542997 |   343952 |    10549     65 |     1133 |      113
359.44/359.52	c  359s |      18 |   545986 |   345852 |    10549     66 |     1133 |      113
361.44/361.56	c  361s |      18 |   548350 |   347752 |    10549     66 |     1133 |      113
363.44/363.57	c  363s |      18 |   550416 |   349452 |    10549     66 |     1133 |      113
365.53/365.63	c  365s |      18 |   552549 |   351052 |    10549     66 |     1133 |      113
367.63/367.73	c  367s |      18 |   554728 |   352752 |    10549     67 |     1133 |      113
369.74/369.81	c  369s |      18 |   557564 |   354752 |    10549     67 |     1133 |      113
371.73/371.88	c  371s |      18 |   559818 |   356452 |    10549     67 |     1133 |      113
373.83/373.90	c  373s |      18 |   561476 |   357852 |    10549     68 |     1133 |      113
375.83/375.99	c  375s |      18 |   563321 |   359452 |    10549     68 |     1133 |      113
377.93/378.09	c  377s |      18 |   565874 |   361352 |    10549     68 |     1133 |      113
380.03/380.15	c  380s |      18 |   568317 |   363152 |    10549     68 |     1133 |      113
382.13/382.25	c  382s |      18 |   570688 |   364952 |    10549     69 |     1133 |      113
384.23/384.32	c  384s |      18 |   573722 |   366952 |    10549     69 |     1133 |      113
386.33/386.44	c  386s |      18 |   576346 |   368852 |    10549     69 |     1133 |      113
388.44/388.54	c  388s |      18 |   578582 |   370552 |    10549     70 |     1133 |      113
390.54/390.64	c  390s |      18 |   581212 |   372452 |    10549     70 |     1133 |      113
392.53/392.67	c  392s |      18 |   583571 |   374252 |    10549     70 |     1133 |      113
394.53/394.69	c  394s |      18 |   585661 |   375852 |    10549     70 |     1133 |      113
396.63/396.79	c  396s |      18 |   587471 |   377352 |    10549     71 |     1133 |      113
398.73/398.80	c  398s |      18 |   589652 |   378952 |    10549     71 |     1133 |      113
400.83/400.91	c  400s |      18 |   591993 |   380652 |    10549     71 |     1133 |      113
402.93/403.06	c  402s |      18 |   594080 |   382252 |    10549     71 |     1133 |      113
405.03/405.13	c  405s |      18 |   595686 |   383552 |    10549     72 |     1133 |      113
407.03/407.20	c  407s |      18 |   598182 |   385452 |    10549     72 |     1133 |      113
409.12/409.25	c  409s |      18 |   600166 |   386952 |    10549     72 |     1133 |      113
411.23/411.37	c  411s |      18 |   602153 |   388452 |    10549     72 |     1133 |      113
413.33/413.42	c  413s |      18 |   603595 |   389652 |    10549     72 |     1133 |      113
415.33/415.47	c  415s |      18 |   605258 |   390952 |    10549     73 |     1133 |      113
417.33/417.49	c  417s |      18 |   607798 |   392852 |    10549     73 |     1133 |      113
419.43/419.58	c  419s |      18 |   610197 |   394652 |    10549     73 |     1133 |      113
421.62/421.72	c  421s |      18 |   611902 |   396052 |    10549     74 |     1133 |      113
423.63/423.73	c  423s |      18 |   614420 |   397852 |    10549     74 |     1133 |      113
425.62/425.79	c  425s |      18 |   617538 |   399752 |    10549     74 |     1133 |      113
427.72/427.86	c  427s |      18 |   619372 |   401152 |    10549     74 |     1133 |      113
429.72/429.89	c  429s |      18 |   620995 |   402452 |    10549     75 |     1133 |      113
431.82/431.95	c  431s |      18 |   623193 |   404152 |    10549     75 |     1133 |      113
433.92/434.03	c  433s |      18 |   625481 |   405952 |    10549     75 |     1133 |      113
435.92/436.07	c  435s |      18 |   627207 |   407452 |    10549     75 |     1133 |      113
438.02/438.14	c  438s |      18 |   630884 |   409352 |    10549     76 |     1133 |      113
440.03/440.18	c  440s |      18 |   633539 |   411252 |    10549     76 |     1133 |      113
442.12/442.30	c  442s |      18 |   635772 |   412852 |    10549     76 |     1133 |      113
444.22/444.30	c  444s |      18 |   637332 |   414052 |    10549     76 |     1133 |      113
446.22/446.33	c  446s |      18 |   639860 |   415652 |    10549     77 |     1133 |      113
448.22/448.37	c  448s |      18 |   642721 |   417452 |    10549     77 |     1133 |      113
450.32/450.42	c  450s |      18 |   645434 |   419352 |    10549     77 |     1133 |      113
452.32/452.45	c  452s |      18 |   648414 |   420952 |    10549     78 |     1133 |      113
454.42/454.53	c  454s |      18 |   653105 |   423452 |    10549     78 |     1133 |      113
456.42/456.54	c  456s |      18 |   658703 |   425752 |    10549     78 |     1133 |      113
458.42/458.54	c  458s |      18 |   661982 |   427852 |    10549     79 |     1133 |      113
460.42/460.55	c  460s |      18 |   665985 |   429952 |    10549     79 |     1133 |      113
462.61/462.72	c  462s |      18 |   668905 |   431752 |    10549     79 |     1133 |      113
464.71/464.85	c  464s |      18 |   671375 |   433352 |    10549     79 |     1133 |      113
466.82/466.98	c  466s |      18 |   673279 |   434752 |    10549     80 |     1133 |      113
469.02/469.13	c  469s |      18 |   675346 |   436252 |    10549     80 |     1133 |      113
471.12/471.27	c  471s |      18 |   677355 |   437752 |    10549     80 |     1133 |      113
473.22/473.36	c  473s |      18 |   679068 |   438952 |    10549     80 |     1133 |      113
475.33/475.46	c  475s |      18 |   680494 |   440152 |    10549     81 |     1133 |      113
477.32/477.49	c  477s |      18 |   683407 |   442152 |    11604     81 |     1133 |      113
479.52/479.62	c  479s |      18 |   685793 |   443852 |    11604     81 |     1133 |      113
480.22/480.37	c  480s |      19 |   686644 |   444482 |    11604     81 |     1133 |      113
482.32/482.41	c  482s |      19 |   689822 |   446182 |    11604     81 |     1133 |      113
484.32/484.41	c  484s |      19 |   691584 |   447482 |    11604     82 |     1133 |      113
486.42/486.52	c  486s |      19 |   693401 |   448882 |    11604     82 |     1133 |      113
488.52/488.69	c  488s |      19 |   695374 |   450382 |    11604     82 |     1133 |      113
490.82/490.90	c  490s |      19 |   696956 |   451682 |    11604     82 |     1133 |      113
492.82/492.97	c  492s |      19 |   698161 |   452682 |    11604     82 |     1133 |      113
494.92/495.02	c  494s |      19 |   699294 |   453682 |    11604     82 |     1133 |      113
497.02/497.11	c  497s |      19 |   701071 |   454982 |    11604     83 |     1133 |      113
499.01/499.12	c  499s |      19 |   706289 |   457482 |    11604     83 |     1133 |      113
501.11/501.23	c  501s |      19 |   709370 |   459582 |    11604     83 |     1133 |      113
503.11/503.26	c  503s |      19 |   711835 |   461382 |    11604     84 |     1133 |      113
505.22/505.34	c  505s |      19 |   714952 |   463582 |    11604     84 |     1133 |      113
507.22/507.35	c  507s |      19 |   717769 |   465582 |    11604     84 |     1133 |      113
509.32/509.41	c  509s |      19 |   720947 |   467582 |    11604     84 |     1133 |      113
511.31/511.49	c  511s |      19 |   727046 |   470382 |    11604     85 |     1133 |      113
513.41/513.57	c  513s |      19 |   730778 |   472482 |    11604     85 |     1133 |      113
515.51/515.63	c  515s |      19 |   734304 |   474382 |    11604     85 |     1133 |      113
517.51/517.65	c  517s |      19 |   737511 |   475982 |    11604     86 |     1133 |      113
519.61/519.75	c  519s |      19 |   740310 |   477682 |    11604     86 |     1133 |      113
521.71/521.87	c  521s |      19 |   742390 |   479082 |    11604     86 |     1133 |      113
523.81/523.97	c  523s |      19 |   743985 |   480282 |    11604     86 |     1133 |      113
525.92/526.05	c  525s |      19 |   746054 |   481582 |    11604     87 |     1133 |      113
528.02/528.12	c  528s |      19 |   748315 |   482982 |    11604     87 |     1133 |      113
530.01/530.14	c  530s |      19 |   750593 |   484382 |    11604     87 |     1133 |      113
532.01/532.15	c  532s |      19 |   752151 |   485582 |    11604     87 |     1133 |      113
534.01/534.18	c  534s |      19 |   753669 |   486682 |    11604     87 |     1133 |      113
536.11/536.28	c  536s |      19 |   755131 |   487782 |    11604     87 |     1133 |      113
538.21/538.31	c  538s |      19 |   756872 |   488982 |    11604     88 |     1133 |      113
540.21/540.32	c  540s |      19 |   758596 |   490282 |    11604     88 |     1133 |      113
542.20/542.33	c  542s |      19 |   761870 |   491982 |    11604     88 |     1133 |      113
544.20/544.36	c  544s |      19 |   763960 |   493382 |    11604     88 |     1133 |      113
546.41/546.52	c  546s |      19 |   766029 |   494682 |    11604     89 |     1133 |      113
548.41/548.54	c  548s |      19 |   772025 |   497582 |    11604     89 |     1133 |      113
550.41/550.56	c  550s |      19 |   774585 |   499682 |    11604     89 |     1133 |      113
552.41/552.60	c  552s |      19 |   778528 |   501882 |    11604     90 |     1133 |      113
554.51/554.63	c  554s |      19 |   782667 |   504182 |    11604     90 |     1133 |      113
556.61/556.77	c  556s |      19 |   784933 |   505882 |    11604     90 |     1133 |      113
558.61/558.79	c  558s |      19 |   786639 |   507182 |    11604     90 |     1133 |      113
560.60/560.79	c  560s |      19 |   788041 |   508282 |    11604     91 |     1133 |      113
562.70/562.83	c  562s |      19 |   791110 |   510182 |    11604     91 |     1133 |      113
564.80/564.95	c  564s |      19 |   794527 |   512082 |    11604     91 |     1133 |      113
566.90/567.03	c  566s |      19 |   797700 |   514182 |    11604     91 |     1133 |      113
568.90/569.09	c  568s |      19 |   801081 |   516282 |    11604     92 |     1133 |      113
570.91/571.10	c  570s |      19 |   805393 |   518482 |    11604     92 |     1133 |      113
573.00/573.18	c  573s |      19 |   809504 |   520682 |    11604     92 |     1133 |      113
575.01/575.18	c  575s |      19 |   812583 |   522482 |    11604     93 |     1133 |      113
577.11/577.23	c  577s |      19 |   815014 |   524082 |    11604     93 |     1133 |      113
579.10/579.26	c  579s |      19 |   817280 |   525582 |    11604     93 |     1133 |      113
581.20/581.36	c  581s |      19 |   819168 |   526982 |    11604     93 |     1133 |      113
583.20/583.39	c  583s |      19 |   821614 |   528482 |    11604     94 |     1133 |      113
585.21/585.39	c  585s |      19 |   824553 |   530382 |    11604     94 |     1133 |      113
587.30/587.44	c  587s |      19 |   826562 |   531782 |    11604     94 |     1133 |      113
589.50/589.62	c  589s |      19 |   828261 |   533082 |    11604     94 |     1133 |      113
591.50/591.65	c  591s |      19 |   829911 |   534382 |    11604     94 |     1133 |      113
593.60/593.78	c  593s |      19 |   831934 |   535782 |    11604     95 |     1133 |      113
595.80/595.90	c  595s |      19 |   833874 |   537282 |    11604     95 |     1133 |      113
597.80/597.91	c  597s |      19 |   836695 |   538882 |    11604     95 |     1133 |      113
599.80/599.95	c  599s |      19 |   840873 |   541082 |    11604     95 |     1133 |      113
601.90/602.01	c  601s |      19 |   845536 |   543582 |    11604     96 |     1133 |      113
603.90/604.04	c  603s |      19 |   849220 |   545782 |    11604     96 |     1133 |      113
605.89/606.10	c  605s |      19 |   853417 |   547982 |    11604     96 |     1133 |      113
607.99/608.11	c  608s |      19 |   855739 |   549682 |    11604     97 |     1133 |      113
609.99/610.18	c  610s |      19 |   859473 |   552082 |    11604     97 |     1133 |      113
612.19/612.30	c  612s |      19 |   862581 |   554182 |    11604     97 |     1133 |      113
614.19/614.34	c  614s |      19 |   864662 |   555782 |    11604     97 |     1133 |      113
616.30/616.44	c  616s |      19 |   867020 |   557582 |    11604     98 |     1133 |      113
618.40/618.51	c  618s |      19 |   870190 |   559582 |    11604     98 |     1133 |      113
620.50/620.64	c  620s |      19 |   872530 |   561282 |    11604     98 |     1133 |      113
622.70/622.80	c  622s |      19 |   874852 |   562882 |    11604     99 |     1133 |      113
624.80/624.90	c  624s |      19 |   877573 |   564682 |    11604     99 |     1133 |      113
626.89/627.00	c  626s |      19 |   880189 |   566282 |    11604     99 |     1133 |      113
628.99/629.11	c  629s |      19 |   882574 |   567882 |    11604     99 |     1133 |      113
631.00/631.19	c  631s |      19 |   884748 |   569382 |    11604     99 |     1133 |      113
633.20/633.31	c  633s |      19 |   886955 |   570982 |    11604    100 |     1133 |      113
635.30/635.42	c  635s |      19 |   889097 |   572582 |    11604    100 |     1133 |      113
637.40/637.59	c  637s |      19 |   890996 |   573982 |    11604    100 |     1133 |      113
639.49/639.62	c  639s |      19 |   892742 |   575282 |    11604    100 |     1133 |      113
641.69/641.85	c  641s |      19 |   894666 |   576682 |    11604    101 |     1133 |      113
643.69/643.89	c  643s |      19 |   897087 |   578382 |    11604    101 |     1133 |      113
645.80/645.96	c  645s |      19 |   899535 |   579982 |    11604    101 |     1133 |      113
647.90/648.01	c  647s |      19 |   901441 |   581282 |    11604    101 |     1133 |      113
649.99/650.14	c  650s |      19 |   903425 |   582682 |    11604    101 |     1133 |      113
652.09/652.20	c  652s |      19 |   905842 |   584282 |    11604    102 |     1133 |      113
654.09/654.29	c  654s |      19 |   908578 |   586182 |    11604    102 |     1133 |      113
656.19/656.37	c  656s |      19 |   910956 |   587682 |    11604    102 |     1133 |      113
658.29/658.44	c  658s |      19 |   912931 |   589082 |    11604    102 |     1133 |      113
660.39/660.50	c  660s |      19 |   915008 |   590482 |    11604    103 |     1133 |      113
662.39/662.51	c  662s |      19 |   917408 |   592182 |    11604    103 |     1133 |      113
664.39/664.52	c  664s |      19 |   919308 |   593682 |    11604    103 |     1133 |      113
666.39/666.60	c  666s |      19 |   921868 |   595282 |    11604    103 |     1133 |      113
668.59/668.71	c  668s |      19 |   924562 |   596982 |    11604    103 |     1133 |      113
670.59/670.74	c  670s |      19 |   926775 |   598682 |    11604    104 |     1133 |      113
672.68/672.86	c  672s |      19 |   928970 |   600382 |    11604    104 |     1133 |      113
674.78/674.91	c  674s |      19 |   930888 |   601782 |    11604    104 |     1133 |      113
676.88/677.00	c  676s |      19 |   932869 |   603182 |    11604    104 |     1133 |      113
678.98/679.10	c  679s |      19 |   934720 |   604582 |    11604    105 |     1133 |      113
680.99/681.15	c  681s |      19 |   939955 |   607082 |    11604    105 |     1133 |      113
683.09/683.23	c  683s |      19 |   943276 |   609182 |    11604    105 |     1133 |      113
685.08/685.24	c  685s |      19 |   945526 |   610682 |    11604    105 |     1133 |      113
687.18/687.31	c  687s |      19 |   951812 |   613382 |    11604    106 |     1133 |      113
689.28/689.40	c  689s |      19 |   955285 |   615682 |    11604    106 |     1133 |      113
691.38/691.57	c  691s |      19 |   958197 |   617682 |    11604    107 |     1133 |      113
693.48/693.63	c  693s |      19 |   960947 |   619782 |    11604    107 |     1133 |      113
695.48/695.67	c  695s |      19 |   963134 |   621582 |    11604    107 |     1133 |      113
697.49/697.67	c  697s |      19 |   965061 |   623182 |    11604    107 |     1133 |      113
699.48/699.67	c  699s |      19 |   966678 |   624482 |    11604    108 |     1133 |      113
701.58/701.71	c  701s |      19 |   968915 |   626282 |    11604    108 |     1133 |      113
703.68/703.81	c  703s |      19 |   971080 |   627982 |    11604    108 |     1133 |      113
705.79/705.91	c  705s |      19 |   973039 |   629482 |    11604    108 |     1133 |      113
707.79/707.98	c  707s |      19 |   975693 |   631282 |    11604    109 |     1133 |      113
709.88/710.03	c  709s |      19 |   978767 |   633382 |    11604    109 |     1133 |      113
711.88/712.06	c  711s |      19 |   981253 |   635182 |    11604    109 |     1133 |      113
713.88/714.07	c  713s |      19 |   983338 |   636782 |    11604    109 |     1133 |      113
715.98/716.10	c  715s |      19 |   985361 |   638382 |    11604    110 |     1133 |      113
718.08/718.20	c  718s |      19 |   989286 |   640882 |    11604    110 |     1133 |      113
720.07/720.23	c  720s |      19 |   992151 |   642782 |    11604    110 |     1133 |      113
722.17/722.37	c  722s |      19 |   994275 |   644382 |    11604    110 |     1133 |      113
724.18/724.39	c  724s |      19 |   996506 |   645982 |    11604    111 |     1133 |      113
726.28/726.46	c  726s |      19 |   998647 |   647582 |    11604    111 |     1133 |      113
728.29/728.50	c  728s |      19 |  1001752 |   649382 |    11604    111 |     1133 |      113
730.49/730.61	c  730s |      19 |  1005164 |   651682 |    11604    111 |     1133 |      113
732.48/732.61	c  732s |      19 |  1008225 |   653582 |    11604    112 |     1133 |      113
734.48/734.61	c  734s |      19 |  1011598 |   655382 |    11604    112 |     1133 |      113
736.58/736.71	c  736s |      19 |  1015428 |   657582 |    11604    112 |     1133 |      113
738.57/738.72	c  738s |      19 |  1018367 |   659582 |    11604    113 |     1133 |      113
740.57/740.73	c  740s |      19 |  1023458 |   662082 |    11604    113 |     1133 |      113
742.58/742.74	c  742s |      19 |  1027271 |   664182 |    12765    113 |     1133 |      113
744.57/744.77	c  744s |      19 |  1030887 |   666182 |    12765    113 |     1133 |      113
745.27/745.45	c  745s |      20 |  1031967 |   666827 |    12765    114 |     1133 |      113
747.28/747.46	c  747s |      20 |  1037438 |   669427 |    12765    114 |     1133 |      113
749.28/749.47	c  749s |      20 |  1039980 |   671227 |    12765    114 |     1133 |      113
751.38/751.53	c  751s |      20 |  1043307 |   673027 |    12765    114 |     1133 |      113
753.48/753.61	c  753s |      20 |  1045383 |   674527 |    12765    115 |     1133 |      113
755.47/755.62	c  755s |      20 |  1047611 |   676027 |    12765    115 |     1133 |      113
757.57/757.74	c  757s |      20 |  1049373 |   677327 |    12765    115 |     1133 |      113
759.67/759.84	c  759s |      20 |  1050776 |   678427 |    12765    115 |     1133 |      113
761.77/761.91	c  761s |      20 |  1052604 |   679727 |    12765    115 |     1133 |      113
763.87/764.06	c  763s |      20 |  1054508 |   681027 |    12765    115 |     1133 |      113
765.86/766.07	c  765s |      20 |  1056062 |   682127 |    12765    116 |     1133 |      113
767.96/768.13	c  768s |      20 |  1059163 |   683927 |    12765    116 |     1133 |      113
770.07/770.25	c  770s |      20 |  1061612 |   685627 |    12765    116 |     1133 |      113
772.06/772.29	c  772s |      20 |  1065412 |   687527 |    12765    116 |     1133 |      113
774.16/774.31	c  774s |      20 |  1068567 |   689627 |    12765    117 |     1133 |      113
776.15/776.38	c  776s |      20 |  1071390 |   691627 |    12765    117 |     1133 |      113
778.25/778.44	c  778s |      20 |  1074304 |   693727 |    12765    117 |     1133 |      113
780.35/780.54	c  780s |      20 |  1077559 |   695827 |    12765    117 |     1133 |      113
782.45/782.62	c  782s |      20 |  1080399 |   697727 |    12765    118 |     1133 |      113
784.45/784.62	c  784s |      20 |  1083116 |   699627 |    12765    118 |     1133 |      113
786.55/786.74	c  786s |      20 |  1085646 |   701427 |    12765    118 |     1133 |      113
788.54/788.77	c  788s |      20 |  1088143 |   703127 |    12765    118 |     1133 |      113
790.64/790.87	c  790s |      20 |  1091265 |   705127 |    12765    119 |     1133 |      113
792.74/792.90	c  792s |      20 |  1094496 |   707127 |    12765    119 |     1133 |      113
794.74/794.91	c  794s |      20 |  1097165 |   708827 |    12765    119 |     1133 |      113
796.74/796.99	c  796s |      20 |  1099087 |   710227 |    12765    119 |     1133 |      113
798.84/799.07	c  798s |      20 |  1102089 |   712027 |    12765    120 |     1133 |      113
800.94/801.11	c  801s |      20 |  1104313 |   713627 |    12765    120 |     1133 |      113
802.94/803.13	c  803s |      20 |  1106428 |   715127 |    12765    120 |     1133 |      113
805.03/805.23	c  805s |      20 |  1108640 |   716727 |    12765    120 |     1133 |      113
807.04/807.26	c  807s |      20 |  1110625 |   718127 |    12765    120 |     1133 |      113
809.14/809.37	c  809s |      20 |  1112350 |   719427 |    12765    121 |     1133 |      113
811.24/811.48	c  811s |      20 |  1114503 |   720927 |    12765    121 |     1133 |      113
813.34/813.51	c  813s |      20 |  1118145 |   722927 |    12765    121 |     1133 |      113
815.33/815.54	c  815s |      20 |  1123573 |   725427 |    12765    122 |     1134 |      113
817.34/817.54	c  817s |      20 |  1130339 |   729027 |    12765    122 |     1134 |      113
819.33/819.59	c  819s |      20 |  1136867 |   731927 |    12765    122 |     1134 |      113
821.43/821.70	c  821s |      20 |  1141150 |   734027 |    12765    123 |     1134 |      113
823.63/823.81	c  823s |      20 |  1143737 |   735827 |    12765    123 |     1134 |      113
825.62/825.87	c  825s |      20 |  1148519 |   738127 |    12765    123 |     1134 |      113
827.62/827.89	c  827s |      20 |  1152607 |   740327 |    12765    124 |     1134 |      113
829.73/829.97	c  829s |      20 |  1157046 |   742627 |    12765    124 |     1135 |      113
831.83/832.04	c  831s |      20 |  1161562 |   745127 |    12765    124 |     1135 |      113
833.83/834.07	c  833s |      20 |  1164455 |   746927 |    12765    124 |     1135 |      113
835.82/836.08	c  835s |      20 |  1167968 |   748827 |    12765    125 |     1135 |      113
837.92/838.10	c  837s |      20 |  1171318 |   750927 |    12765    125 |     1135 |      113
839.92/840.16	c  840s |      20 |  1174391 |   752927 |    12765    125 |     1135 |      113
841.92/842.16	c  842s |      20 |  1176934 |   754627 |    12765    125 |     1135 |      113
844.01/844.24	c  844s |      20 |  1179349 |   756427 |    12765    126 |     1135 |      113
846.11/846.31	c  846s |      20 |  1182099 |   758227 |    12765    126 |     1135 |      113
848.12/848.32	c  848s |      20 |  1184306 |   759727 |    12765    126 |     1135 |      113
850.11/850.39	c  850s |      20 |  1186490 |   761227 |    12765    126 |     1135 |      113
852.21/852.41	c  852s |      20 |  1188610 |   762627 |    12765    127 |     1135 |      113
854.21/854.42	c  854s |      20 |  1190775 |   764227 |    12765    127 |     1135 |      113
856.31/856.57	c  856s |      20 |  1192573 |   765627 |    12765    127 |     1135 |      113
858.51/858.71	c  858s |      20 |  1194134 |   766827 |    12765    127 |     1135 |      113
860.61/860.84	c  860s |      20 |  1195726 |   768027 |    12765    127 |     1135 |      113
862.70/862.95	c  862s |      20 |  1197239 |   769227 |    12765    127 |     1135 |      113
864.70/864.97	c  864s |      20 |  1198493 |   770227 |    12765    128 |     1135 |      113
866.81/867.04	c  866s |      20 |  1200098 |   771527 |    12765    128 |     1135 |      113
868.91/869.12	c  869s |      20 |  1201918 |   772827 |    12765    128 |     1135 |      113
871.00/871.21	c  871s |      20 |  1204106 |   774127 |    12765    128 |     1135 |      113
873.00/873.26	c  873s |      20 |  1206797 |   775927 |    12765    128 |     1135 |      113
875.10/875.31	c  875s |      20 |  1211880 |   778127 |    12765    129 |     1135 |      113
877.10/877.38	c  877s |      20 |  1216692 |   780627 |    12765    129 |     1135 |      113
879.20/879.46	c  879s |      20 |  1220467 |   782727 |    12765    129 |     1135 |      113
881.29/881.51	c  881s |      20 |  1223402 |   784327 |    12765    129 |     1135 |      113
883.30/883.53	c  883s |      20 |  1225783 |   785627 |    12765    130 |     1135 |      113
885.29/885.57	c  885s |      20 |  1229179 |   787927 |    12765    130 |     1135 |      113
887.29/887.58	c  887s |      20 |  1232091 |   789727 |    12765    130 |     1135 |      113
889.49/889.74	c  889s |      20 |  1234043 |   791127 |    12765    130 |     1135 |      113
891.49/891.75	c  891s |      20 |  1235837 |   792427 |    12765    131 |     1135 |      113
893.59/893.80	c  893s |      20 |  1238298 |   794027 |    12765    131 |     1135 |      113
895.58/895.82	c  895s |      20 |  1240901 |   795727 |    12765    131 |     1135 |      113
897.68/897.95	c  897s |      20 |  1243438 |   797427 |    12765    131 |     1135 |      113
899.79/900.05	c  899s |      20 |  1245416 |   798827 |    12765    131 |     1135 |      113
901.89/902.13	c  902s |      20 |  1247690 |   800327 |    12765    132 |     1135 |      113
903.88/904.13	c  904s |      20 |  1250292 |   802027 |    12765    132 |     1135 |      113
905.88/906.17	c  906s |      20 |  1252503 |   803527 |    12765    132 |     1135 |      113
907.99/908.23	c  908s |      20 |  1254297 |   804827 |    12765    132 |     1135 |      113
910.08/910.39	c  910s |      20 |  1255821 |   806027 |    12765    132 |     1135 |      113
912.28/912.54	c  912s |      20 |  1257227 |   807027 |    12765    133 |     1135 |      113
914.38/914.64	c  914s |      20 |  1259160 |   808327 |    12765    133 |     1135 |      113
916.38/916.70	c  916s |      20 |  1261322 |   809827 |    12765    133 |     1135 |      113
918.58/918.80	c  918s |      20 |  1263331 |   811127 |    12765    133 |     1135 |      113
920.58/920.89	c  920s |      20 |  1264703 |   812227 |    12765    133 |     1135 |      113
922.78/923.03	c  922s |      20 |  1266422 |   813427 |    12765    133 |     1135 |      113
924.87/925.10	c  925s |      20 |  1267985 |   814527 |    12765    134 |     1135 |      113
926.87/927.15	c  927s |      20 |  1270128 |   816027 |    12765    134 |     1135 |      113
928.97/929.26	c  929s |      20 |  1272300 |   817527 |    12765    134 |     1135 |      113
930.97/931.28	c  931s |      20 |  1273961 |   818727 |    12765    134 |     1135 |      113
933.07/933.34	c  933s |      20 |  1275807 |   819927 |    12765    134 |     1135 |      113
935.26/935.52	c  935s |      20 |  1277334 |   821027 |    12765    134 |     1135 |      113
937.27/937.54	c  937s |      20 |  1278747 |   822027 |    12765    135 |     1135 |      113
939.27/939.59	c  939s |      20 |  1280572 |   823327 |    12765    135 |     1135 |      113
941.36/941.70	c  941s |      20 |  1282225 |   824527 |    12765    135 |     1135 |      113
943.46/943.74	c  943s |      20 |  1284855 |   826127 |    12765    135 |     1135 |      113
945.66/945.90	c  945s |      20 |  1287117 |   827627 |    12765    135 |     1135 |      113
947.66/947.96	c  947s |      20 |  1288563 |   828727 |    12765    135 |     1135 |      113
949.85/950.10	c  949s |      20 |  1290143 |   829827 |    12765    136 |     1135 |      113
951.95/952.25	c  952s |      20 |  1292136 |   831127 |    12765    136 |     1135 |      113
953.95/954.26	c  954s |      20 |  1294173 |   832427 |    12765    136 |     1135 |      113
956.05/956.33	c  956s |      20 |  1295736 |   833527 |    12765    136 |     1135 |      113
958.06/958.39	c  958s |      20 |  1297190 |   834627 |    12765    136 |     1135 |      113
960.36/960.64	c  960s |      20 |  1298697 |   835727 |    12765    136 |     1135 |      113
962.66/962.91	c  962s |      20 |  1299884 |   836627 |    12765    137 |     1135 |      113
964.75/965.01	c  964s |      20 |  1301861 |   838027 |    12765    137 |     1135 |      113
966.76/967.06	c  966s |      20 |  1303529 |   839227 |    12765    137 |     1135 |      113
968.85/969.12	c  969s |      20 |  1306814 |   840927 |    12765    137 |     1135 |      113
970.95/971.25	c  971s |      20 |  1309527 |   842427 |    12765    137 |     1135 |      113
973.05/973.33	c  973s |      20 |  1311197 |   843627 |    12765    137 |     1135 |      113
975.15/975.41	c  975s |      20 |  1312943 |   844827 |    12765    138 |     1135 |      113
977.15/977.44	c  977s |      20 |  1315548 |   846427 |    12765    138 |     1135 |      113
979.14/979.46	c  979s |      20 |  1317743 |   847827 |    12765    138 |     1135 |      113
981.24/981.57	c  981s |      20 |  1320370 |   849427 |    12765    138 |     1135 |      113
983.25/983.58	c  983s |      20 |  1322596 |   850927 |    12765    138 |     1135 |      113
985.45/985.71	c  985s |      20 |  1324812 |   852327 |    12765    139 |     1135 |      113
987.44/987.78	c  987s |      20 |  1327293 |   853827 |    12765    139 |     1135 |      113
989.54/989.87	c  989s |      20 |  1329478 |   855327 |    12765    139 |     1135 |      113
991.54/991.89	c  991s |      20 |  1331308 |   856627 |    12765    139 |     1135 |      113
993.74/994.02	c  993s |      20 |  1333491 |   857827 |    12765    139 |     1135 |      113
995.73/996.08	c  995s |      20 |  1335421 |   859127 |    12765    140 |     1135 |      113
997.73/998.08	c  997s |      20 |  1337973 |   860727 |    12765    140 |     1135 |      113
999.74/1000.08	c  999s |      20 |  1339789 |   862027 |    12765    140 |     1135 |      113
1001.94/1002.26	c 1002s |      20 |  1341760 |   863427 |    12765    140 |     1135 |      113
1004.03/1004.31	c 1004s |      20 |  1343521 |   864627 |    12765    140 |     1135 |      113
1006.22/1006.54	c 1006s |      20 |  1345672 |   866127 |    12765    141 |     1135 |      113
1008.33/1008.64	c 1008s |      20 |  1347289 |   867227 |    12765    141 |     1135 |      113
1010.33/1010.66	c 1010s |      20 |  1350156 |   868927 |    12765    141 |     1135 |      113
1012.53/1012.81	c 1012s |      20 |  1351787 |   870027 |    12765    141 |     1135 |      113
1014.62/1014.92	c 1014s |      20 |  1354043 |   871527 |    12765    141 |     1135 |      113
1016.62/1016.95	c 1016s |      20 |  1356234 |   872927 |    12765    141 |     1135 |      113
1018.72/1019.02	c 1018s |      20 |  1359281 |   874427 |    12765    142 |     1135 |      113
1020.82/1021.11	c 1021s |      20 |  1362235 |   876327 |    12765    142 |     1135 |      113
1022.92/1023.24	c 1023s |      20 |  1364721 |   877927 |    12765    142 |     1135 |      113
1024.91/1025.24	c 1025s |      20 |  1366967 |   879327 |    12765    142 |     1135 |      113
1026.91/1027.27	c 1027s |      20 |  1368840 |   880627 |    12765    142 |     1135 |      113
1029.01/1029.30	c 1029s |      20 |  1370767 |   882027 |    12765    143 |     1135 |      113
1031.11/1031.44	c 1031s |      20 |  1372803 |   883327 |    12765    143 |     1135 |      113
1033.11/1033.49	c 1033s |      20 |  1374779 |   884727 |    12765    143 |     1135 |      113
1035.21/1035.51	c 1035s |      20 |  1376624 |   886027 |    12765    143 |     1135 |      113
1037.22/1037.55	c 1037s |      20 |  1378203 |   887127 |    12765    143 |     1135 |      113
1039.31/1039.64	c 1039s |      20 |  1379604 |   888127 |    12765    143 |     1135 |      113
1041.41/1041.72	c 1041s |      20 |  1381222 |   889327 |    12765    144 |     1135 |      113
1043.51/1043.83	c 1043s |      20 |  1383375 |   890827 |    12765    144 |     1135 |      113
1045.60/1045.91	c 1045s |      20 |  1385307 |   892127 |    12765    144 |     1135 |      113
1047.70/1048.04	c 1047s |      20 |  1386973 |   893327 |    12765    144 |     1135 |      113
1049.80/1050.11	c 1050s |      20 |  1388994 |   894627 |    12765    144 |     1135 |      113
1052.00/1052.37	c 1052s |      20 |  1390595 |   895727 |    12765    144 |     1135 |      113
1054.10/1054.43	c 1054s |      20 |  1392059 |   896727 |    12765    145 |     1135 |      113
1056.11/1056.49	c 1056s |      20 |  1393510 |   897727 |    12765    145 |     1135 |      113
1058.21/1058.53	c 1058s |      20 |  1395522 |   898927 |    12765    145 |     1135 |      113
1060.40/1060.72	c 1060s |      20 |  1397413 |   900127 |    12765    145 |     1135 |      113
1062.51/1062.83	c 1062s |      20 |  1399149 |   901327 |    12765    145 |     1135 |      113
1064.61/1064.96	c 1064s |      20 |  1400737 |   902527 |    12765    145 |     1135 |      113
1066.80/1067.13	c 1067s |      20 |  1402134 |   903627 |    12765    145 |     1135 |      113
1068.90/1069.24	c 1069s |      20 |  1403964 |   904927 |    12765    146 |     1135 |      113
1071.00/1071.37	c 1071s |      20 |  1405668 |   906227 |    12765    146 |     1135 |      113
1073.09/1073.40	c 1073s |      20 |  1407039 |   907327 |    12765    146 |     1135 |      113
1075.29/1075.60	c 1075s |      20 |  1408602 |   908527 |    12765    146 |     1135 |      113
1077.39/1077.76	c 1077s |      20 |  1410089 |   909627 |    12765    146 |     1135 |      113
1079.49/1079.83	c 1079s |      20 |  1411671 |   910727 |    12765    146 |     1135 |      113
1081.69/1082.00	c 1081s |      20 |  1413288 |   911927 |    12765    147 |     1135 |      113
1083.79/1084.13	c 1084s |      20 |  1414646 |   913027 |    12765    147 |     1135 |      113
1085.79/1086.16	c 1086s |      20 |  1416019 |   914027 |    12765    147 |     1135 |      113
1087.89/1088.20	c 1088s |      20 |  1418706 |   915527 |    12765    147 |     1135 |      113
1089.99/1090.33	c 1090s |      20 |  1420615 |   916927 |    12765    147 |     1135 |      113
1091.99/1092.35	c 1092s |      20 |  1422377 |   918327 |    12765    147 |     1135 |      113
1094.08/1094.49	c 1094s |      20 |  1424216 |   919727 |    12765    148 |     1135 |      113
1096.18/1096.51	c 1096s |      20 |  1426073 |   921127 |    12765    148 |     1135 |      113
1098.18/1098.59	c 1098s |      20 |  1427855 |   922427 |    12765    148 |     1135 |      113
1100.38/1100.72	c 1100s |      20 |  1429526 |   923627 |    12765    148 |     1135 |      113
1102.48/1102.81	c 1102s |      20 |  1431457 |   924927 |    12765    148 |     1135 |      113
1104.58/1104.91	c 1104s |      20 |  1433446 |   926027 |    12765    149 |     1135 |      113
1106.58/1106.97	c 1106s |      20 |  1434981 |   927027 |    12765    149 |     1135 |      113
1108.87/1109.22	c 1109s |      20 |  1437420 |   928327 |    12765    149 |     1135 |      113
1111.07/1111.45	c 1111s |      20 |  1438477 |   929127 |    12765    149 |     1135 |      113
1113.08/1113.46	c 1113s |      20 |  1440443 |   930227 |    12765    149 |     1135 |      113
1115.27/1115.61	c 1115s |      20 |  1442413 |   931427 |    12765    149 |     1135 |      113
1117.38/1117.73	c 1117s |      20 |  1443936 |   932427 |    12765    149 |     1135 |      113
1119.37/1119.75	c 1119s |      20 |  1445226 |   933327 |    12765    149 |     1135 |      113
1121.37/1121.79	c 1121s |      20 |  1446281 |   934027 |    12765    150 |     1135 |      113
1123.57/1123.90	c 1123s |      20 |  1447777 |   935027 |    12765    150 |     1135 |      113
1125.77/1126.10	c 1125s |      20 |  1449583 |   936127 |    12765    150 |     1135 |      113
1127.77/1128.13	c 1128s |      20 |  1451739 |   937327 |    12765    150 |     1135 |      113
1129.87/1130.26	c 1130s |      20 |  1454015 |   938727 |    12765    150 |     1135 |      113
1131.87/1132.26	c 1132s |      20 |  1455715 |   939827 |    12765    150 |     1135 |      113
1134.17/1134.53	c 1134s |      20 |  1457423 |   941027 |    12765    151 |     1135 |      113
1136.17/1136.54	c 1136s |      20 |  1459183 |   942227 |    12765    151 |     1135 |      113
1138.27/1138.68	c 1138s |      20 |  1461152 |   943527 |    12765    151 |     1135 |      113
1140.36/1140.78	c 1140s |      20 |  1462698 |   944627 |    12765    151 |     1135 |      113
1142.56/1142.92	c 1142s |      20 |  1464019 |   945627 |    12765    151 |     1135 |      113
1144.76/1145.12	c 1145s |      20 |  1465642 |   946627 |    12765    151 |     1135 |      113
1146.86/1147.24	c 1147s |      20 |  1467081 |   947427 |    12765    151 |     1135 |      113
1148.86/1149.29	c 1149s |      20 |  1467817 |   948027 |    12765    151 |     1135 |      113
1150.96/1151.35	c 1151s |      20 |  1468730 |   948727 |    12765    152 |     1135 |      113
1153.35/1153.70	c 1153s |      20 |  1469899 |   949627 |    12765    152 |     1135 |      113
1155.45/1155.83	c 1155s |      20 |  1470750 |   950327 |    12765    152 |     1135 |      113
1157.55/1157.98	c 1157s |      20 |  1471743 |   951127 |    12765    152 |     1135 |      113
1159.65/1160.08	c 1159s |      20 |  1472648 |   951827 |    12765    152 |     1135 |      113
1161.75/1162.14	c 1162s |      20 |  1474290 |   952927 |    12765    152 |     1135 |      113
1163.95/1164.34	c 1164s |      20 |  1475672 |   953927 |    12765    152 |     1135 |      113
1165.94/1166.37	c 1166s |      20 |  1476727 |   954727 |    12765    152 |     1135 |      113
1168.05/1168.41	c 1168s |      20 |  1478099 |   955727 |    12765    152 |     1135 |      113
1170.15/1170.57	c 1170s |      20 |  1479498 |   956727 |    12765    153 |     1135 |      113
1172.24/1172.70	c 1172s |      20 |  1480993 |   957827 |    12765    153 |     1135 |      113
1174.43/1174.84	c 1174s |      20 |  1482479 |   958927 |    12765    153 |     1135 |      113
1176.53/1176.98	c 1176s |      20 |  1483921 |   960027 |    12765    153 |     1135 |      113
1178.73/1179.11	c 1179s |      20 |  1485241 |   961027 |    12765    153 |     1135 |      113
1180.73/1181.16	c 1181s |      20 |  1486426 |   961927 |    12765    153 |     1135 |      113
1182.83/1183.21	c 1183s |      20 |  1488580 |   963327 |    12765    153 |     1135 |      113
1184.83/1185.26	c 1185s |      20 |  1490776 |   964927 |    12765    154 |     1135 |      113
1186.93/1187.31	c 1187s |      20 |  1492745 |   966327 |    12765    154 |     1135 |      113
1189.03/1189.45	c 1189s |      20 |  1494667 |   967727 |    12765    154 |     1135 |      113
1191.13/1191.51	c 1191s |      20 |  1496571 |   969027 |    12765    154 |     1135 |      113
1193.13/1193.60	c 1193s |      20 |  1498318 |   970227 |    12765    154 |     1135 |      113
1195.32/1195.72	c 1195s |      20 |  1499750 |   971327 |    12765    155 |     1135 |      113
1197.32/1197.78	c 1197s |      20 |  1501523 |   972627 |    12765    155 |     1135 |      113
1199.52/1199.90	c 1199s |      20 |  1503261 |   973927 |    12765    155 |     1135 |      113
1201.52/1201.93	c 1201s |      20 |  1504684 |   975027 |    12765    155 |     1135 |      113
1203.52/1203.96	c 1203s |      20 |  1506328 |   976227 |    12765    155 |     1135 |      113
1205.62/1206.09	c 1205s |      20 |  1508125 |   977427 |    12765    155 |     1135 |      113
1208.02/1208.42	c 1208s |      20 |  1509609 |   978527 |    12765    156 |     1135 |      113
1210.02/1210.48	c 1210s |      20 |  1511503 |   979827 |    12765    156 |     1135 |      113
1212.22/1212.62	c 1212s |      20 |  1513043 |   981027 |    12765    156 |     1135 |      113
1214.32/1214.72	c 1214s |      20 |  1514526 |   982127 |    12765    156 |     1135 |      113
1216.42/1216.89	c 1216s |      20 |  1515963 |   983227 |    12765    156 |     1135 |      113
1218.62/1219.01	c 1218s |      20 |  1517066 |   984127 |    12765    156 |     1135 |      113
1220.72/1221.14	c 1221s |      20 |  1518272 |   985027 |    12765    156 |     1135 |      113
1222.71/1223.18	c 1223s |      20 |  1519846 |   986127 |    12765    157 |     1135 |      113
1224.81/1225.27	c 1225s |      20 |  1521581 |   987327 |    12765    157 |     1135 |      113
1226.91/1227.33	c 1227s |      20 |  1523465 |   988627 |    12765    157 |     1135 |      113
1229.00/1229.40	c 1229s |      20 |  1526458 |   990427 |    12765    157 |     1135 |      113
1231.01/1231.41	c 1231s |      20 |  1529833 |   992727 |    12765    157 |     1135 |      113
1233.11/1233.52	c 1233s |      20 |  1532327 |   994627 |    14042    158 |     1135 |      113
1235.11/1235.58	c 1235s |      20 |  1534397 |   996327 |    14042    158 |     1135 |      113
1237.21/1237.66	c 1237s |      20 |  1536344 |   997827 |    14042    158 |     1135 |      113
1239.30/1239.78	c 1239s |      20 |  1538042 |   999227 |    14042    158 |     1135 |      113
1241.00/1241.41	c 1241s |      21 |  1539418 |  1000345 |    14042    158 |     1135 |      113
1243.00/1243.42	c 1243s |      21 |  1542169 |  1001945 |    14042    159 |     1135 |      113
1245.00/1245.44	c 1245s |      21 |  1545613 |  1003945 |    14042    159 |     1135 |      113
1246.99/1247.49	c 1247s |      21 |  1551411 |  1006545 |    14042    159 |     1135 |      113
1249.10/1249.54	c 1249s |      21 |  1556109 |  1008645 |    14042    159 |     1135 |      113
1251.10/1251.57	c 1251s |      21 |  1559244 |  1010445 |    14042    160 |     1135 |      113
1253.20/1253.67	c 1253s |      21 |  1562370 |  1012145 |    14042    160 |     1135 |      113
1255.29/1255.70	c 1255s |      21 |  1566369 |  1014145 |    14042    160 |     1135 |      113
1257.29/1257.76	c 1257s |      21 |  1569934 |  1016045 |    14042    160 |     1135 |      113
1259.49/1259.95	c 1259s |      21 |  1572074 |  1017445 |    14042    160 |     1135 |      113
1261.49/1261.96	c 1261s |      21 |  1574671 |  1019045 |    14042    161 |     1135 |      113
1263.59/1264.02	c 1263s |      21 |  1577548 |  1020745 |    14042    161 |     1135 |      113
1265.58/1266.07	c 1265s |      21 |  1581434 |  1022745 |    14042    161 |     1135 |      113
1267.58/1268.08	c 1267s |      21 |  1584157 |  1024445 |    14042    161 |     1135 |      113
1269.78/1270.29	c 1270s |      21 |  1586209 |  1025845 |    14042    161 |     1135 |      113
1271.89/1272.38	c 1272s |      21 |  1588339 |  1027245 |    14042    162 |     1135 |      113
1273.99/1274.45	c 1274s |      21 |  1591286 |  1029245 |    14042    162 |     1135 |      113
1276.09/1276.55	c 1276s |      21 |  1593807 |  1030945 |    14042    162 |     1135 |      113
1278.09/1278.56	c 1278s |      21 |  1596130 |  1032545 |    14042    162 |     1135 |      113
1280.19/1280.63	c 1280s |      21 |  1598109 |  1034045 |    14042    163 |     1135 |      113
1282.18/1282.68	c 1282s |      21 |  1601295 |  1036145 |    14042    163 |     1135 |      113
1284.28/1284.73	c 1284s |      21 |  1603795 |  1037845 |    14042    163 |     1135 |      113
1286.28/1286.75	c 1286s |      21 |  1605542 |  1039145 |    14042    163 |     1135 |      113
1288.28/1288.79	c 1288s |      21 |  1608316 |  1040845 |    14042    163 |     1135 |      113
1290.38/1290.83	c 1290s |      21 |  1612085 |  1042645 |    14042    164 |     1135 |      113
1292.38/1292.88	c 1292s |      21 |  1614873 |  1044345 |    14042    164 |     1135 |      113
1294.58/1295.01	c 1294s |      21 |  1617966 |  1046145 |    14042    164 |     1135 |      113
1296.58/1297.08	c 1296s |      21 |  1620280 |  1047645 |    14042    164 |     1135 |      113
1298.78/1299.22	c 1299s |      21 |  1622317 |  1049045 |    14042    164 |     1135 |      113
1300.87/1301.35	c 1301s |      21 |  1624192 |  1050345 |    14042    165 |     1135 |      113
1302.88/1303.36	c 1303s |      21 |  1626244 |  1051745 |    14042    165 |     1135 |      113
1304.97/1305.49	c 1305s |      21 |  1628433 |  1053245 |    14042    165 |     1135 |      113
1306.97/1307.49	c 1307s |      21 |  1631832 |  1054945 |    14042    165 |     1135 |      113
1309.07/1309.54	c 1309s |      21 |  1633495 |  1056145 |    14042    165 |     1135 |      113
1311.07/1311.58	c 1311s |      21 |  1636773 |  1057745 |    14042    165 |     1135 |      113
1313.18/1313.62	c 1313s |      21 |  1639255 |  1059245 |    14042    166 |     1135 |      113
1315.16/1315.65	c 1315s |      21 |  1641365 |  1060645 |    14042    166 |     1135 |      113
1317.26/1317.72	c 1317s |      21 |  1644144 |  1062145 |    14042    166 |     1135 |      113
1319.36/1319.86	c 1319s |      21 |  1646510 |  1063545 |    14042    166 |     1135 |      113
1321.46/1321.93	c 1321s |      21 |  1648303 |  1064745 |    14042    166 |     1135 |      113
1323.46/1323.98	c 1323s |      21 |  1649928 |  1065845 |    14042    166 |     1135 |      113
1325.56/1326.06	c 1325s |      21 |  1651438 |  1066945 |    14042    167 |     1135 |      113
1327.76/1328.20	c 1328s |      21 |  1653154 |  1068145 |    14042    167 |     1135 |      113
1329.85/1330.33	c 1330s |      21 |  1654813 |  1069345 |    14042    167 |     1135 |      113
1331.86/1332.38	c 1332s |      21 |  1656419 |  1070545 |    14042    167 |     1135 |      113
1334.06/1334.52	c 1334s |      21 |  1658250 |  1071845 |    14042    167 |     1135 |      113
1336.05/1336.58	c 1336s |      21 |  1659935 |  1073045 |    14042    167 |     1135 |      113
1338.36/1338.82	c 1338s |      21 |  1661637 |  1074345 |    14042    168 |     1135 |      113
1340.45/1340.96	c 1340s |      21 |  1663394 |  1075745 |    14042    168 |     1135 |      113
1342.45/1342.96	c 1342s |      21 |  1666746 |  1077545 |    14042    168 |     1135 |      113
1344.55/1345.02	c 1344s |      21 |  1670150 |  1079645 |    14042    168 |     1135 |      113
1346.55/1347.03	c 1346s |      21 |  1672485 |  1081245 |    14042    168 |     1135 |      113
1348.65/1349.12	c 1349s |      21 |  1675322 |  1083045 |    14042    169 |     1135 |      113
1350.75/1351.26	c 1351s |      21 |  1678084 |  1084845 |    14042    169 |     1135 |      113
1352.85/1353.30	c 1353s |      21 |  1680948 |  1086445 |    14042    169 |     1135 |      113
1354.85/1355.37	c 1355s |      21 |  1683377 |  1088145 |    14042    169 |     1135 |      113
1356.84/1357.39	c 1357s |      21 |  1685007 |  1089445 |    14042    169 |     1135 |      113
1358.94/1359.46	c 1359s |      21 |  1688034 |  1091045 |    14042    170 |     1135 |      113
1361.04/1361.52	c 1361s |      21 |  1690111 |  1092545 |    14042    170 |     1135 |      113
1363.04/1363.56	c 1363s |      21 |  1692032 |  1093945 |    14042    170 |     1135 |      113
1365.03/1365.57	c 1365s |      21 |  1693902 |  1095445 |    14042    170 |     1135 |      113
1367.04/1367.59	c 1367s |      21 |  1695565 |  1096745 |    14042    170 |     1135 |      113
1369.24/1369.72	c 1369s |      21 |  1697586 |  1098245 |    14042    170 |     1135 |      113
1371.34/1371.84	c 1371s |      21 |  1699179 |  1099545 |    14042    171 |     1135 |      113
1373.43/1373.94	c 1373s |      21 |  1700999 |  1100945 |    14042    171 |     1135 |      113
1375.53/1376.03	c 1375s |      21 |  1702632 |  1102245 |    14042    171 |     1135 |      113
1377.53/1378.09	c 1377s |      21 |  1704445 |  1103645 |    14042    171 |     1135 |      113
1379.64/1380.17	c 1380s |      21 |  1706317 |  1104945 |    14042    171 |     1135 |      113
1381.84/1382.31	c 1382s |      21 |  1707681 |  1106045 |    14042    171 |     1135 |      113
1384.24/1384.71	c 1384s |      21 |  1708725 |  1106845 |    14042    171 |     1135 |      113
1386.43/1386.92	c 1386s |      21 |  1709841 |  1107745 |    14042    172 |     1135 |      113
1388.43/1388.95	c 1388s |      21 |  1711267 |  1108845 |    14042    172 |     1135 |      113
1390.43/1390.98	c 1390s |      21 |  1713163 |  1110145 |    14042    172 |     1135 |      113
1392.53/1393.06	c 1392s |      21 |  1714512 |  1111245 |    14042    172 |     1135 |      113
1394.73/1395.21	c 1395s |      21 |  1716337 |  1112445 |    14042    172 |     1135 |      113
1396.74/1397.26	c 1397s |      21 |  1717841 |  1113545 |    14042    172 |     1135 |      113
1398.73/1399.26	c 1399s |      21 |  1719108 |  1114545 |    14042    172 |     1135 |      113
1400.83/1401.32	c 1401s |      21 |  1720347 |  1115445 |    14042    173 |     1135 |      113
1402.83/1403.34	c 1403s |      21 |  1722127 |  1116745 |    14042    173 |     1135 |      113
1405.03/1405.52	c 1405s |      21 |  1724002 |  1117945 |    14042    173 |     1135 |      113
1407.23/1407.71	c 1407s |      21 |  1725142 |  1118945 |    14042    173 |     1135 |      113
1409.22/1409.78	c 1409s |      21 |  1727713 |  1120345 |    14042    173 |     1135 |      113
1411.32/1411.88	c 1411s |      21 |  1729769 |  1121645 |    14042    173 |     1135 |      113
1413.32/1413.89	c 1413s |      21 |  1731173 |  1122745 |    14042    173 |     1135 |      113
1415.43/1415.93	c 1415s |      21 |  1732609 |  1123845 |    14042    174 |     1135 |      113
1417.63/1418.11	c 1418s |      21 |  1734053 |  1125045 |    14042    174 |     1135 |      113
1419.62/1420.16	c 1420s |      21 |  1735566 |  1126245 |    14042    174 |     1135 |      113
1421.82/1422.33	c 1422s |      21 |  1736898 |  1127345 |    14042    174 |     1135 |      113
1423.92/1424.41	c 1424s |      21 |  1738231 |  1128445 |    14042    174 |     1135 |      113
1425.92/1426.45	c 1426s |      21 |  1739451 |  1129445 |    14042    174 |     1135 |      113
1428.02/1428.59	c 1428s |      21 |  1740642 |  1130445 |    14042    174 |     1135 |      113
1430.12/1430.67	c 1430s |      21 |  1742210 |  1131445 |    14042    175 |     1135 |      113
1432.22/1432.72	c 1432s |      21 |  1746644 |  1133745 |    14042    175 |     1135 |      113
1434.23/1434.76	c 1434s |      21 |  1750254 |  1135945 |    14042    175 |     1135 |      113
1436.34/1436.81	c 1436s |      21 |  1752986 |  1137845 |    14042    175 |     1135 |      113
1438.43/1438.94	c 1438s |      21 |  1755493 |  1139445 |    14042    176 |     1135 |      113
1440.53/1441.03	c 1440s |      21 |  1757934 |  1141245 |    14042    176 |     1135 |      113
1442.63/1443.10	c 1442s |      21 |  1759913 |  1142745 |    14042    176 |     1135 |      113
1444.63/1445.16	c 1445s |      21 |  1762257 |  1144245 |    14042    176 |     1135 |      113
1446.63/1447.18	c 1447s |      21 |  1765690 |  1145945 |    14042    176 |     1136 |      113
1448.72/1449.23	c 1449s |      21 |  1768893 |  1147845 |    14042    177 |     1136 |      113
1450.72/1451.24	c 1451s |      21 |  1772397 |  1149845 |    14042    177 |     1136 |      113
1452.73/1453.30	c 1453s |      21 |  1774714 |  1151245 |    14042    177 |     1136 |      113
1454.93/1455.43	c 1455s |      21 |  1777273 |  1152845 |    14042    177 |     1136 |      113
1456.92/1457.47	c 1457s |      21 |  1780196 |  1154745 |    14042    178 |     1136 |      113
1459.02/1459.51	c 1459s |      21 |  1783406 |  1156845 |    14042    178 |     1136 |      113
1461.02/1461.55	c 1461s |      21 |  1786511 |  1158645 |    14042    178 |     1136 |      113
1463.02/1463.59	c 1463s |      21 |  1791414 |  1161145 |    14042    178 |     1136 |      113
1465.12/1465.61	c 1465s |      21 |  1796251 |  1163745 |    14042    179 |     1136 |      113
1467.13/1467.65	c 1467s |      21 |  1800120 |  1166045 |    14042    179 |     1136 |      113
1469.23/1469.71	c 1469s |      21 |  1802801 |  1167845 |    14042    179 |     1136 |      113
1471.22/1471.77	c 1471s |      21 |  1804855 |  1169345 |    14042    179 |     1136 |      113
1473.42/1473.91	c 1473s |      21 |  1806840 |  1170645 |    14042    179 |     1136 |      113
1475.52/1476.00	c 1475s |      21 |  1808718 |  1171745 |    14042    180 |     1136 |      113
1477.52/1478.06	c 1477s |      21 |  1810285 |  1172945 |    14042    180 |     1136 |      113
1479.62/1480.11	c 1480s |      21 |  1812871 |  1174545 |    14042    180 |     1136 |      113
1481.72/1482.24	c 1482s |      21 |  1815388 |  1176245 |    14042    180 |     1136 |      113
1483.82/1484.32	c 1484s |      21 |  1816919 |  1177545 |    14042    180 |     1136 |      113
1485.92/1486.45	c 1486s |      21 |  1818602 |  1178845 |    14042    180 |     1136 |      113
1488.02/1488.56	c 1488s |      21 |  1820468 |  1180345 |    14042    181 |     1136 |      113
1490.12/1490.62	c 1490s |      21 |  1822251 |  1181745 |    14042    181 |     1136 |      113
1492.12/1492.65	c 1492s |      21 |  1823755 |  1183045 |    14042    181 |     1136 |      113
1494.11/1494.69	c 1494s |      21 |  1825239 |  1184245 |    14042    181 |     1136 |      113
1496.31/1496.81	c 1496s |      21 |  1826647 |  1185445 |    14042    181 |     1136 |      113
1498.41/1498.90	c 1498s |      21 |  1827989 |  1186545 |    14042    181 |     1136 |      113
1500.41/1500.97	c 1500s |      21 |  1830444 |  1188145 |    14042    182 |     1136 |      113
1502.61/1503.11	c 1503s |      21 |  1832575 |  1189745 |    14042    182 |     1136 |      113
1504.61/1505.13	c 1505s |      21 |  1835019 |  1191445 |    14042    182 |     1136 |      113
1506.62/1507.20	c 1507s |      21 |  1836788 |  1192845 |    14042    182 |     1136 |      113
1508.71/1509.26	c 1509s |      21 |  1838550 |  1194145 |    14042    182 |     1136 |      113
1511.02/1511.57	c 1511s |      21 |  1839950 |  1195345 |    14042    183 |     1136 |      113
1513.01/1513.59	c 1513s |      21 |  1841987 |  1196845 |    14042    183 |     1136 |      113
1515.11/1515.63	c 1515s |      21 |  1844942 |  1198345 |    14042    183 |     1136 |      113
1517.11/1517.68	c 1517s |      21 |  1851087 |  1201145 |    14042    183 |     1136 |      113
1519.21/1519.73	c 1519s |      21 |  1855373 |  1203445 |    14042    184 |     1136 |      113
1521.21/1521.76	c 1521s |      21 |  1859025 |  1205545 |    14042    184 |     1136 |      113
1523.31/1523.88	c 1523s |      21 |  1861412 |  1207245 |    14042    184 |     1136 |      113
1525.42/1525.94	c 1525s |      21 |  1863933 |  1208845 |    14042    184 |     1136 |      113
1527.41/1527.96	c 1527s |      21 |  1866155 |  1210345 |    14042    184 |     1136 |      113
1529.51/1530.03	c 1529s |      21 |  1869609 |  1212145 |    14042    185 |     1136 |      113
1531.51/1532.08	c 1531s |      21 |  1873586 |  1214345 |    14042    185 |     1136 |      113
1533.61/1534.12	c 1534s |      21 |  1876628 |  1216245 |    14042    185 |     1136 |      113
1535.60/1536.16	c 1536s |      21 |  1878702 |  1217745 |    14042    185 |     1136 |      113
1537.70/1538.25	c 1538s |      21 |  1881031 |  1219245 |    14042    185 |     1136 |      113
1539.71/1540.25	c 1540s |      21 |  1882568 |  1220345 |    14042    186 |     1136 |      113
1541.81/1542.40	c 1542s |      21 |  1885630 |  1222345 |    14042    186 |     1136 |      113
1543.91/1544.49	c 1544s |      21 |  1889494 |  1224345 |    14042    186 |     1136 |      113
1546.01/1546.52	c 1546s |      21 |  1893302 |  1226445 |    14042    186 |     1136 |      113
1548.01/1548.57	c 1548s |      21 |  1897385 |  1228645 |    14042    187 |     1136 |      113
1550.11/1550.60	c 1550s |      21 |  1900836 |  1230845 |    14042    187 |     1136 |      113
1552.11/1552.62	c 1552s |      21 |  1905369 |  1233145 |    14042    187 |     1136 |      113
1554.11/1554.62	c 1554s |      21 |  1909213 |  1235145 |    14042    187 |     1136 |      113
1556.11/1556.66	c 1556s |      21 |  1912262 |  1236745 |    14042    188 |     1136 |      113
1558.21/1558.74	c 1558s |      21 |  1915063 |  1238445 |    14042    188 |     1136 |      113
1560.31/1560.83	c 1560s |      21 |  1919938 |  1240845 |    14042    188 |     1136 |      113
1562.41/1562.98	c 1562s |      21 |  1922593 |  1242545 |    14042    188 |     1136 |      113
1564.51/1565.08	c 1564s |      21 |  1924864 |  1244045 |    14042    188 |     1136 |      113
1566.50/1567.08	c 1566s |      21 |  1927021 |  1245445 |    14042    189 |     1136 |      113
1568.60/1569.12	c 1569s |      21 |  1929987 |  1247245 |    14042    189 |     1136 |      113
1570.60/1571.14	c 1571s |      21 |  1932961 |  1248945 |    14042    189 |     1136 |      113
1572.71/1573.25	c 1573s |      21 |  1935487 |  1250545 |    14042    189 |     1136 |      113
1574.81/1575.31	c 1575s |      21 |  1937704 |  1251945 |    14042    190 |     1136 |      113
1576.80/1577.38	c 1577s |      21 |  1941845 |  1254145 |    14042    190 |     1136 |      113
1579.00/1579.52	c 1579s |      21 |  1944530 |  1255845 |    14042    190 |     1136 |      113
1581.10/1581.64	c 1581s |      21 |  1947611 |  1257545 |    14042    190 |     1136 |      113
1583.10/1583.68	c 1583s |      21 |  1950190 |  1259145 |    14042    190 |     1136 |      113
1585.20/1585.71	c 1585s |      21 |  1952603 |  1260745 |    14042    191 |     1136 |      113
1587.30/1587.80	c 1587s |      21 |  1955499 |  1262645 |    14042    191 |     1136 |      113
1589.30/1589.83	c 1589s |      21 |  1957879 |  1264245 |    14042    191 |     1136 |      113
1591.31/1591.88	c 1591s |      21 |  1961215 |  1266045 |    14042    191 |     1136 |      113
1593.40/1593.99	c 1593s |      21 |  1965428 |  1268145 |    14042    192 |     1136 |      113
1595.50/1596.02	c 1595s |      21 |  1969897 |  1270345 |    14042    192 |     1136 |      113
1597.50/1598.05	c 1597s |      21 |  1973082 |  1272245 |    14042    192 |     1136 |      113
1599.60/1600.10	c 1600s |      21 |  1975910 |  1274045 |    14042    192 |     1136 |      113
1601.70/1602.22	c 1602s |      21 |  1978744 |  1275845 |    14042    192 |     1136 |      113
1603.70/1604.29	c 1604s |      21 |  1982009 |  1278045 |    14042    193 |     1136 |      113
1605.80/1606.30	c 1606s |      21 |  1986465 |  1280445 |    14042    193 |     1136 |      113
1607.91/1608.42	c 1608s |      21 |  1989358 |  1282445 |    14042    193 |     1136 |      113
1609.90/1610.50	c 1610s |      21 |  1991696 |  1284145 |    14042    194 |     1136 |      113
1612.10/1612.60	c 1612s |      21 |  1994581 |  1286145 |    14042    194 |     1136 |      113
1614.09/1614.69	c 1614s |      21 |  1997271 |  1288045 |    14042    194 |     1136 |      113
1616.29/1616.83	c 1616s |      21 |  1999492 |  1289745 |    14042    194 |     1136 |      113
1618.39/1618.91	c 1618s |      21 |  2001774 |  1291345 |    14042    194 |     1136 |      113
1620.39/1620.91	c 1620s |      21 |  2004619 |  1293145 |    14042    195 |     1136 |      113
1622.39/1622.93	c 1622s |      21 |  2008409 |  1295345 |    14042    195 |     1136 |      113
1624.40/1624.94	c 1624s |      21 |  2011255 |  1297145 |    14042    195 |     1136 |      113
1626.51/1627.03	c 1626s |      21 |  2014460 |  1299145 |    14042    195 |     1136 |      113
1628.50/1629.07	c 1628s |      21 |  2017204 |  1300845 |    14042    196 |     1136 |      113
1630.50/1631.07	c 1630s |      21 |  2019257 |  1302345 |    14042    196 |     1136 |      113
1632.60/1633.17	c 1633s |      21 |  2022163 |  1304245 |    14042    196 |     1136 |      113
1634.70/1635.23	c 1635s |      21 |  2026486 |  1306645 |    14042    196 |     1136 |      113
1636.70/1637.28	c 1637s |      21 |  2029797 |  1308745 |    14042    197 |     1136 |      113
1638.70/1639.28	c 1639s |      21 |  2033372 |  1310945 |    14042    197 |     1136 |      113
1640.80/1641.31	c 1641s |      21 |  2037758 |  1313245 |    14042    197 |     1136 |      113
1642.79/1643.39	c 1643s |      21 |  2040428 |  1315045 |    14042    197 |     1136 |      113
1644.89/1645.40	c 1645s |      21 |  2044585 |  1317145 |    14042    198 |     1136 |      113
1646.89/1647.44	c 1647s |      21 |  2048060 |  1319045 |    14042    198 |     1136 |      113
1648.99/1649.51	c 1649s |      21 |  2052109 |  1321545 |    14042    198 |     1136 |      113
1650.99/1651.54	c 1651s |      21 |  2055575 |  1323645 |    14042    198 |     1136 |      113
1653.09/1653.60	c 1653s |      21 |  2058339 |  1325445 |    14042    199 |     1136 |      113
1655.09/1655.61	c 1655s |      21 |  2060822 |  1327245 |    14042    199 |     1136 |      113
1657.09/1657.64	c 1657s |      21 |  2063642 |  1329045 |    14042    199 |     1136 |      113
1659.19/1659.71	c 1659s |      21 |  2066173 |  1330745 |    14042    199 |     1136 |      113
1661.29/1661.83	c 1661s |      21 |  2068890 |  1332545 |    14042    200 |     1136 |      113
1663.39/1663.96	c 1663s |      21 |  2071268 |  1334145 |    14042    200 |     1136 |      113
1665.49/1666.08	c 1665s |      21 |  2073826 |  1335745 |    14042    200 |     1136 |      113
1667.59/1668.10	c 1667s |      21 |  2077453 |  1337845 |    14042    200 |     1136 |      113
1669.59/1670.12	c 1670s |      21 |  2080497 |  1339645 |    14042    201 |     1136 |      113
1671.60/1672.19	c 1672s |      21 |  2083399 |  1341745 |    14042    201 |     1136 |      113
1673.69/1674.24	c 1674s |      21 |  2085932 |  1343445 |    14042    201 |     1136 |      113
1675.69/1676.27	c 1676s |      21 |  2089894 |  1345545 |    14042    201 |     1136 |      113
1677.79/1678.39	c 1678s |      21 |  2093643 |  1347745 |    14042    201 |     1136 |      113
1679.89/1680.45	c 1680s |      21 |  2096852 |  1349945 |    14042    202 |     1136 |      113
1681.99/1682.50	c 1682s |      21 |  2100587 |  1352245 |    14042    202 |     1136 |      113
1683.99/1684.51	c 1684s |      21 |  2103331 |  1354145 |    14042    202 |     1136 |      113
1685.99/1686.53	c 1686s |      21 |  2106272 |  1355945 |    14042    203 |     1136 |      113
1687.98/1688.54	c 1688s |      21 |  2110452 |  1358345 |    14042    203 |     1136 |      113
1689.98/1690.58	c 1690s |      21 |  2114017 |  1360545 |    14042    203 |     1136 |      113
1692.08/1692.66	c 1692s |      21 |  2117074 |  1362645 |    14042    203 |     1136 |      113
1694.08/1694.69	c 1694s |      21 |  2119309 |  1364245 |    14042    204 |     1136 |      113
1696.19/1696.73	c 1696s |      21 |  2122561 |  1366245 |    14042    204 |     1136 |      113
1698.29/1698.86	c 1698s |      21 |  2125632 |  1368145 |    14042    204 |     1136 |      113
1700.29/1700.88	c 1700s |      21 |  2127447 |  1369545 |    14042    204 |     1136 |      113
1702.39/1702.99	c 1702s |      21 |  2129476 |  1371045 |    14042    204 |     1136 |      113
1704.48/1705.00	c 1704s |      21 |  2131680 |  1372545 |    14042    205 |     1136 |      113
1706.48/1707.07	c 1706s |      21 |  2133890 |  1374145 |    14042    205 |     1136 |      113
1708.58/1709.13	c 1709s |      21 |  2136247 |  1375845 |    14042    205 |     1136 |      113
1710.58/1711.19	c 1711s |      21 |  2138167 |  1377245 |    14042    205 |     1136 |      113
1712.68/1713.22	c 1713s |      21 |  2140113 |  1378645 |    14042    205 |     1136 |      113
1714.78/1715.37	c 1715s |      21 |  2142154 |  1380045 |    14042    206 |     1136 |      113
1716.88/1717.42	c 1717s |      21 |  2144741 |  1381745 |    14042    206 |     1136 |      113
1718.88/1719.50	c 1719s |      21 |  2147008 |  1383445 |    14042    206 |     1136 |      113
1721.09/1721.62	c 1721s |      21 |  2149500 |  1385045 |    14042    206 |     1136 |      113
1723.08/1723.68	c 1723s |      21 |  2151588 |  1386545 |    14042    206 |     1136 |      113
1725.08/1725.69	c 1725s |      21 |  2153559 |  1387945 |    14042    206 |     1136 |      113
1727.18/1727.77	c 1727s |      21 |  2155240 |  1389245 |    14042    207 |     1136 |      113
1729.28/1729.88	c 1729s |      21 |  2157087 |  1390645 |    14042    207 |     1136 |      113
1731.28/1731.89	c 1731s |      21 |  2159125 |  1392045 |    14042    207 |     1136 |      113
1733.38/1733.90	c 1733s |      21 |  2162080 |  1393745 |    14042    207 |     1136 |      113
1735.49/1736.01	c 1735s |      21 |  2164379 |  1395245 |    14042    207 |     1136 |      113
1737.48/1738.06	c 1737s |      21 |  2166169 |  1396445 |    14042    208 |     1136 |      113
1739.58/1740.12	c 1740s |      21 |  2168832 |  1398145 |    14042    208 |     1136 |      113
1741.58/1742.13	c 1742s |      21 |  2171641 |  1399845 |    14042    208 |     1136 |      113
1743.68/1744.23	c 1744s |      21 |  2174658 |  1401645 |    14042    208 |     1136 |      113
1745.68/1746.26	c 1746s |      21 |  2177784 |  1403345 |    14042    208 |     1136 |      113
1747.78/1748.30	c 1748s |      21 |  2180876 |  1404945 |    14042    209 |     1136 |      113
1749.79/1750.39	c 1750s |      21 |  2184327 |  1406945 |    14042    209 |     1136 |      113
1751.89/1752.43	c 1752s |      21 |  2187152 |  1408745 |    14042    209 |     1136 |      113
1753.88/1754.43	c 1754s |      21 |  2189426 |  1410345 |    14042    209 |     1136 |      113
1755.88/1756.47	c 1756s |      21 |  2192954 |  1412145 |    14042    209 |     1136 |      113
1757.98/1758.54	c 1758s |      21 |  2196084 |  1413845 |    14042    210 |     1136 |      113
1760.08/1760.61	c 1760s |      21 |  2199421 |  1415545 |    14042    210 |     1136 |      113
1762.08/1762.67	c 1762s |      21 |  2202531 |  1417245 |    14042    210 |     1136 |      113
1764.18/1764.72	c 1764s |      21 |  2205692 |  1419045 |    14042    210 |     1136 |      113
1766.18/1766.75	c 1766s |      21 |  2208913 |  1420645 |    14042    211 |     1136 |      113
1768.28/1768.85	c 1768s |      21 |  2211894 |  1422345 |    14042    211 |     1136 |      113
1770.27/1770.86	c 1770s |      21 |  2214391 |  1424045 |    14042    211 |     1136 |      113
1772.27/1772.89	c 1772s |      21 |  2217163 |  1425845 |    14042    211 |     1136 |      113
1774.37/1774.97	c 1774s |      21 |  2219753 |  1427545 |    14042    211 |     1136 |      113
1776.37/1776.98	c 1776s |      21 |  2222126 |  1429045 |    14042    212 |     1136 |      113
1778.38/1778.99	c 1778s |      21 |  2225069 |  1431045 |    14042    212 |     1136 |      113
1780.48/1781.04	c 1780s |      21 |  2227414 |  1432745 |    14042    212 |     1136 |      113
1782.57/1783.14	c 1783s |      21 |  2230177 |  1434645 |    14042    212 |     1136 |      113
1784.57/1785.15	c 1785s |      21 |  2232322 |  1436045 |    14042    212 |     1136 |      113
1786.67/1787.23	c 1787s |      21 |  2235406 |  1437945 |    14042    213 |     1136 |      113
1788.67/1789.23	c 1789s |      21 |  2237440 |  1439445 |    14042    213 |     1136 |      113
1790.67/1791.27	c 1791s |      21 |  2239502 |  1440945 |    14042    213 |     1136 |      113
1792.77/1793.31	c 1793s |      21 |  2241266 |  1442245 |    14042    213 |     1136 |      113
1794.78/1795.33	c 1795s |      21 |  2243654 |  1443845 |    14042    213 |     1136 |      113
1796.87/1797.44	c 1797s |      21 |  2246135 |  1445345 |    14042    214 |     1136 |      113
1798.87/1799.46	c 1799s |      21 |  2248332 |  1446845 |    14042    214 |     1136 |      113

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-4080013-1465278837/watcher-4080013-1465278837 -o /tmp/evaluation-result-4080013-1465278837/solver-4080013-1465278837 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080013-1465278837.opb 

pid=16226
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.10 2.10 2.09 3/179 16229
/proc/meminfo: memFree=30497592/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=605628 CPUtime=0 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 2235 0 0 0 0 0 0 0 20 0 4 0 109817161 620163072 2596 33554432000 4194304 16246674 140735664613712 140735664613136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16229/statm: 151663 2603 441 2943 0 148557 0
[pid=16229/tid=16230] ppid=16226 vsize=622012 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 636940288 2661 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=626108 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 641134592 2678 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=630204 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109817162 645328896 2694 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100129 s]
/proc/loadavg: 2.10 2.10 2.09 3/179 16229
/proc/meminfo: memFree=30497592/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 19566 0 0 0 7 2 0 0 20 0 4 0 109817161 1249447936 19865 33554432000 4194304 16246674 140735664613712 140735664595584 6972735 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16229/statm: 305041 19865 837 2943 0 301935 0
[pid=16229/tid=16230] ppid=16226 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1249447936 19865 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1249447936 19865 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109817162 1249447936 19865 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200428 s]
/proc/loadavg: 2.10 2.10 2.09 3/179 16229
/proc/meminfo: memFree=30497592/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1220164 CPUtime=0.19 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 38173 0 0 0 14 5 0 0 20 0 4 0 109817161 1249447936 38472 33554432000 4194304 16246674 140735664613712 140735664595584 5662075 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16229/statm: 305041 38478 885 2943 0 301935 0
[pid=16229/tid=16230] ppid=16226 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1249447936 38481 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1249447936 38485 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109817162 1249447936 38489 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300428 s]
/proc/loadavg: 2.10 2.10 2.09 3/179 16229
/proc/meminfo: memFree=30497592/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1220164 CPUtime=0.29 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 60145 0 0 0 20 9 0 0 20 0 4 0 109817161 1249447936 60444 33554432000 4194304 16246674 140735664613712 140735664595584 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16229/statm: 305041 60459 885 2943 0 301935 0
[pid=16229/tid=16230] ppid=16226 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1249447936 60469 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1249447936 60479 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109817162 1249447936 60490 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700392 s]
/proc/loadavg: 2.10 2.10 2.09 3/179 16229
/proc/meminfo: memFree=30497592/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1220164 CPUtime=0.68 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 142686 0 0 0 47 21 0 0 20 0 4 0 109817161 1249447936 142986 33554432000 4194304 16246674 140735664613712 140735664595584 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 305041 142998 885 2943 0 301935 0
[pid=16229/tid=16230] ppid=16226 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1249447936 143003 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1249447936 143008 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109817162 1249447936 143012 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1220164

[startup+1.50042 s]
/proc/loadavg: 2.10 2.10 2.09 3/183 16233
/proc/meminfo: memFree=29555460/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1301060 CPUtime=1.48 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 266393 0 0 0 111 37 0 0 20 0 4 0 109817161 1332285440 266692 33554432000 4194304 16246674 140735664613712 140735664612928 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 325265 266692 888 2943 0 322159 0
[pid=16229/tid=16230] ppid=16226 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1332285440 266692 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1332285440 266692 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1332285440 266692 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.10 2.10 2.09 3/183 16233
/proc/meminfo: memFree=29426004/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 267990 0 0 0 271 38 0 0 20 0 4 0 109817161 1338576896 268289 33554432000 4194304 16246674 140735664613712 140735664595584 5861864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 326801 268289 892 2943 0 323695 0
[pid=16229/tid=16230] ppid=16226 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1338576896 268289 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1338576896 268289 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1338576896 268289 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.09 2.10 2.09 3/183 16233
/proc/meminfo: memFree=29425552/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 268045 0 0 0 591 38 0 0 20 0 4 0 109817161 1339625472 268344 33554432000 4194304 16246674 140735664613712 140735664596712 5667184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 327057 268344 894 2943 0 323951 0
[pid=16229/tid=16230] ppid=16226 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1339625472 268344 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1339625472 268344 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1339625472 268344 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.08 2.09 2.09 3/183 16233
/proc/meminfo: memFree=29424524/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 268249 0 0 0 1231 38 0 0 20 0 4 0 109817161 1339625472 268548 33554432000 4194304 16246674 140735664613712 140735664595584 6075120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 327057 268548 895 2943 0 323951 0
[pid=16229/tid=16230] ppid=16226 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1339625472 268548 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1339625472 268548 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1339625472 268548 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5073 s]
/proc/loadavg: 2.07 2.09 2.08 3/183 16233
/proc/meminfo: memFree=29423220/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1309252 CPUtime=25.49 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 268254 0 0 0 2511 38 0 0 20 0 4 0 109817161 1340674048 268553 33554432000 4194304 16246674 140735664613712 140735664595584 5829309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 327313 268553 895 2943 0 324207 0
[pid=16229/tid=16230] ppid=16226 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1340674048 268553 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1340674048 268553 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1340674048 268553 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1004 s]
/proc/loadavg: 2.12 2.10 2.09 3/183 16233
/proc/meminfo: memFree=29422448/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1309252 CPUtime=51.08 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 268505 0 0 0 5069 39 0 0 20 0 4 0 109817161 1340674048 268804 33554432000 4194304 16246674 140735664613712 140735664595584 5829309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 327313 268804 895 2943 0 324207 0
[pid=16229/tid=16230] ppid=16226 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1340674048 268804 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1340674048 268804 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1340674048 268804 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.12 2.09 2.09 3/183 16234
/proc/meminfo: memFree=29419888/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1311300 CPUtime=102.27 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 269017 0 0 0 10187 40 0 0 20 0 4 0 109817161 1342771200 269316 33554432000 4194304 16246674 140735664613712 140735664595584 13808416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 327825 269316 895 2943 0 324719 0
[pid=16229/tid=16230] ppid=16226 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1342771200 269316 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1342771200 269316 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1342771200 269316 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1311300


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

/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1354305536 272136 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1322564

[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.06 3/183 16288
/proc/meminfo: memFree=29399348/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1322564 CPUtime=1361.84 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 272279 0 0 0 136105 79 0 0 20 0 4 0 109817161 1354305536 272136 33554432000 4194304 16246674 140735664613712 140735664595584 5708107 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 330641 272136 896 2943 0 327535 0
[pid=16229/tid=16230] ppid=16226 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1354305536 272136 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1354305536 272136 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1354305536 272136 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1322564

[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.06 3/183 16290
/proc/meminfo: memFree=29399476/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1322564 CPUtime=1421.82 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 272290 0 0 0 142102 80 0 0 20 0 4 0 109817161 1354305536 272136 33554432000 4194304 16246674 140735664613712 140735664595584 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 330641 272136 896 2943 0 327535 0
[pid=16229/tid=16230] ppid=16226 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1354305536 272136 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1354305536 272136 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1354305536 272136 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1322564

[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.06 3/183 16291
/proc/meminfo: memFree=29399596/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1322564 CPUtime=1481.82 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 272290 0 0 0 148101 81 0 0 20 0 4 0 109817161 1354305536 272136 33554432000 4194304 16246674 140735664613712 140735664595584 12466709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 330641 272136 896 2943 0 327535 0
[pid=16229/tid=16230] ppid=16226 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1354305536 272136 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1354305536 272136 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1354305536 272136 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1322564

[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 16292
/proc/meminfo: memFree=29399220/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1322564 CPUtime=1541.81 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 272290 0 0 0 154099 82 0 0 20 0 4 0 109817161 1354305536 272136 33554432000 4194304 16246674 140735664613712 140735664595584 12483590 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 330641 272136 896 2943 0 327535 0
[pid=16229/tid=16230] ppid=16226 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1354305536 272136 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1354305536 272136 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1354305536 272136 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1322564

[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/184 16344
/proc/meminfo: memFree=29426788/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1324612 CPUtime=1601.8 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 272802 0 0 0 160095 85 0 0 20 0 4 0 109817161 1356402688 272648 33554432000 4194304 16246674 140735664613712 140735664595584 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 331153 272648 896 2943 0 328047 0
[pid=16229/tid=16230] ppid=16226 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1356402688 272648 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1356402688 272648 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1356402688 272648 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1324612

[startup+1662.31 s]
/proc/loadavg: 2.06 2.04 2.05 3/183 16345
/proc/meminfo: memFree=29426392/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1324612 CPUtime=1661.79 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 272802 0 0 0 166093 86 0 0 20 0 4 0 109817161 1356402688 272648 33554432000 4194304 16246674 140735664613712 140735664595584 6022377 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 331153 272648 896 2943 0 328047 0
[pid=16229/tid=16230] ppid=16226 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1356402688 272648 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1356402688 272648 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1356402688 272648 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1324612

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.04 3/183 16347
/proc/meminfo: memFree=29426268/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1324612 CPUtime=1721.79 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 272803 0 0 0 172090 89 0 0 20 0 4 0 109817161 1356402688 272649 33554432000 4194304 16246674 140735664613712 140735664595584 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 331153 272649 897 2943 0 328047 0
[pid=16229/tid=16230] ppid=16226 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1356402688 272649 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1356402688 272649 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1356402688 272649 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1324612

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/183 16348
/proc/meminfo: memFree=29417716/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1332804 CPUtime=1781.77 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 274851 0 0 0 178087 90 0 0 20 0 4 0 109817161 1364791296 274697 33554432000 4194304 16246674 140735664613712 140735664595584 5722827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 333201 274697 897 2943 0 330095 0
[pid=16229/tid=16230] ppid=16226 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1364791296 274697 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1364791296 274697 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1364791296 274697 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1332804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.04 2.04 3/183 16349
/proc/meminfo: memFree=29417704/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1332804 CPUtime=1800.07 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 274851 0 0 0 179916 91 0 0 20 0 4 0 109817161 1364791296 274697 33554432000 4194304 16246674 140735664613712 140735664596712 12477807 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 333201 274697 897 2943 0 330095 0
[pid=16229/tid=16230] ppid=16226 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1364791296 274697 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1364791296 274697 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1364791296 274697 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1332804

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

[startup+1800.6 s]
/proc/loadavg: 2.08 2.04 2.04 3/183 16349
/proc/meminfo: memFree=29417704/32872528 swapFree=11196/354588
[pid=16229] ppid=16226 vsize=1332804 CPUtime=1800.07 cores=0,2,4,6
/proc/16229/stat : 16229 (toysat) R 16226 16229 12837 0 -1 4202496 274851 0 0 0 179916 91 0 0 20 0 4 0 109817161 1364791296 274697 33554432000 4194304 16246674 140735664613712 140735664596712 12477807 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16229/statm: 333201 274697 897 2943 0 330095 0
[pid=16229/tid=16230] ppid=16226 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16230/stat : 16230 (toysat) S 16226 16229 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109817162 1364791296 274697 33554432000 4194304 16246674 140735664613712 140144860441840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16229/tid=16231] ppid=16226 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16231/stat : 16231 (toysat) S 16226 16229 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109817162 1364791296 274697 33554432000 4194304 16246674 140735664613712 140144849951984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16229/tid=16232] ppid=16226 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/16229/task/16232/stat : 16232 (toysat) S 16226 16229 12837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 109817162 1364791296 274697 33554432000 4194304 16246674 140735664613712 140144839478448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1332804

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.17
CPU system time (s): 0.910861
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.910861
maximum resident set size= 1098788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274851
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= 472
involuntary context switches= 1866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65629 second user time and 6.86596 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 07:53:57
IDJOB=4080013
IDBENCH=89875
IDSOLVER=2542
FILE ID=node126/4080013-1465278837
RUNJOBID= node126-1465253620-12853
PBS_JOBID= 19843265
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894788.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080013-1465278837/watcher-4080013-1465278837 -o /tmp/evaluation-result-4080013-1465278837/solver-4080013-1465278837 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080013-1465278837.opb

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

MD5SUM BENCH= ca3efe2da0610ce6a80a42a3887418e6
RANDOM SEED=1011291669

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30497856 kB
Buffers:           38032 kB
Cached:           127564 kB
SwapCached:         2168 kB
Active:          1195160 kB
Inactive:          96300 kB
Active(anon):    1123680 kB
Inactive(anon):     4052 kB
Active(file):      71480 kB
Inactive(file):    92248 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       1454512 kB
Mapped:            10844 kB
Shmem:                 0 kB
Slab:             596544 kB
SReclaimable:      40560 kB
SUnreclaim:       555984 kB
KernelStack:        1520 kB
PageTables:         7124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1623212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    321536 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 node126 at 2016-06-07 08:23:58