0.00/0.00	c 2016-06-18T22:16:53+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107006-1466281013.opb"]
0.00/0.01	c use --random-gen="3473340206 229715918 2411149749 290961411 2488661809 2485691789 2179143143 3919687673 3183202675 3681280771 3888138837 3845984224 1215991433 2201999055 318293501 3816303703 588492785 1128080697 3266163732 2416118273 248592003 1934787932 3850810273 357788111 3273660478 3500567874 1576605279 3456265619 2510571644 1697025411 2316117077 1788434246 3739363935 1759927872 2246096875 3438793092 2161723766 1534299808 3493772592 3056299281 3389381385 3926175489 1704223842 4255490044 2644194736 2797258078 3183863816 3455792353 2703091349 2181863811 314695273 3869840407 3885770917 958871748 1996129999 4253668401 3680109 1029966356 3587430184 1933192885 3476878077 2494250697 3254612922 3608438752 1636755974 328558046 3899972770 509361342 3929912869 794281239 3617766958 1990955698 1538432161 3377654887 427277245 383181425 9525990 3442858108 3616737834 468577123 97032528 541431129 2168446907 1890978016 2763205451 1156828998 563584704 1692767593 2117125596 616175266 3042720174 3091435572 3268828537 3513389865 3588984328 3247369388 3946644809 4126611839 2674156711 1909496477 877315738 814842883 1558417278 1403539651 696572051 3544854852 3714147002 3604467857 3552768854 2041812728 3693662988 3439252133 4204829889 71312301 3571972345 3456352680 2675354228 3077054028 516337843 1969518291 1137691083 4227791359 712718036 2271574586 2660483211 4111457742 3848201228 2107543726 246002651 3408081268 2618656774 3234250903 333152498 1801432560 2390950608 2268161308 2362333157 3650682676 81008616 1813922144 1362382471 1686848905 1780102734 2189856420 1688809521 1284525680 2300998837 2224600699 3884548487 133218650 1386085429 1542815544 1601676183 169696392 2902707086 1185964281 2984104504 318189577 46307132 3556939026 720034687 726439165 932937161 3915274862 2784530267 2417450688 2481309506 896675672 3622993729 1780834554 327342155 3212290269 3823482082 520142720 1358833494 1515188364 3661623716 870072798 3453940729 2871082655 1640276770 647472790 3139232378 3109906073 2046508924 1431544947 2628919396 1000518719 4139243128 2391655365 1416972491 3545946193 3940989818 3971409754 1372392599 4142907668 900440467 3689070602 3385173655 2355552375 2918816378 1898438927 1510792320 3470070081 923623433 1215173843 921564418 1939693672 3217034020 1478452701 3718569397 4205148958 266634278 1903794232 1693802182 2745274640 4248823808 2822550673 2377933104 3712377968 3868264544 2202202381 1327512135 430093078 290939079 2377517354 459281596 1283977335 5967853 459458272 1638009419 1793999139 1417476757 3070401947 3081975638 3627484716 4232212151 496501454 3616314804 2170446313 997738408 3552646758 2411343858 3539622591 1549143056 1734239624 1645211783 1078720945 665745459 558635838 2386678120 4265709464 48792781 2132212848 1370416033 2810134763 255 362436" option to reproduce the execution
0.00/0.02	c #vars 200
0.00/0.02	c #constraints 302
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 |     1002      0 |        0 |        0
0.09/0.10	c  0.0s |       1 |      257 |      100 |     1002      0 |        0 |        0
0.09/0.15	c  0.1s |       2 |     1370 |      250 |     1103      0 |        0 |        0
0.19/0.24	c  0.2s |       3 |     1691 |      475 |     1214      0 |        0 |        0
0.39/0.41	c  0.4s |       4 |     2131 |      813 |     1336      0 |        0 |        0
0.59/0.66	c  0.6s |       5 |     2763 |     1320 |     1470      0 |        0 |        0
0.99/1.05	c  1.0s |       6 |     3805 |     2081 |     1780      1 |        0 |        0
1.39/1.48	c  1.4s |       7 |     5171 |     3223 |     1959      2 |        0 |        0
2.09/2.13	c  2.1s |       8 |     7148 |     4936 |     2155      4 |        0 |        0
2.89/2.99	c  2.9s |       9 |    10341 |     7506 |     2371      6 |        0 |        0
4.29/4.34	c  4.3s |      10 |    14741 |    11361 |     2609      9 |        0 |        0
6.29/6.34	c  6.3s |      10 |    20550 |    16561 |     2609     12 |        0 |        0
6.49/6.55	c  6.5s |      11 |    21198 |    17144 |     2870     13 |        0 |        0
8.48/8.57	c  8.5s |      11 |    27138 |    22444 |     2870     16 |        0 |        0
9.78/9.83	c  9.8s |      12 |    30750 |    25819 |     3158     18 |        0 |        0
11.78/11.84	c 11.8s |      12 |    37016 |    31419 |     3158     22 |        0 |        0
13.78/13.86	c 13.8s |      12 |    43900 |    37619 |     3158     26 |        0 |        0
14.18/14.27	c 14.2s |      13 |    45263 |    38832 |     3474     26 |        0 |        0
16.28/16.31	c 16.3s |      13 |    50883 |    44032 |     3474     29 |        0 |        0
18.28/18.38	c 18.3s |      13 |    57674 |    50032 |     3474     32 |        0 |        0
20.38/20.41	c 20.4s |      13 |    63519 |    55432 |     3474     35 |        0 |        0
21.38/21.46	c 21.4s |      14 |    66683 |    58352 |     3822     37 |        0 |        0
23.38/23.49	c 23.4s |      14 |    73449 |    64152 |     3822     40 |        0 |        0
25.48/25.50	c 25.5s |      14 |    79889 |    69852 |     3822     43 |        0 |        0
27.49/27.52	c 27.5s |      14 |    87247 |    75952 |     3822     46 |        0 |        0
29.48/29.53	c 29.5s |      14 |    94470 |    82052 |     3822     49 |        0 |        0
31.38/31.40	c 31.3s |      15 |   101211 |    87632 |     4205     52 |        0 |        0
33.39/33.42	c 33.4s |      15 |   107158 |    92932 |     4205     54 |        0 |        0
35.39/35.44	c 35.4s |      15 |   113522 |    98632 |     4205     57 |        0 |        0
37.39/37.44	c 37.4s |      15 |   120609 |   104532 |     4205     60 |        0 |        0
39.39/39.45	c 39.4s |      15 |   127836 |   110432 |     4205     62 |        0 |        0
41.38/41.45	c 41.4s |      15 |   133328 |   115432 |     4205     65 |        0 |        0
43.38/43.49	c 43.4s |      15 |   140083 |   121232 |     4205     67 |        0 |        0
45.48/45.51	c 45.5s |      15 |   146329 |   126732 |     4205     70 |        0 |        0
47.08/47.12	c 47.1s |      16 |   152078 |   131552 |     4626     72 |        0 |        0
49.08/49.12	c 49.1s |      16 |   158393 |   136952 |     4626     74 |        0 |        0
51.08/51.15	c 51.1s |      16 |   164878 |   142452 |     4626     77 |        0 |        0
53.18/53.23	c 53.2s |      16 |   171600 |   148252 |     4626     79 |        0 |        0
55.28/55.33	c 55.3s |      16 |   177787 |   153852 |     4626     81 |        0 |        0
57.28/57.35	c 57.3s |      16 |   184432 |   159552 |     4626     84 |        0 |        0
59.28/59.36	c 59.3s |      16 |   191280 |   165452 |     4626     86 |        0 |        0
61.27/61.38	c 61.3s |      16 |   198223 |   171552 |     4626     89 |        0 |        0
63.37/63.41	c 63.4s |      16 |   204649 |   177052 |     4626     91 |        0 |        0
65.38/65.42	c 65.4s |      16 |   211139 |   182452 |     4626     93 |        0 |        0
67.38/67.43	c 67.4s |      16 |   216644 |   187452 |     4626     96 |        0 |        0
69.39/69.45	c 69.4s |      16 |   223095 |   193052 |     4626     98 |        0 |        0
71.08/71.19	c 71.1s |      17 |   228114 |   197432 |     5089    100 |        0 |        0
73.18/73.24	c 73.2s |      17 |   233391 |   202232 |     5089    101 |        0 |        0
75.18/75.26	c 75.2s |      17 |   238657 |   207132 |     5089    103 |        0 |        0
77.18/77.28	c 77.2s |      17 |   244480 |   212332 |     5089    105 |        0 |        0
79.18/79.30	c 79.2s |      17 |   250369 |   217332 |     5089    107 |        0 |        0
81.28/81.33	c 81.3s |      17 |   256776 |   222932 |     5089    109 |        0 |        0
83.28/83.35	c 83.3s |      17 |   263229 |   228432 |     5089    111 |        0 |        0
85.28/85.35	c 85.3s |      17 |   269118 |   233432 |     5089    113 |        0 |        0
87.28/87.38	c 87.3s |      17 |   275420 |   238832 |     5089    115 |        0 |        0
89.28/89.38	c 89.3s |      17 |   281604 |   244232 |     5089    118 |        0 |        0
91.28/91.39	c 91.3s |      17 |   288461 |   250032 |     5089    120 |        0 |        0
93.37/93.41	c 93.4s |      17 |   296334 |   256632 |     5089    122 |        0 |        0
95.37/95.45	c 95.4s |      17 |   301071 |   260632 |     5089    124 |        0 |        0
97.37/97.46	c 97.4s |      17 |   306146 |   265232 |     5089    126 |        0 |        0
99.37/99.47	c 99.4s |      17 |   312047 |   270432 |     5089    128 |        0 |        0
101.37/101.47	c  101s |      17 |   317894 |   275732 |     5089    130 |        0 |        0
103.38/103.48	c  103s |      17 |   323776 |   280932 |     5089    132 |        0 |        0
105.47/105.50	c  105s |      17 |   329867 |   286232 |     5089    134 |        0 |        0
107.47/107.52	c  107s |      17 |   337071 |   292332 |     5089    136 |        0 |        0
108.88/108.92	c  108s |      18 |   341865 |   296252 |     5598    137 |        0 |        0
110.87/110.93	c  110s |      18 |   347570 |   301052 |     5598    139 |        0 |        0
112.87/112.95	c  112s |      18 |   353582 |   306252 |     5598    141 |        0 |        0
114.87/114.96	c  114s |      18 |   359772 |   311752 |     5598    143 |        0 |        0
116.97/117.00	c  116s |      18 |   364735 |   316052 |     5598    144 |        0 |        0
118.97/119.03	c  118s |      18 |   370205 |   320952 |     5598    146 |        0 |        0
120.97/121.07	c  121s |      18 |   375987 |   326052 |     5598    148 |        0 |        0
122.97/123.08	c  123s |      18 |   381678 |   330952 |     5598    150 |        0 |        0
125.07/125.10	c  125s |      18 |   387731 |   336152 |     5598    151 |        0 |        0
127.07/127.12	c  127s |      18 |   394067 |   341552 |     5598    153 |        0 |        0
129.07/129.12	c  129s |      18 |   401203 |   347352 |     5598    155 |        0 |        0
131.07/131.14	c  131s |      18 |   406538 |   351852 |     5598    157 |        0 |        0
133.07/133.17	c  133s |      18 |   412851 |   356852 |     5598    159 |        0 |        0
135.06/135.18	c  135s |      18 |   418197 |   361652 |     5598    160 |        0 |        0
137.06/137.18	c  137s |      18 |   424323 |   366852 |     5598    162 |        0 |        0
139.16/139.21	c  139s |      18 |   430123 |   371752 |     5598    164 |        0 |        0
141.16/141.25	c  141s |      18 |   436096 |   376752 |     5598    166 |        0 |        0
143.16/143.29	c  143s |      18 |   442786 |   382352 |     5598    168 |        0 |        0
145.28/145.33	c  145s |      18 |   449707 |   388052 |     5598    170 |        0 |        0
147.27/147.36	c  147s |      18 |   456652 |   393652 |     5598    172 |        0 |        0
149.27/149.37	c  149s |      18 |   463826 |   399652 |     5598    174 |        0 |        0
151.27/151.38	c  151s |      18 |   468846 |   403952 |     5598    175 |        0 |        0
153.27/153.39	c  153s |      18 |   474692 |   409052 |     5598    177 |        0 |        0
155.37/155.42	c  155s |      18 |   481003 |   414452 |     5598    179 |        0 |        0
157.37/157.43	c  157s |      18 |   486602 |   419452 |     5598    181 |        0 |        0
159.36/159.44	c  159s |      18 |   492865 |   424952 |     5598    182 |        0 |        0
161.36/161.46	c  161s |      18 |   499044 |   430052 |     5598    184 |        0 |        0
163.36/163.48	c  163s |      18 |   506179 |   436152 |     5598    186 |        0 |        0
165.46/165.51	c  165s |      18 |   512740 |   441552 |     6158    188 |        0 |        0
166.46/166.51	c  166s |      19 |   516252 |   444482 |     6158    189 |        0 |        0
168.46/168.53	c  168s |      19 |   521006 |   448382 |     6158    190 |        0 |        0
170.47/170.55	c  170s |      19 |   526887 |   453582 |     6158    192 |        0 |        0
172.46/172.58	c  172s |      19 |   533318 |   458882 |     6158    194 |        0 |        0
174.56/174.64	c  174s |      19 |   540165 |   464682 |     6158    196 |        0 |        0
176.57/176.65	c  176s |      19 |   546424 |   469882 |     6158    197 |        0 |        0
178.56/178.68	c  178s |      19 |   552039 |   474882 |     6158    199 |        0 |        0
180.66/180.71	c  180s |      19 |   557284 |   479482 |     6158    200 |        0 |        0
182.67/182.73	c  182s |      19 |   562939 |   484582 |     6158    202 |        0 |        0
184.66/184.78	c  184s |      19 |   568949 |   489682 |     6158    204 |        0 |        0
186.76/186.80	c  186s |      19 |   575407 |   495082 |     6158    205 |        0 |        0
188.86/188.92	c  188s |      19 |   580158 |   499382 |     6158    207 |        0 |        0
190.86/190.92	c  190s |      19 |   585500 |   504182 |     6158    208 |        0 |        0
192.86/192.95	c  192s |      19 |   590651 |   508882 |     6158    210 |        0 |        0
194.86/194.96	c  194s |      19 |   595919 |   513582 |     6158    211 |        0 |        0
196.87/196.98	c  196s |      19 |   600898 |   517982 |     6158    213 |        0 |        0
198.86/198.99	c  198s |      19 |   606870 |   523082 |     6158    214 |        0 |        0
200.86/200.99	c  200s |      19 |   612346 |   527782 |     6158    216 |        0 |        0
202.96/203.01	c  202s |      19 |   618292 |   532982 |     6158    217 |        0 |        0
204.96/205.04	c  204s |      19 |   624961 |   538382 |     6158    219 |        0 |        0
206.96/207.07	c  207s |      19 |   631353 |   543582 |     6158    221 |        0 |        0
208.97/209.08	c  209s |      19 |   637701 |   548982 |     6158    222 |        0 |        0
211.16/211.21	c  211s |      19 |   645639 |   555282 |     6158    224 |        0 |        0
213.16/213.22	c  213s |      19 |   650022 |   559082 |     6158    226 |        0 |        0
215.16/215.23	c  215s |      19 |   655509 |   563882 |     6158    227 |        0 |        0
217.16/217.24	c  217s |      19 |   661107 |   568882 |     6158    229 |        0 |        0
219.16/219.25	c  219s |      19 |   666691 |   573882 |     6158    230 |        0 |        0
221.16/221.25	c  221s |      19 |   672716 |   579182 |     6158    232 |        0 |        0
223.15/223.30	c  223s |      19 |   679243 |   584682 |     6158    234 |        0 |        0
225.25/225.33	c  225s |      19 |   684425 |   589282 |     6158    235 |        0 |        0
227.25/227.34	c  227s |      19 |   689339 |   593682 |     6158    237 |        0 |        0
229.25/229.39	c  229s |      19 |   695425 |   598782 |     6158    238 |        0 |        0
231.35/231.42	c  231s |      19 |   700842 |   603682 |     6158    240 |        0 |        0
233.35/233.46	c  233s |      19 |   706705 |   608782 |     6158    242 |        0 |        0
235.36/235.48	c  235s |      19 |   712957 |   614182 |     6158    243 |        0 |        0
237.35/237.49	c  237s |      19 |   720116 |   620182 |     6158    245 |        0 |        0
239.45/239.52	c  239s |      19 |   724485 |   623782 |     6158    246 |        0 |        0
241.46/241.53	c  241s |      19 |   731475 |   629282 |     6158    248 |        0 |        0
243.46/243.54	c  243s |      19 |   737163 |   634282 |     6158    250 |        0 |        0
245.45/245.57	c  245s |      19 |   742552 |   639082 |     6158    251 |        0 |        0
247.46/247.60	c  247s |      19 |   749446 |   644782 |     6158    253 |        0 |        0
249.55/249.62	c  249s |      19 |   756139 |   650282 |     6158    255 |        0 |        0
251.55/251.62	c  251s |      19 |   763770 |   656282 |     6158    257 |        0 |        0
253.55/253.63	c  253s |      19 |   769761 |   661182 |     6158    258 |        0 |        0
255.55/255.64	c  255s |      19 |   776420 |   666782 |     6774    260 |        0 |        0
255.55/255.65	c  255s |      20 |   776467 |   666827 |     6774    260 |        0 |        0
257.55/257.69	c  257s |      20 |   782797 |   672227 |     6774    261 |        0 |        0
259.65/259.74	c  259s |      20 |   788044 |   676927 |     6774    263 |        0 |        0
261.65/261.75	c  261s |      20 |   794558 |   682427 |     6774    264 |        0 |        0
263.64/263.75	c  263s |      20 |   801216 |   687427 |     6774    266 |        0 |        0
265.64/265.76	c  265s |      20 |   807907 |   693027 |     6774    267 |        0 |        0
267.84/267.91	c  267s |      20 |   814247 |   698627 |     6774    269 |        0 |        0
269.84/269.93	c  269s |      20 |   821567 |   704627 |     6774    271 |        0 |        0
271.84/271.97	c  271s |      20 |   828753 |   710427 |     6774    273 |        0 |        0
274.14/274.28	c  274s |      20 |   836946 |   716527 |     6774    274 |        0 |        0
276.24/276.30	c  276s |      20 |   842526 |   721427 |     6774    276 |        0 |        0
278.25/278.33	c  278s |      20 |   848862 |   726627 |     6774    277 |        0 |        0
280.24/280.35	c  280s |      20 |   855612 |   732227 |     6774    279 |        0 |        0
282.24/282.37	c  282s |      20 |   861464 |   737127 |     6774    280 |        0 |        0
284.24/284.37	c  284s |      20 |   867446 |   742227 |     6774    282 |        0 |        0
286.25/286.39	c  286s |      20 |   873645 |   747427 |     6774    283 |        0 |        0
288.25/288.39	c  288s |      20 |   879992 |   752827 |     6774    285 |        0 |        0
290.25/290.39	c  290s |      20 |   886069 |   758027 |     6774    286 |        0 |        0
292.35/292.41	c  292s |      20 |   893595 |   764027 |     6774    288 |        0 |        0
294.35/294.42	c  294s |      20 |   901325 |   770327 |     6774    290 |        0 |        0
296.35/296.42	c  296s |      20 |   906183 |   774127 |     6774    291 |        0 |        0
298.34/298.43	c  298s |      20 |   913077 |   779827 |     6774    293 |        0 |        0
300.35/300.45	c  300s |      20 |   919721 |   785327 |     6774    294 |        0 |        0
302.34/302.49	c  302s |      20 |   924718 |   789727 |     6774    296 |        0 |        0
304.44/304.52	c  304s |      20 |   929959 |   794227 |     6774    297 |        0 |        0
306.44/306.53	c  306s |      20 |   935675 |   799227 |     6774    298 |        0 |        0
308.44/308.54	c  308s |      20 |   942006 |   804727 |     6774    300 |        0 |        0
310.44/310.56	c  310s |      20 |   947977 |   809527 |     6774    301 |        0 |        0
312.45/312.57	c  312s |      20 |   953702 |   814527 |     6774    303 |        0 |        0
314.44/314.60	c  314s |      20 |   960225 |   820027 |     6774    304 |        0 |        0
316.54/316.62	c  316s |      20 |   965969 |   824627 |     6774    306 |        0 |        0
318.54/318.63	c  318s |      20 |   972322 |   830027 |     6774    307 |        0 |        0
320.54/320.66	c  320s |      20 |   978235 |   835127 |     6774    309 |        0 |        0
322.54/322.68	c  322s |      20 |   985124 |   841027 |     6774    311 |        0 |        0
324.64/324.70	c  324s |      20 |   990717 |   845627 |     6774    312 |        0 |        0
326.64/326.72	c  326s |      20 |   998707 |   851827 |     6774    314 |        0 |        0
328.64/328.72	c  328s |      20 |  1005883 |   857527 |     6774    315 |        0 |        0
330.64/330.73	c  330s |      20 |  1013496 |   863927 |     6774    317 |        0 |        0
332.63/332.76	c  332s |      20 |  1020387 |   868827 |     6774    319 |        0 |        0
334.63/334.77	c  334s |      20 |  1026296 |   874027 |     6774    320 |        0 |        0
336.64/336.78	c  336s |      20 |  1032872 |   879627 |     6774    322 |        0 |        0
338.74/338.80	c  338s |      20 |  1038815 |   884827 |     6774    323 |        0 |        0
340.74/340.81	c  340s |      20 |  1045326 |   890327 |     6774    325 |        0 |        0
342.74/342.82	c  342s |      20 |  1052507 |   896227 |     6774    327 |        0 |        0
344.74/344.83	c  344s |      20 |  1059494 |   902227 |     6774    328 |        0 |        0
346.74/346.86	c  346s |      20 |  1065729 |   907427 |     6774    330 |        0 |        0
348.84/348.91	c  348s |      20 |  1071920 |   912627 |     6774    331 |        0 |        0
350.85/350.94	c  350s |      20 |  1077678 |   917627 |     6774    333 |        0 |        0
352.84/352.96	c  352s |      20 |  1084900 |   923527 |     6774    335 |        0 |        0
354.84/354.96	c  354s |      20 |  1091285 |   928727 |     6774    336 |        0 |        0
356.84/356.98	c  356s |      20 |  1098618 |   934727 |     6774    338 |        0 |        0
359.04/359.14	c  359s |      20 |  1106219 |   940827 |     6774    340 |        0 |        0
361.03/361.14	c  361s |      20 |  1112427 |   946027 |     6774    341 |        0 |        0
363.04/363.14	c  363s |      20 |  1119653 |   952027 |     6774    343 |        0 |        0
365.03/365.15	c  365s |      20 |  1126938 |   958027 |     6774    345 |        0 |        0
367.03/367.17	c  367s |      20 |  1133377 |   963527 |     6774    346 |        0 |        0
369.03/369.18	c  369s |      20 |  1140959 |   969827 |     6774    348 |        0 |        0
371.03/371.19	c  371s |      20 |  1148118 |   975527 |     6774    350 |        0 |        0
373.13/373.23	c  373s |      20 |  1155833 |   981927 |     6774    352 |        0 |        0
375.14/375.24	c  375s |      20 |  1163708 |   988527 |     6774    354 |        0 |        0
377.23/377.34	c  377s |      20 |  1170046 |   993727 |     7452    355 |        0 |        0
379.23/379.35	c  379s |      20 |  1175393 |   998227 |     7452    356 |        0 |        0
380.33/380.44	c  380s |      21 |  1177772 |  1000345 |     7452    357 |        0 |        0
382.33/382.45	c  382s |      21 |  1181860 |  1003945 |     7452    358 |        0 |        0
384.33/384.46	c  384s |      21 |  1187300 |  1008645 |     7452    359 |        0 |        0
386.33/386.47	c  386s |      21 |  1192170 |  1013045 |     7452    360 |        0 |        0
388.34/388.47	c  388s |      21 |  1196841 |  1017445 |     7452    361 |        0 |        0
390.33/390.49	c  390s |      21 |  1202438 |  1022145 |     7452    362 |        0 |        0
392.43/392.55	c  392s |      21 |  1208928 |  1027345 |     7452    364 |        0 |        0
394.43/394.58	c  394s |      21 |  1214322 |  1032145 |     7452    365 |        0 |        0
396.53/396.61	c  396s |      21 |  1221026 |  1037645 |     7452    367 |        0 |        0
398.53/398.62	c  398s |      21 |  1225378 |  1040945 |     7452    367 |        0 |        0
400.53/400.65	c  400s |      21 |  1230312 |  1045345 |     7452    369 |        0 |        0
402.53/402.69	c  402s |      21 |  1236116 |  1050345 |     7452    370 |        0 |        0
404.62/404.71	c  404s |      21 |  1240938 |  1054745 |     7452    371 |        0 |        0
406.63/406.75	c  406s |      21 |  1246892 |  1059845 |     7452    372 |        0 |        0
408.62/408.76	c  408s |      21 |  1254421 |  1065645 |     7452    374 |        0 |        0
410.62/410.77	c  410s |      21 |  1259773 |  1070345 |     7452    375 |        0 |        0
412.72/412.80	c  412s |      21 |  1264462 |  1074145 |     7452    376 |        0 |        0
414.93/415.09	c  415s |      21 |  1269992 |  1079045 |     7452    378 |        0 |        0
416.94/417.09	c  417s |      21 |  1275015 |  1083645 |     7452    379 |        0 |        0
418.93/419.10	c  419s |      21 |  1279908 |  1088045 |     7452    380 |        0 |        0
421.03/421.14	c  421s |      21 |  1285809 |  1093145 |     7452    381 |        0 |        0
423.13/423.22	c  423s |      21 |  1291549 |  1098045 |     7452    383 |        0 |        0
425.13/425.29	c  425s |      21 |  1298811 |  1103945 |     7452    384 |        0 |        0
427.23/427.31	c  427s |      21 |  1304163 |  1108745 |     7452    385 |        0 |        0
429.22/429.33	c  429s |      21 |  1308480 |  1112545 |     7452    386 |        0 |        0
431.23/431.35	c  431s |      21 |  1313997 |  1117445 |     7452    388 |        0 |        0
433.22/433.37	c  433s |      21 |  1320714 |  1123045 |     7452    389 |        0 |        0
435.32/435.41	c  435s |      21 |  1325773 |  1127345 |     7452    390 |        0 |        0
437.32/437.42	c  437s |      21 |  1331786 |  1132645 |     7452    392 |        0 |        0
439.32/439.43	c  439s |      21 |  1337531 |  1137445 |     7452    393 |        0 |        0
441.32/441.44	c  441s |      21 |  1343741 |  1143045 |     7452    394 |        0 |        0
443.32/443.45	c  443s |      21 |  1350344 |  1148745 |     7452    396 |        0 |        0
445.43/445.52	c  445s |      21 |  1356358 |  1153645 |     7452    397 |        0 |        0
447.43/447.52	c  447s |      21 |  1361759 |  1158445 |     7452    399 |        0 |        0
449.42/449.53	c  449s |      21 |  1367649 |  1163845 |     7452    400 |        0 |        0
451.42/451.54	c  451s |      21 |  1372855 |  1168345 |     7452    401 |        0 |        0
453.52/453.62	c  453s |      21 |  1377566 |  1172345 |     7452    402 |        0 |        0
455.52/455.62	c  455s |      21 |  1382797 |  1176945 |     7452    403 |        0 |        0
457.53/457.64	c  457s |      21 |  1388442 |  1181645 |     7452    405 |        0 |        0
459.52/459.65	c  459s |      21 |  1394540 |  1186845 |     7452    406 |        0 |        0
461.52/461.66	c  461s |      21 |  1400309 |  1191745 |     7452    407 |        0 |        0
463.52/463.67	c  463s |      21 |  1405416 |  1195945 |     7452    408 |        0 |        0
465.52/465.69	c  465s |      21 |  1411667 |  1201345 |     7452    410 |        0 |        0
467.53/467.69	c  467s |      21 |  1416353 |  1205545 |     7452    411 |        0 |        0
469.63/469.72	c  469s |      21 |  1421749 |  1210245 |     7452    412 |        0 |        0
471.62/471.73	c  471s |      21 |  1427828 |  1215345 |     7452    414 |        0 |        0
473.62/473.73	c  473s |      21 |  1433639 |  1220045 |     7452    415 |        0 |        0
475.62/475.76	c  475s |      21 |  1439966 |  1225445 |     7452    416 |        0 |        0
477.62/477.78	c  477s |      21 |  1447112 |  1230845 |     7452    418 |        0 |        0
479.63/479.79	c  479s |      21 |  1453825 |  1236245 |     7452    419 |        0 |        0
481.62/481.80	c  481s |      21 |  1459582 |  1241245 |     7452    420 |        0 |        0
483.72/483.81	c  483s |      21 |  1465009 |  1245745 |     7452    422 |        0 |        0
485.72/485.84	c  485s |      21 |  1472089 |  1251245 |     7452    423 |        0 |        0
487.71/487.86	c  487s |      21 |  1478281 |  1256345 |     7452    424 |        0 |        0
489.71/489.88	c  489s |      21 |  1486208 |  1262445 |     7452    426 |        0 |        0
491.72/491.89	c  491s |      21 |  1494617 |  1268845 |     7452    428 |        0 |        0
493.82/493.94	c  493s |      21 |  1498935 |  1272245 |     7452    429 |        0 |        0
495.81/495.97	c  495s |      21 |  1504939 |  1277345 |     7452    430 |        0 |        0
497.81/497.99	c  497s |      21 |  1510535 |  1282245 |     7452    431 |        0 |        0
499.91/500.02	c  499s |      21 |  1516837 |  1287845 |     7452    433 |        0 |        0
501.92/502.03	c  501s |      21 |  1521293 |  1291745 |     7452    434 |        0 |        0
503.92/504.05	c  504s |      21 |  1526571 |  1296445 |     7452    435 |        0 |        0
505.92/506.09	c  506s |      21 |  1532330 |  1301445 |     7452    436 |        0 |        0
508.01/508.11	c  508s |      21 |  1538180 |  1306645 |     7452    438 |        0 |        0
510.01/510.14	c  510s |      21 |  1544308 |  1311845 |     7452    439 |        0 |        0
512.01/512.16	c  512s |      21 |  1550898 |  1317345 |     7452    441 |        0 |        0
514.01/514.19	c  514s |      21 |  1557176 |  1322845 |     7452    442 |        0 |        0
516.11/516.21	c  516s |      21 |  1564097 |  1328545 |     7452    444 |        0 |        0
518.11/518.22	c  518s |      21 |  1568034 |  1331845 |     7452    444 |        0 |        0
520.11/520.23	c  520s |      21 |  1573941 |  1336945 |     7452    446 |        0 |        0
522.11/522.26	c  522s |      21 |  1579233 |  1341645 |     7452    447 |        0 |        0
524.11/524.29	c  524s |      21 |  1585357 |  1346945 |     7452    448 |        0 |        0
526.20/526.30	c  526s |      21 |  1590240 |  1351245 |     7452    450 |        0 |        0
528.20/528.31	c  528s |      21 |  1596463 |  1356745 |     7452    451 |        0 |        0
530.22/530.34	c  530s |      21 |  1602415 |  1361945 |     7452    452 |        0 |        0
532.21/532.36	c  532s |      21 |  1609564 |  1367845 |     7452    454 |        0 |        0
534.21/534.37	c  534s |      21 |  1613936 |  1371645 |     7452    455 |        0 |        0
536.31/536.40	c  536s |      21 |  1620068 |  1376945 |     7452    456 |        0 |        0
538.31/538.43	c  538s |      21 |  1625421 |  1381745 |     7452    458 |        0 |        0
540.31/540.46	c  540s |      21 |  1632045 |  1387445 |     7452    459 |        0 |        0
542.31/542.48	c  542s |      21 |  1639532 |  1393445 |     7452    461 |        0 |        0
544.31/544.49	c  544s |      21 |  1644894 |  1397845 |     7452    462 |        0 |        0
546.41/546.51	c  546s |      21 |  1651409 |  1403445 |     7452    463 |        0 |        0
548.40/548.53	c  548s |      21 |  1658104 |  1409045 |     7452    465 |        0 |        0
550.40/550.55	c  550s |      21 |  1664050 |  1414145 |     7452    466 |        0 |        0
552.40/552.56	c  552s |      21 |  1670877 |  1420045 |     7452    468 |        0 |        0
554.41/554.56	c  554s |      21 |  1677118 |  1425245 |     7452    469 |        0 |        0
556.40/556.57	c  556s |      21 |  1684070 |  1430945 |     7452    471 |        0 |        0
558.71/558.81	c  558s |      21 |  1689982 |  1435645 |     7452    472 |        0 |        0
560.70/560.83	c  560s |      21 |  1695144 |  1439945 |     7452    473 |        0 |        0
562.70/562.88	c  562s |      21 |  1700101 |  1444445 |     7452    474 |        0 |        0
564.70/564.88	c  564s |      21 |  1705493 |  1448845 |     7452    476 |        0 |        0
566.80/566.99	c  566s |      21 |  1711201 |  1454045 |     7452    477 |        0 |        0
568.90/569.01	c  568s |      21 |  1716903 |  1459045 |     7452    478 |        0 |        0
571.00/571.12	c  571s |      21 |  1721913 |  1463445 |     7452    479 |        0 |        0
573.01/573.14	c  573s |      21 |  1726865 |  1467845 |     7452    481 |        0 |        0
575.00/575.17	c  575s |      21 |  1732601 |  1472945 |     7452    482 |        0 |        0
577.10/577.22	c  577s |      21 |  1737792 |  1477445 |     7452    483 |        0 |        0
579.10/579.24	c  579s |      21 |  1742586 |  1481545 |     7452    484 |        0 |        0
581.10/581.26	c  581s |      21 |  1748077 |  1486245 |     7452    485 |        0 |        0
583.10/583.26	c  583s |      21 |  1752662 |  1490345 |     8198    486 |        0 |        0
585.10/585.30	c  585s |      21 |  1758027 |  1494745 |     8198    487 |        0 |        0
587.19/587.36	c  587s |      21 |  1763696 |  1499445 |     8198    489 |        0 |        0
587.69/587.83	c  587s |      22 |  1765113 |  1500622 |     8198    489 |        0 |        0
590.29/590.40	c  590s |      22 |  1771863 |  1505922 |     8198    490 |        0 |        0
592.29/592.40	c  592s |      22 |  1776795 |  1510222 |     8198    491 |        0 |        0
594.29/594.43	c  594s |      22 |  1782033 |  1514722 |     8198    492 |        0 |        0
596.30/596.48	c  596s |      22 |  1786088 |  1518322 |     8198    493 |        0 |        0
598.41/598.53	c  598s |      22 |  1790519 |  1522122 |     8198    494 |        0 |        0
600.40/600.56	c  600s |      22 |  1796143 |  1526822 |     8198    495 |        0 |        0
602.40/602.57	c  602s |      22 |  1800896 |  1531022 |     8198    496 |        0 |        0
604.40/604.58	c  604s |      22 |  1805781 |  1535522 |     8198    497 |        0 |        0
606.40/606.59	c  606s |      22 |  1809911 |  1539322 |     8198    498 |        0 |        0
608.50/608.63	c  608s |      22 |  1814618 |  1543522 |     8198    499 |        0 |        0
610.50/610.65	c  610s |      22 |  1820537 |  1548722 |     8198    500 |        0 |        0
612.99/613.11	c  613s |      22 |  1826010 |  1553522 |     8198    502 |        0 |        0
615.00/615.14	c  615s |      22 |  1830209 |  1557122 |     8198    502 |        0 |        0
617.00/617.15	c  617s |      22 |  1834460 |  1560922 |     8198    503 |        0 |        0
618.99/619.16	c  619s |      22 |  1839046 |  1564922 |     8198    504 |        0 |        0
620.99/621.17	c  621s |      22 |  1843841 |  1569022 |     8198    505 |        0 |        0
622.99/623.18	c  623s |      22 |  1848541 |  1573122 |     8198    506 |        0 |        0
624.99/625.19	c  625s |      22 |  1853940 |  1577722 |     8198    507 |        0 |        0
627.09/627.25	c  627s |      22 |  1858247 |  1581422 |     8198    508 |        0 |        0
629.20/629.32	c  629s |      22 |  1862626 |  1585222 |     8198    509 |        0 |        0
631.19/631.35	c  631s |      22 |  1867123 |  1588922 |     8198    510 |        0 |        0
633.19/633.36	c  633s |      22 |  1871810 |  1593022 |     8198    511 |        0 |        0
635.29/635.40	c  635s |      22 |  1877109 |  1597522 |     8198    512 |        0 |        0
637.30/637.44	c  637s |      22 |  1881991 |  1601822 |     8198    513 |        0 |        0
639.29/639.44	c  639s |      22 |  1885245 |  1604722 |     8198    514 |        0 |        0
641.30/641.46	c  641s |      22 |  1890041 |  1609022 |     8198    515 |        0 |        0
643.29/643.48	c  643s |      22 |  1895471 |  1613322 |     8198    516 |        0 |        0
645.29/645.49	c  645s |      22 |  1900724 |  1617722 |     8198    517 |        0 |        0
647.39/647.51	c  647s |      22 |  1905848 |  1622122 |     8198    518 |        0 |        0
649.39/649.55	c  649s |      22 |  1912173 |  1627222 |     8198    519 |        0 |        0
651.39/651.57	c  651s |      22 |  1918921 |  1632722 |     8198    521 |        0 |        0
653.39/653.58	c  653s |      22 |  1923340 |  1636422 |     8198    521 |        0 |        0
655.39/655.59	c  655s |      22 |  1928157 |  1640322 |     8198    522 |        0 |        0
657.49/657.62	c  657s |      22 |  1932532 |  1644322 |     8198    523 |        0 |        0
659.49/659.65	c  659s |      22 |  1937728 |  1648822 |     8198    524 |        0 |        0
661.49/661.68	c  661s |      22 |  1941832 |  1652422 |     8198    525 |        0 |        0
663.59/663.70	c  663s |      22 |  1947143 |  1656822 |     8198    526 |        0 |        0
665.59/665.74	c  665s |      22 |  1952485 |  1661422 |     8198    528 |        0 |        0
667.59/667.77	c  667s |      22 |  1959463 |  1666922 |     8198    529 |        0 |        0
669.58/669.77	c  669s |      22 |  1964076 |  1670722 |     8198    530 |        0 |        0
671.68/671.81	c  671s |      22 |  1970623 |  1675922 |     8198    531 |        0 |        0
673.68/673.83	c  673s |      22 |  1976853 |  1680722 |     8198    532 |        0 |        0
675.88/676.01	c  675s |      22 |  1982949 |  1685422 |     8198    533 |        0 |        0
677.88/678.03	c  677s |      22 |  1988479 |  1690022 |     8198    534 |        0 |        0
679.98/680.12	c  680s |      22 |  1993629 |  1694622 |     8198    536 |        0 |        0
681.99/682.14	c  682s |      22 |  1998800 |  1699122 |     8198    537 |        0 |        0
684.19/684.38	c  684s |      22 |  2005533 |  1704722 |     8198    538 |        0 |        0
686.18/686.40	c  686s |      22 |  2013181 |  1710522 |     8198    539 |        0 |        0
688.29/688.41	c  688s |      22 |  2020832 |  1716322 |     8198    541 |        0 |        0
690.29/690.43	c  690s |      22 |  2027330 |  1721422 |     8198    542 |        0 |        0
692.29/692.45	c  692s |      22 |  2033600 |  1726422 |     8198    543 |        0 |        0
694.29/694.45	c  694s |      22 |  2040048 |  1731622 |     8198    544 |        0 |        0
696.29/696.48	c  696s |      22 |  2044614 |  1735622 |     8198    545 |        0 |        0
698.29/698.48	c  698s |      22 |  2049998 |  1740222 |     8198    547 |        0 |        0
700.39/700.50	c  700s |      22 |  2055666 |  1745122 |     8198    548 |        0 |        0
702.38/702.53	c  702s |      22 |  2062752 |  1750422 |     8198    549 |        0 |        0
704.38/704.53	c  704s |      22 |  2067015 |  1754022 |     8198    550 |        0 |        0
706.38/706.56	c  706s |      22 |  2072437 |  1758822 |     8198    551 |        0 |        0
708.48/708.60	c  708s |      22 |  2077993 |  1763422 |     8198    552 |        0 |        0
710.49/710.61	c  710s |      22 |  2084241 |  1768522 |     8198    553 |        0 |        0
712.48/712.62	c  712s |      22 |  2089123 |  1772722 |     8198    554 |        0 |        0
714.48/714.63	c  714s |      22 |  2094624 |  1777522 |     8198    556 |        0 |        0
716.48/716.66	c  716s |      22 |  2100757 |  1782822 |     8198    557 |        0 |        0
718.58/718.78	c  718s |      22 |  2106349 |  1787722 |     8198    558 |        0 |        0
720.58/720.79	c  720s |      22 |  2112799 |  1792922 |     8198    559 |        0 |        0
722.58/722.80	c  722s |      22 |  2119421 |  1798222 |     8198    561 |        0 |        0
724.68/724.83	c  724s |      22 |  2126832 |  1804222 |     8198    562 |        0 |        0
726.68/726.86	c  726s |      22 |  2131872 |  1808322 |     8198    563 |        0 |        0
728.68/728.86	c  728s |      22 |  2137520 |  1813122 |     8198    564 |        0 |        0
730.67/730.89	c  730s |      22 |  2143274 |  1818322 |     8198    565 |        0 |        0
732.77/732.94	c  732s |      22 |  2148860 |  1823222 |     8198    567 |        0 |        0
734.78/734.95	c  734s |      22 |  2153774 |  1827522 |     8198    568 |        0 |        0
736.77/736.96	c  736s |      22 |  2159239 |  1832122 |     8198    569 |        0 |        0
738.77/738.99	c  738s |      22 |  2165878 |  1837622 |     8198    570 |        0 |        0
740.87/741.00	c  740s |      22 |  2171338 |  1842222 |     8198    571 |        0 |        0
742.87/743.02	c  742s |      22 |  2176978 |  1847222 |     8198    572 |        0 |        0
744.98/745.12	c  745s |      22 |  2182550 |  1852122 |     8198    574 |        0 |        0
746.98/747.13	c  747s |      22 |  2189855 |  1857722 |     8198    575 |        0 |        0
748.99/749.16	c  749s |      22 |  2197391 |  1863722 |     8198    576 |        0 |        0
750.98/751.19	c  751s |      22 |  2202717 |  1868022 |     8198    577 |        0 |        0
753.08/753.20	c  753s |      22 |  2209513 |  1873322 |     8198    579 |        0 |        0
755.08/755.23	c  755s |      22 |  2215242 |  1878222 |     8198    580 |        0 |        0
757.08/757.27	c  757s |      22 |  2221005 |  1883122 |     8198    581 |        0 |        0
759.08/759.28	c  759s |      22 |  2227117 |  1888422 |     8198    582 |        0 |        0
761.08/761.29	c  761s |      22 |  2233350 |  1893522 |     8198    584 |        0 |        0
763.17/763.40	c  763s |      22 |  2239956 |  1898822 |     8198    585 |        0 |        0
765.27/765.41	c  765s |      22 |  2246348 |  1904322 |     8198    586 |        0 |        0
767.27/767.43	c  767s |      22 |  2252789 |  1909722 |     8198    587 |        0 |        0
769.27/769.44	c  769s |      22 |  2259120 |  1915222 |     8198    589 |        0 |        0
771.37/771.54	c  771s |      22 |  2265301 |  1920522 |     8198    590 |        0 |        0
773.37/773.55	c  773s |      22 |  2272636 |  1926422 |     8198    591 |        0 |        0
775.57/775.71	c  775s |      22 |  2280508 |  1932622 |     8198    593 |        0 |        0
777.58/777.71	c  777s |      22 |  2287625 |  1938622 |     8198    594 |        0 |        0
779.57/779.74	c  779s |      22 |  2295272 |  1944722 |     8198    596 |        0 |        0
781.67/781.86	c  781s |      22 |  2302899 |  1950322 |     8198    597 |        0 |        0
783.67/783.89	c  783s |      22 |  2308650 |  1955322 |     8198    598 |        0 |        0
785.77/785.91	c  785s |      22 |  2315366 |  1960722 |     8198    600 |        0 |        0
787.77/787.93	c  787s |      22 |  2321431 |  1965522 |     8198    601 |        0 |        0
789.77/789.94	c  789s |      22 |  2327724 |  1971022 |     8198    602 |        0 |        0
791.76/791.95	c  791s |      22 |  2333933 |  1976322 |     8198    604 |        0 |        0
793.77/793.97	c  793s |      22 |  2340424 |  1981722 |     8198    605 |        0 |        0
795.77/795.99	c  795s |      22 |  2348080 |  1987822 |     8198    606 |        0 |        0
797.86/798.03	c  797s |      22 |  2353491 |  1992022 |     8198    607 |        0 |        0
799.96/800.13	c  800s |      22 |  2358937 |  1996822 |     8198    609 |        0 |        0
801.96/802.14	c  802s |      22 |  2366035 |  2002522 |     8198    610 |        0 |        0
804.26/804.44	c  804s |      22 |  2372832 |  2007822 |     8198    611 |        0 |        0
806.27/806.48	c  806s |      22 |  2378253 |  2012622 |     8198    612 |        0 |        0
808.26/808.48	c  808s |      22 |  2382526 |  2016622 |     8198    613 |        0 |        0
810.36/810.53	c  810s |      22 |  2387833 |  2021222 |     8198    614 |        0 |        0
812.36/812.59	c  812s |      22 |  2393305 |  2026022 |     8198    616 |        0 |        0
814.45/814.61	c  814s |      22 |  2399835 |  2031622 |     8198    617 |        0 |        0
816.45/816.63	c  816s |      22 |  2405752 |  2036422 |     8198    618 |        0 |        0
818.45/818.67	c  818s |      22 |  2409261 |  2039622 |     8198    619 |        0 |        0
820.46/820.68	c  820s |      22 |  2413921 |  2043722 |     8198    620 |        0 |        0
822.55/822.70	c  822s |      22 |  2419915 |  2048522 |     8198    621 |        0 |        0
824.55/824.74	c  824s |      22 |  2427243 |  2054422 |     8198    622 |        0 |        0
826.55/826.78	c  826s |      22 |  2433410 |  2059022 |     8198    624 |        0 |        0
828.55/828.79	c  828s |      22 |  2438838 |  2063222 |     8198    625 |        0 |        0
830.65/830.85	c  830s |      22 |  2443609 |  2067422 |     8198    626 |        0 |        0
832.65/832.87	c  832s |      22 |  2449029 |  2072022 |     8198    627 |        0 |        0
834.64/834.89	c  834s |      22 |  2454696 |  2076722 |     8198    628 |        0 |        0
836.74/836.93	c  836s |      22 |  2459656 |  2080922 |     8198    629 |        0 |        0
838.74/838.95	c  838s |      22 |  2464227 |  2085022 |     8198    630 |        0 |        0
840.75/840.96	c  840s |      22 |  2469753 |  2089822 |     8198    631 |        0 |        0
842.75/842.96	c  842s |      22 |  2474137 |  2093822 |     8198    632 |        0 |        0
844.84/845.00	c  844s |      22 |  2479364 |  2098522 |     8198    633 |        0 |        0
846.85/847.02	c  846s |      22 |  2484341 |  2102622 |     8198    634 |        0 |        0
848.84/849.05	c  848s |      22 |  2489217 |  2106922 |     8198    635 |        0 |        0
850.84/851.08	c  851s |      22 |  2494884 |  2111822 |     8198    636 |        0 |        0
852.93/853.12	c  853s |      22 |  2501062 |  2116922 |     8198    637 |        0 |        0
854.94/855.14	c  855s |      22 |  2506419 |  2121422 |     8198    639 |        0 |        0
856.93/857.17	c  857s |      22 |  2511129 |  2125522 |     8198    639 |        0 |        0
859.04/859.26	c  859s |      22 |  2516030 |  2129922 |     8198    641 |        0 |        0
861.14/861.31	c  861s |      22 |  2520632 |  2133922 |     8198    642 |        0 |        0
863.13/863.34	c  863s |      22 |  2525965 |  2138522 |     8198    643 |        0 |        0
865.13/865.34	c  865s |      22 |  2531084 |  2143022 |     8198    644 |        0 |        0
867.13/867.36	c  867s |      22 |  2536798 |  2147722 |     8198    645 |        0 |        0
869.33/869.58	c  869s |      22 |  2542850 |  2152522 |     8198    646 |        0 |        0
871.43/871.60	c  871s |      22 |  2547504 |  2156622 |     8198    647 |        0 |        0
873.42/873.62	c  873s |      22 |  2553980 |  2162122 |     8198    648 |        0 |        0
875.53/875.72	c  875s |      22 |  2559757 |  2167022 |     8198    650 |        0 |        0
877.52/877.74	c  877s |      22 |  2564537 |  2171222 |     8198    651 |        0 |        0
879.52/879.77	c  879s |      22 |  2570181 |  2176222 |     8198    652 |        0 |        0
881.52/881.79	c  881s |      22 |  2576667 |  2181622 |     8198    653 |        0 |        0
883.52/883.79	c  883s |      22 |  2581037 |  2185222 |     8198    654 |        0 |        0
885.52/885.79	c  885s |      22 |  2587945 |  2190722 |     8198    655 |        0 |        0
887.63/887.84	c  887s |      22 |  2593755 |  2195622 |     8198    656 |        0 |        0
889.62/889.87	c  889s |      22 |  2600620 |  2201122 |     8198    658 |        0 |        0
891.62/891.87	c  891s |      22 |  2607909 |  2206922 |     8198    659 |        0 |        0
893.62/893.87	c  893s |      22 |  2613669 |  2211922 |     8198    660 |        0 |        0
896.02/896.20	c  896s |      22 |  2620114 |  2217222 |     8198    662 |        0 |        0
898.02/898.23	c  898s |      22 |  2624946 |  2221322 |     8198    663 |        0 |        0
900.02/900.24	c  900s |      22 |  2630599 |  2226322 |     8198    664 |        0 |        0
902.02/902.25	c  902s |      22 |  2637637 |  2232022 |     8198    665 |        0 |        0
904.02/904.26	c  904s |      22 |  2642077 |  2235622 |     9018    666 |        0 |        0
906.01/906.27	c  906s |      22 |  2647170 |  2239722 |     9018    667 |        0 |        0
908.11/908.31	c  908s |      22 |  2651967 |  2244022 |     9018    668 |        0 |        0
910.11/910.34	c  910s |      22 |  2656429 |  2247822 |     9018    669 |        0 |        0
911.72/911.97	c  911s |      23 |  2660306 |  2251038 |     9018    669 |        0 |        0
913.71/913.97	c  913s |      23 |  2663914 |  2254238 |     9018    670 |        0 |        0
915.71/915.99	c  915s |      23 |  2668571 |  2258438 |     9018    671 |        0 |        0
917.81/918.00	c  917s |      23 |  2672051 |  2261538 |     9018    672 |        0 |        0
919.81/920.02	c  919s |      23 |  2676684 |  2265638 |     9018    672 |        0 |        0
921.81/922.04	c  921s |      23 |  2681252 |  2269538 |     9018    673 |        0 |        0
923.91/924.13	c  924s |      23 |  2686205 |  2273838 |     9018    674 |        0 |        0
925.90/926.14	c  926s |      23 |  2691354 |  2278338 |     9018    675 |        0 |        0
927.90/928.16	c  928s |      23 |  2696247 |  2282638 |     9018    676 |        0 |        0
929.90/930.16	c  930s |      23 |  2702457 |  2287738 |     9018    677 |        0 |        0
933.20/933.41	c  933s |      23 |  2708928 |  2293138 |     9018    678 |        0 |        0
935.20/935.43	c  935s |      23 |  2713313 |  2297138 |     9018    679 |        0 |        0
937.20/937.45	c  937s |      23 |  2718035 |  2301438 |     9018    680 |        0 |        0
939.20/939.47	c  939s |      23 |  2722314 |  2305238 |     9018    681 |        0 |        0
941.29/941.50	c  941s |      23 |  2727001 |  2309238 |     9018    682 |        0 |        0
943.29/943.52	c  943s |      23 |  2731607 |  2313438 |     9018    683 |        0 |        0
945.29/945.56	c  945s |      23 |  2737518 |  2318538 |     9018    684 |        0 |        0
947.29/947.57	c  947s |      23 |  2743586 |  2323638 |     9018    685 |        0 |        0
949.29/949.57	c  949s |      23 |  2747229 |  2326938 |     9018    686 |        0 |        0
951.30/951.57	c  951s |      23 |  2750621 |  2329738 |     9018    687 |        0 |        0
953.39/953.63	c  953s |      23 |  2754354 |  2333038 |     9018    687 |        0 |        0
955.39/955.64	c  955s |      23 |  2759217 |  2337238 |     9018    688 |        0 |        0
957.39/957.67	c  957s |      23 |  2763286 |  2340738 |     9018    689 |        0 |        0
959.39/959.69	c  959s |      23 |  2768594 |  2345338 |     9018    690 |        0 |        0
961.38/961.69	c  961s |      23 |  2773626 |  2349438 |     9018    691 |        0 |        0
963.49/963.71	c  963s |      23 |  2779182 |  2354138 |     9018    692 |        0 |        0
965.48/965.73	c  965s |      23 |  2785421 |  2359238 |     9018    693 |        0 |        0
967.48/967.75	c  967s |      23 |  2789917 |  2362838 |     9018    694 |        0 |        0
969.48/969.77	c  969s |      23 |  2795024 |  2367238 |     9018    695 |        0 |        0
971.48/971.79	c  971s |      23 |  2800502 |  2371938 |     9018    696 |        0 |        0
973.58/973.82	c  973s |      23 |  2806000 |  2376738 |     9018    697 |        0 |        0
975.59/975.83	c  975s |      23 |  2811704 |  2381438 |     9018    698 |        0 |        0
977.58/977.85	c  977s |      23 |  2819617 |  2387338 |     9018    699 |        0 |        0
979.58/979.85	c  979s |      23 |  2822734 |  2390038 |     9018    700 |        0 |        0
981.58/981.87	c  981s |      23 |  2828216 |  2394838 |     9018    701 |        0 |        0
983.57/983.89	c  983s |      23 |  2833697 |  2399838 |     9018    702 |        0 |        0
985.67/985.90	c  985s |      23 |  2840085 |  2405438 |     9018    703 |        0 |        0
987.68/987.99	c  987s |      23 |  2844244 |  2409138 |     9018    704 |        0 |        0
989.78/990.01	c  989s |      23 |  2849776 |  2414038 |     9018    705 |        0 |        0
991.77/992.02	c  991s |      23 |  2855700 |  2419238 |     9018    706 |        0 |        0
993.77/994.03	c  993s |      23 |  2860242 |  2423338 |     9018    707 |        0 |        0
995.77/996.03	c  995s |      23 |  2866258 |  2428538 |     9018    708 |        0 |        0
997.78/998.05	c  997s |      23 |  2872223 |  2433538 |     9018    709 |        0 |        0
999.78/1000.06	c 1000s |      23 |  2878946 |  2439038 |     9018    710 |        0 |        0
1001.78/1002.09	c 1002s |      23 |  2886079 |  2444538 |     9018    712 |        0 |        0
1004.27/1004.50	c 1004s |      23 |  2889990 |  2447738 |     9018    712 |        0 |        0
1006.28/1006.53	c 1006s |      23 |  2895254 |  2452238 |     9018    713 |        0 |        0
1008.27/1008.57	c 1008s |      23 |  2901134 |  2457138 |     9018    714 |        0 |        0
1010.27/1010.59	c 1010s |      23 |  2906540 |  2461538 |     9018    715 |        0 |        0
1012.37/1012.63	c 1012s |      23 |  2910817 |  2465438 |     9018    716 |        0 |        0
1014.36/1014.63	c 1014s |      23 |  2915516 |  2469538 |     9018    717 |        0 |        0
1016.36/1016.67	c 1016s |      23 |  2921829 |  2474838 |     9018    718 |        0 |        0
1018.47/1018.70	c 1018s |      23 |  2926963 |  2479138 |     9018    719 |        0 |        0
1020.46/1020.73	c 1020s |      23 |  2931553 |  2483238 |     9018    720 |        0 |        0
1022.46/1022.75	c 1022s |      23 |  2936627 |  2487738 |     9018    721 |        0 |        0
1024.46/1024.78	c 1024s |      23 |  2940903 |  2491438 |     9018    722 |        0 |        0
1026.46/1026.79	c 1026s |      23 |  2946160 |  2496238 |     9018    723 |        0 |        0
1028.56/1028.80	c 1028s |      23 |  2952247 |  2501438 |     9018    724 |        0 |        0
1030.57/1030.82	c 1030s |      23 |  2956109 |  2504538 |     9018    725 |        0 |        0
1032.56/1032.87	c 1032s |      23 |  2960750 |  2508738 |     9018    726 |        0 |        0
1034.66/1034.90	c 1034s |      23 |  2967055 |  2513838 |     9018    727 |        0 |        0
1036.66/1036.90	c 1036s |      23 |  2971721 |  2517938 |     9018    728 |        0 |        0
1038.66/1038.93	c 1038s |      23 |  2978190 |  2523338 |     9018    729 |        0 |        0
1040.66/1040.94	c 1040s |      23 |  2981968 |  2526738 |     9018    730 |        0 |        0
1042.66/1042.96	c 1042s |      23 |  2987739 |  2531938 |     9018    731 |        0 |        0
1044.65/1044.97	c 1044s |      23 |  2993517 |  2537038 |     9018    732 |        0 |        0
1046.65/1046.98	c 1046s |      23 |  2999169 |  2541838 |     9018    733 |        0 |        0
1048.75/1049.01	c 1048s |      23 |  3004925 |  2546938 |     9018    734 |        0 |        0
1050.75/1051.03	c 1050s |      23 |  3011350 |  2552538 |     9018    735 |        0 |        0
1052.75/1053.06	c 1053s |      23 |  3013913 |  2554738 |     9018    736 |        0 |        0
1054.75/1055.07	c 1055s |      23 |  3018431 |  2558838 |     9018    737 |        0 |        0
1056.74/1057.09	c 1057s |      23 |  3023421 |  2563338 |     9018    738 |        0 |        0
1058.74/1059.09	c 1059s |      23 |  3028489 |  2567938 |     9018    739 |        0 |        0
1060.84/1061.10	c 1061s |      23 |  3033359 |  2572438 |     9018    740 |        0 |        0
1062.94/1063.27	c 1063s |      23 |  3037539 |  2576038 |     9018    741 |        0 |        0
1064.95/1065.27	c 1065s |      23 |  3042715 |  2580738 |     9018    742 |        0 |        0
1067.05/1067.30	c 1067s |      23 |  3047598 |  2585238 |     9018    743 |        0 |        0
1069.05/1069.33	c 1069s |      23 |  3052528 |  2589738 |     9018    744 |        0 |        0
1071.05/1071.34	c 1071s |      23 |  3058631 |  2594938 |     9018    745 |        0 |        0
1073.04/1073.37	c 1073s |      23 |  3063601 |  2598938 |     9018    746 |        0 |        0
1075.04/1075.38	c 1075s |      23 |  3069407 |  2603738 |     9018    747 |        0 |        0
1077.04/1077.38	c 1077s |      23 |  3075065 |  2608438 |     9018    748 |        0 |        0
1079.14/1079.40	c 1079s |      23 |  3081857 |  2614038 |     9018    749 |        0 |        0
1081.14/1081.45	c 1081s |      23 |  3087659 |  2619138 |     9018    750 |        0 |        0
1083.13/1083.46	c 1083s |      23 |  3094306 |  2624738 |     9018    751 |        0 |        0
1085.13/1085.47	c 1085s |      23 |  3099420 |  2629238 |     9018    752 |        0 |        0
1087.23/1087.57	c 1087s |      23 |  3104603 |  2633538 |     9018    753 |        0 |        0
1089.23/1089.58	c 1089s |      23 |  3110296 |  2638238 |     9018    754 |        0 |        0
1091.33/1091.62	c 1091s |      23 |  3115402 |  2642538 |     9018    755 |        0 |        0
1093.33/1093.65	c 1093s |      23 |  3121363 |  2647738 |     9018    756 |        0 |        0
1095.52/1095.84	c 1095s |      23 |  3125464 |  2651238 |     9018    757 |        0 |        0
1097.53/1097.85	c 1097s |      23 |  3130380 |  2655638 |     9018    758 |        0 |        0
1099.52/1099.88	c 1099s |      23 |  3134038 |  2658938 |     9018    759 |        0 |        0
1101.52/1101.89	c 1101s |      23 |  3139152 |  2663338 |     9018    760 |        0 |        0
1103.52/1103.89	c 1103s |      23 |  3144714 |  2668138 |     9018    761 |        0 |        0
1105.52/1105.89	c 1105s |      23 |  3150286 |  2673138 |     9018    762 |        0 |        0
1107.72/1108.04	c 1107s |      23 |  3155858 |  2678038 |     9018    763 |        0 |        0
1109.72/1110.07	c 1110s |      23 |  3160464 |  2681938 |     9018    764 |        0 |        0
1111.72/1112.09	c 1112s |      23 |  3166047 |  2686738 |     9018    765 |        0 |        0
1113.81/1114.10	c 1114s |      23 |  3171189 |  2691138 |     9018    766 |        0 |        0
1115.81/1116.15	c 1116s |      23 |  3177350 |  2696338 |     9018    767 |        0 |        0
1117.81/1118.17	c 1118s |      23 |  3184267 |  2701638 |     9018    768 |        0 |        0
1119.91/1120.20	c 1120s |      23 |  3191700 |  2707438 |     9018    769 |        0 |        0
1122.32/1122.62	c 1122s |      23 |  3198260 |  2712838 |     9018    771 |        0 |        0
1124.31/1124.64	c 1124s |      23 |  3205258 |  2718638 |     9018    772 |        0 |        0
1126.31/1126.66	c 1126s |      23 |  3209829 |  2722338 |     9018    773 |        0 |        0
1128.32/1128.66	c 1128s |      23 |  3216383 |  2727538 |     9018    774 |        0 |        0
1130.52/1130.89	c 1130s |      23 |  3222507 |  2732338 |     9018    775 |        0 |        0
1132.61/1132.91	c 1132s |      23 |  3228845 |  2737738 |     9018    776 |        0 |        0
1134.61/1134.94	c 1134s |      23 |  3235389 |  2743038 |     9018    777 |        0 |        0
1136.61/1136.95	c 1136s |      23 |  3242079 |  2748438 |     9018    778 |        0 |        0
1138.61/1138.97	c 1138s |      23 |  3248920 |  2753838 |     9018    780 |        0 |        0
1141.61/1141.95	c 1141s |      23 |  3256889 |  2759938 |     9018    781 |        0 |        0
1143.60/1143.96	c 1143s |      23 |  3262666 |  2764938 |     9018    782 |        0 |        0
1145.70/1146.00	c 1145s |      23 |  3269248 |  2770238 |     9018    783 |        0 |        0
1147.70/1148.01	c 1147s |      23 |  3276161 |  2775738 |     9018    784 |        0 |        0
1149.70/1150.03	c 1149s |      23 |  3282389 |  2781138 |     9018    786 |        0 |        0
1151.70/1152.05	c 1152s |      23 |  3287646 |  2785338 |     9018    787 |        0 |        0
1153.70/1154.08	c 1154s |      23 |  3294422 |  2790938 |     9018    788 |        0 |        0
1155.69/1156.09	c 1156s |      23 |  3302093 |  2796938 |     9018    789 |        0 |        0
1157.79/1158.11	c 1158s |      23 |  3308531 |  2801838 |     9018    790 |        0 |        0
1159.79/1160.16	c 1160s |      23 |  3316909 |  2808238 |     9018    792 |        0 |        0
1161.79/1162.17	c 1162s |      23 |  3326599 |  2815338 |     9018    793 |        0 |        0
1163.79/1164.18	c 1164s |      23 |  3332525 |  2819838 |     9018    794 |        0 |        0
1165.89/1166.21	c 1166s |      23 |  3340021 |  2825738 |     9018    795 |        0 |        0
1167.89/1168.29	c 1168s |      23 |  3346373 |  2830838 |     9018    797 |        0 |        0
1171.29/1171.65	c 1171s |      23 |  3355010 |  2837138 |     9018    798 |        0 |        0
1173.29/1173.68	c 1173s |      23 |  3360025 |  2841238 |     9018    799 |        0 |        0
1175.29/1175.69	c 1175s |      23 |  3365372 |  2845838 |     9018    800 |        0 |        0
1177.29/1177.69	c 1177s |      23 |  3371066 |  2850638 |     9018    801 |        0 |        0
1179.39/1179.73	c 1179s |      23 |  3376798 |  2855438 |     9018    802 |        0 |        0
1181.39/1181.74	c 1181s |      23 |  3384287 |  2861138 |     9018    803 |        0 |        0
1183.39/1183.75	c 1183s |      23 |  3388589 |  2864538 |     9018    804 |        0 |        0
1185.38/1185.77	c 1185s |      23 |  3394388 |  2869338 |     9018    805 |        0 |        0
1187.38/1187.79	c 1187s |      23 |  3399978 |  2874138 |     9018    806 |        0 |        0
1189.48/1189.80	c 1189s |      23 |  3405836 |  2879238 |     9018    807 |        0 |        0
1191.98/1192.32	c 1192s |      23 |  3410154 |  2882838 |     9018    808 |        0 |        0
1193.97/1194.32	c 1194s |      23 |  3415814 |  2887638 |     9018    809 |        0 |        0
1195.98/1196.36	c 1196s |      23 |  3421633 |  2892638 |     9018    810 |        0 |        0
1198.18/1198.59	c 1198s |      23 |  3428351 |  2897838 |     9018    811 |        0 |        0
1200.28/1200.60	c 1200s |      23 |  3434130 |  2902838 |     9018    812 |        0 |        0
1202.28/1202.63	c 1202s |      23 |  3440008 |  2907938 |     9018    813 |        0 |        0
1204.28/1204.64	c 1204s |      23 |  3446220 |  2913138 |     9018    815 |        0 |        0
1206.27/1206.66	c 1206s |      23 |  3452692 |  2918538 |     9018    816 |        0 |        0
1209.87/1210.26	c 1210s |      23 |  3459944 |  2924438 |     9018    817 |        0 |        0
1211.97/1212.30	c 1212s |      23 |  3464891 |  2928738 |     9018    818 |        0 |        0
1213.96/1214.31	c 1214s |      23 |  3470142 |  2933338 |     9018    819 |        0 |        0
1215.96/1216.32	c 1216s |      23 |  3474919 |  2937438 |     9018    820 |        0 |        0
1217.96/1218.34	c 1218s |      23 |  3479489 |  2941638 |     9018    821 |        0 |        0
1219.96/1220.36	c 1220s |      23 |  3484594 |  2946138 |     9018    822 |        0 |        0
1221.96/1222.37	c 1222s |      23 |  3490299 |  2951138 |     9018    823 |        0 |        0
1224.66/1225.02	c 1224s |      23 |  3495403 |  2955538 |     9018    824 |        0 |        0
1226.66/1227.04	c 1226s |      23 |  3501003 |  2960238 |     9018    825 |        0 |        0
1228.66/1229.07	c 1229s |      23 |  3505084 |  2964038 |     9018    826 |        0 |        0
1230.76/1231.12	c 1231s |      23 |  3509179 |  2967638 |     9018    827 |        0 |        0
1232.76/1233.13	c 1233s |      23 |  3514483 |  2972138 |     9018    827 |        0 |        0
1234.75/1235.14	c 1235s |      23 |  3519409 |  2976538 |     9018    828 |        0 |        0
1236.75/1237.14	c 1237s |      23 |  3525251 |  2981338 |     9018    830 |        0 |        0
1238.75/1239.16	c 1239s |      23 |  3530891 |  2986138 |     9018    831 |        0 |        0
1240.75/1241.16	c 1241s |      23 |  3534356 |  2988838 |     9018    831 |        0 |        0
1242.85/1243.21	c 1243s |      23 |  3538999 |  2993038 |     9018    832 |        0 |        0
1244.85/1245.26	c 1245s |      23 |  3544066 |  2997338 |     9018    833 |        0 |        0
1246.85/1247.27	c 1247s |      23 |  3549213 |  3001838 |     9018    834 |        0 |        0
1248.95/1249.32	c 1249s |      23 |  3553408 |  3005638 |     9018    835 |        0 |        0
1250.94/1251.33	c 1251s |      23 |  3558039 |  3009838 |     9018    836 |        0 |        0
1252.94/1253.35	c 1253s |      23 |  3562936 |  3014238 |     9018    837 |        0 |        0
1254.94/1255.38	c 1255s |      23 |  3567788 |  3018638 |     9018    838 |        0 |        0
1256.95/1257.38	c 1257s |      23 |  3572837 |  3023238 |     9018    839 |        0 |        0
1259.04/1259.41	c 1259s |      23 |  3578659 |  3028438 |     9018    840 |        0 |        0
1261.84/1262.26	c 1262s |      23 |  3583566 |  3032838 |     9018    841 |        0 |        0
1263.93/1264.31	c 1264s |      23 |  3586996 |  3036038 |     9018    842 |        0 |        0
1265.93/1266.32	c 1266s |      23 |  3591665 |  3040338 |     9018    842 |        0 |        0
1267.94/1268.33	c 1268s |      23 |  3596080 |  3044338 |     9018    843 |        0 |        0
1269.93/1270.37	c 1270s |      23 |  3601230 |  3049038 |     9018    844 |        0 |        0
1271.93/1272.38	c 1272s |      23 |  3604412 |  3052038 |     9018    845 |        0 |        0
1274.03/1274.41	c 1274s |      23 |  3609158 |  3056438 |     9018    846 |        0 |        0
1276.03/1276.42	c 1276s |      23 |  3613705 |  3060538 |     9018    847 |        0 |        0
1278.02/1278.44	c 1278s |      23 |  3618696 |  3065138 |     9018    848 |        0 |        0
1280.03/1280.45	c 1280s |      23 |  3623600 |  3069638 |     9018    849 |        0 |        0
1282.02/1282.45	c 1282s |      23 |  3629682 |  3074838 |     9018    850 |        0 |        0
1284.63/1285.02	c 1284s |      23 |  3634270 |  3078838 |     9018    851 |        0 |        0
1286.63/1287.06	c 1287s |      23 |  3638136 |  3082338 |     9018    852 |        0 |        0
1288.83/1289.27	c 1289s |      23 |  3643685 |  3087038 |     9018    853 |        0 |        0
1290.82/1291.28	c 1291s |      23 |  3648742 |  3091738 |     9018    854 |        0 |        0
1292.92/1293.30	c 1293s |      23 |  3653754 |  3096238 |     9018    855 |        0 |        0
1294.92/1295.31	c 1295s |      23 |  3659051 |  3100838 |     9018    856 |        0 |        0
1296.92/1297.37	c 1297s |      23 |  3662983 |  3104538 |     9018    857 |        0 |        0
1299.02/1299.41	c 1299s |      23 |  3667955 |  3109138 |     9018    858 |        0 |        0
1301.02/1301.46	c 1301s |      23 |  3672953 |  3113638 |     9018    859 |        0 |        0
1303.01/1303.46	c 1303s |      23 |  3678659 |  3118538 |     9018    860 |        0 |        0
1305.11/1305.54	c 1305s |      23 |  3683560 |  3122738 |     9018    861 |        0 |        0
1307.11/1307.57	c 1307s |      23 |  3689142 |  3127638 |     9018    862 |        0 |        0
1309.11/1309.59	c 1309s |      23 |  3695036 |  3132438 |     9018    863 |        0 |        0
1311.21/1311.60	c 1311s |      23 |  3700868 |  3137738 |     9018    864 |        0 |        0
1313.21/1313.60	c 1313s |      23 |  3706810 |  3142738 |     9018    865 |        0 |        0
1315.21/1315.61	c 1315s |      23 |  3713752 |  3148238 |     9018    866 |        0 |        0
1317.21/1317.62	c 1317s |      23 |  3722244 |  3154538 |     9018    867 |        0 |        0
1319.21/1319.64	c 1319s |      23 |  3724861 |  3156638 |     9018    868 |        0 |        0
1321.21/1321.67	c 1321s |      23 |  3729752 |  3161138 |     9018    869 |        0 |        0
1323.30/1323.72	c 1323s |      23 |  3734259 |  3165238 |     9018    870 |        0 |        0
1325.30/1325.77	c 1325s |      23 |  3739332 |  3169738 |     9018    871 |        0 |        0
1327.31/1327.78	c 1327s |      23 |  3744375 |  3174038 |     9018    872 |        0 |        0
1329.40/1329.81	c 1329s |      23 |  3749867 |  3178838 |     9018    873 |        0 |        0
1331.40/1331.83	c 1331s |      23 |  3755023 |  3182838 |     9018    874 |        0 |        0
1333.40/1333.84	c 1333s |      23 |  3759839 |  3186938 |     9018    875 |        0 |        0
1335.40/1335.87	c 1335s |      23 |  3765333 |  3191738 |     9018    876 |        0 |        0
1337.39/1337.89	c 1337s |      23 |  3770988 |  3196638 |     9018    877 |        0 |        0
1339.50/1339.91	c 1339s |      23 |  3777528 |  3201838 |     9018    878 |        0 |        0
1341.49/1342.00	c 1341s |      23 |  3782271 |  3205638 |     9018    879 |        0 |        0
1343.59/1344.03	c 1343s |      23 |  3787631 |  3210438 |     9018    880 |        0 |        0
1345.59/1346.04	c 1345s |      23 |  3794204 |  3215838 |     9018    881 |        0 |        0
1347.60/1348.05	c 1348s |      23 |  3799686 |  3220338 |     9018    882 |        0 |        0
1349.70/1350.11	c 1350s |      23 |  3805215 |  3225038 |     9018    883 |        0 |        0
1351.70/1352.11	c 1352s |      23 |  3811533 |  3230238 |     9018    884 |        0 |        0
1353.89/1354.38	c 1354s |      23 |  3818574 |  3235738 |     9018    885 |        0 |        0
1356.00/1356.41	c 1356s |      23 |  3825287 |  3241238 |     9018    887 |        0 |        0
1357.99/1358.42	c 1358s |      23 |  3832820 |  3247238 |     9018    888 |        0 |        0
1360.49/1360.91	c 1360s |      23 |  3836916 |  3250338 |     9018    889 |        0 |        0
1362.50/1362.93	c 1362s |      23 |  3842710 |  3255238 |     9018    890 |        0 |        0
1364.49/1364.94	c 1364s |      23 |  3849095 |  3260438 |     9018    891 |        0 |        0
1366.59/1367.07	c 1367s |      23 |  3854956 |  3265138 |     9018    892 |        0 |        0
1368.59/1369.09	c 1369s |      23 |  3860679 |  3270138 |     9018    893 |        0 |        0
1370.68/1371.11	c 1371s |      23 |  3865945 |  3274638 |     9018    894 |        0 |        0
1372.68/1373.12	c 1373s |      23 |  3871709 |  3279538 |     9018    895 |        0 |        0
1374.69/1375.12	c 1375s |      23 |  3876571 |  3283738 |     9018    896 |        0 |        0
1376.68/1377.13	c 1377s |      23 |  3882892 |  3289138 |     9018    897 |        0 |        0
1378.68/1379.15	c 1379s |      23 |  3888858 |  3294238 |     9018    898 |        0 |        0
1380.68/1381.16	c 1381s |      23 |  3895288 |  3299638 |     9018    899 |        0 |        0
1382.68/1383.19	c 1383s |      23 |  3902281 |  3305338 |     9018    901 |        0 |        0
1384.67/1385.19	c 1385s |      23 |  3910069 |  3311638 |     9018    902 |        0 |        0
1386.78/1387.21	c 1387s |      23 |  3912522 |  3313738 |     9018    902 |        0 |        0
1388.77/1389.24	c 1389s |      23 |  3918039 |  3318438 |     9018    903 |        0 |        0
1390.77/1391.25	c 1391s |      23 |  3923808 |  3323338 |     9018    905 |        0 |        0
1392.77/1393.25	c 1393s |      23 |  3930247 |  3328838 |     9018    906 |        0 |        0
1394.77/1395.26	c 1395s |      23 |  3935767 |  3333538 |     9018    907 |        0 |        0
1396.87/1397.30	c 1397s |      23 |  3942101 |  3338638 |     9018    908 |        0 |        0
1398.87/1399.34	c 1399s |      23 |  3949065 |  3344438 |     9018    909 |        0 |        0
1400.87/1401.35	c 1401s |      23 |  3956193 |  3350238 |     9018    910 |        0 |        0
1402.87/1403.36	c 1403s |      23 |  3963405 |  3355938 |     9920    911 |        0 |        0
1404.87/1405.38	c 1405s |      23 |  3967290 |  3359138 |     9920    912 |        0 |        0
1406.87/1407.39	c 1407s |      23 |  3974406 |  3364738 |     9920    913 |        0 |        0
1408.97/1409.41	c 1409s |      23 |  3978404 |  3367938 |     9920    914 |        0 |        0
1410.97/1411.43	c 1411s |      23 |  3985457 |  3373738 |     9920    915 |        0 |        0
1412.07/1412.51	c 1412s |      24 |  3989377 |  3376662 |     9920    916 |        0 |        0
1414.06/1414.55	c 1414s |      24 |  3992412 |  3379062 |     9920    916 |        0 |        0
1416.26/1416.78	c 1416s |      24 |  3997783 |  3383462 |     9920    917 |        0 |        0
1418.26/1418.78	c 1418s |      24 |  4003792 |  3388362 |     9920    918 |        0 |        0
1420.36/1420.86	c 1420s |      24 |  4009421 |  3393362 |     9920    919 |        0 |        0
1422.36/1422.87	c 1422s |      24 |  4015978 |  3398762 |     9920    920 |        0 |        0
1425.47/1425.90	c 1425s |      24 |  4021657 |  3403462 |     9920    921 |        0 |        0
1427.47/1427.92	c 1427s |      24 |  4026261 |  3407562 |     9920    922 |        0 |        0
1429.46/1429.95	c 1429s |      24 |  4031283 |  3412062 |     9920    923 |        0 |        0
1431.46/1431.97	c 1431s |      24 |  4035796 |  3416162 |     9920    923 |        0 |        0
1433.56/1434.01	c 1433s |      24 |  4040731 |  3420562 |     9920    924 |        0 |        0
1435.56/1436.03	c 1435s |      24 |  4046069 |  3425262 |     9920    925 |        0 |        0
1437.56/1438.05	c 1437s |      24 |  4050366 |  3428862 |     9920    926 |        0 |        0
1439.57/1440.09	c 1440s |      24 |  4055286 |  3433262 |     9920    927 |        0 |        0
1441.56/1442.09	c 1442s |      24 |  4059294 |  3436962 |     9920    928 |        0 |        0
1443.66/1444.10	c 1444s |      24 |  4064273 |  3441562 |     9920    929 |        0 |        0
1445.66/1446.17	c 1446s |      24 |  4069648 |  3446362 |     9920    930 |        0 |        0
1447.76/1448.20	c 1448s |      24 |  4073238 |  3449662 |     9920    930 |        0 |        0
1449.76/1450.24	c 1450s |      24 |  4078370 |  3454062 |     9920    931 |        0 |        0
1451.76/1452.25	c 1452s |      24 |  4084086 |  3458962 |     9920    932 |        0 |        0
1453.76/1454.28	c 1454s |      24 |  4088624 |  3463062 |     9920    933 |        0 |        0
1456.06/1456.59	c 1456s |      24 |  4093749 |  3467562 |     9920    934 |        0 |        0
1458.05/1458.59	c 1458s |      24 |  4099560 |  3472362 |     9920    935 |        0 |        0
1460.15/1460.60	c 1460s |      24 |  4104649 |  3476662 |     9920    936 |        0 |        0
1462.15/1462.60	c 1462s |      24 |  4111224 |  3482062 |     9920    937 |        0 |        0
1464.15/1464.62	c 1464s |      24 |  4115631 |  3485762 |     9920    937 |        0 |        0
1466.15/1466.66	c 1466s |      24 |  4121764 |  3490862 |     9920    938 |        0 |        0
1468.16/1468.67	c 1468s |      24 |  4127104 |  3495362 |     9920    939 |        0 |        0
1470.26/1470.70	c 1470s |      24 |  4132764 |  3500362 |     9920    940 |        0 |        0
1472.25/1472.73	c 1472s |      24 |  4138943 |  3505562 |     9920    941 |        0 |        0
1474.26/1474.74	c 1474s |      24 |  4145781 |  3510962 |     9920    942 |        0 |        0
1476.25/1476.76	c 1476s |      24 |  4151559 |  3515862 |     9920    943 |        0 |        0
1478.25/1478.79	c 1478s |      24 |  4153224 |  3517162 |     9920    944 |        0 |        0
1480.35/1480.82	c 1480s |      24 |  4157961 |  3521362 |     9920    944 |        0 |        0
1482.36/1482.85	c 1482s |      24 |  4162953 |  3525662 |     9920    945 |        0 |        0
1484.35/1484.86	c 1484s |      24 |  4167292 |  3529462 |     9920    946 |        0 |        0
1486.45/1486.90	c 1486s |      24 |  4172872 |  3534262 |     9920    947 |        0 |        0
1488.45/1488.92	c 1488s |      24 |  4177011 |  3537862 |     9920    948 |        0 |        0
1490.45/1490.93	c 1490s |      24 |  4182337 |  3542562 |     9920    949 |        0 |        0
1492.45/1492.94	c 1492s |      24 |  4186830 |  3546362 |     9920    949 |        0 |        0
1494.45/1494.96	c 1494s |      24 |  4192158 |  3550962 |     9920    950 |        0 |        0
1496.45/1496.98	c 1496s |      24 |  4197517 |  3555762 |     9920    951 |        0 |        0
1498.55/1499.02	c 1498s |      24 |  4202494 |  3560062 |     9920    952 |        0 |        0
1500.55/1501.03	c 1500s |      24 |  4207880 |  3564662 |     9920    953 |        0 |        0
1502.55/1503.06	c 1503s |      24 |  4213479 |  3569662 |     9920    954 |        0 |        0
1504.55/1505.08	c 1505s |      24 |  4219190 |  3574762 |     9920    955 |        0 |        0
1506.55/1507.10	c 1507s |      24 |  4224853 |  3579662 |     9920    956 |        0 |        0
1508.65/1509.13	c 1509s |      24 |  4231101 |  3584962 |     9920    957 |        0 |        0
1511.64/1512.15	c 1512s |      24 |  4235866 |  3588962 |     9920    958 |        0 |        0
1513.64/1514.17	c 1514s |      24 |  4241160 |  3593462 |     9920    959 |        0 |        0
1515.64/1516.18	c 1516s |      24 |  4246746 |  3598262 |     9920    960 |        0 |        0
1517.84/1518.39	c 1518s |      24 |  4253155 |  3603662 |     9920    961 |        0 |        0
1519.95/1520.41	c 1520s |      24 |  4257027 |  3607162 |     9920    962 |        0 |        0
1521.95/1522.44	c 1522s |      24 |  4262932 |  3612162 |     9920    963 |        0 |        0
1524.05/1524.51	c 1524s |      24 |  4268336 |  3616762 |     9920    964 |        0 |        0
1526.05/1526.51	c 1526s |      24 |  4273898 |  3621462 |     9920    964 |        0 |        0
1528.05/1528.52	c 1528s |      24 |  4279753 |  3626562 |     9920    965 |        0 |        0
1530.05/1530.54	c 1530s |      24 |  4285331 |  3631462 |     9920    966 |        0 |        0
1532.05/1532.57	c 1532s |      24 |  4290843 |  3636362 |     9920    967 |        0 |        0
1534.15/1534.63	c 1534s |      24 |  4297816 |  3641862 |     9920    969 |        0 |        0
1537.35/1537.84	c 1537s |      24 |  4304714 |  3647362 |     9920    970 |        0 |        0
1539.34/1539.84	c 1539s |      24 |  4309631 |  3651762 |     9920    971 |        0 |        0
1541.34/1541.85	c 1541s |      24 |  4315853 |  3656862 |     9920    972 |        0 |        0
1543.34/1543.86	c 1543s |      24 |  4320701 |  3661062 |     9920    972 |        0 |        0
1545.34/1545.89	c 1545s |      24 |  4326777 |  3666062 |     9920    973 |        0 |        0
1547.44/1547.93	c 1547s |      24 |  4333387 |  3671462 |     9920    974 |        0 |        0
1549.45/1549.95	c 1549s |      24 |  4340816 |  3677262 |     9920    976 |        0 |        0
1551.54/1552.04	c 1551s |      24 |  4345417 |  3680862 |     9920    976 |        0 |        0
1553.54/1554.05	c 1553s |      24 |  4351076 |  3685562 |     9920    977 |        0 |        0
1555.54/1556.09	c 1556s |      24 |  4356594 |  3690162 |     9920    978 |        0 |        0
1557.64/1558.10	c 1558s |      24 |  4362675 |  3695362 |     9920    979 |        0 |        0
1559.64/1560.12	c 1560s |      24 |  4369661 |  3701062 |     9920    980 |        0 |        0
1561.64/1562.15	c 1562s |      24 |  4373065 |  3703962 |     9920    981 |        0 |        0
1563.64/1564.19	c 1564s |      24 |  4378955 |  3709162 |     9920    982 |        0 |        0
1565.74/1566.20	c 1566s |      24 |  4384992 |  3714262 |     9920    983 |        0 |        0
1567.74/1568.26	c 1568s |      24 |  4391927 |  3720062 |     9920    984 |        0 |        0
1569.73/1570.30	c 1570s |      24 |  4396784 |  3724162 |     9920    985 |        0 |        0
1571.83/1572.32	c 1572s |      24 |  4404366 |  3730362 |     9920    986 |        0 |        0
1573.83/1574.35	c 1574s |      24 |  4411154 |  3735762 |     9920    987 |        0 |        0
1575.84/1576.38	c 1576s |      24 |  4418546 |  3741762 |     9920    989 |        0 |        0
1578.84/1579.36	c 1579s |      24 |  4423147 |  3745562 |     9920    989 |        0 |        0
1580.84/1581.37	c 1581s |      24 |  4427595 |  3749462 |     9920    990 |        0 |        0
1582.94/1583.40	c 1583s |      24 |  4432543 |  3753762 |     9920    991 |        0 |        0
1584.94/1585.42	c 1585s |      24 |  4437048 |  3757562 |     9920    992 |        0 |        0
1587.04/1587.54	c 1587s |      24 |  4441728 |  3761862 |     9920    993 |        0 |        0
1589.04/1589.58	c 1589s |      24 |  4447200 |  3766762 |     9920    993 |        0 |        0
1591.03/1591.58	c 1591s |      24 |  4452128 |  3771262 |     9920    994 |        0 |        0
1593.13/1593.61	c 1593s |      24 |  4457019 |  3775662 |     9920    995 |        0 |        0
1595.13/1595.65	c 1595s |      24 |  4461381 |  3779362 |     9920    996 |        0 |        0
1597.13/1597.66	c 1597s |      24 |  4464149 |  3781962 |     9920    997 |        0 |        0
1599.23/1599.74	c 1599s |      24 |  4469108 |  3786462 |     9920    997 |        0 |        0
1601.63/1602.15	c 1602s |      24 |  4472450 |  3789462 |     9920    998 |        0 |        0
1603.63/1604.16	c 1604s |      24 |  4476921 |  3793462 |     9920    999 |        0 |        0
1605.83/1606.32	c 1606s |      24 |  4482079 |  3797862 |     9920   1000 |        0 |        0
1607.84/1608.33	c 1608s |      24 |  4487137 |  3802262 |     9920   1001 |        0 |        0
1609.83/1610.33	c 1610s |      24 |  4492539 |  3806962 |     9920   1002 |        0 |        0
1611.83/1612.34	c 1612s |      24 |  4498331 |  3811962 |     9920   1003 |        0 |        0
1613.83/1614.38	c 1614s |      24 |  4504358 |  3816762 |     9920   1003 |        0 |        0
1615.94/1616.40	c 1616s |      24 |  4508966 |  3820962 |     9920   1004 |        0 |        0
1617.93/1618.44	c 1618s |      24 |  4512848 |  3824362 |     9920   1005 |        0 |        0
1619.94/1620.45	c 1620s |      24 |  4517552 |  3828562 |     9920   1006 |        0 |        0
1621.93/1622.48	c 1622s |      24 |  4520526 |  3831262 |     9920   1006 |        0 |        0
1624.03/1624.53	c 1624s |      24 |  4523492 |  3833962 |     9920   1007 |        0 |        0
1626.23/1626.76	c 1626s |      24 |  4528082 |  3838062 |     9920   1008 |        0 |        0
1628.23/1628.77	c 1628s |      24 |  4532253 |  3841862 |     9920   1008 |        0 |        0
1630.23/1630.77	c 1630s |      24 |  4537225 |  3846262 |     9920   1009 |        0 |        0
1632.23/1632.78	c 1632s |      24 |  4542966 |  3851262 |     9920   1010 |        0 |        0
1634.83/1635.37	c 1635s |      24 |  4547831 |  3855562 |     9920   1011 |        0 |        0
1636.93/1637.41	c 1637s |      24 |  4552748 |  3860162 |     9920   1012 |        0 |        0
1638.92/1639.46	c 1639s |      24 |  4557652 |  3864662 |     9920   1013 |        0 |        0
1641.02/1641.50	c 1641s |      24 |  4561502 |  3868162 |     9920   1014 |        0 |        0
1643.13/1643.60	c 1643s |      24 |  4565787 |  3872162 |     9920   1015 |        0 |        0
1645.14/1645.63	c 1645s |      24 |  4570588 |  3876762 |     9920   1015 |        0 |        0
1647.13/1647.65	c 1647s |      24 |  4574707 |  3880562 |     9920   1016 |        0 |        0
1649.13/1649.68	c 1649s |      24 |  4580560 |  3885662 |     9920   1017 |        0 |        0
1651.23/1651.70	c 1651s |      24 |  4584846 |  3889462 |     9920   1018 |        0 |        0
1653.23/1653.71	c 1653s |      24 |  4590170 |  3894162 |     9920   1019 |        0 |        0
1655.23/1655.72	c 1655s |      24 |  4596384 |  3899462 |     9920   1020 |        0 |        0
1657.23/1657.75	c 1657s |      24 |  4601502 |  3903862 |     9920   1021 |        0 |        0
1659.23/1659.75	c 1659s |      24 |  4607991 |  3909262 |     9920   1022 |        0 |        0
1661.52/1662.00	c 1661s |      24 |  4612069 |  3912762 |     9920   1023 |        0 |        0
1663.52/1664.00	c 1663s |      24 |  4617301 |  3917262 |     9920   1024 |        0 |        0
1665.52/1666.08	c 1666s |      24 |  4622741 |  3922162 |     9920   1025 |        0 |        0
1667.62/1668.10	c 1668s |      24 |  4629873 |  3928062 |     9920   1026 |        0 |        0
1671.22/1671.75	c 1671s |      24 |  4635208 |  3932862 |     9920   1027 |        0 |        0
1673.32/1673.80	c 1673s |      24 |  4639816 |  3936962 |     9920   1027 |        0 |        0
1675.32/1675.82	c 1675s |      24 |  4644452 |  3941162 |     9920   1028 |        0 |        0
1677.32/1677.85	c 1677s |      24 |  4648740 |  3945062 |     9920   1029 |        0 |        0
1679.32/1679.86	c 1679s |      24 |  4653060 |  3949062 |     9920   1030 |        0 |        0
1681.32/1681.88	c 1681s |      24 |  4657882 |  3953262 |     9920   1031 |        0 |        0
1683.32/1683.88	c 1683s |      24 |  4662919 |  3957562 |     9920   1032 |        0 |        0
1685.42/1685.90	c 1685s |      24 |  4668155 |  3962162 |     9920   1032 |        0 |        0
1687.42/1687.92	c 1687s |      24 |  4674671 |  3967462 |     9920   1034 |        0 |        0
1689.42/1689.95	c 1689s |      24 |  4677240 |  3969762 |     9920   1034 |        0 |        0
1691.43/1691.98	c 1691s |      24 |  4682454 |  3974262 |     9920   1035 |        0 |        0
1693.53/1694.01	c 1693s |      24 |  4685530 |  3977062 |     9920   1035 |        0 |        0
1695.52/1696.02	c 1695s |      24 |  4690862 |  3981762 |     9920   1036 |        0 |        0
1697.52/1698.07	c 1698s |      24 |  4695547 |  3985962 |     9920   1037 |        0 |        0
1699.52/1700.08	c 1700s |      24 |  4700140 |  3990062 |     9920   1038 |        0 |        0
1701.62/1702.10	c 1702s |      24 |  4704823 |  3994362 |     9920   1039 |        0 |        0
1703.62/1704.13	c 1704s |      24 |  4709851 |  3998862 |     9920   1040 |        0 |        0
1705.62/1706.13	c 1706s |      24 |  4715776 |  4003762 |     9920   1041 |        0 |        0
1708.82/1709.33	c 1709s |      24 |  4722886 |  4009462 |     9920   1042 |        0 |        0
1710.82/1711.34	c 1711s |      24 |  4727115 |  4013362 |     9920   1043 |        0 |        0
1712.81/1713.36	c 1713s |      24 |  4732080 |  4017862 |     9920   1044 |        0 |        0
1714.81/1715.36	c 1715s |      24 |  4736252 |  4021762 |     9920   1044 |        0 |        0
1716.81/1717.39	c 1717s |      24 |  4740974 |  4026162 |     9920   1045 |        0 |        0
1718.82/1719.39	c 1719s |      24 |  4746727 |  4030962 |     9920   1046 |        0 |        0
1720.91/1721.41	c 1721s |      24 |  4752154 |  4035762 |     9920   1047 |        0 |        0
1723.23/1723.72	c 1723s |      24 |  4755735 |  4038862 |     9920   1048 |        0 |        0
1725.22/1725.74	c 1725s |      24 |  4760119 |  4042862 |     9920   1049 |        0 |        0
1727.22/1727.77	c 1727s |      24 |  4765329 |  4047362 |     9920   1050 |        0 |        0
1729.32/1729.80	c 1729s |      24 |  4770824 |  4052262 |     9920   1050 |        0 |        0
1731.32/1731.83	c 1731s |      24 |  4777050 |  4057562 |     9920   1052 |        0 |        0
1733.32/1733.86	c 1733s |      24 |  4780568 |  4060762 |     9920   1052 |        0 |        0
1735.32/1735.89	c 1735s |      24 |  4786164 |  4065562 |     9920   1053 |        0 |        0
1737.41/1737.91	c 1737s |      24 |  4792542 |  4070862 |     9920   1054 |        0 |        0
1739.41/1739.94	c 1739s |      24 |  4796786 |  4074362 |     9920   1055 |        0 |        0
1741.41/1741.96	c 1741s |      24 |  4802751 |  4079462 |     9920   1056 |        0 |        0
1743.51/1744.01	c 1743s |      24 |  4810625 |  4085462 |     9920   1057 |        0 |        0
1745.51/1746.05	c 1745s |      24 |  4816057 |  4090062 |     9920   1058 |        0 |        0
1747.52/1748.05	c 1747s |      24 |  4822577 |  4095362 |     9920   1059 |        0 |        0
1749.51/1750.06	c 1750s |      24 |  4829162 |  4100762 |     9920   1060 |        0 |        0
1752.41/1752.91	c 1752s |      24 |  4834774 |  4105362 |     9920   1061 |        0 |        0
1754.41/1754.91	c 1754s |      24 |  4838175 |  4108062 |     9920   1062 |        0 |        0
1756.41/1756.93	c 1756s |      24 |  4842579 |  4112162 |     9920   1062 |        0 |        0
1758.42/1758.94	c 1758s |      24 |  4846946 |  4116062 |     9920   1063 |        0 |        0
1760.41/1760.95	c 1760s |      24 |  4851402 |  4120262 |     9920   1064 |        0 |        0
1762.41/1762.96	c 1762s |      24 |  4856576 |  4124862 |     9920   1065 |        0 |        0
1764.41/1764.98	c 1764s |      24 |  4862221 |  4129762 |     9920   1066 |        0 |        0
1766.41/1766.99	c 1766s |      24 |  4866334 |  4133462 |     9920   1067 |        0 |        0
1768.51/1769.06	c 1769s |      24 |  4869044 |  4135862 |     9920   1067 |        0 |        0
1770.52/1771.08	c 1771s |      24 |  4873653 |  4139962 |     9920   1068 |        0 |        0
1772.51/1773.09	c 1773s |      24 |  4878224 |  4144262 |     9920   1069 |        0 |        0
1774.61/1775.13	c 1775s |      24 |  4883446 |  4148762 |     9920   1070 |        0 |        0
1776.61/1777.17	c 1777s |      24 |  4889008 |  4153562 |     9920   1071 |        0 |        0
1778.71/1779.20	c 1779s |      24 |  4895346 |  4158762 |     9920   1072 |        0 |        0
1780.71/1781.20	c 1781s |      24 |  4898206 |  4161262 |     9920   1072 |        0 |        0
1782.72/1783.23	c 1783s |      24 |  4902883 |  4165462 |     9920   1073 |        0 |        0
1784.71/1785.23	c 1785s |      24 |  4908844 |  4170062 |     9920   1074 |        0 |        0
1786.71/1787.26	c 1787s |      24 |  4914928 |  4174962 |     9920   1075 |        0 |        0
1788.71/1789.26	c 1789s |      24 |  4919207 |  4178762 |     9920   1076 |        0 |        0
1790.80/1791.34	c 1791s |      24 |  4923789 |  4182662 |     9920   1077 |        0 |        0
1792.80/1793.34	c 1793s |      24 |  4929051 |  4187362 |     9920   1077 |        0 |        0
1794.81/1795.36	c 1795s |      24 |  4934157 |  4191762 |     9920   1078 |        0 |        0
1796.91/1797.49	c 1797s |      24 |  4938687 |  4195762 |     9920   1079 |        0 |        0
1799.00/1799.53	c 1799s |      24 |  4944655 |  4200862 |     9920   1080 |        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-4107006-1466281013/watcher-4107006-1466281013 -o /tmp/evaluation-result-4107006-1466281013/solver-4107006-1466281013 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10489 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107006-1466281013.opb 

pid=11186
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.25 2.30 2.35 3/179 11189
/proc/meminfo: memFree=29019284/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 2680 0 0 0 0 0 0 0 20 0 4 0 30148397 735506432 3041 33554432000 4194304 16246674 140735576446272 140735576445696 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11189/statm: 180335 3049 441 2943 0 177229 0
[pid=11189/tid=11190] ppid=11186 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 753332224 3109 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=740796 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 758575104 3128 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148397 762769408 3142 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.25 2.30 2.35 3/179 11189
/proc/meminfo: memFree=29019284/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 27226 0 0 0 6 3 0 0 20 0 4 0 30148397 1247350784 27576 33554432000 4194304 16246674 140735576446272 140735576445696 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11189/statm: 304529 27588 719 2943 0 301423 0
[pid=11189/tid=11190] ppid=11186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1247350784 27597 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1247350784 27605 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148397 1247350784 27614 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200539 s]
/proc/loadavg: 2.25 2.30 2.35 3/179 11189
/proc/meminfo: memFree=29019284/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 51192 0 0 0 12 7 0 0 20 0 4 0 30148397 1247350784 51542 33554432000 4194304 16246674 140735576446272 140735576445696 12479207 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11189/statm: 304529 51558 719 2943 0 301423 0
[pid=11189/tid=11190] ppid=11186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1247350784 51568 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1247350784 51578 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148397 1247350784 51586 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300491 s]
/proc/loadavg: 2.25 2.30 2.35 3/179 11189
/proc/meminfo: memFree=29019284/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 76099 0 0 0 19 10 0 0 20 0 4 0 30148397 1247350784 76449 33554432000 4194304 16246674 140735576446272 140735576445696 12479207 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11189/statm: 304529 76465 719 2943 0 301423 0
[pid=11189/tid=11190] ppid=11186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1247350784 76474 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1247350784 76484 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148397 1247350784 76493 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 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.25 2.30 2.35 3/179 11189
/proc/meminfo: memFree=29019284/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 168869 0 0 0 46 23 0 0 20 0 4 0 30148397 1247350784 169218 33554432000 4194304 16246674 140735576446272 140735576445696 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11189/statm: 304529 169234 719 2943 0 301423 0
[pid=11189/tid=11190] ppid=11186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1247350784 169243 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1247350784 169249 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30148397 1247350784 169253 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.25 2.30 2.35 3/183 11242
/proc/meminfo: memFree=29063400/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 246281 0 0 0 116 33 0 0 20 0 4 0 30148397 1250496512 246610 33554432000 4194304 16246674 140735576446272 140735576445584 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11189/statm: 305297 246610 797 2943 0 302191 0
[pid=11189/tid=11190] ppid=11186 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1250496512 246610 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1250496512 246610 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1250496512 246610 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10038 s]
/proc/loadavg: 2.23 2.30 2.35 3/183 11291
/proc/meminfo: memFree=28799600/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1305156 CPUtime=3.09 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 267325 0 0 0 273 36 0 0 20 0 4 0 30148397 1336479744 267654 33554432000 4194304 16246674 140735576446272 140735576428160 5677228 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11189/statm: 326289 267654 798 2943 0 323183 0
[pid=11189/tid=11190] ppid=11186 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1336479744 267654 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1336479744 267654 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1336479744 267654 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156

[startup+6.30043 s]
/proc/loadavg: 2.23 2.30 2.35 4/183 11291
/proc/meminfo: memFree=27978104/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 267857 0 0 0 593 36 0 0 20 0 4 0 30148397 1339625472 268186 33554432000 4194304 16246674 140735576446272 140735576428160 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11189/statm: 327057 268186 798 2943 0 323951 0
[pid=11189/tid=11190] ppid=11186 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1339625472 268186 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1339625472 268186 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1339625472 268186 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.20 2.29 2.35 3/183 11291
/proc/meminfo: memFree=27965644/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1313348 CPUtime=12.68 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 269373 0 0 0 1232 36 0 0 20 0 4 0 30148397 1344868352 269702 33554432000 4194304 16246674 140735576446272 140735576429272 12477752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11189/statm: 328337 269702 798 2943 0 325231 0
[pid=11189/tid=11190] ppid=11186 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1344868352 269702 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1344868352 269702 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1344868352 269702 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.24 2.29 2.35 3/183 11291
/proc/meminfo: memFree=27964988/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1313348 CPUtime=25.48 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 269375 0 0 0 2512 36 0 0 20 0 4 0 30148397 1344868352 269704 33554432000 4194304 16246674 140735576446272 140735576428160 5553796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11189/statm: 328337 269704 800 2943 0 325231 0
[pid=11189/tid=11190] ppid=11186 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1344868352 269704 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1344868352 269704 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1344868352 269704 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1313348

[startup+51.1006 s]
/proc/loadavg: 2.30 2.30 2.35 3/183 11291
/proc/meminfo: memFree=27955828/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1316420 CPUtime=51.08 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 270143 0 0 0 5071 37 0 0 20 0 4 0 30148397 1348014080 270472 33554432000 4194304 16246674 140735576446272 140735576428160 13818366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11189/statm: 329105 270472 800 2943 0 325999 0
[pid=11189/tid=11190] ppid=11186 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1348014080 270472 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1348014080 270472 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1348014080 270472 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.301 s]
/proc/loadavg: 2.31 2.31 2.35 3/183 11292
/proc/meminfo: memFree=27952856/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1319492 CPUtime=102.28 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 270911 0 0 0 10190 38 0 0 20 0 4 0 30148397 1351159808 271240 33554432000 4194304 16246674 140735576446272 140735576428160 13943729 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11189/statm: 329873 271240 800 2943 0 326767 0
[pid=11189/tid=11190] ppid=11186 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1351159808 271240 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1351159808 271240 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1351159808 271240 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1319492


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

/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1366888448 275085 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1334852

[startup+1362.3 s]
/proc/loadavg: 2.13 2.22 2.26 3/183 11323
/proc/meminfo: memFree=27922000/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1334852 CPUtime=1361.89 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 275126 0 0 0 136123 66 0 0 20 0 4 0 30148397 1366888448 275085 33554432000 4194304 16246674 140735576446272 140735576428160 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11189/statm: 333713 275085 802 2943 0 330607 0
[pid=11189/tid=11190] ppid=11186 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1366888448 275085 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1366888448 275085 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1366888448 275085 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1334852

[startup+1422.3 s]
/proc/loadavg: 2.25 2.24 2.26 3/184 11327
/proc/meminfo: memFree=27921544/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1334852 CPUtime=1421.87 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 275156 0 0 0 142120 67 0 0 20 0 4 0 30148397 1366888448 275085 33554432000 4194304 16246674 140735576446272 140735576428160 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11189/statm: 333713 275085 802 2943 0 330607 0
[pid=11189/tid=11190] ppid=11186 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1366888448 275085 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1366888448 275085 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1334852 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1366888448 275085 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1334852

[startup+1482.3 s]
/proc/loadavg: 2.32 2.26 2.27 3/183 11328
/proc/meminfo: memFree=27915872/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1339972 CPUtime=1481.85 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 276446 0 0 0 148116 69 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140735576428160 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11189/statm: 334993 276365 802 2943 0 331887 0
[pid=11189/tid=11190] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1339972

[startup+1542.31 s]
/proc/loadavg: 2.40 2.29 2.28 3/183 11330
/proc/meminfo: memFree=27916228/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1339972 CPUtime=1541.85 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 276446 0 0 0 154115 70 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140735576428160 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11189/statm: 334993 276365 802 2943 0 331887 0
[pid=11189/tid=11190] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1339972

[startup+1602.3 s]
/proc/loadavg: 2.26 2.27 2.27 3/183 11331
/proc/meminfo: memFree=27916484/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1339972 CPUtime=1601.83 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 276446 0 0 0 160112 71 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140735576445368 5673995 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11189/statm: 334993 276365 802 2943 0 331887 0
[pid=11189/tid=11190] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1339972

[startup+1662.3 s]
/proc/loadavg: 2.24 2.26 2.27 3/183 11332
/proc/meminfo: memFree=27916448/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1339972 CPUtime=1661.82 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 276446 0 0 0 166109 73 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140735576445448 5522872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11189/statm: 334993 276365 802 2943 0 331887 0
[pid=11189/tid=11190] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1339972

[startup+1722.3 s]
/proc/loadavg: 2.24 2.26 2.27 3/183 11333
/proc/meminfo: memFree=27916096/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1339972 CPUtime=1721.81 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 276446 0 0 0 172107 74 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140735576429272 4221031 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11189/statm: 334993 276365 802 2943 0 331887 0
[pid=11189/tid=11190] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1339972

[startup+1782.3 s]
/proc/loadavg: 2.20 2.24 2.26 3/183 11334
/proc/meminfo: memFree=27915336/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1339972 CPUtime=1781.81 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 276446 0 0 0 178105 76 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140735576428160 6020678 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11189/statm: 334993 276365 802 2943 0 331887 0
[pid=11189/tid=11190] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1339972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.24 2.26 3/183 11335
/proc/meminfo: memFree=27915412/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1339972 CPUtime=1800 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 276446 0 0 0 179924 76 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140735576428160 5808571 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11189/statm: 334993 276365 802 2943 0 331887 0
[pid=11189/tid=11190] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1339972

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

[startup+1800.5 s]
/proc/loadavg: 2.23 2.24 2.26 3/183 11335
/proc/meminfo: memFree=27915412/32872528 swapFree=17888/1798212
[pid=11189] ppid=11186 vsize=1339972 CPUtime=1800 cores=1,3,5,7
/proc/11189/stat : 11189 (toysat) R 11186 11189 10472 0 -1 4202496 276446 0 0 0 179924 76 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140735576428160 5808571 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11189/statm: 334993 276365 802 2943 0 331887 0
[pid=11189/tid=11190] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11190/stat : 11190 (toysat) S 11186 11189 10472 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391206595824 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=11189/tid=11191] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11191/stat : 11191 (toysat) S 11186 11189 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391196105968 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=11189/tid=11192] ppid=11186 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/11189/task/11192/stat : 11192 (toysat) S 11186 11189 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30148397 1372131328 276365 33554432000 4194304 16246674 140735576446272 140391185632432 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1339972

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.25
CPU system time (s): 0.764883
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1339972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 0.764883
maximum resident set size= 1105460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276446
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= 426
involuntary context switches= 1951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.30589 second user time and 19.797 second system time

The end

Begin job on node123 at 2016-06-18 22:16:53
IDJOB=4107006
IDBENCH=48362
IDSOLVER=2542
FILE ID=node123/4107006-1466281013
RUNJOBID= node123-1466275608-10489
PBS_JOBID= 19918249
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_5_40.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107006-1466281013/watcher-4107006-1466281013 -o /tmp/evaluation-result-4107006-1466281013/solver-4107006-1466281013 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10489 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107006-1466281013.opb

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

MD5SUM BENCH= 813576a353dee8860ef5bb1ebdae9d95
RANDOM SEED=81542551

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29019920 kB
Buffers:           70844 kB
Cached:           138556 kB
SwapCached:         1604 kB
Active:          1175492 kB
Inactive:         140912 kB
Active(anon):    1106016 kB
Inactive(anon):     3080 kB
Active(file):      69476 kB
Inactive(file):   137832 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:             16320 kB
Writeback:             4 kB
AnonPages:       2904512 kB
Mapped:            10340 kB
Shmem:                 0 kB
Slab:             601960 kB
SReclaimable:      46096 kB
SUnreclaim:       555864 kB
KernelStack:        1496 kB
PageTables:         9480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3047000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2883584 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= 71604 MiB
End job on node123 at 2016-06-18 22:46:53