0.00/0.00	c 2016-06-16T14:35:48+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--wbo","--search=bcd2","HOME/instance-4093310-1466080548.wbo"]
0.00/0.01	c use --random-gen="1271656494 1065289794 3265522248 885044649 3774656149 488977647 2198386917 2088582371 3425946429 2366449030 1788199678 4135555274 940614424 960578975 771037091 926663362 3300340039 2693417597 4168995673 3088271088 3281114713 3574781029 1599138739 1132321426 1373525079 3318541048 2632901081 1472534752 3159238425 2381426094 1294441070 2814147733 3836702776 1776197269 278467916 689582481 3222030582 4062771671 3072549184 2530016093 1956892173 1518138358 4285833444 2944841093 2228611147 2833564683 1934622974 3150620675 2093136691 3184448632 1056575339 1276497602 1969852499 1697495143 3053311332 3298655989 121934057 1147043454 3327101144 2260130964 510583242 75613713 1096603598 172189494 1794649969 2361587521 2753014732 69323840 259549473 1858222171 4107227589 1149231528 2585455531 350911397 2091149650 3989768888 2202763798 1981180086 3179311962 1486313452 1638987135 3968496403 2377911761 1075264863 620120179 3184308109 1651319552 4278327984 474017469 1683154863 1427276669 861444400 253369306 3014922926 967649346 807397018 2813531911 256056117 2731589797 3298585514 2932075857 4085132762 2930599808 171200105 3698369017 553866127 3822135076 1615288419 122334891 2021357174 97653492 1849237553 4249028938 407808941 3319680600 485050934 2632974042 1468582187 3740439508 724093994 225619200 381249241 1589744126 1601926988 1860114105 2130161214 1492212866 3455377491 2555019789 3521041716 1489494568 463167264 1994102370 3751770715 1162344597 284043516 2751360224 2248863507 1962200186 1080424626 2163411814 2228958883 2516443679 1732903472 491915460 3602239019 1398416027 2929414732 3684862374 376512576 398790670 2357058437 4151780025 310286148 2578003087 3958933495 1061748379 3127431301 2413145261 2480947161 1832430330 4117770074 3597228587 3589099869 2469468829 1608555447 6926021 4163142823 249265513 4202825086 3819405932 2397389656 1090910018 1128220876 422355556 3114578819 1609203276 1480225407 1221674857 3382906488 147247284 2179339297 1666948355 3881673005 3841896309 2100726242 630115065 357251646 1895458301 3203150324 2691244420 2862130025 2622100862 3561233277 4249332706 2703359211 1163969068 1719392450 2498477019 2199228769 715715344 2399294682 775862730 2213659204 1707103465 65102304 2610607163 2622235145 3840988217 3293833789 2284792602 3251635539 1774862879 443735010 3940722727 1805094086 3313239868 3215485917 2777140448 1053061065 3087368404 3583243913 513689692 846284135 4182245236 1359779871 1672618459 3614252487 3642417167 585211365 3188254390 241693900 526988541 3113652664 2215095857 2988022325 2931442736 125893706 2315498850 2146313809 3149980276 726385053 3958042068 1385822458 4055683076 3820876453 2371514193 4134157459 851220377 4180301403 2775711359 2411843966 4230201805 792970354 1462482384 4021164416 255 362436" option to reproduce the execution
0.00/0.04	c #vars 840
0.00/0.04	c #constraints 82
0.00/0.05	c BCD2: Hardening is enabled.
0.00/0.05	c BCD2: BiasedSearch is enabled.
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      325      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      192 |      100 |      325      0 |        0 |        0
0.00/0.07	c  0.0s |       1 |      809 |      101 |      358      0 |        0 |        0
0.00/0.07	c #cpu_time = 0.024s
0.00/0.07	c #wall_clock_time = 0.024s
0.00/0.07	c #decision = 809
0.00/0.07	c #random_decision = 1
0.00/0.07	c #conflict = 101
0.00/0.07	c #restart = 1
0.00/0.07	o 1167
0.00/0.07	c BCD2: updating upper bound: 2273 -> 1166
0.00/0.07	c BCD2: 0 <= obj <= 1166
0.00/0.07	c BCD2: #cores=0, #unrelaxed=55, #relaxed=0, #hardened=0
0.00/0.07	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |      358      0 |        0 |        0
0.09/0.10	c  0.0s |       1 |      302 |      100 |      358      0 |        0 |        0
0.09/0.16	c  0.1s |       2 |      897 |      250 |      394      0 |        0 |        0
0.19/0.26	c  0.2s |       3 |     1824 |      475 |      434      0 |        0 |        0
0.39/0.41	c  0.3s |       4 |     2757 |      813 |      478      1 |        0 |        0
0.59/0.67	c  0.6s |       5 |     4144 |     1320 |      526      2 |        0 |        0
0.99/1.03	c  1.0s |       6 |     5337 |     2081 |      579      4 |        0 |        0
1.39/1.49	c  1.4s |       7 |     6930 |     3223 |      637      6 |        0 |        0
2.39/2.42	c  2.4s |       8 |     9496 |     4936 |      701     10 |        0 |        0
3.59/3.67	c  3.6s |       9 |    12739 |     7506 |      772     14 |        0 |        0
5.59/5.65	c  5.6s |      10 |    17507 |    11361 |      850     21 |        0 |        0
7.59/7.69	c  7.6s |      10 |    22566 |    15061 |      850     27 |        0 |        0
8.99/9.05	c  9.0s |      11 |    24946 |    17144 |      936     30 |        0 |        0
10.99/11.06	c 11.0s |      11 |    37426 |    19844 |      936     35 |        0 |        0
12.98/13.07	c 13.0s |      11 |    42661 |    22944 |      936     40 |        0 |        0
14.68/14.75	c 14.7s |      12 |    45908 |    25819 |     1030     45 |        0 |        0
16.68/16.76	c 16.7s |      12 |    50146 |    29319 |     1030     50 |        0 |        0
18.70/18.76	c 18.7s |      12 |    53897 |    32619 |     1030     55 |        0 |        0
20.69/20.78	c 20.7s |      12 |    62299 |    35719 |     1030     60 |        0 |        0
22.79/22.85	c 22.8s |      12 |    66179 |    38319 |     1030     64 |        0 |        0
23.20/23.28	c 23.2s |      13 |    66847 |    38832 |     1133     64 |        0 |        0
25.30/25.32	c 25.3s |      13 |    73770 |    41732 |     1133     69 |        0 |        0
27.29/27.33	c 27.3s |      13 |    77423 |    44632 |     1133     73 |        0 |        0
29.29/29.36	c 29.3s |      13 |    81092 |    47632 |     1133     77 |        0 |        0
31.29/31.38	c 31.3s |      13 |    84761 |    50732 |     1133     81 |        0 |        0
33.39/33.41	c 33.3s |      13 |    88578 |    53932 |     1133     86 |        0 |        0
35.39/35.42	c 35.3s |      13 |    91898 |    56832 |     1133     90 |        0 |        0
36.30/36.38	c 36.3s |      14 |    93677 |    58352 |     1247     92 |        0 |        0
38.39/38.40	c 38.3s |      14 |    98177 |    61452 |     1247     96 |        0 |        0
40.39/40.43	c 40.4s |      14 |   104748 |    64652 |     1247    100 |        0 |        0
42.49/42.51	c 42.4s |      14 |   110636 |    66752 |     1247    103 |        0 |        0
44.49/44.54	c 44.5s |      14 |   113166 |    68552 |     1247    105 |        0 |        0
46.48/46.56	c 46.5s |      14 |   115293 |    70452 |     1247    108 |        0 |        0
48.49/48.58	c 48.5s |      14 |   117698 |    72452 |     1247    111 |        0 |        0
50.59/50.65	c 50.6s |      14 |   120051 |    74452 |     1247    114 |        0 |        0
52.58/52.68	c 52.6s |      14 |   122502 |    76452 |     1247    116 |        0 |        0
54.68/54.74	c 54.7s |      14 |   124707 |    78352 |     1247    119 |        0 |        0
56.68/56.77	c 56.7s |      14 |   127009 |    80252 |     1247    122 |        0 |        0
58.78/58.80	c 58.7s |      14 |   129374 |    82252 |     1247    124 |        0 |        0
60.78/60.82	c 60.7s |      14 |   131465 |    84052 |     1247    127 |        0 |        0
62.88/62.90	c 62.8s |      14 |   133798 |    85752 |     1247    129 |        0 |        0
64.89/64.93	c 64.9s |      14 |   135882 |    87552 |     1372    132 |        0 |        0
64.99/65.02	c 64.9s |      15 |   136164 |    87632 |     1372    132 |        0 |        0
66.98/67.03	c 67.0s |      15 |   138528 |    89132 |     1372    134 |        0 |        0
69.08/69.11	c 69.0s |      15 |   140726 |    90932 |     1372    136 |        0 |        0
71.08/71.14	c 71.1s |      15 |   142854 |    92632 |     1372    138 |        0 |        0
73.08/73.17	c 73.1s |      15 |   145083 |    94432 |     1372    140 |        0 |        0
75.18/75.20	c 75.1s |      15 |   147581 |    96332 |     1372    143 |        0 |        0
77.18/77.26	c 77.2s |      15 |   151394 |    98432 |     1372    146 |        0 |        0
79.29/79.31	c 79.2s |      15 |   153893 |   100432 |     1372    148 |        0 |        0
81.28/81.38	c 81.3s |      15 |   156609 |   102632 |     1372    151 |        0 |        0
83.38/83.40	c 83.3s |      15 |   160363 |   105232 |     1372    154 |        0 |        0
85.38/85.44	c 85.4s |      15 |   162960 |   107232 |     1372    157 |        0 |        0
87.38/87.48	c 87.4s |      15 |   166831 |   109932 |     1372    160 |        0 |        0
89.48/89.53	c 89.5s |      15 |   170261 |   112632 |     1372    164 |        0 |        0
91.48/91.56	c 91.5s |      15 |   175428 |   115132 |     1372    167 |        0 |        0
93.48/93.56	c 93.5s |      15 |   177775 |   116732 |     1372    169 |        0 |        0
95.58/95.62	c 95.5s |      15 |   180551 |   118432 |     1372    171 |        0 |        0
97.68/97.71	c 97.6s |      15 |   183462 |   120432 |     1372    173 |        0 |        0
99.67/99.77	c 99.7s |      15 |   185547 |   122232 |     1372    176 |        0 |        0
101.87/101.90	c  101s |      15 |   188218 |   124032 |     1372    178 |        0 |        0
103.87/103.92	c  103s |      15 |   190447 |   126032 |     1372    181 |        0 |        0
105.87/105.92	c  105s |      15 |   192901 |   128232 |     1372    184 |        0 |        0
107.97/108.00	c  107s |      15 |   195486 |   130532 |     1372    187 |        0 |        0
108.77/108.85	c  108s |      16 |   196634 |   131552 |     1510    188 |        0 |        0
110.87/110.91	c  110s |      16 |   201252 |   134452 |     1510    191 |        0 |        0
112.87/112.97	c  112s |      16 |   204603 |   136952 |     1510    194 |        0 |        0
114.87/114.98	c  114s |      16 |   207606 |   139652 |     1510    197 |        0 |        0
116.87/116.98	c  116s |      16 |   212491 |   142252 |     1510    200 |        0 |        0
118.97/119.05	c  118s |      16 |   215812 |   145052 |     1510    204 |        0 |        0
120.98/121.08	c  121s |      16 |   219009 |   147652 |     1510    207 |        0 |        0
123.07/123.13	c  123s |      16 |   221942 |   150252 |     1510    210 |        0 |        0
125.17/125.20	c  125s |      16 |   224758 |   152552 |     1510    212 |        0 |        0
127.17/127.24	c  127s |      16 |   227915 |   155252 |     1510    215 |        0 |        0
129.17/129.28	c  129s |      16 |   231282 |   158152 |     1510    219 |        0 |        0
131.17/131.28	c  131s |      16 |   234259 |   160752 |     1510    222 |        0 |        0
133.17/133.30	c  133s |      16 |   237103 |   163252 |     1510    225 |        0 |        0
135.27/135.36	c  135s |      16 |   239955 |   165752 |     1510    227 |        0 |        0
137.27/137.38	c  137s |      16 |   242922 |   168352 |     1510    230 |        0 |        0
139.37/139.45	c  139s |      16 |   245748 |   170852 |     1510    233 |        0 |        0
141.47/141.51	c  141s |      16 |   248627 |   173352 |     1510    236 |        0 |        0
143.47/143.59	c  143s |      16 |   251360 |   175752 |     1510    239 |        0 |        0
145.56/145.60	c  145s |      16 |   254257 |   178152 |     1510    242 |        0 |        0
147.56/147.68	c  147s |      16 |   256979 |   180552 |     1510    244 |        0 |        0
149.67/149.72	c  149s |      16 |   259868 |   182952 |     1510    247 |        0 |        0
151.66/151.75	c  151s |      16 |   262519 |   185252 |     1510    250 |        0 |        0
153.76/153.83	c  153s |      16 |   265364 |   187652 |     1510    253 |        0 |        0
155.76/155.89	c  155s |      16 |   267750 |   189752 |     1510    255 |        0 |        0
157.86/157.93	c  157s |      16 |   270025 |   191752 |     1510    257 |        0 |        0
159.96/160.02	c  159s |      16 |   272397 |   193852 |     1510    260 |        0 |        0
161.96/162.05	c  161s |      16 |   276941 |   196252 |     1662    262 |        0 |        0
163.36/163.42	c  163s |      17 |   278795 |   197432 |     1662    264 |        0 |        0
165.36/165.47	c  165s |      17 |   281142 |   199232 |     1662    266 |        0 |        0
167.46/167.52	c  167s |      17 |   283472 |   201132 |     1662    268 |        0 |        0
169.47/169.52	c  169s |      17 |   285486 |   202532 |     1662    269 |        0 |        0
171.46/171.58	c  171s |      17 |   288075 |   204432 |     1662    271 |        0 |        0
173.66/173.70	c  173s |      17 |   290100 |   206232 |     1662    273 |        0 |        0
175.66/175.72	c  175s |      17 |   292509 |   208232 |     1662    275 |        0 |        0
177.66/177.77	c  177s |      17 |   298636 |   210332 |     1662    277 |        0 |        0
179.76/179.81	c  179s |      17 |   300932 |   211732 |     1662    279 |        0 |        0
181.86/181.95	c  181s |      17 |   302890 |   213232 |     1662    280 |        0 |        0
183.86/183.98	c  183s |      17 |   304582 |   214732 |     1662    282 |        0 |        0
185.96/186.02	c  185s |      17 |   306255 |   216232 |     1662    284 |        0 |        0
188.06/188.16	c  188s |      17 |   307894 |   217632 |     1662    285 |        0 |        0
190.16/190.22	c  190s |      17 |   310436 |   219732 |     1662    288 |        0 |        0
192.16/192.27	c  192s |      17 |   314098 |   222932 |     1662    291 |        0 |        0
194.26/194.35	c  194s |      17 |   317683 |   226032 |     1662    294 |        0 |        0
196.26/196.37	c  196s |      17 |   321151 |   229032 |     1662    297 |        0 |        0
198.36/198.41	c  198s |      17 |   326687 |   232532 |     1662    301 |        0 |        0
200.36/200.44	c  200s |      17 |   329863 |   235232 |     1662    304 |        0 |        0
202.37/202.47	c  202s |      17 |   333009 |   237932 |     1662    307 |        0 |        0
204.46/204.50	c  204s |      17 |   336901 |   240632 |     1662    310 |        0 |        0
206.46/206.53	c  206s |      17 |   341312 |   243332 |     1662    312 |        0 |        0
208.56/208.61	c  208s |      17 |   348037 |   245832 |     1662    315 |        0 |        0
210.56/210.63	c  210s |      17 |   349742 |   247332 |     1662    317 |        0 |        0
212.66/212.72	c  212s |      17 |   351350 |   248732 |     1662    318 |        0 |        0
214.76/214.83	c  214s |      17 |   353248 |   250332 |     1662    320 |        0 |        0
216.77/216.85	c  216s |      17 |   355111 |   251932 |     1662    322 |        0 |        0
218.87/218.91	c  218s |      17 |   357149 |   253732 |     1662    324 |        0 |        0
220.86/220.99	c  220s |      17 |   359638 |   255532 |     1662    325 |        0 |        0
222.86/222.99	c  222s |      17 |   361300 |   256732 |     1662    327 |        0 |        0
224.96/225.02	c  224s |      17 |   362929 |   258132 |     1662    328 |        0 |        0
227.06/227.16	c  227s |      17 |   364282 |   259332 |     1662    330 |        0 |        0
229.06/229.18	c  229s |      17 |   365799 |   260632 |     1662    331 |        0 |        0
231.26/231.32	c  231s |      17 |   367370 |   262032 |     1662    333 |        0 |        0
233.36/233.49	c  233s |      17 |   368709 |   263232 |     1662    334 |        0 |        0
235.46/235.57	c  235s |      17 |   369958 |   264332 |     1662    335 |        0 |        0
237.56/237.61	c  237s |      17 |   371287 |   265532 |     1662    337 |        0 |        0
239.56/239.65	c  239s |      17 |   372929 |   266832 |     1662    338 |        0 |        0
241.56/241.66	c  241s |      17 |   378993 |   270532 |     1662    341 |        0 |        0
243.56/243.67	c  243s |      17 |   380841 |   272132 |     1662    343 |        0 |        0
245.66/245.77	c  245s |      17 |   382816 |   273732 |     1662    345 |        0 |        0
247.76/247.89	c  247s |      17 |   384440 |   275232 |     1662    346 |        0 |        0
249.86/249.92	c  249s |      17 |   386246 |   276732 |     1662    348 |        0 |        0
251.96/252.02	c  251s |      17 |   388065 |   278332 |     1662    350 |        0 |        0
253.95/254.07	c  253s |      17 |   390010 |   280032 |     1662    352 |        0 |        0
256.05/256.19	c  256s |      17 |   391781 |   281632 |     1662    353 |        0 |        0
258.25/258.30	c  258s |      17 |   393759 |   283132 |     1662    355 |        0 |        0
260.25/260.31	c  260s |      17 |   396697 |   284932 |     1662    357 |        0 |        0
262.25/262.34	c  262s |      17 |   399523 |   287332 |     1662    359 |        0 |        0
264.25/264.35	c  264s |      17 |   402439 |   289332 |     1662    362 |        0 |        0
266.35/266.42	c  266s |      17 |   405371 |   291232 |     1662    364 |        0 |        0
268.46/268.51	c  268s |      17 |   407570 |   292832 |     1662    365 |        0 |        0
270.45/270.60	c  270s |      17 |   409694 |   294632 |     1829    367 |        0 |        0
272.55/272.61	c  272s |      18 |   411692 |   296252 |     1829    369 |        0 |        0
274.55/274.63	c  274s |      18 |   416318 |   298252 |     1829    371 |        0 |        0
276.55/276.66	c  276s |      18 |   420650 |   301052 |     1829    374 |        0 |        0
278.65/278.70	c  278s |      18 |   424714 |   304052 |     1829    377 |        0 |        0
280.65/280.71	c  280s |      18 |   429647 |   307052 |     1829    379 |        0 |        0
282.66/282.72	c  282s |      18 |   434065 |   309652 |     1829    382 |        0 |        0
284.65/284.78	c  284s |      18 |   437134 |   312152 |     1829    384 |        0 |        0
286.75/286.82	c  286s |      18 |   439737 |   314452 |     1829    387 |        0 |        0
288.75/288.88	c  288s |      18 |   442571 |   316952 |     1829    389 |        0 |        0
290.85/290.91	c  290s |      18 |   450231 |   319052 |     1829    391 |        0 |        0
292.85/292.91	c  292s |      18 |   453319 |   321252 |     1829    394 |        0 |        0
294.85/294.92	c  294s |      18 |   455971 |   323252 |     1829    396 |        0 |        0
296.85/296.96	c  296s |      18 |   458287 |   325252 |     1829    398 |        0 |        0
298.85/298.99	c  298s |      18 |   460671 |   327252 |     1829    400 |        0 |        0
300.95/301.05	c  300s |      18 |   463300 |   329452 |     1829    402 |        0 |        0
303.05/303.11	c  303s |      18 |   466136 |   331752 |     1829    404 |        0 |        0
305.05/305.14	c  305s |      18 |   468917 |   334152 |     1829    407 |        0 |        0
307.15/307.21	c  307s |      18 |   471697 |   336552 |     1829    409 |        0 |        0
309.25/309.30	c  309s |      18 |   474453 |   338852 |     1829    411 |        0 |        0
311.25/311.37	c  311s |      18 |   477153 |   341152 |     1829    414 |        0 |        0
313.34/313.41	c  313s |      18 |   479902 |   343452 |     1829    416 |        0 |        0
315.34/315.42	c  315s |      18 |   482808 |   346052 |     1829    418 |        0 |        0
317.34/317.47	c  317s |      18 |   485611 |   348552 |     1829    421 |        0 |        0
319.44/319.56	c  319s |      18 |   488379 |   350952 |     1829    423 |        0 |        0
321.44/321.58	c  321s |      18 |   491829 |   353152 |     1829    426 |        0 |        0
323.54/323.61	c  323s |      18 |   495016 |   355252 |     1829    428 |        0 |        0
325.55/325.63	c  325s |      18 |   499260 |   357452 |     1829    430 |        0 |        0
327.64/327.72	c  327s |      18 |   501728 |   359552 |     1829    432 |        0 |        0
329.64/329.78	c  329s |      18 |   504215 |   361752 |     1829    434 |        0 |        0
331.74/331.83	c  331s |      18 |   506845 |   364052 |     1829    436 |        0 |        0
333.74/333.85	c  333s |      18 |   509943 |   366752 |     1829    439 |        0 |        0
335.84/335.90	c  335s |      18 |   512830 |   369352 |     1829    442 |        0 |        0
337.84/337.92	c  337s |      18 |   517256 |   371852 |     1829    444 |        0 |        0
339.85/339.99	c  339s |      18 |   520048 |   374152 |     1829    447 |        0 |        0
341.94/342.04	c  341s |      18 |   522890 |   376452 |     1829    449 |        0 |        0
344.04/344.12	c  344s |      18 |   525227 |   378452 |     1829    451 |        0 |        0
346.04/346.13	c  346s |      18 |   527827 |   380652 |     1829    453 |        0 |        0
348.04/348.19	c  348s |      18 |   530582 |   382952 |     1829    455 |        0 |        0
350.14/350.24	c  350s |      18 |   533168 |   385152 |     1829    458 |        0 |        0
352.24/352.32	c  352s |      18 |   535640 |   387252 |     1829    460 |        0 |        0
354.24/354.33	c  354s |      18 |   538120 |   389352 |     1829    462 |        0 |        0
356.23/356.37	c  356s |      18 |   542705 |   391252 |     1829    464 |        0 |        0
358.33/358.49	c  358s |      18 |   545714 |   393552 |     1829    466 |        0 |        0
360.43/360.56	c  360s |      18 |   548832 |   395752 |     1829    468 |        0 |        0
362.53/362.65	c  362s |      18 |   552164 |   397852 |     1829    470 |        0 |        0
364.63/364.78	c  364s |      18 |   554279 |   399652 |     1829    472 |        0 |        0
366.73/366.85	c  366s |      18 |   556698 |   401652 |     1829    474 |        0 |        0
368.74/368.88	c  368s |      18 |   558838 |   403552 |     1829    476 |        0 |        0
370.84/370.92	c  370s |      18 |   561911 |   405652 |     1829    478 |        0 |        0
372.85/372.92	c  372s |      18 |   564746 |   407852 |     1829    480 |        0 |        0
374.84/374.96	c  374s |      18 |   567188 |   409952 |     1829    482 |        0 |        0
376.94/377.04	c  376s |      18 |   569742 |   412052 |     1829    484 |        0 |        0
378.94/379.05	c  378s |      18 |   573630 |   414952 |     1829    487 |        0 |        0
380.94/381.07	c  381s |      18 |   578279 |   418352 |     1829    490 |        0 |        0
383.04/383.10	c  383s |      18 |   581631 |   421152 |     1829    493 |        0 |        0
385.04/385.12	c  385s |      18 |   585637 |   424152 |     1829    496 |        0 |        0
387.04/387.14	c  387s |      18 |   588994 |   426752 |     1829    499 |        0 |        0
389.14/389.20	c  389s |      18 |   592515 |   429452 |     1829    501 |        0 |        0
391.14/391.27	c  391s |      18 |   595700 |   431952 |     1829    504 |        0 |        0
393.14/393.29	c  393s |      18 |   598631 |   434352 |     1829    506 |        0 |        0
395.23/395.32	c  395s |      18 |   601634 |   436752 |     1829    508 |        0 |        0
397.23/397.34	c  397s |      18 |   604591 |   439152 |     1829    511 |        0 |        0
399.24/399.37	c  399s |      18 |   607645 |   441652 |     2012    513 |        0 |        0
401.33/401.44	c  401s |      18 |   610408 |   443952 |     2012    515 |        0 |        0
401.83/401.96	c  401s |      19 |   611044 |   444482 |     2012    515 |        0 |        0
403.83/403.98	c  403s |      19 |   618458 |   447682 |     2012    518 |        0 |        0
405.94/406.01	c  405s |      19 |   622758 |   450382 |     2012    521 |        0 |        0
407.93/408.02	c  407s |      19 |   624893 |   452282 |     2012    522 |        0 |        0
409.93/410.05	c  409s |      19 |   627469 |   454482 |     2012    524 |        0 |        0
412.03/412.13	c  412s |      19 |   629786 |   456482 |     2012    526 |        0 |        0
414.03/414.18	c  414s |      19 |   631514 |   457982 |     2012    527 |        0 |        0
416.13/416.21	c  416s |      19 |   635374 |   460182 |     2012    529 |        0 |        0
418.13/418.22	c  418s |      19 |   640694 |   463082 |     2012    531 |        0 |        0
420.14/420.25	c  420s |      19 |   644444 |   465682 |     2012    534 |        0 |        0
422.13/422.28	c  422s |      19 |   649077 |   468482 |     2012    536 |        0 |        0
424.23/424.33	c  424s |      19 |   652514 |   471382 |     2012    539 |        0 |        0
426.23/426.39	c  426s |      19 |   656285 |   473882 |     2012    541 |        0 |        0
428.33/428.44	c  428s |      19 |   659869 |   476682 |     2012    544 |        0 |        0
430.43/430.50	c  430s |      19 |   664524 |   479882 |     2012    546 |        0 |        0
432.43/432.58	c  432s |      19 |   667951 |   482482 |     2012    549 |        0 |        0
434.53/434.62	c  434s |      19 |   671520 |   484982 |     2012    551 |        0 |        0
436.52/436.68	c  436s |      19 |   675427 |   487882 |     2012    553 |        0 |        0
438.62/438.70	c  438s |      19 |   679218 |   490682 |     2012    556 |        0 |        0
440.62/440.74	c  440s |      19 |   682684 |   493382 |     2012    558 |        0 |        0
442.62/442.75	c  442s |      19 |   686118 |   496082 |     2012    560 |        0 |        0
444.62/444.79	c  444s |      19 |   690427 |   499082 |     2012    563 |        0 |        0
446.72/446.81	c  446s |      19 |   694803 |   502182 |     2012    566 |        0 |        0
448.73/448.84	c  448s |      19 |   698854 |   505182 |     2012    568 |        0 |        0
450.82/450.92	c  450s |      19 |   702885 |   508282 |     2012    571 |        0 |        0
452.82/452.99	c  452s |      19 |   706874 |   511382 |     2012    574 |        0 |        0
454.92/455.06	c  454s |      19 |   712013 |   514882 |     2012    577 |        0 |        0
456.92/457.08	c  457s |      19 |   715722 |   517682 |     2012    580 |        0 |        0
459.02/459.13	c  459s |      19 |   718879 |   520182 |     2012    582 |        0 |        0
461.12/461.21	c  461s |      19 |   722089 |   522682 |     2012    584 |        0 |        0
463.12/463.24	c  463s |      19 |   725928 |   525882 |     2012    587 |        0 |        0
465.12/465.30	c  465s |      19 |   729519 |   528782 |     2012    589 |        0 |        0
467.22/467.35	c  467s |      19 |   732789 |   531582 |     2012    592 |        0 |        0
469.22/469.36	c  469s |      19 |   736425 |   534482 |     2012    594 |        0 |        0
471.32/471.42	c  471s |      19 |   739548 |   537082 |     2012    597 |        0 |        0
473.32/473.47	c  473s |      19 |   743255 |   540082 |     2012    599 |        0 |        0
475.42/475.53	c  475s |      19 |   746256 |   542582 |     2012    601 |        0 |        0
477.42/477.56	c  477s |      19 |   749859 |   545382 |     2012    604 |        0 |        0
479.42/479.57	c  479s |      19 |   753547 |   548082 |     2012    606 |        0 |        0
481.41/481.58	c  481s |      19 |   756766 |   550482 |     2012    608 |        0 |        0
483.41/483.58	c  483s |      19 |   759880 |   553082 |     2012    611 |        0 |        0
485.51/485.63	c  485s |      19 |   762916 |   555582 |     2012    613 |        0 |        0
487.51/487.65	c  487s |      19 |   766075 |   558082 |     2012    615 |        0 |        0
489.52/489.69	c  489s |      19 |   769251 |   560682 |     2012    617 |        0 |        0
491.62/491.72	c  491s |      19 |   772527 |   563182 |     2012    620 |        0 |        0
493.71/493.80	c  493s |      19 |   776449 |   565982 |     2012    622 |        0 |        0
495.71/495.87	c  495s |      19 |   779941 |   568282 |     2012    624 |        0 |        0
497.81/497.92	c  497s |      19 |   783408 |   570682 |     2012    626 |        0 |        0
499.91/500.01	c  499s |      19 |   786745 |   573082 |     2012    628 |        0 |        0
501.91/502.06	c  501s |      19 |   789736 |   575382 |     2012    630 |        0 |        0
504.01/504.13	c  504s |      19 |   793698 |   578482 |     2012    633 |        0 |        0
506.02/506.15	c  506s |      19 |   797729 |   581782 |     2012    636 |        0 |        0
508.01/508.19	c  508s |      19 |   802032 |   585082 |     2012    639 |        0 |        0
510.11/510.23	c  510s |      19 |   806094 |   588182 |     2012    642 |        0 |        0
512.11/512.28	c  512s |      19 |   810137 |   591282 |     2012    644 |        0 |        0
514.11/514.29	c  514s |      19 |   813940 |   594282 |     2012    647 |        0 |        0
516.21/516.35	c  516s |      19 |   818001 |   597282 |     2012    650 |        0 |        0
518.31/518.41	c  518s |      19 |   822383 |   600482 |     2012    652 |        0 |        0
520.31/520.48	c  520s |      19 |   826294 |   603382 |     2012    655 |        0 |        0
522.41/522.55	c  522s |      19 |   829920 |   606382 |     2012    658 |        0 |        0
524.51/524.62	c  524s |      19 |   833742 |   609282 |     2012    660 |        0 |        0
526.51/526.65	c  526s |      19 |   837318 |   612082 |     2012    663 |        0 |        0
528.51/528.65	c  528s |      19 |   840794 |   614582 |     2012    665 |        0 |        0
530.51/530.66	c  530s |      19 |   844351 |   617182 |     2012    667 |        0 |        0
532.51/532.69	c  532s |      19 |   847082 |   619382 |     2012    669 |        0 |        0
534.61/534.76	c  534s |      19 |   850428 |   621982 |     2012    671 |        0 |        0
536.71/536.83	c  536s |      19 |   853776 |   624482 |     2012    674 |        0 |        0
538.71/538.86	c  538s |      19 |   857393 |   627282 |     2012    676 |        0 |        0
540.70/540.87	c  540s |      19 |   860825 |   630182 |     2012    679 |        0 |        0
542.80/542.91	c  542s |      19 |   863937 |   632882 |     2012    681 |        0 |        0
544.80/544.96	c  544s |      19 |   867851 |   636082 |     2012    684 |        0 |        0
546.80/546.98	c  546s |      19 |   871332 |   638882 |     2012    686 |        0 |        0
548.81/548.99	c  548s |      19 |   875606 |   641682 |     2012    689 |        0 |        0
550.90/551.02	c  550s |      19 |   880201 |   645082 |     2012    692 |        0 |        0
552.90/553.08	c  553s |      19 |   883951 |   648182 |     2012    695 |        0 |        0
555.00/555.14	c  555s |      19 |   887552 |   651082 |     2012    697 |        0 |        0
557.00/557.19	c  557s |      19 |   891025 |   653782 |     2012    700 |        0 |        0
559.10/559.23	c  559s |      19 |   894903 |   656982 |     2012    702 |        0 |        0
561.20/561.31	c  561s |      19 |   898444 |   659882 |     2012    705 |        0 |        0
563.21/563.35	c  563s |      19 |   902084 |   662782 |     2214    707 |        0 |        0
565.20/565.38	c  565s |      19 |   905599 |   665482 |     2214    710 |        0 |        0
566.20/566.40	c  566s |      20 |   907228 |   666827 |     2214    711 |        0 |        0
568.20/568.40	c  568s |      20 |   911732 |   669827 |     2214    713 |        0 |        0
570.30/570.43	c  570s |      20 |   914368 |   672127 |     2214    715 |        0 |        0
572.40/572.50	c  572s |      20 |   917614 |   674527 |     2214    717 |        0 |        0
574.40/574.55	c  574s |      20 |   920414 |   677027 |     2214    719 |        0 |        0
576.50/576.61	c  576s |      20 |   923094 |   679427 |     2214    720 |        0 |        0
578.51/578.70	c  578s |      20 |   925514 |   681627 |     2214    722 |        0 |        0
580.60/580.71	c  580s |      20 |   928418 |   683827 |     2214    724 |        0 |        0
582.60/582.74	c  582s |      20 |   931004 |   685927 |     2214    725 |        0 |        0
584.60/584.75	c  584s |      20 |   933357 |   688027 |     2214    727 |        0 |        0
586.70/586.82	c  586s |      20 |   935565 |   690027 |     2214    729 |        0 |        0
588.70/588.83	c  588s |      20 |   937782 |   692027 |     2214    730 |        0 |        0
590.70/590.86	c  590s |      20 |   940207 |   694227 |     2214    732 |        0 |        0
592.80/592.91	c  592s |      20 |   942322 |   696127 |     2214    733 |        0 |        0
594.80/594.97	c  594s |      20 |   947131 |   698527 |     2214    735 |        0 |        0
596.80/596.99	c  596s |      20 |   951900 |   700927 |     2214    737 |        0 |        0
598.90/599.04	c  598s |      20 |   955180 |   703827 |     2214    740 |        0 |        0
600.99/601.10	c  601s |      20 |   958631 |   706827 |     2214    742 |        0 |        0
602.99/603.12	c  603s |      20 |   961685 |   709527 |     2214    744 |        0 |        0
605.00/605.19	c  605s |      20 |   965167 |   712527 |     2214    747 |        0 |        0
607.10/607.22	c  607s |      20 |   968464 |   715427 |     2214    749 |        0 |        0
609.09/609.29	c  609s |      20 |   971496 |   718127 |     2214    751 |        0 |        0
611.19/611.35	c  611s |      20 |   974560 |   720827 |     2214    753 |        0 |        0
613.20/613.39	c  613s |      20 |   977332 |   723327 |     2214    755 |        0 |        0
615.30/615.47	c  615s |      20 |   980259 |   725927 |     2214    757 |        0 |        0
617.40/617.52	c  617s |      20 |   983416 |   728727 |     2214    759 |        0 |        0
619.40/619.59	c  619s |      20 |   986276 |   731227 |     2214    762 |        0 |        0
621.51/621.63	c  621s |      20 |   989377 |   734027 |     2214    764 |        0 |        0
623.50/623.64	c  623s |      20 |   992275 |   736627 |     2214    766 |        0 |        0
625.50/625.68	c  625s |      20 |   995489 |   739527 |     2214    768 |        0 |        0
627.50/627.69	c  627s |      20 |   998352 |   742027 |     2214    770 |        0 |        0
629.60/629.76	c  629s |      20 |  1001258 |   744627 |     2214    772 |        0 |        0
631.70/631.81	c  631s |      20 |  1003847 |   747027 |     2214    774 |        0 |        0
633.70/633.85	c  633s |      20 |  1006888 |   749727 |     2214    776 |        0 |        0
635.70/635.87	c  635s |      20 |  1009762 |   752327 |     2214    778 |        0 |        0
637.70/637.88	c  637s |      20 |  1013009 |   754727 |     2214    780 |        0 |        0
639.80/639.92	c  639s |      20 |  1016181 |   757527 |     2214    783 |        0 |        0
641.80/641.94	c  641s |      20 |  1019241 |   760227 |     2214    785 |        0 |        0
643.80/643.95	c  643s |      20 |  1022217 |   762827 |     2214    787 |        0 |        0
645.79/645.95	c  645s |      20 |  1025168 |   765427 |     2214    789 |        0 |        0
647.80/648.00	c  647s |      20 |  1028761 |   768227 |     2214    791 |        0 |        0
649.89/650.02	c  649s |      20 |  1031783 |   770727 |     2214    793 |        0 |        0
651.89/652.07	c  652s |      20 |  1034541 |   773227 |     2214    795 |        0 |        0
653.89/654.08	c  654s |      20 |  1037333 |   775627 |     2214    797 |        0 |        0
655.99/656.12	c  656s |      20 |  1040393 |   778127 |     2214    799 |        0 |        0
657.99/658.15	c  658s |      20 |  1043054 |   780527 |     2214    801 |        0 |        0
660.09/660.22	c  660s |      20 |  1045879 |   783127 |     2214    803 |        0 |        0
662.10/662.25	c  662s |      20 |  1049261 |   786127 |     2214    806 |        0 |        0
664.09/664.27	c  664s |      20 |  1052233 |   788827 |     2214    808 |        0 |        0
666.19/666.32	c  666s |      20 |  1055093 |   791427 |     2214    810 |        0 |        0
668.19/668.36	c  668s |      20 |  1057603 |   793627 |     2214    812 |        0 |        0
670.19/670.38	c  670s |      20 |  1059951 |   795727 |     2214    813 |        0 |        0
672.29/672.45	c  672s |      20 |  1062433 |   797927 |     2214    815 |        0 |        0
674.30/674.48	c  674s |      20 |  1064892 |   800127 |     2214    817 |        0 |        0
676.40/676.56	c  676s |      20 |  1067684 |   802627 |     2214    819 |        0 |        0
678.39/678.57	c  678s |      20 |  1070242 |   804927 |     2214    821 |        0 |        0
680.49/680.64	c  680s |      20 |  1073045 |   807427 |     2214    823 |        0 |        0
682.59/682.71	c  682s |      20 |  1075619 |   809727 |     2214    825 |        0 |        0
684.59/684.75	c  684s |      20 |  1078188 |   812027 |     2214    827 |        0 |        0
686.59/686.76	c  686s |      20 |  1080407 |   814027 |     2214    828 |        0 |        0
688.69/688.82	c  688s |      20 |  1083183 |   816527 |     2214    830 |        0 |        0
690.69/690.88	c  690s |      20 |  1086475 |   819427 |     2214    833 |        0 |        0
692.79/692.92	c  692s |      20 |  1089589 |   822227 |     2214    835 |        0 |        0
694.79/694.92	c  694s |      20 |  1092961 |   824927 |     2214    837 |        0 |        0
696.79/696.97	c  696s |      20 |  1095779 |   827427 |     2214    839 |        0 |        0
698.89/699.04	c  698s |      20 |  1098904 |   830227 |     2214    841 |        0 |        0
700.88/701.08	c  701s |      20 |  1101841 |   832927 |     2214    843 |        0 |        0
702.98/703.13	c  703s |      20 |  1105047 |   835327 |     2214    845 |        0 |        0
704.99/705.14	c  705s |      20 |  1108111 |   837827 |     2214    847 |        0 |        0
706.98/707.15	c  707s |      20 |  1111158 |   840427 |     2214    850 |        0 |        0
709.08/709.20	c  709s |      20 |  1113916 |   842827 |     2214    851 |        0 |        0
711.08/711.24	c  711s |      20 |  1116796 |   845327 |     2214    853 |        0 |        0
713.18/713.33	c  713s |      20 |  1119703 |   847827 |     2214    856 |        0 |        0
715.28/715.41	c  715s |      20 |  1122786 |   850527 |     2214    858 |        0 |        0
717.28/717.45	c  717s |      20 |  1125433 |   852927 |     2214    860 |        0 |        0
719.29/719.46	c  719s |      20 |  1128171 |   855327 |     2214    862 |        0 |        0
721.38/721.51	c  721s |      20 |  1130972 |   857827 |     2214    864 |        0 |        0
723.38/723.52	c  723s |      20 |  1133992 |   860527 |     2214    866 |        0 |        0
725.38/725.59	c  725s |      20 |  1136932 |   863127 |     2214    868 |        0 |        0
727.48/727.62	c  727s |      20 |  1139806 |   865727 |     2214    870 |        0 |        0
729.48/729.68	c  729s |      20 |  1142620 |   868127 |     2214    872 |        0 |        0
731.58/731.75	c  731s |      20 |  1145404 |   870627 |     2214    874 |        0 |        0
733.58/733.75	c  733s |      20 |  1148497 |   873327 |     2214    876 |        0 |        0
735.57/735.79	c  735s |      20 |  1151369 |   875827 |     2214    878 |        0 |        0
737.67/737.85	c  737s |      20 |  1154038 |   878227 |     2214    880 |        0 |        0
739.67/739.86	c  739s |      20 |  1156713 |   880627 |     2214    882 |        0 |        0
741.67/741.86	c  741s |      20 |  1159331 |   883027 |     2214    884 |        0 |        0
743.67/743.88	c  743s |      20 |  1161556 |   885027 |     2214    886 |        0 |        0
745.67/745.89	c  745s |      20 |  1164249 |   887427 |     2214    888 |        0 |        0
747.76/747.94	c  747s |      20 |  1167105 |   890027 |     2214    890 |        0 |        0
749.86/750.01	c  749s |      20 |  1170021 |   892627 |     2214    892 |        0 |        0
751.86/752.03	c  751s |      20 |  1172807 |   895127 |     2214    894 |        0 |        0
753.86/754.06	c  753s |      20 |  1175567 |   897627 |     2214    896 |        0 |        0
755.86/756.08	c  756s |      20 |  1178364 |   900127 |     2214    898 |        0 |        0
757.86/758.09	c  758s |      20 |  1181061 |   902527 |     2214    900 |        0 |        0
759.96/760.15	c  760s |      20 |  1184095 |   905227 |     2214    902 |        0 |        0
761.96/762.18	c  762s |      20 |  1186833 |   907627 |     2214    904 |        0 |        0
764.06/764.21	c  764s |      20 |  1189367 |   909927 |     2214    906 |        0 |        0
766.05/766.24	c  766s |      20 |  1191961 |   912227 |     2214    908 |        0 |        0
768.05/768.29	c  768s |      20 |  1194604 |   914627 |     2214    910 |        0 |        0
770.16/770.34	c  770s |      20 |  1197267 |   917027 |     2214    912 |        0 |        0
772.17/772.38	c  772s |      20 |  1199849 |   919327 |     2214    914 |        0 |        0
774.27/774.41	c  774s |      20 |  1202402 |   921627 |     2214    915 |        0 |        0
776.26/776.46	c  776s |      20 |  1204927 |   923927 |     2214    917 |        0 |        0
778.36/778.50	c  778s |      20 |  1207675 |   926427 |     2214    919 |        0 |        0
780.36/780.59	c  780s |      20 |  1210481 |   928927 |     2214    921 |        0 |        0
782.46/782.65	c  782s |      20 |  1217650 |   931727 |     2214    924 |        0 |        0
784.45/784.68	c  784s |      20 |  1222298 |   934327 |     2214    926 |        0 |        0
786.55/786.73	c  786s |      20 |  1225039 |   936627 |     2214    927 |        0 |        0
788.56/788.78	c  788s |      20 |  1227886 |   938827 |     2214    929 |        0 |        0
790.65/790.83	c  790s |      20 |  1230600 |   941027 |     2214    931 |        0 |        0
792.65/792.88	c  792s |      20 |  1234205 |   943527 |     2214    933 |        0 |        0
794.75/794.92	c  794s |      20 |  1237056 |   945927 |     2214    935 |        0 |        0
796.74/796.97	c  796s |      20 |  1240040 |   948227 |     2214    937 |        0 |        0
798.84/799.04	c  798s |      20 |  1243050 |   950527 |     2214    939 |        0 |        0
800.94/801.12	c  801s |      20 |  1245709 |   952727 |     2214    940 |        0 |        0
802.95/803.14	c  803s |      20 |  1249002 |   954927 |     2214    942 |        0 |        0
804.94/805.19	c  805s |      20 |  1252055 |   957227 |     2214    944 |        0 |        0
807.04/807.22	c  807s |      20 |  1254561 |   959327 |     2214    946 |        0 |        0
809.04/809.25	c  809s |      20 |  1256983 |   961427 |     2214    947 |        0 |        0
811.14/811.31	c  811s |      20 |  1259561 |   963627 |     2214    949 |        0 |        0
813.14/813.36	c  813s |      20 |  1261922 |   965627 |     2214    951 |        0 |        0
815.14/815.37	c  815s |      20 |  1264256 |   967627 |     2214    952 |        0 |        0
817.14/817.37	c  817s |      20 |  1266824 |   969827 |     2214    954 |        0 |        0
819.24/819.45	c  819s |      20 |  1269281 |   971927 |     2214    956 |        0 |        0
821.24/821.47	c  821s |      20 |  1271735 |   974027 |     2214    957 |        0 |        0
823.33/823.56	c  823s |      20 |  1274326 |   976227 |     2214    959 |        0 |        0
825.33/825.57	c  825s |      20 |  1276859 |   978427 |     2214    961 |        0 |        0
827.33/827.59	c  827s |      20 |  1279508 |   980727 |     2214    963 |        0 |        0
829.34/829.59	c  829s |      20 |  1282004 |   982927 |     2214    965 |        0 |        0
831.44/831.65	c  831s |      20 |  1284503 |   985127 |     2214    966 |        0 |        0
833.53/833.74	c  833s |      20 |  1286950 |   987327 |     2214    968 |        0 |        0
835.53/835.74	c  835s |      20 |  1289279 |   989427 |     2214    970 |        0 |        0
837.52/837.75	c  837s |      20 |  1292122 |   991327 |     2214    971 |        0 |        0
839.52/839.77	c  839s |      20 |  1294279 |   993227 |     2436    973 |        0 |        0
841.52/841.79	c  841s |      20 |  1296553 |   995227 |     2436    974 |        0 |        0
843.63/843.86	c  843s |      20 |  1298557 |   997027 |     2436    976 |        0 |        0
845.73/845.93	c  845s |      20 |  1300737 |   998927 |     2436    977 |        0 |        0
847.22/847.46	c  847s |      21 |  1302363 |  1000345 |     2436    978 |        0 |        0
849.32/849.52	c  849s |      21 |  1307765 |  1003545 |     2436    981 |        0 |        0
851.32/851.57	c  851s |      21 |  1311796 |  1006345 |     2436    983 |        0 |        0
853.32/853.59	c  853s |      21 |  1315128 |  1008645 |     2436    984 |        0 |        0
855.41/855.63	c  855s |      21 |  1318030 |  1010745 |     2436    986 |        0 |        0
857.41/857.68	c  857s |      21 |  1322029 |  1013145 |     2436    988 |        0 |        0
859.51/859.71	c  859s |      21 |  1325848 |  1015645 |     2436    989 |        0 |        0
861.52/861.71	c  861s |      21 |  1329393 |  1017945 |     2436    991 |        0 |        0
863.52/863.76	c  863s |      21 |  1333711 |  1020245 |     2436    993 |        0 |        0
865.52/865.78	c  865s |      21 |  1339400 |  1023045 |     2436    995 |        0 |        0
867.61/867.86	c  867s |      21 |  1344442 |  1025645 |     2436    997 |        0 |        0
869.61/869.87	c  869s |      21 |  1348696 |  1028045 |     2436    998 |        0 |        0
871.71/871.96	c  871s |      21 |  1353738 |  1030645 |     2436   1000 |        0 |        0
873.81/874.02	c  873s |      21 |  1358265 |  1032845 |     2436   1002 |        0 |        0
875.91/876.12	c  876s |      21 |  1362281 |  1035045 |     2436   1003 |        0 |        0
877.91/878.19	c  878s |      21 |  1365966 |  1037245 |     2436   1005 |        0 |        0
880.01/880.21	c  880s |      21 |  1369284 |  1039345 |     2436   1006 |        0 |        0
882.01/882.24	c  882s |      21 |  1373832 |  1041545 |     2436   1008 |        0 |        0
884.01/884.25	c  884s |      21 |  1377360 |  1043945 |     2436   1010 |        0 |        0
886.10/886.32	c  886s |      21 |  1380867 |  1046245 |     2436   1011 |        0 |        0
888.20/888.41	c  888s |      21 |  1384866 |  1048645 |     2436   1013 |        0 |        0
890.20/890.47	c  890s |      21 |  1387955 |  1050545 |     2436   1015 |        0 |        0
892.30/892.52	c  892s |      21 |  1392357 |  1053245 |     2436   1016 |        0 |        0
894.30/894.53	c  894s |      21 |  1395251 |  1055745 |     2436   1018 |        0 |        0
896.40/896.60	c  896s |      21 |  1398053 |  1058145 |     2436   1020 |        0 |        0
898.39/898.61	c  898s |      21 |  1400818 |  1060545 |     2436   1022 |        0 |        0
900.39/900.63	c  900s |      21 |  1403700 |  1062945 |     2436   1023 |        0 |        0
902.39/902.63	c  902s |      21 |  1406755 |  1065545 |     2436   1025 |        0 |        0
904.39/904.65	c  904s |      21 |  1409463 |  1067845 |     2436   1027 |        0 |        0
906.49/906.71	c  906s |      21 |  1412530 |  1070345 |     2436   1029 |        0 |        0
908.49/908.73	c  908s |      21 |  1415403 |  1072745 |     2436   1031 |        0 |        0
910.49/910.76	c  910s |      21 |  1418497 |  1075345 |     2436   1032 |        0 |        0
912.49/912.79	c  912s |      21 |  1421677 |  1078045 |     2436   1034 |        0 |        0
914.59/914.83	c  914s |      21 |  1424935 |  1080945 |     2436   1036 |        0 |        0
916.58/916.85	c  916s |      21 |  1427791 |  1083445 |     2436   1038 |        0 |        0
918.58/918.85	c  918s |      21 |  1430465 |  1085845 |     2436   1040 |        0 |        0
920.59/920.87	c  920s |      21 |  1433986 |  1088745 |     2436   1042 |        0 |        0
922.69/922.94	c  922s |      21 |  1437398 |  1091545 |     2436   1044 |        0 |        0
924.68/924.94	c  924s |      21 |  1439960 |  1093745 |     2436   1046 |        0 |        0
926.67/926.99	c  926s |      21 |  1442999 |  1096245 |     2436   1048 |        0 |        0
928.67/928.99	c  928s |      21 |  1445514 |  1098445 |     2436   1049 |        0 |        0
930.67/930.99	c  930s |      21 |  1448963 |  1100945 |     2436   1051 |        0 |        0
932.77/933.09	c  933s |      21 |  1452345 |  1103545 |     2436   1053 |        0 |        0
934.88/935.16	c  935s |      21 |  1455294 |  1105845 |     2436   1055 |        0 |        0
936.97/937.22	c  937s |      21 |  1457924 |  1108045 |     2436   1056 |        0 |        0
938.96/939.26	c  939s |      21 |  1462001 |  1110745 |     2436   1058 |        0 |        0
941.06/941.31	c  941s |      21 |  1465298 |  1113445 |     2436   1060 |        0 |        0
943.06/943.35	c  943s |      21 |  1468265 |  1115745 |     2436   1062 |        0 |        0
945.16/945.45	c  945s |      21 |  1471224 |  1118145 |     2436   1064 |        0 |        0
947.26/947.51	c  947s |      21 |  1474128 |  1120545 |     2436   1065 |        0 |        0
949.26/949.57	c  949s |      21 |  1476854 |  1122745 |     2436   1067 |        0 |        0
951.36/951.66	c  951s |      21 |  1480057 |  1125045 |     2436   1069 |        0 |        0
953.46/953.73	c  953s |      21 |  1483392 |  1127545 |     2436   1070 |        0 |        0
955.55/955.82	c  955s |      21 |  1486379 |  1129845 |     2436   1072 |        0 |        0
957.55/957.89	c  957s |      21 |  1488830 |  1131845 |     2436   1073 |        0 |        0
959.55/959.89	c  959s |      21 |  1491518 |  1133845 |     2436   1075 |        0 |        0
961.65/961.90	c  961s |      21 |  1494702 |  1136245 |     2436   1077 |        0 |        0
963.65/963.95	c  963s |      21 |  1498105 |  1138645 |     2436   1078 |        0 |        0
965.65/965.96	c  965s |      21 |  1501372 |  1141145 |     2436   1080 |        0 |        0
967.75/968.02	c  967s |      21 |  1504113 |  1143345 |     2436   1082 |        0 |        0
969.74/970.08	c  970s |      21 |  1506343 |  1145245 |     2436   1083 |        0 |        0
971.84/972.11	c  972s |      21 |  1509457 |  1147345 |     2436   1085 |        0 |        0
973.84/974.19	c  974s |      21 |  1511802 |  1149245 |     2436   1086 |        0 |        0
975.93/976.24	c  976s |      21 |  1513711 |  1150845 |     2436   1087 |        0 |        0
977.93/978.25	c  978s |      21 |  1516781 |  1152945 |     2436   1089 |        0 |        0
979.94/980.28	c  980s |      21 |  1519677 |  1155145 |     2436   1090 |        0 |        0
982.04/982.39	c  982s |      21 |  1522613 |  1157245 |     2436   1092 |        0 |        0
984.03/984.39	c  984s |      21 |  1525151 |  1159245 |     2436   1093 |        0 |        0
986.13/986.45	c  986s |      21 |  1528543 |  1161445 |     2436   1095 |        0 |        0
988.12/988.45	c  988s |      21 |  1533705 |  1164545 |     2436   1097 |        0 |        0
990.12/990.48	c  990s |      21 |  1537308 |  1166945 |     2436   1099 |        0 |        0
992.22/992.54	c  992s |      21 |  1541758 |  1169445 |     2436   1100 |        0 |        0
994.23/994.58	c  994s |      21 |  1544653 |  1171545 |     2436   1102 |        0 |        0
996.32/996.70	c  996s |      21 |  1547584 |  1173745 |     2436   1104 |        0 |        0
998.42/998.72	c  998s |      21 |  1550164 |  1175645 |     2436   1105 |        0 |        0
1000.52/1000.84	c 1000s |      21 |  1552319 |  1177445 |     2436   1106 |        0 |        0
1002.52/1002.85	c 1002s |      21 |  1554104 |  1178945 |     2436   1107 |        0 |        0
1004.52/1004.88	c 1004s |      21 |  1558119 |  1181545 |     2436   1109 |        0 |        0
1006.61/1006.93	c 1006s |      21 |  1560661 |  1183645 |     2436   1111 |        0 |        0
1008.61/1008.96	c 1008s |      21 |  1563604 |  1185845 |     2436   1112 |        0 |        0
1010.72/1011.03	c 1010s |      21 |  1567298 |  1188345 |     2436   1114 |        0 |        0
1012.71/1013.04	c 1012s |      21 |  1570124 |  1190345 |     2436   1115 |        0 |        0
1014.81/1015.13	c 1015s |      21 |  1573080 |  1192245 |     2436   1117 |        0 |        0
1016.81/1017.15	c 1017s |      21 |  1577363 |  1194545 |     2436   1119 |        0 |        0
1018.91/1019.21	c 1019s |      21 |  1580530 |  1196745 |     2436   1120 |        0 |        0
1020.90/1021.28	c 1021s |      21 |  1583135 |  1198645 |     2436   1121 |        0 |        0
1023.00/1023.33	c 1023s |      21 |  1587424 |  1201345 |     2436   1123 |        0 |        0
1025.01/1025.37	c 1025s |      21 |  1590275 |  1203445 |     2436   1125 |        0 |        0
1027.00/1027.40	c 1027s |      21 |  1593093 |  1205145 |     2436   1126 |        0 |        0
1029.10/1029.47	c 1029s |      21 |  1595734 |  1207245 |     2436   1128 |        0 |        0
1031.20/1031.51	c 1031s |      21 |  1598451 |  1209445 |     2436   1129 |        0 |        0
1033.20/1033.58	c 1033s |      21 |  1601697 |  1211645 |     2436   1131 |        0 |        0
1035.29/1035.67	c 1035s |      21 |  1604651 |  1213745 |     2436   1132 |        0 |        0
1037.39/1037.75	c 1037s |      21 |  1607231 |  1215745 |     2436   1134 |        0 |        0
1039.39/1039.75	c 1039s |      21 |  1609749 |  1217545 |     2436   1135 |        0 |        0
1041.40/1041.80	c 1041s |      21 |  1612852 |  1219745 |     2436   1137 |        0 |        0
1043.50/1043.80	c 1043s |      21 |  1615917 |  1221845 |     2436   1138 |        0 |        0
1045.50/1045.81	c 1045s |      21 |  1619308 |  1224045 |     2436   1140 |        0 |        0
1047.60/1047.90	c 1047s |      21 |  1622031 |  1226145 |     2436   1141 |        0 |        0
1049.60/1049.93	c 1049s |      21 |  1625643 |  1228745 |     2436   1143 |        0 |        0
1051.60/1051.99	c 1051s |      21 |  1628416 |  1230945 |     2436   1145 |        0 |        0
1053.70/1054.00	c 1053s |      21 |  1631179 |  1233045 |     2436   1146 |        0 |        0
1055.70/1056.03	c 1055s |      21 |  1633662 |  1235045 |     2436   1148 |        0 |        0
1057.69/1058.09	c 1058s |      21 |  1637218 |  1237545 |     2436   1150 |        0 |        0
1059.79/1060.18	c 1060s |      21 |  1641111 |  1240045 |     2436   1151 |        0 |        0
1061.89/1062.22	c 1062s |      21 |  1644974 |  1242145 |     2436   1153 |        0 |        0
1063.89/1064.27	c 1064s |      21 |  1649659 |  1244745 |     2436   1155 |        0 |        0
1065.89/1066.27	c 1066s |      21 |  1653099 |  1247045 |     2436   1156 |        0 |        0
1067.89/1068.29	c 1068s |      21 |  1657954 |  1249445 |     2436   1158 |        0 |        0
1069.99/1070.31	c 1070s |      21 |  1662046 |  1252045 |     2436   1160 |        0 |        0
1071.98/1072.34	c 1072s |      21 |  1666431 |  1254645 |     2436   1162 |        0 |        0
1074.08/1074.42	c 1074s |      21 |  1670267 |  1257245 |     2436   1164 |        0 |        0
1076.18/1076.50	c 1076s |      21 |  1674189 |  1259845 |     2436   1166 |        0 |        0
1078.18/1078.56	c 1078s |      21 |  1678381 |  1263145 |     2436   1168 |        0 |        0
1080.18/1080.57	c 1080s |      21 |  1682865 |  1265945 |     2436   1170 |        0 |        0
1082.28/1082.64	c 1082s |      21 |  1686106 |  1268545 |     2436   1172 |        0 |        0
1084.28/1084.64	c 1084s |      21 |  1689311 |  1270845 |     2436   1174 |        0 |        0
1086.37/1086.73	c 1086s |      21 |  1692580 |  1273245 |     2436   1175 |        0 |        0
1088.47/1088.82	c 1088s |      21 |  1696020 |  1275545 |     2436   1177 |        0 |        0
1090.47/1090.88	c 1090s |      21 |  1699131 |  1277845 |     2436   1179 |        0 |        0
1092.57/1092.96	c 1092s |      21 |  1702194 |  1279945 |     2436   1180 |        0 |        0
1094.67/1095.05	c 1094s |      21 |  1705130 |  1282145 |     2436   1182 |        0 |        0
1096.66/1097.09	c 1097s |      21 |  1708099 |  1284345 |     2436   1184 |        0 |        0
1098.76/1099.14	c 1099s |      21 |  1710988 |  1286445 |     2436   1185 |        0 |        0
1100.87/1101.24	c 1101s |      21 |  1713516 |  1288445 |     2436   1187 |        0 |        0
1102.97/1103.30	c 1103s |      21 |  1716075 |  1290445 |     2436   1188 |        0 |        0
1104.96/1105.34	c 1105s |      21 |  1718192 |  1292245 |     2436   1189 |        0 |        0
1106.96/1107.38	c 1107s |      21 |  1720454 |  1294045 |     2436   1191 |        0 |        0
1109.06/1109.43	c 1109s |      21 |  1722703 |  1295745 |     2436   1192 |        0 |        0
1111.06/1111.45	c 1111s |      21 |  1725384 |  1297645 |     2436   1193 |        0 |        0
1113.05/1113.47	c 1113s |      21 |  1727863 |  1299645 |     2436   1195 |        0 |        0
1115.06/1115.48	c 1115s |      21 |  1730388 |  1301645 |     2436   1196 |        0 |        0
1117.15/1117.56	c 1117s |      21 |  1732918 |  1303645 |     2436   1198 |        0 |        0
1119.25/1119.63	c 1119s |      21 |  1735022 |  1305345 |     2436   1199 |        0 |        0
1121.25/1121.65	c 1121s |      21 |  1736996 |  1306945 |     2436   1200 |        0 |        0
1123.25/1123.67	c 1123s |      21 |  1739726 |  1308945 |     2436   1202 |        0 |        0
1125.34/1125.71	c 1125s |      21 |  1742222 |  1310945 |     2436   1203 |        0 |        0
1127.44/1127.80	c 1127s |      21 |  1744806 |  1312945 |     2436   1205 |        0 |        0
1129.45/1129.82	c 1129s |      21 |  1747167 |  1314745 |     2436   1206 |        0 |        0
1131.55/1131.91	c 1131s |      21 |  1749919 |  1316945 |     2436   1208 |        0 |        0
1133.54/1133.93	c 1133s |      21 |  1752711 |  1319045 |     2436   1209 |        0 |        0
1135.54/1135.93	c 1135s |      21 |  1755395 |  1321045 |     2436   1211 |        0 |        0
1137.54/1137.97	c 1137s |      21 |  1758045 |  1323045 |     2436   1212 |        0 |        0
1139.64/1140.01	c 1139s |      21 |  1760353 |  1324845 |     2436   1214 |        0 |        0
1141.64/1142.06	c 1141s |      21 |  1762704 |  1326745 |     2436   1215 |        0 |        0
1143.65/1144.07	c 1144s |      21 |  1764890 |  1328545 |     2436   1216 |        0 |        0
1145.63/1146.08	c 1146s |      21 |  1767423 |  1330445 |     2436   1218 |        0 |        0
1147.73/1148.11	c 1148s |      21 |  1769849 |  1332345 |     2436   1219 |        0 |        0
1149.73/1150.18	c 1150s |      21 |  1772209 |  1334245 |     2436   1221 |        0 |        0
1151.83/1152.27	c 1152s |      21 |  1774506 |  1336045 |     2436   1222 |        0 |        0
1153.93/1154.31	c 1154s |      21 |  1776367 |  1337545 |     2436   1223 |        0 |        0
1155.93/1156.33	c 1156s |      21 |  1779153 |  1339645 |     2436   1225 |        0 |        0
1157.93/1158.39	c 1158s |      21 |  1782203 |  1342145 |     2436   1226 |        0 |        0
1160.03/1160.40	c 1160s |      21 |  1785177 |  1344545 |     2436   1228 |        0 |        0
1162.03/1162.46	c 1162s |      21 |  1787825 |  1346745 |     2436   1230 |        0 |        0
1164.13/1164.53	c 1164s |      21 |  1791005 |  1349245 |     2436   1231 |        0 |        0
1166.12/1166.56	c 1166s |      21 |  1793611 |  1351345 |     2436   1233 |        0 |        0
1168.12/1168.57	c 1168s |      21 |  1795837 |  1353245 |     2436   1234 |        0 |        0
1170.13/1170.58	c 1170s |      21 |  1798107 |  1355145 |     2436   1236 |        0 |        0
1172.23/1172.65	c 1172s |      21 |  1801708 |  1357645 |     2436   1238 |        0 |        0
1174.22/1174.67	c 1174s |      21 |  1804952 |  1359945 |     2436   1239 |        0 |        0
1176.32/1176.72	c 1176s |      21 |  1807226 |  1361745 |     2436   1241 |        0 |        0
1178.41/1178.82	c 1178s |      21 |  1810058 |  1363945 |     2436   1242 |        0 |        0
1180.41/1180.85	c 1180s |      21 |  1813079 |  1366145 |     2436   1244 |        0 |        0
1182.41/1182.89	c 1182s |      21 |  1815930 |  1368045 |     2436   1245 |        0 |        0
1184.51/1184.93	c 1184s |      21 |  1818515 |  1369945 |     2436   1247 |        0 |        0
1186.52/1186.97	c 1186s |      21 |  1820876 |  1371745 |     2436   1248 |        0 |        0
1188.61/1189.01	c 1188s |      21 |  1824261 |  1373845 |     2436   1249 |        0 |        0
1190.71/1191.11	c 1191s |      21 |  1827368 |  1376045 |     2436   1251 |        0 |        0
1192.71/1193.19	c 1193s |      21 |  1830224 |  1378045 |     2436   1252 |        0 |        0
1194.81/1195.26	c 1195s |      21 |  1832520 |  1379845 |     2436   1254 |        0 |        0
1196.80/1197.28	c 1197s |      21 |  1834937 |  1381645 |     2436   1255 |        0 |        0
1198.90/1199.37	c 1199s |      21 |  1837032 |  1383345 |     2436   1256 |        0 |        0
1200.91/1201.39	c 1201s |      21 |  1839223 |  1385045 |     2436   1258 |        0 |        0
1203.01/1203.48	c 1203s |      21 |  1842258 |  1387445 |     2436   1259 |        0 |        0
1205.10/1205.51	c 1205s |      21 |  1845103 |  1389645 |     2436   1261 |        0 |        0
1207.10/1207.51	c 1207s |      21 |  1847733 |  1391745 |     2436   1262 |        0 |        0
1209.10/1209.57	c 1209s |      21 |  1850185 |  1393745 |     2436   1264 |        0 |        0
1211.20/1211.62	c 1211s |      21 |  1852625 |  1395645 |     2436   1265 |        0 |        0
1213.20/1213.63	c 1213s |      21 |  1855286 |  1397645 |     2436   1267 |        0 |        0
1215.20/1215.66	c 1215s |      21 |  1858280 |  1399845 |     2436   1268 |        0 |        0
1217.30/1217.74	c 1217s |      21 |  1861083 |  1402045 |     2436   1270 |        0 |        0
1219.39/1219.85	c 1219s |      21 |  1863329 |  1403945 |     2436   1271 |        0 |        0
1221.39/1221.86	c 1221s |      21 |  1865929 |  1405945 |     2436   1273 |        0 |        0
1223.49/1223.96	c 1223s |      21 |  1868454 |  1407945 |     2436   1274 |        0 |        0
1225.49/1225.99	c 1225s |      21 |  1871230 |  1409945 |     2436   1276 |        0 |        0
1227.49/1227.99	c 1227s |      21 |  1873699 |  1411845 |     2436   1277 |        0 |        0
1229.59/1230.07	c 1229s |      21 |  1876469 |  1414045 |     2436   1279 |        0 |        0
1231.70/1232.12	c 1232s |      21 |  1879010 |  1416045 |     2436   1280 |        0 |        0
1233.69/1234.17	c 1234s |      21 |  1881334 |  1417945 |     2436   1281 |        0 |        0
1235.79/1236.23	c 1236s |      21 |  1883745 |  1419845 |     2436   1283 |        0 |        0
1237.89/1238.31	c 1238s |      21 |  1886094 |  1421745 |     2436   1284 |        0 |        0
1239.99/1240.41	c 1240s |      21 |  1888370 |  1423545 |     2436   1286 |        0 |        0
1241.99/1242.50	c 1242s |      21 |  1891308 |  1425745 |     2436   1287 |        0 |        0
1244.09/1244.55	c 1244s |      21 |  1893473 |  1427545 |     2436   1288 |        0 |        0
1246.18/1246.62	c 1246s |      21 |  1895950 |  1429545 |     2436   1290 |        0 |        0
1248.19/1248.66	c 1248s |      21 |  1898522 |  1431545 |     2436   1291 |        0 |        0
1250.29/1250.77	c 1250s |      21 |  1901119 |  1433445 |     2436   1293 |        0 |        0
1252.28/1252.78	c 1252s |      21 |  1903292 |  1435145 |     2436   1294 |        0 |        0
1254.38/1254.86	c 1254s |      21 |  1905648 |  1437045 |     2436   1295 |        0 |        0
1256.48/1256.97	c 1256s |      21 |  1908140 |  1438845 |     2436   1297 |        0 |        0
1258.47/1258.99	c 1258s |      21 |  1910065 |  1440445 |     2436   1298 |        0 |        0
1260.57/1261.01	c 1260s |      21 |  1912158 |  1442145 |     2436   1299 |        0 |        0
1262.67/1263.10	c 1263s |      21 |  1914078 |  1443645 |     2436   1300 |        0 |        0
1264.68/1265.16	c 1265s |      21 |  1916682 |  1445645 |     2436   1302 |        0 |        0
1266.78/1267.22	c 1267s |      21 |  1919007 |  1447545 |     2436   1303 |        0 |        0
1268.77/1269.25	c 1269s |      21 |  1921128 |  1449345 |     2436   1304 |        0 |        0
1270.77/1271.28	c 1271s |      21 |  1923491 |  1451245 |     2436   1306 |        0 |        0
1272.77/1273.28	c 1273s |      21 |  1925657 |  1452945 |     2436   1307 |        0 |        0
1274.87/1275.30	c 1275s |      21 |  1927719 |  1454645 |     2436   1308 |        0 |        0
1276.86/1277.38	c 1277s |      21 |  1930171 |  1456445 |     2436   1309 |        0 |        0
1278.97/1279.43	c 1279s |      21 |  1932157 |  1458145 |     2436   1311 |        0 |        0
1280.96/1281.50	c 1281s |      21 |  1934680 |  1460145 |     2436   1312 |        0 |        0
1283.16/1283.61	c 1283s |      21 |  1936815 |  1461845 |     2436   1313 |        0 |        0
1285.26/1285.76	c 1285s |      21 |  1938766 |  1463445 |     2436   1315 |        0 |        0
1287.36/1287.82	c 1287s |      21 |  1940768 |  1465045 |     2436   1316 |        0 |        0
1289.36/1289.85	c 1289s |      21 |  1943062 |  1466845 |     2436   1317 |        0 |        0
1291.46/1291.95	c 1291s |      21 |  1945297 |  1468645 |     2436   1318 |        0 |        0
1293.56/1294.09	c 1294s |      21 |  1947326 |  1470245 |     2436   1320 |        0 |        0
1295.65/1296.19	c 1296s |      21 |  1949195 |  1471745 |     2436   1321 |        0 |        0
1297.85/1298.30	c 1298s |      21 |  1951317 |  1473445 |     2436   1322 |        0 |        0
1299.86/1300.33	c 1300s |      21 |  1953037 |  1474845 |     2436   1323 |        0 |        0
1301.85/1302.37	c 1302s |      21 |  1955180 |  1476445 |     2436   1324 |        0 |        0
1303.95/1304.48	c 1304s |      21 |  1957144 |  1478045 |     2436   1325 |        0 |        0
1306.05/1306.50	c 1306s |      21 |  1959033 |  1479545 |     2436   1326 |        0 |        0
1308.05/1308.52	c 1308s |      21 |  1960701 |  1480945 |     2436   1327 |        0 |        0
1310.05/1310.52	c 1310s |      21 |  1962597 |  1482445 |     2436   1328 |        0 |        0
1312.05/1312.57	c 1312s |      21 |  1964505 |  1483945 |     2436   1329 |        0 |        0
1314.15/1314.62	c 1314s |      21 |  1966771 |  1485645 |     2436   1331 |        0 |        0
1316.14/1316.63	c 1316s |      21 |  1968698 |  1487145 |     2436   1332 |        0 |        0
1318.24/1318.70	c 1318s |      21 |  1971050 |  1488845 |     2436   1333 |        0 |        0
1320.34/1320.80	c 1320s |      21 |  1972941 |  1490445 |     2680   1334 |        0 |        0
1322.34/1322.84	c 1322s |      21 |  1975009 |  1492045 |     2680   1335 |        0 |        0
1324.34/1324.87	c 1324s |      21 |  1977065 |  1493645 |     2680   1336 |        0 |        0
1326.44/1326.97	c 1326s |      21 |  1979342 |  1495445 |     2680   1337 |        0 |        0
1328.64/1329.12	c 1329s |      21 |  1981542 |  1497145 |     2680   1339 |        0 |        0
1330.64/1331.15	c 1331s |      21 |  1983784 |  1498745 |     2680   1340 |        0 |        0
1332.74/1333.27	c 1333s |      21 |  1986045 |  1500545 |     2680   1341 |        0 |        0
1332.84/1333.37	c 1333s |      22 |  1986150 |  1500622 |     2680   1341 |        0 |        0
1334.83/1335.39	c 1335s |      22 |  1991149 |  1503322 |     2680   1343 |        0 |        0
1336.93/1337.41	c 1337s |      22 |  1994552 |  1505922 |     2680   1344 |        0 |        0
1338.93/1339.41	c 1339s |      22 |  1997576 |  1508522 |     2680   1346 |        0 |        0
1340.93/1341.43	c 1341s |      22 |  2000442 |  1511022 |     2680   1348 |        0 |        0
1342.93/1343.49	c 1343s |      22 |  2003541 |  1513722 |     2680   1350 |        0 |        0
1345.03/1345.59	c 1345s |      22 |  2007031 |  1516522 |     2680   1351 |        0 |        0
1347.13/1347.66	c 1347s |      22 |  2010044 |  1518822 |     2680   1353 |        0 |        0
1349.12/1349.69	c 1349s |      22 |  2012918 |  1520922 |     2680   1354 |        0 |        0
1351.22/1351.77	c 1351s |      22 |  2016633 |  1523522 |     2680   1356 |        0 |        0
1353.22/1353.77	c 1353s |      22 |  2020211 |  1525922 |     2680   1358 |        0 |        0
1355.32/1355.85	c 1355s |      22 |  2023358 |  1528422 |     2680   1359 |        0 |        0
1357.32/1357.88	c 1357s |      22 |  2026367 |  1530722 |     2680   1361 |        0 |        0
1359.42/1359.98	c 1359s |      22 |  2029576 |  1533122 |     2680   1362 |        0 |        0
1361.52/1362.03	c 1361s |      22 |  2032898 |  1535622 |     2680   1364 |        0 |        0
1363.52/1364.04	c 1363s |      22 |  2035971 |  1537922 |     2680   1366 |        0 |        0
1365.51/1366.07	c 1365s |      22 |  2039015 |  1540522 |     2680   1367 |        0 |        0
1367.51/1368.08	c 1368s |      22 |  2042075 |  1543222 |     2680   1369 |        0 |        0
1369.61/1370.10	c 1370s |      22 |  2044894 |  1545622 |     2680   1371 |        0 |        0
1371.61/1372.11	c 1372s |      22 |  2047497 |  1547922 |     2680   1372 |        0 |        0
1373.61/1374.15	c 1374s |      22 |  2049848 |  1550022 |     2680   1374 |        0 |        0
1375.71/1376.23	c 1376s |      22 |  2052875 |  1552622 |     2680   1375 |        0 |        0
1377.70/1378.27	c 1378s |      22 |  2055564 |  1554922 |     2680   1377 |        0 |        0
1379.70/1380.29	c 1380s |      22 |  2058328 |  1557322 |     2680   1378 |        0 |        0
1381.80/1382.33	c 1382s |      22 |  2060767 |  1559522 |     2680   1380 |        0 |        0
1383.90/1384.42	c 1384s |      22 |  2063629 |  1562022 |     2680   1382 |        0 |        0
1385.90/1386.48	c 1386s |      22 |  2066132 |  1564222 |     2680   1383 |        0 |        0
1388.00/1388.54	c 1388s |      22 |  2068463 |  1566322 |     2680   1384 |        0 |        0
1390.00/1390.59	c 1390s |      22 |  2071097 |  1568622 |     2680   1386 |        0 |        0
1392.00/1392.60	c 1392s |      22 |  2073325 |  1570622 |     2680   1387 |        0 |        0
1394.11/1394.68	c 1394s |      22 |  2075551 |  1572622 |     2680   1389 |        0 |        0
1396.21/1396.70	c 1396s |      22 |  2078027 |  1574822 |     2680   1390 |        0 |        0
1398.21/1398.76	c 1398s |      22 |  2080311 |  1576922 |     2680   1391 |        0 |        0
1400.21/1400.79	c 1400s |      22 |  2083269 |  1579522 |     2680   1393 |        0 |        0
1402.30/1402.80	c 1402s |      22 |  2085708 |  1581722 |     2680   1395 |        0 |        0
1404.31/1404.85	c 1404s |      22 |  2088651 |  1584322 |     2680   1396 |        0 |        0
1406.30/1406.90	c 1406s |      22 |  2091346 |  1586722 |     2680   1398 |        0 |        0
1408.50/1409.02	c 1408s |      22 |  2094015 |  1589122 |     2680   1400 |        0 |        0
1410.50/1411.06	c 1410s |      22 |  2097147 |  1591822 |     2680   1401 |        0 |        0
1412.60/1413.10	c 1413s |      22 |  2100186 |  1594522 |     2680   1403 |        0 |        0
1414.60/1415.16	c 1415s |      22 |  2103348 |  1597322 |     2680   1405 |        0 |        0
1416.70/1417.24	c 1417s |      22 |  2106330 |  1600022 |     2680   1407 |        0 |        0
1418.80/1419.30	c 1419s |      22 |  2109314 |  1602622 |     2680   1408 |        0 |        0
1420.81/1421.39	c 1421s |      22 |  2112168 |  1605222 |     2680   1410 |        0 |        0
1422.80/1423.40	c 1423s |      22 |  2115192 |  1607922 |     2680   1412 |        0 |        0
1424.90/1425.43	c 1425s |      22 |  2118007 |  1610422 |     2680   1414 |        0 |        0
1426.90/1427.46	c 1427s |      22 |  2120647 |  1612722 |     2680   1415 |        0 |        0
1429.00/1429.54	c 1429s |      22 |  2123230 |  1615022 |     2680   1417 |        0 |        0
1431.10/1431.61	c 1431s |      22 |  2125991 |  1617422 |     2680   1418 |        0 |        0
1433.10/1433.62	c 1433s |      22 |  2128213 |  1619422 |     2680   1420 |        0 |        0
1435.11/1435.68	c 1435s |      22 |  2131205 |  1622022 |     2680   1421 |        0 |        0
1437.10/1437.70	c 1437s |      22 |  2133923 |  1624422 |     2680   1423 |        0 |        0
1439.20/1439.73	c 1439s |      22 |  2136836 |  1627022 |     2680   1425 |        0 |        0
1441.20/1441.76	c 1441s |      22 |  2139529 |  1629422 |     2680   1426 |        0 |        0
1443.20/1443.79	c 1443s |      22 |  2142385 |  1631922 |     2680   1428 |        0 |        0
1445.30/1445.83	c 1445s |      22 |  2145336 |  1634522 |     2680   1430 |        0 |        0
1447.30/1447.89	c 1447s |      22 |  2148250 |  1637122 |     2680   1431 |        0 |        0
1449.40/1449.95	c 1449s |      22 |  2151137 |  1639722 |     2680   1433 |        0 |        0
1451.40/1451.97	c 1451s |      22 |  2153906 |  1642222 |     2680   1435 |        0 |        0
1453.50/1454.00	c 1453s |      22 |  2156844 |  1644822 |     2680   1436 |        0 |        0
1455.50/1456.01	c 1455s |      22 |  2159962 |  1647622 |     2680   1438 |        0 |        0
1457.50/1458.07	c 1458s |      22 |  2162893 |  1650222 |     2680   1440 |        0 |        0
1459.60/1460.11	c 1460s |      22 |  2165699 |  1652722 |     2680   1442 |        0 |        0
1461.59/1462.13	c 1462s |      22 |  2168556 |  1655222 |     2680   1443 |        0 |        0
1463.60/1464.17	c 1464s |      22 |  2171505 |  1657822 |     2680   1445 |        0 |        0
1465.69/1466.22	c 1466s |      22 |  2174304 |  1660322 |     2680   1447 |        0 |        0
1467.69/1468.26	c 1468s |      22 |  2177162 |  1662822 |     2680   1448 |        0 |        0
1469.79/1470.34	c 1470s |      22 |  2180158 |  1665422 |     2680   1450 |        0 |        0
1471.79/1472.39	c 1472s |      22 |  2183039 |  1667922 |     2680   1452 |        0 |        0
1473.89/1474.40	c 1474s |      22 |  2186231 |  1670622 |     2680   1454 |        0 |        0
1475.89/1476.43	c 1476s |      22 |  2189163 |  1673222 |     2680   1455 |        0 |        0
1477.90/1478.43	c 1478s |      22 |  2192095 |  1675822 |     2680   1457 |        0 |        0
1479.89/1480.45	c 1480s |      22 |  2195056 |  1678522 |     2680   1459 |        0 |        0
1481.89/1482.46	c 1482s |      22 |  2197822 |  1681022 |     2680   1460 |        0 |        0
1483.89/1484.48	c 1484s |      22 |  2200641 |  1683522 |     2680   1462 |        0 |        0
1485.99/1486.51	c 1486s |      22 |  2203292 |  1685922 |     2680   1464 |        0 |        0
1488.09/1488.62	c 1488s |      22 |  2206322 |  1688622 |     2680   1466 |        0 |        0
1490.10/1490.67	c 1490s |      22 |  2208997 |  1691022 |     2680   1467 |        0 |        0
1492.20/1492.71	c 1492s |      22 |  2211520 |  1693322 |     2680   1469 |        0 |        0
1494.19/1494.77	c 1494s |      22 |  2214715 |  1696122 |     2680   1471 |        0 |        0
1496.29/1496.80	c 1496s |      22 |  2217180 |  1698322 |     2680   1472 |        0 |        0
1498.29/1498.84	c 1498s |      22 |  2219596 |  1700522 |     2680   1473 |        0 |        0
1500.39/1500.91	c 1500s |      22 |  2222748 |  1703322 |     2680   1475 |        0 |        0
1502.39/1502.97	c 1502s |      22 |  2225630 |  1705822 |     2680   1477 |        0 |        0
1504.39/1504.99	c 1504s |      22 |  2228603 |  1708422 |     2680   1479 |        0 |        0
1506.49/1507.04	c 1506s |      22 |  2231689 |  1711122 |     2680   1480 |        0 |        0
1508.59/1509.12	c 1509s |      22 |  2234868 |  1713922 |     2680   1482 |        0 |        0
1510.58/1511.19	c 1511s |      22 |  2238310 |  1716822 |     2680   1484 |        0 |        0
1512.68/1513.23	c 1513s |      22 |  2241270 |  1719422 |     2680   1486 |        0 |        0
1514.68/1515.25	c 1515s |      22 |  2244213 |  1722022 |     2680   1488 |        0 |        0
1516.68/1517.25	c 1517s |      22 |  2247130 |  1724622 |     2680   1489 |        0 |        0
1518.69/1519.29	c 1519s |      22 |  2249691 |  1726922 |     2680   1491 |        0 |        0
1520.79/1521.31	c 1521s |      22 |  2253556 |  1729922 |     2680   1493 |        0 |        0
1522.78/1523.32	c 1523s |      22 |  2256502 |  1732622 |     2680   1495 |        0 |        0
1524.88/1525.44	c 1525s |      22 |  2259548 |  1735322 |     2680   1497 |        0 |        0
1526.98/1527.52	c 1527s |      22 |  2262740 |  1738222 |     2680   1498 |        0 |        0
1528.98/1529.56	c 1529s |      22 |  2265642 |  1740822 |     2680   1500 |        0 |        0
1531.08/1531.63	c 1531s |      22 |  2268879 |  1743722 |     2680   1502 |        0 |        0
1533.08/1533.69	c 1533s |      22 |  2271873 |  1746422 |     2680   1504 |        0 |        0
1535.09/1535.70	c 1535s |      22 |  2274930 |  1749122 |     2680   1506 |        0 |        0
1537.18/1537.80	c 1537s |      22 |  2278155 |  1751922 |     2680   1508 |        0 |        0
1539.28/1539.80	c 1539s |      22 |  2280663 |  1754122 |     2680   1509 |        0 |        0
1541.28/1541.82	c 1541s |      22 |  2283457 |  1756622 |     2680   1511 |        0 |        0
1543.38/1543.91	c 1543s |      22 |  2286391 |  1759222 |     2680   1512 |        0 |        0
1545.48/1546.00	c 1545s |      22 |  2289035 |  1761622 |     2680   1514 |        0 |        0
1547.48/1548.08	c 1548s |      22 |  2291732 |  1764022 |     2680   1516 |        0 |        0
1549.58/1550.16	c 1550s |      22 |  2294139 |  1766222 |     2680   1517 |        0 |        0
1551.68/1552.23	c 1552s |      22 |  2297402 |  1769022 |     2680   1519 |        0 |        0
1553.68/1554.24	c 1554s |      22 |  2300077 |  1771422 |     2680   1520 |        0 |        0
1555.68/1556.29	c 1556s |      22 |  2302877 |  1773922 |     2680   1522 |        0 |        0
1557.78/1558.30	c 1558s |      22 |  2305482 |  1776122 |     2680   1524 |        0 |        0
1559.77/1560.38	c 1560s |      22 |  2308073 |  1778422 |     2680   1525 |        0 |        0
1561.87/1562.44	c 1562s |      22 |  2310594 |  1780622 |     2680   1527 |        0 |        0
1563.97/1564.52	c 1564s |      22 |  2313622 |  1783322 |     2680   1528 |        0 |        0
1565.98/1566.54	c 1566s |      22 |  2316352 |  1785822 |     2680   1530 |        0 |        0
1568.08/1568.62	c 1568s |      22 |  2319226 |  1788322 |     2680   1532 |        0 |        0
1570.07/1570.69	c 1570s |      22 |  2321992 |  1790822 |     2680   1533 |        0 |        0
1572.17/1572.76	c 1572s |      22 |  2324493 |  1793122 |     2680   1535 |        0 |        0
1574.17/1574.78	c 1574s |      22 |  2327334 |  1795622 |     2680   1537 |        0 |        0
1576.27/1576.87	c 1576s |      22 |  2330219 |  1798222 |     2680   1538 |        0 |        0
1578.37/1578.90	c 1578s |      22 |  2332588 |  1800322 |     2680   1540 |        0 |        0
1580.37/1580.96	c 1580s |      22 |  2335292 |  1802722 |     2680   1541 |        0 |        0
1582.38/1583.00	c 1582s |      22 |  2337453 |  1804622 |     2680   1543 |        0 |        0
1584.47/1585.01	c 1584s |      22 |  2339964 |  1806822 |     2680   1544 |        0 |        0
1586.47/1587.05	c 1586s |      22 |  2342241 |  1808822 |     2680   1545 |        0 |        0
1588.47/1589.06	c 1588s |      22 |  2344885 |  1811122 |     2680   1547 |        0 |        0
1590.57/1591.15	c 1591s |      22 |  2347616 |  1813522 |     2680   1548 |        0 |        0
1592.57/1593.15	c 1593s |      22 |  2350153 |  1815822 |     2680   1550 |        0 |        0
1594.57/1595.18	c 1595s |      22 |  2352493 |  1817922 |     2680   1551 |        0 |        0
1596.67/1597.26	c 1597s |      22 |  2354961 |  1820122 |     2680   1553 |        0 |        0
1598.77/1599.36	c 1599s |      22 |  2357283 |  1822222 |     2680   1554 |        0 |        0
1600.77/1601.39	c 1601s |      22 |  2359824 |  1824422 |     2680   1556 |        0 |        0
1602.87/1603.45	c 1603s |      22 |  2362470 |  1826722 |     2680   1557 |        0 |        0
1604.97/1605.51	c 1605s |      22 |  2365489 |  1829422 |     2680   1559 |        0 |        0
1606.96/1607.53	c 1607s |      22 |  2368034 |  1831722 |     2680   1561 |        0 |        0
1608.96/1609.55	c 1609s |      22 |  2370680 |  1834122 |     2680   1562 |        0 |        0
1610.97/1611.56	c 1611s |      22 |  2373283 |  1836422 |     2680   1564 |        0 |        0
1613.06/1613.61	c 1613s |      22 |  2375625 |  1838522 |     2680   1565 |        0 |        0
1615.06/1615.66	c 1615s |      22 |  2377951 |  1840622 |     2680   1566 |        0 |        0
1617.16/1617.73	c 1617s |      22 |  2380253 |  1842722 |     2680   1568 |        0 |        0
1619.16/1619.78	c 1619s |      22 |  2383186 |  1845322 |     2680   1570 |        0 |        0
1621.26/1621.84	c 1621s |      22 |  2386123 |  1847922 |     2680   1571 |        0 |        0
1623.26/1623.85	c 1623s |      22 |  2388786 |  1850322 |     2680   1573 |        0 |        0
1625.37/1625.93	c 1625s |      22 |  2391685 |  1852922 |     2680   1575 |        0 |        0
1627.36/1627.95	c 1627s |      22 |  2394347 |  1855322 |     2680   1576 |        0 |        0
1629.46/1630.01	c 1629s |      22 |  2397195 |  1857822 |     2680   1578 |        0 |        0
1631.46/1632.02	c 1631s |      22 |  2399735 |  1860122 |     2680   1579 |        0 |        0
1633.46/1634.03	c 1633s |      22 |  2402174 |  1862322 |     2680   1581 |        0 |        0
1635.46/1636.04	c 1635s |      22 |  2404907 |  1864722 |     2680   1582 |        0 |        0
1637.47/1638.05	c 1637s |      22 |  2407492 |  1867022 |     2680   1584 |        0 |        0
1639.58/1640.11	c 1640s |      22 |  2410462 |  1869422 |     2680   1586 |        0 |        0
1641.57/1642.13	c 1642s |      22 |  2413192 |  1871822 |     2680   1587 |        0 |        0
1643.57/1644.18	c 1644s |      22 |  2415779 |  1874122 |     2680   1589 |        0 |        0
1645.57/1646.18	c 1646s |      22 |  2418251 |  1876322 |     2680   1590 |        0 |        0
1647.67/1648.21	c 1648s |      22 |  2420828 |  1878522 |     2680   1592 |        0 |        0
1649.67/1650.28	c 1650s |      22 |  2423153 |  1880622 |     2680   1593 |        0 |        0
1651.86/1652.40	c 1652s |      22 |  2425669 |  1882822 |     2680   1595 |        0 |        0
1653.87/1654.45	c 1654s |      22 |  2427991 |  1884922 |     2680   1596 |        0 |        0
1655.96/1656.53	c 1656s |      22 |  2430732 |  1887322 |     2680   1598 |        0 |        0
1657.96/1658.57	c 1658s |      22 |  2433989 |  1890222 |     2680   1599 |        0 |        0
1660.06/1660.63	c 1660s |      22 |  2436898 |  1892822 |     2680   1601 |        0 |        0
1662.06/1662.67	c 1662s |      22 |  2439607 |  1895222 |     2680   1603 |        0 |        0
1664.16/1664.71	c 1664s |      22 |  2442218 |  1897622 |     2680   1604 |        0 |        0
1666.16/1666.73	c 1666s |      22 |  2444791 |  1899922 |     2680   1606 |        0 |        0
1668.17/1668.76	c 1668s |      22 |  2447598 |  1902422 |     2680   1608 |        0 |        0
1670.16/1670.76	c 1670s |      22 |  2450411 |  1904922 |     2680   1609 |        0 |        0
1672.26/1672.81	c 1672s |      22 |  2452986 |  1907222 |     2680   1611 |        0 |        0
1674.36/1674.94	c 1674s |      22 |  2455681 |  1909622 |     2680   1612 |        0 |        0
1676.36/1676.99	c 1676s |      22 |  2458485 |  1912122 |     2680   1614 |        0 |        0
1678.46/1679.03	c 1678s |      22 |  2461099 |  1914422 |     2680   1616 |        0 |        0
1680.46/1681.04	c 1680s |      22 |  2463766 |  1916822 |     2680   1617 |        0 |        0
1682.47/1683.10	c 1683s |      22 |  2466316 |  1919122 |     2680   1619 |        0 |        0
1684.56/1685.15	c 1685s |      22 |  2468895 |  1921422 |     2680   1620 |        0 |        0
1686.66/1687.21	c 1687s |      22 |  2471179 |  1923522 |     2680   1622 |        0 |        0
1688.66/1689.29	c 1689s |      22 |  2473500 |  1925622 |     2680   1623 |        0 |        0
1690.76/1691.36	c 1691s |      22 |  2476214 |  1928022 |     2680   1625 |        0 |        0
1692.76/1693.38	c 1693s |      22 |  2478651 |  1930222 |     2680   1626 |        0 |        0
1694.86/1695.45	c 1695s |      22 |  2481766 |  1932622 |     2680   1628 |        0 |        0
1696.86/1697.47	c 1697s |      22 |  2484466 |  1935022 |     2680   1629 |        0 |        0
1698.86/1699.50	c 1699s |      22 |  2487305 |  1937522 |     2680   1631 |        0 |        0
1700.95/1701.51	c 1701s |      22 |  2489706 |  1939722 |     2680   1632 |        0 |        0
1702.95/1703.54	c 1703s |      22 |  2491906 |  1941722 |     2680   1634 |        0 |        0
1704.95/1705.57	c 1705s |      22 |  2494463 |  1943622 |     2680   1635 |        0 |        0
1707.05/1707.61	c 1707s |      22 |  2496822 |  1945722 |     2680   1636 |        0 |        0
1709.05/1709.67	c 1709s |      22 |  2499467 |  1948022 |     2680   1638 |        0 |        0
1711.06/1711.68	c 1711s |      22 |  2501737 |  1950022 |     2680   1639 |        0 |        0
1713.15/1713.79	c 1713s |      22 |  2504072 |  1952122 |     2680   1641 |        0 |        0
1715.25/1715.86	c 1715s |      22 |  2506540 |  1954322 |     2680   1642 |        0 |        0
1717.35/1717.90	c 1717s |      22 |  2508796 |  1956322 |     2680   1643 |        0 |        0
1719.35/1719.92	c 1719s |      22 |  2511887 |  1959022 |     2680   1645 |        0 |        0
1721.35/1721.94	c 1721s |      22 |  2515051 |  1961822 |     2680   1647 |        0 |        0
1723.45/1724.00	c 1723s |      22 |  2517993 |  1964422 |     2680   1649 |        0 |        0
1725.46/1726.03	c 1725s |      22 |  2520913 |  1967022 |     2680   1651 |        0 |        0
1727.55/1728.11	c 1728s |      22 |  2523708 |  1969522 |     2680   1652 |        0 |        0
1729.55/1730.12	c 1730s |      22 |  2526317 |  1971822 |     2680   1654 |        0 |        0
1731.55/1732.13	c 1732s |      22 |  2529066 |  1974322 |     2680   1655 |        0 |        0
1733.55/1734.14	c 1734s |      22 |  2531905 |  1976822 |     2680   1657 |        0 |        0
1735.65/1736.22	c 1736s |      22 |  2534619 |  1979222 |     2680   1659 |        0 |        0
1737.64/1738.24	c 1738s |      22 |  2537433 |  1981722 |     2680   1660 |        0 |        0
1739.75/1740.30	c 1740s |      22 |  2540251 |  1984322 |     2680   1662 |        0 |        0
1741.74/1742.34	c 1742s |      22 |  2542833 |  1986622 |     2680   1664 |        0 |        0
1743.85/1744.40	c 1744s |      22 |  2545400 |  1988922 |     2680   1665 |        0 |        0
1745.85/1746.40	c 1746s |      22 |  2548149 |  1991322 |     2680   1667 |        0 |        0
1747.85/1748.41	c 1748s |      22 |  2550695 |  1993622 |     2680   1668 |        0 |        0
1749.85/1750.43	c 1750s |      22 |  2553585 |  1996122 |     2680   1670 |        0 |        0
1751.95/1752.54	c 1752s |      22 |  2555860 |  1998222 |     2680   1671 |        0 |        0
1753.96/1754.60	c 1754s |      22 |  2558701 |  2000722 |     2680   1673 |        0 |        0
1756.05/1756.60	c 1756s |      22 |  2561538 |  2003222 |     2680   1675 |        0 |        0
1758.05/1758.62	c 1758s |      22 |  2564596 |  2005922 |     2680   1676 |        0 |        0
1760.05/1760.64	c 1760s |      22 |  2567542 |  2008622 |     2680   1678 |        0 |        0
1762.05/1762.69	c 1762s |      22 |  2570183 |  2011022 |     2680   1680 |        0 |        0
1764.15/1764.72	c 1764s |      22 |  2573118 |  2013322 |     2680   1681 |        0 |        0
1766.16/1766.73	c 1766s |      22 |  2575682 |  2015622 |     2680   1683 |        0 |        0
1768.26/1768.85	c 1768s |      22 |  2578533 |  2018122 |     2680   1685 |        0 |        0
1770.25/1770.86	c 1770s |      22 |  2580836 |  2020222 |     2680   1686 |        0 |        0
1772.35/1772.97	c 1772s |      22 |  2583985 |  2022622 |     2680   1688 |        0 |        0
1774.45/1775.01	c 1774s |      22 |  2586566 |  2024822 |     2680   1689 |        0 |        0
1776.45/1777.04	c 1776s |      22 |  2589062 |  2026922 |     2680   1690 |        0 |        0
1778.45/1779.06	c 1778s |      22 |  2591374 |  2028922 |     2680   1692 |        0 |        0
1780.54/1781.13	c 1781s |      22 |  2593591 |  2030922 |     2680   1693 |        0 |        0
1782.55/1783.20	c 1783s |      22 |  2596064 |  2033122 |     2680   1695 |        0 |        0
1784.64/1785.25	c 1785s |      22 |  2598673 |  2035422 |     2680   1696 |        0 |        0
1786.74/1787.39	c 1787s |      22 |  2601139 |  2037622 |     2680   1698 |        0 |        0
1788.84/1789.41	c 1789s |      22 |  2603454 |  2039622 |     2680   1699 |        0 |        0
1790.84/1791.48	c 1791s |      22 |  2605852 |  2041722 |     2680   1700 |        0 |        0
1792.94/1793.51	c 1793s |      22 |  2608306 |  2043822 |     2680   1702 |        0 |        0
1794.94/1795.51	c 1795s |      22 |  2610767 |  2046022 |     2680   1703 |        0 |        0
1797.04/1797.60	c 1797s |      22 |  2613233 |  2048222 |     2680   1705 |        0 |        0
1799.05/1799.64	c 1799s |      22 |  2615535 |  2050222 |     2680   1706 |        0 |        0

ERROR: no interpretation found !

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-4093310-1466080548/watcher-4093310-1466080548 -o /tmp/evaluation-result-4093310-1466080548/solver-4093310-1466080548 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466074865-13652 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093310-1466080548.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.16 2.14 3/179 14627
/proc/meminfo: memFree=30385508/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=791996 CPUtime=0 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 2966 0 0 0 0 0 0 0 20 0 4 0 10100449 811003904 3327 33554432000 4194304 16246674 140736320733664 140736320733088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 198511 3336 441 2943 0 195405 0
[pid=14627/tid=14628] ppid=14624 vsize=810428 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 829878272 3401 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=815548 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 835121152 3419 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=819644 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10100449 839315456 3435 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.15 2.16 2.14 3/179 14627
/proc/meminfo: memFree=30385508/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 25321 0 0 0 6 3 0 0 20 0 4 0 10100449 1247350784 25668 33554432000 4194304 16246674 140736320733664 140736320733088 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 304529 25676 806 2943 0 301423 0
[pid=14627/tid=14628] ppid=14624 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1247350784 25684 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1247350784 25687 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10100449 1247350784 25693 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200542 s]
/proc/loadavg: 2.15 2.16 2.14 3/179 14627
/proc/meminfo: memFree=30385508/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 52554 0 0 0 12 7 0 0 20 0 4 0 10100449 1247350784 52900 33554432000 4194304 16246674 140736320733664 140736320715584 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 304529 52916 806 2943 0 301423 0
[pid=14627/tid=14628] ppid=14624 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1247350784 52922 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1247350784 52929 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10100449 1247350784 52933 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300499 s]
/proc/loadavg: 2.15 2.16 2.14 3/179 14627
/proc/meminfo: memFree=30385508/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 81355 0 0 0 19 10 0 0 20 0 4 0 10100449 1247350784 81701 33554432000 4194304 16246674 140736320733664 140736320715584 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 304529 81719 812 2943 0 301423 0
[pid=14627/tid=14628] ppid=14624 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1247350784 81726 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1247350784 81732 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10100449 1247350784 81739 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700415 s]
/proc/loadavg: 2.15 2.16 2.14 3/179 14627
/proc/meminfo: memFree=30385508/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 204412 0 0 0 43 26 0 0 20 0 4 0 10100449 1247350784 204759 33554432000 4194304 16246674 140736320733664 140736320715584 13192029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 304529 204771 812 2943 0 301423 0
[pid=14627/tid=14628] ppid=14624 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1247350784 204775 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1247350784 204780 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10100449 1247350784 204788 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.14 2.16 2.13 3/183 14631
/proc/meminfo: memFree=29401512/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1303108 CPUtime=1.49 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 266836 0 0 0 115 34 0 0 20 0 4 0 10100449 1334382592 267160 33554432000 4194304 16246674 140736320733664 140736320715584 5841275 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 325777 267160 871 2943 0 322671 0
[pid=14627/tid=14628] ppid=14624 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1334382592 267160 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1334382592 267160 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1334382592 267160 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1303108

[startup+3.10043 s]
/proc/loadavg: 2.14 2.16 2.13 3/183 14631
/proc/meminfo: memFree=29314588/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 267761 0 0 0 275 34 0 0 20 0 4 0 10100449 1338576896 268085 33554432000 4194304 16246674 140736320733664 140736320715584 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 326801 268085 871 2943 0 323695 0
[pid=14627/tid=14628] ppid=14624 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1338576896 268085 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1338576896 268085 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1338576896 268085 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30044 s]
/proc/loadavg: 2.14 2.16 2.13 3/183 14631
/proc/meminfo: memFree=29314024/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 267766 0 0 0 595 34 0 0 20 0 4 0 10100449 1338576896 268090 33554432000 4194304 16246674 140736320733664 140736320715584 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 326801 268090 872 2943 0 323695 0
[pid=14627/tid=14628] ppid=14624 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1338576896 268090 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1338576896 268090 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1338576896 268090 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.19 2.17 2.14 4/183 14631
/proc/meminfo: memFree=29311964/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1309252 CPUtime=12.68 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 268295 0 0 0 1234 34 0 0 20 0 4 0 10100449 1340674048 268619 33554432000 4194304 16246674 140736320733664 140736320715584 13191285 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 327313 268619 873 2943 0 324207 0
[pid=14627/tid=14628] ppid=14624 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1340674048 268619 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1340674048 268619 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1340674048 268619 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.23 2.18 2.14 3/183 14631
/proc/meminfo: memFree=29310964/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1309252 CPUtime=25.49 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 268331 0 0 0 2514 35 0 0 20 0 4 0 10100449 1340674048 268655 33554432000 4194304 16246674 140736320733664 140736320715584 5717604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 327313 268655 873 2943 0 324207 0
[pid=14627/tid=14628] ppid=14624 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1340674048 268655 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1340674048 268655 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1340674048 268655 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.15 2.16 2.14 3/183 14632
/proc/meminfo: memFree=29310564/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1309252 CPUtime=51.08 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 268333 0 0 0 5073 35 0 0 20 0 4 0 10100449 1340674048 268657 33554432000 4194304 16246674 140736320733664 140736320715584 5516342 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 327313 268657 875 2943 0 324207 0
[pid=14627/tid=14628] ppid=14624 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1340674048 268657 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1340674048 268657 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1340674048 268657 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.301 s]
/proc/loadavg: 2.10 2.15 2.13 3/183 14633
/proc/meminfo: memFree=29310384/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 268333 0 0 0 10193 35 0 0 20 0 4 0 10100449 1340674048 268657 33554432000 4194304 16246674 140736320733664 140736320715584 5545872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 327313 268657 875 2943 0 324207 0
[pid=14627/tid=14628] ppid=14624 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1340674048 268657 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1340674048 268657 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1340674048 268657 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1319492

[startup+1302.3 s]
/proc/loadavg: 2.10 2.12 2.12 3/183 14664
/proc/meminfo: memFree=29267564/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1319492 CPUtime=1301.85 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 271388 0 0 0 130143 42 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 140736320715584 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 329873 271577 876 2943 0 326767 0
[pid=14627/tid=14628] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.19 2.14 2.12 3/183 14665
/proc/meminfo: memFree=29267156/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1319492 CPUtime=1361.82 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 271429 0 0 0 136140 42 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 140736320715584 12477791 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 329873 271577 876 2943 0 326767 0
[pid=14627/tid=14628] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1319492

[startup+1422.3 s]
/proc/loadavg: 2.17 2.15 2.12 3/183 14666
/proc/meminfo: memFree=29268176/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1319492 CPUtime=1421.81 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 271444 0 0 0 142138 43 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 140736320715584 5545708 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 329873 271577 876 2943 0 326767 0
[pid=14627/tid=14628] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1319492

[startup+1482.3 s]
/proc/loadavg: 2.22 2.16 2.12 3/184 14670
/proc/meminfo: memFree=29267816/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1319492 CPUtime=1481.79 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 271444 0 0 0 148136 43 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 140736320715584 5553704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 329873 271577 876 2943 0 326767 0
[pid=14627/tid=14628] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1319492

[startup+1542.31 s]
/proc/loadavg: 2.15 2.16 2.12 3/184 14694
/proc/meminfo: memFree=29267088/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1319492 CPUtime=1541.79 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 271444 0 0 0 154136 43 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 140736320715584 12478249 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 329873 271577 876 2943 0 326767 0
[pid=14627/tid=14628] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1319492

[startup+1602.3 s]
/proc/loadavg: 2.15 2.16 2.12 3/183 14696
/proc/meminfo: memFree=29267560/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1319492 CPUtime=1601.77 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 271444 0 0 0 160134 43 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 140736320715584 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 329873 271577 876 2943 0 326767 0
[pid=14627/tid=14628] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1319492

[startup+1662.3 s]
/proc/loadavg: 2.07 2.13 2.11 3/183 14745
/proc/meminfo: memFree=29308120/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1319492 CPUtime=1661.76 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 271444 0 0 0 166132 44 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 140736320715584 5722853 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 329873 271577 876 2943 0 326767 0
[pid=14627/tid=14628] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1319492

[startup+1722.3 s]
/proc/loadavg: 2.18 2.15 2.12 3/183 14746
/proc/meminfo: memFree=29307744/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1319492 CPUtime=1721.75 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 271444 0 0 0 172131 44 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 140736320732760 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 329873 271577 876 2943 0 326767 0
[pid=14627/tid=14628] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1319492

[startup+1782.3 s]
/proc/loadavg: 2.16 2.15 2.11 3/183 14747
/proc/meminfo: memFree=29299068/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1319492 CPUtime=1781.74 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 271444 0 0 0 178129 45 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 140736320715584 5545796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 329873 271577 876 2943 0 326767 0
[pid=14627/tid=14628] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.13 2.14 2.11 3/183 14748
/proc/meminfo: memFree=29298944/32872528 swapFree=532956/565660
[pid=14627] ppid=14624 vsize=1319492 CPUtime=1800.04 cores=1,3,5,7
/proc/14627/stat : 14627 (toysat) R 14624 14627 11130 0 -1 4202496 271444 0 0 0 179959 45 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 140736320715584 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14627/statm: 329873 271577 876 2943 0 326767 0
[pid=14627/tid=14628] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14628/stat : 14628 (toysat) S 14624 14627 11130 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861527866608 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14627/tid=14629] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14629/stat : 14629 (toysat) S 14624 14627 11130 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861449223408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14627/tid=14630] ppid=14624 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/14627/task/14630/stat : 14630 (toysat) S 14624 14627 11130 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10100449 1351159808 271577 33554432000 4194304 16246674 140736320733664 139861438749872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1319492

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.6
CPU system time (s): 0.45393
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.45393
maximum resident set size= 1086308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271444
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= 460
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55831 second user time and 6.96994 second system time

The end

Begin job on node138 at 2016-06-16 14:35:48
IDJOB=4093310
IDBENCH=78693
IDSOLVER=2553
FILE ID=node138/4093310-1466080548
RUNJOBID= node138-1466074865-13652
PBS_JOBID= 19904002
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= fbd3a39d50404986b242d7bfefa0e7f6
RANDOM SEED=1782022622

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30386696 kB
Buffers:           25912 kB
Cached:           105756 kB
SwapCached:         1380 kB
Active:          1162992 kB
Inactive:          57656 kB
Active(anon):    1089564 kB
Inactive(anon):     1664 kB
Active(file):      73428 kB
Inactive(file):    55992 kB
Unevictable:      565660 kB
Mlocked:          532956 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1743588 kB
Mapped:            10616 kB
Shmem:                 0 kB
Slab:             566752 kB
SReclaimable:      10620 kB
SUnreclaim:       556132 kB
KernelStack:        1520 kB
PageTables:         7348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1799924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node138 at 2016-06-16 15:05:49