0.00/0.00	c 2016-06-16T02:13:17+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-4089939-1466035997.opb"]
0.00/0.01	c use --random-gen="1288729801 1310687732 2303573955 1691529241 3392532619 133599783 3686736774 570026671 800937651 1741841961 2875270140 2449955900 4042629283 1864194756 3837534757 4002253848 1391292897 2466895943 2884172564 2548950295 1767331374 447897134 2799446924 3004057550 2796952545 3937306544 1523354472 3214064886 548204591 3942639804 4060768498 855855840 3633448262 3850127655 1241466302 4111439465 1859294509 542160109 656707394 2426161379 384778559 1919832203 3932837868 619428988 1098358406 2456299048 3845487260 1671983051 1177205680 3729183347 26525023 2311972449 1557604834 15153860 1360982951 3658853192 264349185 499293079 875481906 420773907 2349758412 492993519 3388411911 2883519828 1695323814 3339697039 1092749589 233507561 1748253787 2580725584 419683003 1200386740 4205759194 2345032412 2323040160 2740092696 3698516024 1073970369 2993901799 1282003177 1457849726 2647370749 156134149 1529463515 583515998 2945024223 162023818 2246762629 2660291294 3939328658 1314590196 1957515736 2109743546 3363836756 4238508685 386282570 2293204162 3329256182 2266364360 3626361426 1770914851 1713228941 4055864550 2694901848 2389571831 3978385376 3337431733 3257305507 1754546366 709917073 3525435096 294284824 4267961346 336460652 3164437905 56722410 2631930519 794251457 499542053 2103743417 62349259 350578187 1287256041 2087118011 3947816338 3380333025 4011125229 3822894178 3448951784 1452387060 3414549906 3025328332 1237180997 533634750 1253937233 2811676139 3967568853 2570021273 2211571594 1080267761 729727708 2285975124 2795933596 3905214870 3589479989 2377570075 1172383005 373341848 3509361703 882988170 4051977199 1594316724 3026382263 2190342844 1797364667 2235483940 2434080234 3510243381 3059599097 3842933642 3787948314 3034248272 1987660653 2371314617 653538941 862284125 332916419 2381980279 3511886650 2481768248 141386718 3998831973 1589614007 3393975324 2678358001 943188736 927348186 4078071740 1953841060 299807047 3117954677 210371899 3874289362 2511109965 1040455063 25382679 3124334351 2427840548 885939690 2832158621 3077791347 796136800 3912120926 1570969417 409778814 3277665933 4146440216 2973917023 1482670951 1012271659 897352439 1883001903 1138065082 3265479363 1912784464 3526398633 3626313172 3158739334 1789020479 2972361325 3847740173 1555666092 486249758 4274473770 3169535621 348050754 709404082 2311221305 3220028082 1788924653 3182158901 2281662860 760847349 1761178389 2703442475 244408494 112943004 705094622 3162711212 2594755802 3398113396 3370218515 3349893032 4094595069 74090823 1829356185 1194942693 3581105352 2487180671 4063452265 1625105483 2704879154 3094025356 1111238122 3628244240 1229077967 2814582909 2284383329 3381556919 1956551623 3015029513 1201435112 2689286519 4263903395 2329797088 2987277058 255 362436" option to reproduce the execution
0.00/0.01	c #vars 243
0.00/0.01	c #constraints 81
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      135      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      144 |      100 |      135      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      377 |      250 |      149      0 |        0 |        0
0.09/0.10	c  0.1s |       3 |      730 |      475 |      164      1 |        0 |        0
0.09/0.18	c  0.2s |       4 |     1214 |      813 |      181      4 |        0 |        0
0.19/0.69	c  0.3s |       5 |     1823 |     1320 |      200      7 |        0 |        0
0.19/0.69	c  0.5s |       6 |     2735 |     2081 |      244     11 |        0 |        0
0.19/0.78	c  0.8s |       7 |     4053 |     3223 |      269     16 |        0 |        0
0.99/1.07	c  1.1s |       8 |     6023 |     4936 |      296     24 |        0 |        0
1.49/1.53	c  1.5s |       9 |     9010 |     7506 |      326     35 |        0 |        0
2.29/2.31	c  2.3s |      10 |    13598 |    11361 |      359     51 |        0 |        0
3.49/3.52	c  3.5s |      11 |    20417 |    17144 |      395     74 |        0 |        0
5.29/5.36	c  5.3s |      12 |    30773 |    25819 |      435    107 |        0 |        0
7.28/7.38	c  7.4s |      12 |    40705 |    34819 |      435    137 |        0 |        0
8.29/8.31	c  8.3s |      13 |    45137 |    38832 |      479    151 |        0 |        0
10.28/10.31	c 10.3s |      13 |    55473 |    48032 |      479    179 |        0 |        0
12.28/12.32	c 12.3s |      13 |    64238 |    56032 |      479    205 |        0 |        0
12.78/12.89	c 12.9s |      14 |    66744 |    58352 |      527    212 |        0 |        0
14.89/14.91	c 14.9s |      14 |    77033 |    67652 |      527    239 |        0 |        0
16.88/16.91	c 16.9s |      14 |    86664 |    76252 |      527    264 |        0 |        0
18.88/18.94	c 18.9s |      14 |    95650 |    84452 |      527    289 |        0 |        0
19.58/19.66	c 19.6s |      15 |    99130 |    87632 |      580    298 |        0 |        0
21.58/21.68	c 21.7s |      15 |   110300 |    97232 |      580    325 |        0 |        0
23.60/23.68	c 23.7s |      15 |   120195 |   106032 |      580    349 |        0 |        0
25.59/25.68	c 25.7s |      15 |   130277 |   115032 |      580    374 |        0 |        0
27.69/27.70	c 27.7s |      15 |   139913 |   123732 |      580    399 |        0 |        0
29.69/29.71	c 29.7s |      15 |   148302 |   131432 |      638    421 |        0 |        0
29.69/29.75	c 29.7s |      16 |   148422 |   131552 |      638    421 |        0 |        0
31.69/31.75	c 31.7s |      16 |   158948 |   140452 |      638    445 |        0 |        0
33.69/33.76	c 33.7s |      16 |   167668 |   148252 |      638    465 |        0 |        0
35.69/35.76	c 35.8s |      16 |   176738 |   156252 |      638    486 |        0 |        0
37.69/37.77	c 37.8s |      16 |   185528 |   164052 |      638    507 |        0 |        0
39.69/39.77	c 39.8s |      16 |   194621 |   172152 |      638    528 |        0 |        0
41.68/41.79	c 41.8s |      16 |   204006 |   180352 |      638    550 |        0 |        0
43.78/43.81	c 43.8s |      16 |   213232 |   188652 |      638    572 |        0 |        0
45.78/45.82	c 45.8s |      16 |   222196 |   196752 |      702    593 |        0 |        0
45.98/46.00	c 46.0s |      17 |   222947 |   197432 |      702    595 |        0 |        0
47.98/48.02	c 48.0s |      17 |   232888 |   205932 |      702    615 |        0 |        0
49.99/50.03	c 50.0s |      17 |   241836 |   213732 |      702    634 |        0 |        0
51.98/52.05	c 52.0s |      17 |   250667 |   221332 |      702    653 |        0 |        0
53.98/54.08	c 54.1s |      17 |   259390 |   228932 |      702    672 |        0 |        0
55.98/56.09	c 56.1s |      17 |   268181 |   236732 |      702    690 |        0 |        0
58.08/58.11	c 58.1s |      17 |   277354 |   244932 |      702    710 |        0 |        0
60.08/60.12	c 60.1s |      17 |   285398 |   252132 |      702    727 |        0 |        0
62.09/62.13	c 62.1s |      17 |   293670 |   259432 |      702    745 |        0 |        0
64.08/64.13	c 64.1s |      17 |   301503 |   266332 |      702    762 |        0 |        0
66.08/66.15	c 66.1s |      17 |   309817 |   273732 |      702    780 |        0 |        0
68.08/68.16	c 68.1s |      17 |   318324 |   281232 |      702    797 |        0 |        0
70.08/70.17	c 70.2s |      17 |   326991 |   288732 |      702    816 |        0 |        0
72.08/72.18	c 72.2s |      17 |   334779 |   295732 |      773    832 |        0 |        0
72.28/72.33	c 72.3s |      18 |   335330 |   296252 |      773    833 |        0 |        0
74.28/74.35	c 74.3s |      18 |   344772 |   304852 |      773    852 |        0 |        0
76.27/76.37	c 76.4s |      18 |   353458 |   312952 |      773    869 |        0 |        0
78.27/78.39	c 78.4s |      18 |   362566 |   321252 |      773    887 |        0 |        0
80.37/80.40	c 80.4s |      18 |   371015 |   329152 |      773    904 |        0 |        0
82.37/82.42	c 82.4s |      18 |   379728 |   337152 |      773    921 |        0 |        0
84.38/84.46	c 84.4s |      18 |   388296 |   345152 |      773    939 |        0 |        0
86.39/86.47	c 86.5s |      18 |   396803 |   352952 |      773    955 |        0 |        0
88.38/88.47	c 88.5s |      18 |   405047 |   360552 |      773    972 |        0 |        0
90.38/90.49	c 90.5s |      18 |   414109 |   368652 |      773    989 |        0 |        0
92.48/92.51	c 92.5s |      18 |   422624 |   376352 |      773   1005 |        0 |        0
94.48/94.52	c 94.5s |      18 |   430326 |   383452 |      773   1021 |        0 |        0
96.48/96.53	c 96.5s |      18 |   438470 |   390752 |      773   1036 |        0 |        0
98.49/98.54	c 98.5s |      18 |   446644 |   398352 |      773   1053 |        0 |        0
100.48/100.54	c  100s |      18 |   454636 |   405652 |      773   1068 |        0 |        0
102.48/102.55	c  102s |      18 |   462996 |   413352 |      773   1085 |        0 |        0
104.48/104.57	c  104s |      18 |   471324 |   421052 |      773   1101 |        0 |        0
106.48/106.59	c  106s |      18 |   480141 |   429152 |      773   1118 |        0 |        0
108.48/108.59	c  108s |      18 |   488335 |   436652 |      773   1135 |        0 |        0
110.48/110.60	c  110s |      18 |   496627 |   444252 |      851   1150 |        0 |        0
110.58/110.66	c  110s |      19 |   496886 |   444482 |      851   1151 |        0 |        0
112.58/112.66	c  112s |      19 |   506644 |   453482 |      851   1168 |        0 |        0
114.57/114.68	c  114s |      19 |   516325 |   462382 |      851   1186 |        0 |        0
116.57/116.69	c  116s |      19 |   525626 |   470982 |      851   1202 |        0 |        0
118.57/118.69	c  118s |      19 |   535206 |   479782 |      851   1220 |        0 |        0
120.67/120.71	c  120s |      19 |   544210 |   488082 |      851   1236 |        0 |        0
122.68/122.71	c  122s |      19 |   552825 |   496082 |      851   1252 |        0 |        0
124.67/124.72	c  124s |      19 |   561993 |   504482 |      851   1268 |        0 |        0
126.67/126.75	c  126s |      19 |   570943 |   512782 |      851   1284 |        0 |        0
128.67/128.77	c  128s |      19 |   579775 |   520982 |      851   1300 |        0 |        0
130.67/130.77	c  130s |      19 |   588142 |   528782 |      851   1316 |        0 |        0
132.67/132.79	c  132s |      19 |   596203 |   536282 |      851   1330 |        0 |        0
134.68/134.80	c  134s |      19 |   605070 |   544482 |      851   1347 |        0 |        0
136.77/136.81	c  136s |      19 |   614273 |   553182 |      851   1364 |        0 |        0
138.77/138.84	c  138s |      19 |   623131 |   561482 |      851   1380 |        0 |        0
140.77/140.86	c  140s |      19 |   631808 |   569582 |      851   1396 |        0 |        0
142.77/142.87	c  142s |      19 |   640088 |   577382 |      851   1411 |        0 |        0
144.77/144.88	c  144s |      19 |   647916 |   584682 |      851   1426 |        0 |        0
146.77/146.88	c  146s |      19 |   656844 |   592982 |      851   1442 |        0 |        0
148.87/148.90	c  148s |      19 |   664735 |   600382 |      851   1457 |        0 |        0
150.87/150.91	c  150s |      19 |   673045 |   608082 |      851   1472 |        0 |        0
152.86/152.91	c  152s |      19 |   680669 |   615182 |      851   1486 |        0 |        0
154.86/154.93	c  154s |      19 |   688922 |   622882 |      851   1501 |        0 |        0
156.86/156.94	c  156s |      19 |   696387 |   629982 |      851   1515 |        0 |        0
158.87/158.95	c  158s |      19 |   704294 |   637282 |      851   1529 |        0 |        0
160.86/160.96	c  160s |      19 |   712124 |   644582 |      851   1544 |        0 |        0
162.86/162.99	c  162s |      19 |   720044 |   651982 |      851   1558 |        0 |        0
164.96/165.01	c  164s |      19 |   727629 |   659082 |      851   1572 |        0 |        0
166.96/167.01	c  166s |      19 |   735373 |   666282 |      937   1586 |        0 |        0
167.06/167.16	c  167s |      20 |   735955 |   666827 |      937   1587 |        0 |        0
169.06/169.18	c  169s |      20 |   745134 |   675127 |      937   1602 |        0 |        0
171.07/171.18	c  171s |      20 |   752868 |   682227 |      937   1615 |        0 |        0
173.06/173.19	c  173s |      20 |   760996 |   689727 |      937   1629 |        0 |        0
175.16/175.20	c  175s |      20 |   768939 |   697027 |      937   1642 |        0 |        0
177.16/177.22	c  177s |      20 |   776733 |   704127 |      937   1655 |        0 |        0
179.16/179.24	c  179s |      20 |   783900 |   710827 |      937   1668 |        0 |        0
181.16/181.25	c  181s |      20 |   791031 |   717427 |      937   1680 |        0 |        0
183.17/183.26	c  183s |      20 |   797965 |   723927 |      937   1692 |        0 |        0
185.16/185.27	c  185s |      20 |   805172 |   730627 |      937   1705 |        0 |        0
187.26/187.30	c  187s |      20 |   812588 |   737527 |      937   1717 |        0 |        0
189.26/189.34	c  189s |      20 |   819656 |   744127 |      937   1730 |        0 |        0
191.26/191.36	c  191s |      20 |   827241 |   751027 |      937   1742 |        0 |        0
193.26/193.38	c  193s |      20 |   834099 |   757327 |      937   1754 |        0 |        0
195.36/195.41	c  195s |      20 |   841196 |   763927 |      937   1766 |        0 |        0
197.36/197.43	c  197s |      20 |   847722 |   770027 |      937   1778 |        0 |        0
199.35/199.44	c  199s |      20 |   854331 |   776127 |      937   1789 |        0 |        0
201.36/201.46	c  201s |      20 |   861973 |   783127 |      937   1802 |        0 |        0
203.36/203.50	c  203s |      20 |   869830 |   790227 |      937   1815 |        0 |        0
205.46/205.50	c  205s |      20 |   877113 |   796827 |      937   1827 |        0 |        0
207.46/207.51	c  207s |      20 |   883836 |   803027 |      937   1839 |        0 |        0
209.47/209.54	c  209s |      20 |   890731 |   809427 |      937   1851 |        0 |        0
211.46/211.56	c  211s |      20 |   897197 |   815427 |      937   1862 |        0 |        0
213.46/213.59	c  213s |      20 |   904020 |   821827 |      937   1874 |        0 |        0
215.56/215.61	c  215s |      20 |   911497 |   828727 |      937   1886 |        0 |        0
217.56/217.62	c  217s |      20 |   918398 |   835127 |      937   1898 |        0 |        0
219.56/219.63	c  219s |      20 |   925656 |   841727 |      937   1910 |        0 |        0
221.57/221.63	c  221s |      20 |   933621 |   848927 |      937   1923 |        0 |        0
223.56/223.65	c  223s |      20 |   940708 |   855527 |      937   1936 |        0 |        0
225.56/225.66	c  225s |      20 |   947652 |   861927 |      937   1947 |        0 |        0
227.66/227.70	c  227s |      20 |   954176 |   868027 |      937   1959 |        0 |        0
229.66/229.72	c  229s |      20 |   960495 |   873927 |      937   1970 |        0 |        0
231.66/231.74	c  231s |      20 |   966854 |   879827 |      937   1981 |        0 |        0
233.66/233.75	c  233s |      20 |   974189 |   886527 |      937   1993 |        0 |        0
235.66/235.77	c  235s |      20 |   981245 |   893027 |      937   2005 |        0 |        0
237.65/237.79	c  237s |      20 |   988547 |   899727 |      937   2017 |        0 |        0
239.75/239.80	c  239s |      20 |   996865 |   907227 |      937   2031 |        0 |        0
241.75/241.82	c  241s |      20 |  1004418 |   914127 |      937   2044 |        0 |        0
243.75/243.83	c  243s |      20 |  1011911 |   920927 |      937   2057 |        0 |        0
245.76/245.84	c  245s |      20 |  1019574 |   927827 |      937   2070 |        0 |        0
247.75/247.86	c  247s |      20 |  1027360 |   934827 |      937   2083 |        0 |        0
249.75/249.89	c  249s |      20 |  1034862 |   941627 |      937   2095 |        0 |        0
251.85/251.92	c  251s |      20 |  1041319 |   947627 |      937   2107 |        0 |        0
253.85/253.94	c  253s |      20 |  1049008 |   954327 |      937   2119 |        0 |        0
255.85/255.97	c  255s |      20 |  1056147 |   960827 |      937   2131 |        0 |        0
257.86/257.97	c  257s |      20 |  1062945 |   967027 |      937   2142 |        0 |        0
259.95/260.00	c  259s |      20 |  1069967 |   973427 |      937   2154 |        0 |        0
261.95/262.00	c  261s |      20 |  1076521 |   979427 |      937   2165 |        0 |        0
263.95/264.01	c  263s |      20 |  1083515 |   985727 |      937   2177 |        0 |        0
265.95/266.02	c  266s |      20 |  1091336 |   992727 |      937   2190 |        0 |        0
267.95/268.04	c  268s |      20 |  1099152 |   999827 |     1031   2202 |        0 |        0
268.05/268.18	c  268s |      21 |  1099731 |  1000345 |     1031   2203 |        0 |        0
270.06/270.18	c  270s |      21 |  1108540 |  1008145 |     1031   2216 |        0 |        0
272.05/272.18	c  272s |      21 |  1116949 |  1015745 |     1031   2229 |        0 |        0
274.05/274.18	c  274s |      21 |  1124754 |  1022945 |     1031   2241 |        0 |        0
276.15/276.21	c  276s |      21 |  1132068 |  1029745 |     1031   2252 |        0 |        0
278.14/278.24	c  278s |      21 |  1139772 |  1036845 |     1031   2265 |        0 |        0
280.14/280.26	c  280s |      21 |  1147100 |  1043645 |     1031   2276 |        0 |        0
282.15/282.29	c  282s |      21 |  1154784 |  1050745 |     1031   2288 |        0 |        0
284.14/284.30	c  284s |      21 |  1161923 |  1057345 |     1031   2299 |        0 |        0
286.24/286.32	c  286s |      21 |  1169786 |  1064445 |     1031   2311 |        0 |        0
288.24/288.34	c  288s |      21 |  1177616 |  1071645 |     1031   2323 |        0 |        0
290.24/290.35	c  290s |      21 |  1184895 |  1078345 |     1031   2335 |        0 |        0
292.24/292.37	c  292s |      21 |  1192506 |  1085345 |     1031   2346 |        0 |        0
294.34/294.40	c  294s |      21 |  1199495 |  1091845 |     1031   2357 |        0 |        0
296.35/296.41	c  296s |      21 |  1206229 |  1098045 |     1031   2368 |        0 |        0
298.34/298.43	c  298s |      21 |  1213519 |  1104745 |     1031   2379 |        0 |        0
300.35/300.46	c  300s |      21 |  1220228 |  1110945 |     1031   2390 |        0 |        0
302.35/302.49	c  302s |      21 |  1226969 |  1117245 |     1031   2400 |        0 |        0
304.45/304.51	c  304s |      21 |  1233235 |  1123145 |     1031   2410 |        0 |        0
306.45/306.54	c  306s |      21 |  1240590 |  1129945 |     1031   2422 |        0 |        0
308.45/308.57	c  308s |      21 |  1247835 |  1136645 |     1031   2433 |        0 |        0
310.44/310.57	c  310s |      21 |  1256024 |  1144045 |     1031   2445 |        0 |        0
312.44/312.59	c  312s |      21 |  1263565 |  1150945 |     1031   2457 |        0 |        0
314.54/314.61	c  314s |      21 |  1270360 |  1157245 |     1031   2468 |        0 |        0
316.54/316.61	c  316s |      21 |  1277483 |  1163745 |     1031   2479 |        0 |        0
318.54/318.61	c  318s |      21 |  1284395 |  1170145 |     1031   2490 |        0 |        0
320.55/320.62	c  320s |      21 |  1291145 |  1176445 |     1031   2500 |        0 |        0
322.54/322.65	c  322s |      21 |  1297989 |  1182745 |     1031   2511 |        0 |        0
324.54/324.65	c  324s |      21 |  1304549 |  1188845 |     1031   2521 |        0 |        0
326.54/326.67	c  326s |      21 |  1312004 |  1195745 |     1031   2533 |        0 |        0
328.64/328.71	c  328s |      21 |  1319075 |  1202245 |     1031   2544 |        0 |        0
330.64/330.71	c  330s |      21 |  1326412 |  1208845 |     1031   2555 |        0 |        0
332.65/332.74	c  332s |      21 |  1333659 |  1215445 |     1031   2567 |        0 |        0
334.64/334.74	c  334s |      21 |  1340058 |  1221345 |     1031   2577 |        0 |        0
336.64/336.74	c  336s |      21 |  1346502 |  1227245 |     1031   2587 |        0 |        0
338.64/338.77	c  338s |      21 |  1353638 |  1233745 |     1031   2598 |        0 |        0
340.74/340.80	c  340s |      21 |  1360269 |  1239845 |     1031   2608 |        0 |        0
342.74/342.81	c  342s |      21 |  1366918 |  1245945 |     1031   2618 |        0 |        0
344.74/344.83	c  344s |      21 |  1374071 |  1252545 |     1031   2629 |        0 |        0
346.73/346.83	c  346s |      21 |  1381107 |  1259045 |     1031   2640 |        0 |        0
348.73/348.84	c  348s |      21 |  1388071 |  1265445 |     1031   2651 |        0 |        0
350.73/350.86	c  350s |      21 |  1395084 |  1271945 |     1031   2662 |        0 |        0
352.73/352.87	c  352s |      21 |  1402059 |  1278345 |     1031   2673 |        0 |        0
354.74/354.88	c  354s |      21 |  1408726 |  1284445 |     1031   2683 |        0 |        0
356.73/356.90	c  356s |      21 |  1415560 |  1290645 |     1031   2694 |        0 |        0
358.83/358.92	c  358s |      21 |  1422141 |  1296745 |     1031   2704 |        0 |        0
360.83/360.93	c  360s |      21 |  1428882 |  1303045 |     1031   2715 |        0 |        0
362.83/362.95	c  362s |      21 |  1435572 |  1309245 |     1031   2726 |        0 |        0
364.83/364.98	c  364s |      21 |  1441612 |  1314945 |     1031   2735 |        0 |        0
366.84/366.99	c  366s |      21 |  1448858 |  1321745 |     1031   2747 |        0 |        0
368.83/369.00	c  368s |      21 |  1454990 |  1327545 |     1031   2757 |        0 |        0
370.93/371.00	c  370s |      21 |  1461196 |  1333345 |     1031   2767 |        0 |        0
372.93/373.03	c  373s |      21 |  1468200 |  1339745 |     1031   2777 |        0 |        0
374.93/375.03	c  375s |      21 |  1475175 |  1346145 |     1031   2788 |        0 |        0
376.93/377.03	c  377s |      21 |  1482250 |  1352545 |     1031   2799 |        0 |        0
378.93/379.05	c  379s |      21 |  1490096 |  1359745 |     1031   2811 |        0 |        0
380.93/381.06	c  381s |      21 |  1498641 |  1367245 |     1031   2824 |        0 |        0
382.93/383.06	c  383s |      21 |  1506371 |  1374245 |     1031   2836 |        0 |        0
384.93/385.07	c  385s |      21 |  1513625 |  1380945 |     1031   2847 |        0 |        0
387.03/387.10	c  387s |      21 |  1520797 |  1387645 |     1031   2859 |        0 |        0
389.03/389.11	c  389s |      21 |  1528079 |  1394345 |     1031   2870 |        0 |        0
391.03/391.11	c  391s |      21 |  1535517 |  1401145 |     1031   2881 |        0 |        0
393.03/393.12	c  393s |      21 |  1542725 |  1407745 |     1031   2893 |        0 |        0
395.03/395.12	c  395s |      21 |  1549319 |  1413945 |     1031   2903 |        0 |        0
397.03/397.16	c  397s |      21 |  1556024 |  1420245 |     1031   2914 |        0 |        0
399.03/399.16	c  399s |      21 |  1562996 |  1426745 |     1031   2925 |        0 |        0
401.03/401.19	c  401s |      21 |  1569990 |  1433145 |     1031   2936 |        0 |        0
403.04/403.20	c  403s |      21 |  1577046 |  1439645 |     1031   2947 |        0 |        0
405.13/405.21	c  405s |      21 |  1584365 |  1446345 |     1031   2958 |        0 |        0
407.13/407.22	c  407s |      21 |  1591812 |  1453145 |     1031   2970 |        0 |        0
409.13/409.22	c  409s |      21 |  1599006 |  1459745 |     1031   2981 |        0 |        0
411.13/411.24	c  411s |      21 |  1606168 |  1466445 |     1031   2992 |        0 |        0
413.13/413.26	c  413s |      21 |  1613316 |  1473045 |     1031   3003 |        0 |        0
415.14/415.27	c  415s |      21 |  1620071 |  1479345 |     1031   3014 |        0 |        0
417.13/417.28	c  417s |      21 |  1626722 |  1485545 |     1031   3025 |        0 |        0
419.13/419.29	c  419s |      21 |  1633729 |  1492045 |     1135   3035 |        0 |        0
421.13/421.29	c  421s |      21 |  1640852 |  1498645 |     1135   3046 |        0 |        0
421.84/421.93	c  421s |      22 |  1643017 |  1500622 |     1135   3049 |        0 |        0
423.83/423.95	c  423s |      22 |  1651036 |  1508022 |     1135   3060 |        0 |        0
425.83/425.95	c  425s |      22 |  1658552 |  1515022 |     1135   3071 |        0 |        0
427.83/427.97	c  427s |      22 |  1665581 |  1521622 |     1135   3081 |        0 |        0
429.83/429.97	c  429s |      22 |  1672536 |  1528122 |     1135   3090 |        0 |        0
431.83/431.98	c  431s |      22 |  1679659 |  1534822 |     1135   3101 |        0 |        0
433.93/434.01	c  433s |      22 |  1687387 |  1541922 |     1135   3112 |        0 |        0
435.93/436.03	c  436s |      22 |  1694431 |  1548522 |     1135   3122 |        0 |        0
437.93/438.05	c  438s |      22 |  1701724 |  1555322 |     1135   3132 |        0 |        0
439.93/440.05	c  440s |      22 |  1708334 |  1561522 |     1135   3142 |        0 |        0
441.92/442.08	c  442s |      22 |  1715421 |  1568122 |     1135   3152 |        0 |        0
444.02/444.10	c  444s |      22 |  1722526 |  1574822 |     1135   3162 |        0 |        0
446.03/446.11	c  446s |      22 |  1729485 |  1581422 |     1135   3172 |        0 |        0
448.02/448.15	c  448s |      22 |  1736779 |  1588222 |     1135   3182 |        0 |        0
450.02/450.18	c  450s |      22 |  1743885 |  1594722 |     1135   3192 |        0 |        0
452.02/452.18	c  452s |      22 |  1750502 |  1600922 |     1135   3202 |        0 |        0
454.02/454.20	c  454s |      22 |  1757205 |  1607122 |     1135   3211 |        0 |        0
456.12/456.20	c  456s |      22 |  1763841 |  1613322 |     1135   3221 |        0 |        0
458.13/458.21	c  458s |      22 |  1770085 |  1619222 |     1135   3230 |        0 |        0
460.12/460.23	c  460s |      22 |  1776890 |  1625622 |     1135   3240 |        0 |        0
462.12/462.25	c  462s |      22 |  1784286 |  1632522 |     1135   3250 |        0 |        0
464.12/464.27	c  464s |      22 |  1792414 |  1640022 |     1135   3262 |        0 |        0
466.12/466.29	c  466s |      22 |  1799778 |  1646822 |     1135   3272 |        0 |        0
468.12/468.29	c  468s |      22 |  1806775 |  1653322 |     1135   3282 |        0 |        0
470.23/470.32	c  470s |      22 |  1813943 |  1659922 |     1135   3293 |        0 |        0
472.22/472.35	c  472s |      22 |  1820261 |  1665822 |     1135   3302 |        0 |        0
474.22/474.38	c  474s |      22 |  1827389 |  1672522 |     1135   3312 |        0 |        0
476.32/476.40	c  476s |      22 |  1833737 |  1678522 |     1135   3321 |        0 |        0
478.32/478.43	c  478s |      22 |  1840950 |  1685222 |     1135   3332 |        0 |        0
480.32/480.44	c  480s |      22 |  1847879 |  1691722 |     1135   3341 |        0 |        0
482.32/482.47	c  482s |      22 |  1854828 |  1698222 |     1135   3351 |        0 |        0
484.42/484.51	c  484s |      22 |  1861581 |  1704522 |     1135   3361 |        0 |        0
486.41/486.53	c  486s |      22 |  1868466 |  1710922 |     1135   3371 |        0 |        0
488.41/488.56	c  488s |      22 |  1875297 |  1717222 |     1135   3381 |        0 |        0
490.41/490.59	c  490s |      22 |  1881414 |  1723022 |     1135   3390 |        0 |        0
492.51/492.60	c  492s |      22 |  1887761 |  1729022 |     1135   3399 |        0 |        0
494.51/494.61	c  494s |      22 |  1894675 |  1735522 |     1135   3409 |        0 |        0
496.52/496.64	c  496s |      22 |  1901408 |  1741822 |     1135   3418 |        0 |        0
498.51/498.64	c  498s |      22 |  1908185 |  1748122 |     1135   3428 |        0 |        0
500.51/500.67	c  500s |      22 |  1914427 |  1754022 |     1135   3437 |        0 |        0
502.51/502.67	c  502s |      22 |  1921004 |  1760122 |     1135   3447 |        0 |        0
504.51/504.68	c  504s |      22 |  1927689 |  1766322 |     1135   3456 |        0 |        0
506.52/506.69	c  506s |      22 |  1934484 |  1772722 |     1135   3466 |        0 |        0
508.61/508.72	c  508s |      22 |  1941004 |  1778922 |     1135   3475 |        0 |        0
510.61/510.74	c  510s |      22 |  1947837 |  1785322 |     1135   3485 |        0 |        0
512.61/512.76	c  512s |      22 |  1954297 |  1791422 |     1135   3494 |        0 |        0
514.61/514.76	c  514s |      22 |  1961111 |  1797822 |     1135   3504 |        0 |        0
516.61/516.77	c  516s |      22 |  1967717 |  1804022 |     1135   3514 |        0 |        0
518.61/518.78	c  518s |      22 |  1974811 |  1810622 |     1135   3524 |        0 |        0
520.61/520.79	c  520s |      22 |  1981911 |  1817322 |     1135   3534 |        0 |        0
522.71/522.82	c  522s |      22 |  1988412 |  1823422 |     1135   3544 |        0 |        0
524.71/524.83	c  524s |      22 |  1995428 |  1830022 |     1135   3554 |        0 |        0
526.70/526.85	c  526s |      22 |  2001945 |  1836122 |     1135   3563 |        0 |        0
528.70/528.86	c  528s |      22 |  2008679 |  1842522 |     1135   3573 |        0 |        0
530.71/530.88	c  530s |      22 |  2015205 |  1848722 |     1135   3583 |        0 |        0
532.70/532.88	c  532s |      22 |  2022525 |  1855522 |     1135   3593 |        0 |        0
534.80/534.91	c  534s |      22 |  2029843 |  1862322 |     1135   3604 |        0 |        0
536.81/536.95	c  536s |      22 |  2036623 |  1868622 |     1135   3614 |        0 |        0
538.81/538.96	c  538s |      22 |  2043431 |  1874922 |     1135   3623 |        0 |        0
540.81/540.99	c  540s |      22 |  2049705 |  1880722 |     1135   3632 |        0 |        0
542.91/543.00	c  542s |      22 |  2056007 |  1886522 |     1135   3641 |        0 |        0
544.92/545.02	c  545s |      22 |  2062611 |  1892622 |     1135   3651 |        0 |        0
546.91/547.06	c  547s |      22 |  2068478 |  1898122 |     1135   3659 |        0 |        0
548.91/549.09	c  549s |      22 |  2073894 |  1903222 |     1135   3667 |        0 |        0
550.91/551.10	c  551s |      22 |  2080009 |  1908922 |     1135   3676 |        0 |        0
553.01/553.12	c  553s |      22 |  2086534 |  1915022 |     1135   3685 |        0 |        0
555.01/555.12	c  555s |      22 |  2092720 |  1920822 |     1135   3694 |        0 |        0
557.01/557.13	c  557s |      22 |  2098796 |  1926522 |     1135   3703 |        0 |        0
559.01/559.15	c  559s |      22 |  2105566 |  1932822 |     1135   3713 |        0 |        0
561.01/561.18	c  561s |      22 |  2112148 |  1939022 |     1135   3722 |        0 |        0
563.11/563.21	c  563s |      22 |  2118452 |  1945022 |     1135   3732 |        0 |        0
565.10/565.23	c  565s |      22 |  2124783 |  1951022 |     1135   3741 |        0 |        0
567.10/567.24	c  567s |      22 |  2131715 |  1957422 |     1135   3751 |        0 |        0
569.11/569.25	c  569s |      22 |  2138215 |  1963522 |     1135   3760 |        0 |        0
571.10/571.26	c  571s |      22 |  2144805 |  1969722 |     1135   3770 |        0 |        0
573.10/573.28	c  573s |      22 |  2150794 |  1975422 |     1135   3779 |        0 |        0
575.20/575.30	c  575s |      22 |  2156816 |  1981022 |     1135   3787 |        0 |        0
577.20/577.32	c  577s |      22 |  2163436 |  1987322 |     1135   3797 |        0 |        0
579.20/579.33	c  579s |      22 |  2169932 |  1993422 |     1135   3807 |        0 |        0
581.21/581.35	c  581s |      22 |  2176479 |  1999522 |     1135   3816 |        0 |        0
583.20/583.35	c  583s |      22 |  2185297 |  2006822 |     1135   3828 |        0 |        0
585.20/585.37	c  585s |      22 |  2192963 |  2013822 |     1135   3839 |        0 |        0
587.20/587.38	c  587s |      22 |  2200648 |  2020822 |     1135   3850 |        0 |        0
589.30/589.40	c  589s |      22 |  2208130 |  2027522 |     1135   3860 |        0 |        0
591.30/591.41	c  591s |      22 |  2215592 |  2034322 |     1135   3871 |        0 |        0
593.30/593.43	c  593s |      22 |  2222569 |  2040722 |     1135   3881 |        0 |        0
595.30/595.45	c  595s |      22 |  2230010 |  2047422 |     1135   3892 |        0 |        0
597.30/597.46	c  597s |      22 |  2237696 |  2054322 |     1135   3903 |        0 |        0
599.29/599.48	c  599s |      22 |  2245234 |  2061122 |     1135   3913 |        0 |        0
601.39/601.50	c  601s |      22 |  2253086 |  2068022 |     1135   3924 |        0 |        0
603.39/603.52	c  603s |      22 |  2260288 |  2074622 |     1135   3935 |        0 |        0
605.40/605.53	c  605s |      22 |  2267244 |  2080922 |     1135   3945 |        0 |        0
607.39/607.54	c  607s |      22 |  2274808 |  2087722 |     1135   3955 |        0 |        0
609.39/609.56	c  609s |      22 |  2281994 |  2094322 |     1135   3966 |        0 |        0
611.39/611.59	c  611s |      22 |  2289193 |  2100922 |     1135   3976 |        0 |        0
613.49/613.62	c  613s |      22 |  2296225 |  2107422 |     1135   3987 |        0 |        0
615.49/615.65	c  615s |      22 |  2303527 |  2114122 |     1135   3997 |        0 |        0
617.50/617.65	c  617s |      22 |  2310744 |  2120722 |     1135   4008 |        0 |        0
619.49/619.66	c  619s |      22 |  2317617 |  2127122 |     1135   4018 |        0 |        0
621.49/621.68	c  621s |      22 |  2324374 |  2133322 |     1135   4028 |        0 |        0
623.49/623.69	c  623s |      22 |  2331840 |  2140022 |     1135   4038 |        0 |        0
625.59/625.72	c  625s |      22 |  2339096 |  2146622 |     1135   4049 |        0 |        0
627.59/627.72	c  627s |      22 |  2346054 |  2153022 |     1135   4059 |        0 |        0
629.60/629.73	c  629s |      22 |  2353691 |  2159722 |     1135   4069 |        0 |        0
631.59/631.76	c  631s |      22 |  2361134 |  2166522 |     1135   4080 |        0 |        0
633.59/633.76	c  633s |      22 |  2368157 |  2172922 |     1135   4090 |        0 |        0
635.60/635.77	c  635s |      22 |  2374818 |  2179122 |     1135   4100 |        0 |        0
637.60/637.78	c  637s |      22 |  2381642 |  2185422 |     1135   4110 |        0 |        0
639.69/639.81	c  639s |      22 |  2388549 |  2191822 |     1135   4120 |        0 |        0
641.70/641.84	c  641s |      22 |  2395343 |  2198122 |     1135   4130 |        0 |        0
643.69/643.87	c  643s |      22 |  2401962 |  2204222 |     1135   4140 |        0 |        0
645.69/645.88	c  645s |      22 |  2408653 |  2210422 |     1135   4150 |        0 |        0
647.79/647.91	c  647s |      22 |  2414952 |  2216322 |     1135   4159 |        0 |        0
649.79/649.94	c  649s |      22 |  2421451 |  2222322 |     1135   4168 |        0 |        0
651.79/651.96	c  651s |      22 |  2427854 |  2228222 |     1135   4178 |        0 |        0
653.80/653.98	c  653s |      22 |  2434468 |  2234322 |     1135   4187 |        0 |        0
655.79/655.98	c  655s |      22 |  2441471 |  2240622 |     1249   4196 |        0 |        0
657.89/658.01	c  657s |      22 |  2448159 |  2246822 |     1249   4205 |        0 |        0
659.19/659.39	c  659s |      23 |  2452893 |  2251038 |     1249   4212 |        0 |        0
661.29/661.41	c  661s |      23 |  2460642 |  2257938 |     1249   4222 |        0 |        0
663.29/663.42	c  663s |      23 |  2468096 |  2264738 |     1249   4231 |        0 |        0
665.29/665.43	c  665s |      23 |  2476027 |  2271938 |     1249   4242 |        0 |        0
667.29/667.46	c  667s |      23 |  2483771 |  2278938 |     1249   4252 |        0 |        0
669.29/669.48	c  669s |      23 |  2491509 |  2285938 |     1249   4262 |        0 |        0
671.29/671.49	c  671s |      23 |  2499297 |  2292938 |     1249   4272 |        0 |        0
673.29/673.49	c  673s |      23 |  2507106 |  2299938 |     1249   4282 |        0 |        0
675.38/675.52	c  675s |      23 |  2514368 |  2306438 |     1249   4292 |        0 |        0
677.38/677.52	c  677s |      23 |  2521444 |  2312838 |     1249   4301 |        0 |        0
679.38/679.54	c  679s |      23 |  2528555 |  2319238 |     1249   4310 |        0 |        0
681.39/681.55	c  681s |      23 |  2535682 |  2325638 |     1249   4319 |        0 |        0
683.38/683.56	c  683s |      23 |  2542913 |  2332138 |     1249   4329 |        0 |        0
685.38/685.57	c  685s |      23 |  2550568 |  2338938 |     1249   4339 |        0 |        0
687.38/687.57	c  687s |      23 |  2558876 |  2346238 |     1249   4349 |        0 |        0
689.48/689.60	c  689s |      23 |  2566595 |  2353138 |     1249   4359 |        0 |        0
691.48/691.62	c  691s |      23 |  2572800 |  2358938 |     1249   4368 |        0 |        0
693.49/693.64	c  693s |      23 |  2580104 |  2365438 |     1249   4377 |        0 |        0
695.48/695.67	c  695s |      23 |  2587144 |  2371738 |     1249   4386 |        0 |        0
697.58/697.71	c  697s |      23 |  2594297 |  2378038 |     1249   4396 |        0 |        0
699.58/699.74	c  699s |      23 |  2601206 |  2384238 |     1249   4405 |        0 |        0
701.58/701.75	c  701s |      23 |  2608087 |  2390438 |     1249   4414 |        0 |        0
703.58/703.76	c  703s |      23 |  2615897 |  2397038 |     1249   4423 |        0 |        0
705.69/705.80	c  705s |      23 |  2623018 |  2403238 |     1249   4432 |        0 |        0
707.59/707.80	c  707s |      23 |  2629695 |  2409038 |     1249   4441 |        0 |        0
709.69/709.80	c  709s |      23 |  2635994 |  2414538 |     1249   4449 |        0 |        0
711.68/711.81	c  711s |      23 |  2642359 |  2420338 |     1249   4457 |        0 |        0
713.68/713.83	c  713s |      23 |  2648331 |  2425838 |     1249   4465 |        0 |        0
715.68/715.84	c  715s |      23 |  2655420 |  2432138 |     1249   4474 |        0 |        0
717.69/717.88	c  717s |      23 |  2662111 |  2438038 |     1249   4483 |        0 |        0
719.68/719.90	c  719s |      23 |  2669075 |  2444138 |     1249   4491 |        0 |        0
721.78/721.91	c  721s |      23 |  2675864 |  2450138 |     1249   4500 |        0 |        0
723.78/723.91	c  723s |      23 |  2682463 |  2456138 |     1249   4509 |        0 |        0
725.78/725.92	c  725s |      23 |  2688614 |  2461738 |     1249   4517 |        0 |        0
727.78/727.94	c  727s |      23 |  2694626 |  2467038 |     1249   4525 |        0 |        0
729.79/729.94	c  729s |      23 |  2701037 |  2472838 |     1249   4533 |        0 |        0
731.78/731.97	c  731s |      23 |  2707555 |  2478838 |     1249   4542 |        0 |        0
733.78/734.00	c  733s |      23 |  2714099 |  2484738 |     1249   4550 |        0 |        0
735.88/736.01	c  735s |      23 |  2720189 |  2490238 |     1249   4558 |        0 |        0
737.88/738.05	c  738s |      23 |  2726185 |  2495738 |     1249   4566 |        0 |        0
739.88/740.06	c  740s |      23 |  2731908 |  2500938 |     1249   4574 |        0 |        0
741.89/742.09	c  742s |      23 |  2737798 |  2506438 |     1249   4582 |        0 |        0
743.98/744.12	c  744s |      23 |  2743567 |  2511738 |     1249   4589 |        0 |        0
745.98/746.13	c  746s |      23 |  2748995 |  2516738 |     1249   4597 |        0 |        0
747.98/748.14	c  748s |      23 |  2754606 |  2521838 |     1249   4604 |        0 |        0
749.98/750.17	c  750s |      23 |  2760989 |  2527638 |     1249   4612 |        0 |        0
751.98/752.18	c  752s |      23 |  2767046 |  2533138 |     1249   4620 |        0 |        0
754.08/754.21	c  754s |      23 |  2773157 |  2538638 |     1249   4628 |        0 |        0
756.08/756.22	c  756s |      23 |  2780116 |  2545038 |     1249   4638 |        0 |        0
758.07/758.25	c  758s |      23 |  2787548 |  2551738 |     1249   4647 |        0 |        0
760.07/760.29	c  760s |      23 |  2794696 |  2558138 |     1249   4657 |        0 |        0
762.07/762.29	c  762s |      23 |  2801296 |  2564238 |     1249   4665 |        0 |        0
764.17/764.31	c  764s |      23 |  2807426 |  2569938 |     1249   4674 |        0 |        0
766.17/766.33	c  766s |      23 |  2814285 |  2576138 |     1249   4683 |        0 |        0
768.18/768.36	c  768s |      23 |  2820875 |  2582138 |     1249   4691 |        0 |        0
770.17/770.39	c  770s |      23 |  2827143 |  2587838 |     1249   4699 |        0 |        0
772.27/772.40	c  772s |      23 |  2833571 |  2593638 |     1249   4708 |        0 |        0
774.27/774.43	c  774s |      23 |  2840103 |  2599438 |     1249   4716 |        0 |        0
776.27/776.43	c  776s |      23 |  2847085 |  2605638 |     1249   4725 |        0 |        0
778.27/778.44	c  778s |      23 |  2853387 |  2611338 |     1249   4733 |        0 |        0
780.28/780.45	c  780s |      23 |  2859589 |  2616938 |     1249   4741 |        0 |        0
782.27/782.46	c  782s |      23 |  2865624 |  2622338 |     1249   4749 |        0 |        0
784.27/784.46	c  784s |      23 |  2872913 |  2628738 |     1249   4758 |        0 |        0
786.27/786.48	c  786s |      23 |  2879358 |  2634638 |     1249   4767 |        0 |        0
788.37/788.50	c  788s |      23 |  2886919 |  2641138 |     1249   4776 |        0 |        0
790.37/790.51	c  790s |      23 |  2893830 |  2647238 |     1249   4785 |        0 |        0
792.37/792.52	c  792s |      23 |  2900670 |  2653338 |     1249   4794 |        0 |        0
794.37/794.55	c  794s |      23 |  2907458 |  2659338 |     1249   4803 |        0 |        0
796.37/796.55	c  796s |      23 |  2913737 |  2664938 |     1249   4811 |        0 |        0
798.36/798.58	c  798s |      23 |  2919590 |  2670338 |     1249   4819 |        0 |        0
800.36/800.59	c  800s |      23 |  2925061 |  2675238 |     1249   4826 |        0 |        0
802.46/802.61	c  802s |      23 |  2931388 |  2680838 |     1249   4834 |        0 |        0
804.47/804.62	c  804s |      23 |  2937127 |  2686038 |     1249   4841 |        0 |        0
806.46/806.64	c  806s |      23 |  2944190 |  2692438 |     1249   4850 |        0 |        0
808.47/808.64	c  808s |      23 |  2951557 |  2698938 |     1249   4860 |        0 |        0
810.47/810.67	c  810s |      23 |  2958372 |  2705138 |     1249   4869 |        0 |        0
812.57/812.72	c  812s |      23 |  2965168 |  2711238 |     1249   4878 |        0 |        0
814.57/814.73	c  814s |      23 |  2971794 |  2717238 |     1249   4886 |        0 |        0
816.58/816.74	c  816s |      23 |  2978463 |  2723238 |     1249   4895 |        0 |        0
818.57/818.76	c  818s |      23 |  2984905 |  2729138 |     1249   4903 |        0 |        0
820.57/820.77	c  820s |      23 |  2990596 |  2734238 |     1249   4911 |        0 |        0
822.57/822.78	c  822s |      23 |  2996721 |  2739838 |     1249   4919 |        0 |        0
824.57/824.78	c  824s |      23 |  3002638 |  2745238 |     1249   4927 |        0 |        0
826.67/826.81	c  826s |      23 |  3009160 |  2751138 |     1249   4935 |        0 |        0
828.67/828.83	c  828s |      23 |  3015615 |  2757038 |     1249   4944 |        0 |        0
830.67/830.85	c  830s |      23 |  3022021 |  2762738 |     1249   4952 |        0 |        0
832.67/832.86	c  832s |      23 |  3027754 |  2768038 |     1249   4960 |        0 |        0
834.67/834.87	c  834s |      23 |  3033468 |  2773338 |     1249   4967 |        0 |        0
836.66/836.88	c  836s |      23 |  3039458 |  2778738 |     1249   4975 |        0 |        0
838.67/838.89	c  838s |      23 |  3044512 |  2783438 |     1249   4982 |        0 |        0
840.77/840.92	c  840s |      23 |  3049695 |  2788238 |     1249   4989 |        0 |        0
842.76/842.93	c  842s |      23 |  3055642 |  2793638 |     1249   4997 |        0 |        0
844.76/844.97	c  844s |      23 |  3061815 |  2799338 |     1249   5005 |        0 |        0
846.76/846.99	c  846s |      23 |  3067495 |  2804538 |     1249   5012 |        0 |        0
848.86/849.00	c  848s |      23 |  3073647 |  2810138 |     1249   5020 |        0 |        0
850.86/851.00	c  850s |      23 |  3079790 |  2815738 |     1249   5029 |        0 |        0
852.87/853.03	c  853s |      23 |  3085430 |  2820838 |     1249   5036 |        0 |        0
854.86/855.06	c  855s |      23 |  3091844 |  2826638 |     1249   5044 |        0 |        0
856.86/857.09	c  857s |      23 |  3097965 |  2832238 |     1249   5052 |        0 |        0
858.96/859.12	c  859s |      23 |  3103747 |  2837538 |     1249   5060 |        0 |        0
860.96/861.13	c  861s |      23 |  3110655 |  2843838 |     1249   5069 |        0 |        0
862.96/863.14	c  863s |      23 |  3117947 |  2850238 |     1249   5078 |        0 |        0
864.96/865.17	c  865s |      23 |  3124822 |  2856338 |     1249   5087 |        0 |        0
867.06/867.21	c  867s |      23 |  3131069 |  2862038 |     1249   5096 |        0 |        0
869.05/869.22	c  869s |      23 |  3137290 |  2867738 |     1249   5104 |        0 |        0
871.05/871.25	c  871s |      23 |  3143662 |  2873638 |     1249   5112 |        0 |        0
873.05/873.26	c  873s |      23 |  3149967 |  2879338 |     1249   5120 |        0 |        0
875.05/875.29	c  875s |      23 |  3156821 |  2885538 |     1249   5129 |        0 |        0
877.06/877.30	c  877s |      23 |  3163550 |  2891638 |     1249   5138 |        0 |        0
879.15/879.33	c  879s |      23 |  3169857 |  2897338 |     1249   5147 |        0 |        0
881.15/881.34	c  881s |      23 |  3176187 |  2902938 |     1249   5155 |        0 |        0
883.15/883.35	c  883s |      23 |  3182625 |  2908638 |     1249   5163 |        0 |        0
885.15/885.36	c  885s |      23 |  3188723 |  2914038 |     1249   5171 |        0 |        0
887.15/887.36	c  887s |      23 |  3194661 |  2919338 |     1249   5178 |        0 |        0
889.26/889.41	c  889s |      23 |  3200727 |  2924838 |     1249   5186 |        0 |        0
891.26/891.42	c  891s |      23 |  3206675 |  2930238 |     1249   5194 |        0 |        0
893.26/893.42	c  893s |      23 |  3212148 |  2935138 |     1249   5201 |        0 |        0
895.26/895.44	c  895s |      23 |  3218433 |  2940938 |     1249   5210 |        0 |        0
897.26/897.45	c  897s |      23 |  3225156 |  2947138 |     1249   5218 |        0 |        0
899.26/899.45	c  899s |      23 |  3231512 |  2953038 |     1249   5227 |        0 |        0
901.26/901.48	c  901s |      23 |  3238071 |  2959038 |     1249   5236 |        0 |        0
903.35/903.51	c  903s |      23 |  3245122 |  2965138 |     1249   5245 |        0 |        0
905.35/905.55	c  905s |      23 |  3251829 |  2971138 |     1249   5253 |        0 |        0
907.35/907.59	c  907s |      23 |  3258226 |  2976938 |     1249   5262 |        0 |        0
909.35/909.60	c  909s |      23 |  3264479 |  2982738 |     1249   5270 |        0 |        0
911.45/911.61	c  911s |      23 |  3270479 |  2988238 |     1249   5278 |        0 |        0
913.46/913.64	c  913s |      23 |  3277300 |  2994438 |     1249   5287 |        0 |        0
915.45/915.66	c  915s |      23 |  3284315 |  3000738 |     1249   5296 |        0 |        0
917.45/917.69	c  917s |      23 |  3291184 |  3006938 |     1249   5305 |        0 |        0
919.55/919.72	c  919s |      23 |  3298644 |  3013338 |     1249   5314 |        0 |        0
921.55/921.73	c  921s |      23 |  3306330 |  3020038 |     1249   5324 |        0 |        0
923.55/923.74	c  923s |      23 |  3313712 |  3026738 |     1249   5333 |        0 |        0
925.56/925.74	c  925s |      23 |  3320510 |  3033038 |     1249   5342 |        0 |        0
927.55/927.76	c  927s |      23 |  3327581 |  3039438 |     1249   5352 |        0 |        0
929.55/929.78	c  929s |      23 |  3334226 |  3045538 |     1249   5360 |        0 |        0
931.55/931.78	c  931s |      23 |  3341429 |  3051838 |     1249   5369 |        0 |        0
933.65/933.81	c  933s |      23 |  3348260 |  3058038 |     1249   5378 |        0 |        0
935.65/935.83	c  935s |      23 |  3355589 |  3064638 |     1249   5388 |        0 |        0
937.65/937.85	c  937s |      23 |  3362955 |  3071238 |     1249   5397 |        0 |        0
939.65/939.87	c  939s |      23 |  3370101 |  3077438 |     1249   5406 |        0 |        0
941.74/941.90	c  941s |      23 |  3376668 |  3083438 |     1249   5415 |        0 |        0
943.74/943.91	c  943s |      23 |  3383083 |  3089238 |     1249   5423 |        0 |        0
945.74/945.91	c  945s |      23 |  3389704 |  3095138 |     1249   5432 |        0 |        0
947.74/947.92	c  947s |      23 |  3396551 |  3101138 |     1249   5441 |        0 |        0
949.75/949.93	c  949s |      23 |  3403347 |  3106938 |     1249   5449 |        0 |        0
951.74/951.95	c  951s |      23 |  3410348 |  3113138 |     1249   5458 |        0 |        0
953.74/953.97	c  953s |      23 |  3417819 |  3119538 |     1249   5467 |        0 |        0
955.74/955.99	c  955s |      23 |  3424911 |  3125738 |     1249   5476 |        0 |        0
957.84/958.00	c  957s |      23 |  3431852 |  3131738 |     1249   5485 |        0 |        0
959.84/960.01	c  959s |      23 |  3438661 |  3137538 |     1249   5493 |        0 |        0
961.84/962.04	c  962s |      23 |  3444679 |  3142938 |     1249   5501 |        0 |        0
963.84/964.05	c  964s |      23 |  3451078 |  3148438 |     1249   5509 |        0 |        0
965.84/966.05	c  966s |      23 |  3457667 |  3154038 |     1249   5517 |        0 |        0
967.83/968.06	c  968s |      23 |  3463647 |  3159338 |     1249   5525 |        0 |        0
969.83/970.09	c  970s |      23 |  3471003 |  3165838 |     1249   5534 |        0 |        0
971.93/972.11	c  972s |      23 |  3478183 |  3172038 |     1249   5543 |        0 |        0
973.94/974.14	c  974s |      23 |  3485478 |  3178538 |     1249   5553 |        0 |        0
975.93/976.17	c  976s |      23 |  3492151 |  3184538 |     1249   5561 |        0 |        0
978.03/978.20	c  978s |      23 |  3498748 |  3190538 |     1249   5570 |        0 |        0
980.03/980.21	c  980s |      23 |  3505198 |  3196338 |     1249   5579 |        0 |        0
982.03/982.22	c  982s |      23 |  3512100 |  3202538 |     1249   5588 |        0 |        0
984.03/984.25	c  984s |      23 |  3518803 |  3208538 |     1249   5596 |        0 |        0
986.04/986.27	c  986s |      23 |  3524933 |  3214038 |     1249   5604 |        0 |        0
988.03/988.29	c  988s |      23 |  3530736 |  3219238 |     1249   5612 |        0 |        0
990.13/990.32	c  990s |      23 |  3537213 |  3224938 |     1249   5620 |        0 |        0
992.13/992.35	c  992s |      23 |  3543201 |  3230338 |     1249   5628 |        0 |        0
994.13/994.36	c  994s |      23 |  3548854 |  3235438 |     1249   5635 |        0 |        0
996.13/996.38	c  996s |      23 |  3554832 |  3240938 |     1249   5643 |        0 |        0
998.13/998.39	c  998s |      23 |  3561211 |  3246838 |     1249   5652 |        0 |        0
1000.23/1000.41	c 1000s |      23 |  3567259 |  3252338 |     1249   5660 |        0 |        0
1002.22/1002.42	c 1002s |      23 |  3573400 |  3257938 |     1249   5668 |        0 |        0
1004.22/1004.44	c 1004s |      23 |  3579664 |  3263538 |     1249   5676 |        0 |        0
1006.22/1006.46	c 1006s |      23 |  3585440 |  3268838 |     1249   5683 |        0 |        0
1008.22/1008.49	c 1008s |      23 |  3590942 |  3273938 |     1249   5691 |        0 |        0
1010.23/1010.49	c 1010s |      23 |  3596434 |  3279038 |     1249   5698 |        0 |        0
1012.32/1012.50	c 1012s |      23 |  3603121 |  3285138 |     1249   5707 |        0 |        0
1014.31/1014.51	c 1014s |      23 |  3609418 |  3290938 |     1249   5715 |        0 |        0
1016.31/1016.54	c 1016s |      23 |  3615416 |  3296438 |     1249   5723 |        0 |        0
1018.31/1018.55	c 1018s |      23 |  3621117 |  3301638 |     1249   5731 |        0 |        0
1020.31/1020.55	c 1020s |      23 |  3626955 |  3307038 |     1249   5738 |        0 |        0
1022.32/1022.58	c 1022s |      23 |  3632146 |  3311838 |     1249   5745 |        0 |        0
1024.31/1024.59	c 1024s |      23 |  3638093 |  3317238 |     1249   5753 |        0 |        0
1026.41/1026.61	c 1026s |      23 |  3643424 |  3322138 |     1249   5760 |        0 |        0
1028.41/1028.64	c 1028s |      23 |  3649860 |  3327938 |     1249   5768 |        0 |        0
1030.41/1030.67	c 1030s |      23 |  3656064 |  3333538 |     1249   5776 |        0 |        0
1032.40/1032.68	c 1032s |      23 |  3662058 |  3338938 |     1249   5784 |        0 |        0
1034.41/1034.69	c 1034s |      23 |  3667528 |  3343938 |     1249   5791 |        0 |        0
1036.40/1036.69	c 1036s |      23 |  3673937 |  3349838 |     1249   5800 |        0 |        0
1038.50/1038.71	c 1038s |      23 |  3679393 |  3354838 |     1374   5807 |        0 |        0
1040.50/1040.74	c 1040s |      23 |  3685603 |  3360438 |     1374   5814 |        0 |        0
1042.50/1042.76	c 1042s |      23 |  3692313 |  3366438 |     1374   5822 |        0 |        0
1044.50/1044.79	c 1044s |      23 |  3698741 |  3372238 |     1374   5830 |        0 |        0
1046.10/1046.38	c 1046s |      24 |  3703585 |  3376662 |     1374   5836 |        0 |        0
1048.20/1048.41	c 1048s |      24 |  3711746 |  3383662 |     1374   5845 |        0 |        0
1050.20/1050.41	c 1050s |      24 |  3719152 |  3390462 |     1374   5854 |        0 |        0
1052.19/1052.44	c 1052s |      24 |  3726698 |  3397362 |     1374   5863 |        0 |        0
1054.20/1054.45	c 1054s |      24 |  3734229 |  3404162 |     1374   5873 |        0 |        0
1056.19/1056.48	c 1056s |      24 |  3741625 |  3410862 |     1374   5882 |        0 |        0
1058.19/1058.49	c 1058s |      24 |  3748817 |  3417462 |     1374   5890 |        0 |        0
1060.19/1060.49	c 1060s |      24 |  3755827 |  3423962 |     1374   5899 |        0 |        0
1062.29/1062.50	c 1062s |      24 |  3763321 |  3430662 |     1374   5908 |        0 |        0
1064.29/1064.52	c 1064s |      24 |  3770826 |  3437462 |     1374   5917 |        0 |        0
1066.29/1066.55	c 1066s |      24 |  3778373 |  3444262 |     1374   5926 |        0 |        0
1068.29/1068.57	c 1068s |      24 |  3785669 |  3450962 |     1374   5936 |        0 |        0
1070.28/1070.59	c 1070s |      24 |  3792946 |  3457462 |     1374   5944 |        0 |        0
1072.38/1072.60	c 1072s |      24 |  3799965 |  3463762 |     1374   5953 |        0 |        0
1074.38/1074.62	c 1074s |      24 |  3806794 |  3470062 |     1374   5961 |        0 |        0
1076.38/1076.64	c 1076s |      24 |  3813507 |  3476262 |     1374   5970 |        0 |        0
1078.39/1078.65	c 1078s |      24 |  3820381 |  3482562 |     1374   5978 |        0 |        0
1080.38/1080.66	c 1080s |      24 |  3826905 |  3488462 |     1374   5986 |        0 |        0
1082.39/1082.66	c 1082s |      24 |  3833600 |  3494462 |     1374   5994 |        0 |        0
1084.39/1084.67	c 1084s |      24 |  3840254 |  3500562 |     1374   6002 |        0 |        0
1086.48/1086.70	c 1086s |      24 |  3846912 |  3506662 |     1374   6010 |        0 |        0
1088.48/1088.73	c 1088s |      24 |  3853396 |  3512662 |     1374   6018 |        0 |        0
1090.49/1090.73	c 1090s |      24 |  3860038 |  3518862 |     1374   6027 |        0 |        0
1092.48/1092.76	c 1092s |      24 |  3865957 |  3524362 |     1374   6034 |        0 |        0
1094.48/1094.77	c 1094s |      24 |  3871767 |  3529762 |     1374   6041 |        0 |        0
1096.58/1096.81	c 1096s |      24 |  3877486 |  3535062 |     1374   6049 |        0 |        0
1098.58/1098.81	c 1098s |      24 |  3884953 |  3541662 |     1374   6057 |        0 |        0
1100.58/1100.82	c 1100s |      24 |  3891971 |  3547862 |     1374   6065 |        0 |        0
1102.58/1102.84	c 1102s |      24 |  3898750 |  3553962 |     1374   6074 |        0 |        0
1104.57/1104.84	c 1104s |      24 |  3905929 |  3560462 |     1374   6082 |        0 |        0
1106.57/1106.87	c 1106s |      24 |  3912456 |  3566362 |     1374   6090 |        0 |        0
1108.67/1108.90	c 1108s |      24 |  3918925 |  3572162 |     1374   6098 |        0 |        0
1110.67/1110.93	c 1110s |      24 |  3924623 |  3577362 |     1374   6104 |        0 |        0
1112.67/1112.94	c 1112s |      24 |  3931100 |  3583262 |     1374   6112 |        0 |        0
1114.67/1114.95	c 1114s |      24 |  3937342 |  3588962 |     1374   6120 |        0 |        0
1116.67/1116.99	c 1116s |      24 |  3943797 |  3594862 |     1374   6128 |        0 |        0
1118.76/1119.01	c 1118s |      24 |  3949990 |  3600562 |     1374   6135 |        0 |        0
1120.76/1121.02	c 1121s |      24 |  3956275 |  3606262 |     1374   6143 |        0 |        0
1122.76/1123.05	c 1123s |      24 |  3962872 |  3612362 |     1374   6151 |        0 |        0
1124.76/1125.09	c 1125s |      24 |  3969497 |  3618362 |     1374   6159 |        0 |        0
1126.86/1127.10	c 1127s |      24 |  3976160 |  3624362 |     1374   6166 |        0 |        0
1128.87/1129.11	c 1129s |      24 |  3982639 |  3630162 |     1374   6174 |        0 |        0
1130.86/1131.15	c 1131s |      24 |  3988605 |  3635662 |     1374   6181 |        0 |        0
1132.85/1133.17	c 1133s |      24 |  3994347 |  3640962 |     1374   6188 |        0 |        0
1134.85/1135.17	c 1135s |      24 |  4000833 |  3646762 |     1374   6196 |        0 |        0
1136.95/1137.20	c 1137s |      24 |  4006711 |  3652062 |     1374   6203 |        0 |        0
1138.95/1139.21	c 1139s |      24 |  4011695 |  3656562 |     1374   6209 |        0 |        0
1140.96/1141.23	c 1141s |      24 |  4018543 |  3662762 |     1374   6217 |        0 |        0
1142.95/1143.24	c 1143s |      24 |  4024628 |  3668362 |     1374   6224 |        0 |        0
1144.95/1145.25	c 1145s |      24 |  4030889 |  3674062 |     1374   6232 |        0 |        0
1146.95/1147.25	c 1147s |      24 |  4036886 |  3679562 |     1374   6239 |        0 |        0
1148.94/1149.26	c 1149s |      24 |  4042955 |  3685062 |     1374   6246 |        0 |        0
1150.95/1151.26	c 1151s |      24 |  4050046 |  3691362 |     1374   6255 |        0 |        0
1152.94/1153.30	c 1153s |      24 |  4056915 |  3697562 |     1374   6263 |        0 |        0
1155.04/1155.32	c 1155s |      24 |  4063747 |  3703762 |     1374   6271 |        0 |        0
1157.04/1157.32	c 1157s |      24 |  4070288 |  3709662 |     1374   6279 |        0 |        0
1159.04/1159.34	c 1159s |      24 |  4076804 |  3715562 |     1374   6287 |        0 |        0
1161.04/1161.36	c 1161s |      24 |  4083254 |  3721462 |     1374   6294 |        0 |        0
1163.04/1163.38	c 1163s |      24 |  4089257 |  3726962 |     1374   6302 |        0 |        0
1165.03/1165.39	c 1165s |      24 |  4095080 |  3732262 |     1374   6309 |        0 |        0
1167.03/1167.39	c 1167s |      24 |  4101149 |  3737762 |     1374   6316 |        0 |        0
1169.03/1169.39	c 1169s |      24 |  4107893 |  3743862 |     1374   6324 |        0 |        0
1171.13/1171.41	c 1171s |      24 |  4114918 |  3750162 |     1374   6332 |        0 |        0
1173.13/1173.42	c 1173s |      24 |  4122085 |  3756562 |     1374   6341 |        0 |        0
1175.13/1175.45	c 1175s |      24 |  4128430 |  3762462 |     1374   6349 |        0 |        0
1177.13/1177.46	c 1177s |      24 |  4134695 |  3768262 |     1374   6356 |        0 |        0
1179.12/1179.46	c 1179s |      24 |  4141323 |  3774262 |     1374   6364 |        0 |        0
1181.12/1181.49	c 1181s |      24 |  4148679 |  3780662 |     1374   6373 |        0 |        0
1183.22/1183.52	c 1183s |      24 |  4156215 |  3787262 |     1374   6382 |        0 |        0
1185.22/1185.52	c 1185s |      24 |  4163494 |  3793662 |     1374   6390 |        0 |        0
1187.22/1187.55	c 1187s |      24 |  4170428 |  3799762 |     1374   6398 |        0 |        0
1189.22/1189.57	c 1189s |      24 |  4176633 |  3805362 |     1374   6406 |        0 |        0
1191.22/1191.58	c 1191s |      24 |  4182849 |  3810962 |     1374   6413 |        0 |        0
1193.32/1193.60	c 1193s |      24 |  4189651 |  3817062 |     1374   6421 |        0 |        0
1195.32/1195.60	c 1195s |      24 |  4195853 |  3822762 |     1374   6429 |        0 |        0
1197.32/1197.61	c 1197s |      24 |  4202377 |  3828662 |     1374   6437 |        0 |        0
1199.33/1199.62	c 1199s |      24 |  4208912 |  3834462 |     1374   6444 |        0 |        0
1201.32/1201.63	c 1201s |      24 |  4214930 |  3839962 |     1374   6452 |        0 |        0
1203.31/1203.67	c 1203s |      24 |  4221126 |  3845562 |     1374   6459 |        0 |        0
1205.31/1205.68	c 1205s |      24 |  4227458 |  3851262 |     1374   6466 |        0 |        0
1207.41/1207.71	c 1207s |      24 |  4234287 |  3857262 |     1374   6475 |        0 |        0
1209.41/1209.74	c 1209s |      24 |  4240868 |  3863262 |     1374   6483 |        0 |        0
1211.42/1211.77	c 1211s |      24 |  4247000 |  3869062 |     1374   6490 |        0 |        0
1213.41/1213.78	c 1213s |      24 |  4252540 |  3874262 |     1374   6497 |        0 |        0
1215.41/1215.80	c 1215s |      24 |  4258955 |  3880062 |     1374   6505 |        0 |        0
1217.50/1217.80	c 1217s |      24 |  4265078 |  3885662 |     1374   6512 |        0 |        0
1219.50/1219.83	c 1219s |      24 |  4272035 |  3891862 |     1374   6520 |        0 |        0
1221.51/1221.85	c 1221s |      24 |  4278382 |  3897562 |     1374   6528 |        0 |        0
1223.52/1223.86	c 1223s |      24 |  4284855 |  3903262 |     1374   6536 |        0 |        0
1225.51/1225.86	c 1225s |      24 |  4291426 |  3909062 |     1374   6543 |        0 |        0
1227.51/1227.88	c 1227s |      24 |  4298102 |  3915062 |     1374   6551 |        0 |        0
1229.61/1229.90	c 1229s |      24 |  4304617 |  3920962 |     1374   6559 |        0 |        0
1231.60/1231.93	c 1231s |      24 |  4311220 |  3926962 |     1374   6567 |        0 |        0
1233.60/1233.95	c 1233s |      24 |  4317497 |  3932662 |     1374   6574 |        0 |        0
1235.61/1235.99	c 1235s |      24 |  4323837 |  3938362 |     1374   6582 |        0 |        0
1237.71/1238.01	c 1238s |      24 |  4330165 |  3944062 |     1374   6590 |        0 |        0
1239.70/1240.02	c 1240s |      24 |  4336348 |  3949662 |     1374   6597 |        0 |        0
1241.70/1242.03	c 1242s |      24 |  4343030 |  3955762 |     1374   6605 |        0 |        0
1243.70/1244.03	c 1244s |      24 |  4349389 |  3961562 |     1374   6613 |        0 |        0
1245.69/1246.04	c 1246s |      24 |  4355100 |  3966862 |     1374   6620 |        0 |        0
1247.70/1248.05	c 1248s |      24 |  4361140 |  3972362 |     1374   6627 |        0 |        0
1249.69/1250.07	c 1250s |      24 |  4366872 |  3977662 |     1374   6634 |        0 |        0
1251.79/1252.10	c 1252s |      24 |  4372784 |  3983062 |     1374   6641 |        0 |        0
1253.79/1254.10	c 1254s |      24 |  4378510 |  3988262 |     1374   6648 |        0 |        0
1255.79/1256.12	c 1256s |      24 |  4383977 |  3993262 |     1374   6655 |        0 |        0
1257.79/1258.13	c 1258s |      24 |  4390184 |  3998862 |     1374   6662 |        0 |        0
1259.79/1260.15	c 1260s |      24 |  4395894 |  4004062 |     1374   6669 |        0 |        0
1261.79/1262.15	c 1262s |      24 |  4402305 |  4009762 |     1374   6676 |        0 |        0
1263.78/1264.17	c 1264s |      24 |  4408621 |  4015462 |     1374   6684 |        0 |        0
1265.88/1266.20	c 1266s |      24 |  4414693 |  4020962 |     1374   6691 |        0 |        0
1267.88/1268.21	c 1268s |      24 |  4420128 |  4025962 |     1374   6698 |        0 |        0
1269.88/1270.23	c 1270s |      24 |  4425734 |  4031062 |     1374   6705 |        0 |        0
1271.89/1272.23	c 1272s |      24 |  4432140 |  4036962 |     1374   6712 |        0 |        0
1273.88/1274.23	c 1274s |      24 |  4438946 |  4043162 |     1374   6721 |        0 |        0
1275.88/1276.25	c 1276s |      24 |  4446173 |  4049662 |     1374   6729 |        0 |        0
1277.88/1278.27	c 1278s |      24 |  4452751 |  4055662 |     1374   6737 |        0 |        0
1279.98/1280.30	c 1280s |      24 |  4458993 |  4061462 |     1374   6745 |        0 |        0
1281.97/1282.30	c 1282s |      24 |  4465729 |  4067462 |     1374   6753 |        0 |        0
1283.98/1284.32	c 1284s |      24 |  4471698 |  4072962 |     1374   6760 |        0 |        0
1285.97/1286.34	c 1286s |      24 |  4478099 |  4078762 |     1374   6768 |        0 |        0
1287.97/1288.37	c 1288s |      24 |  4484894 |  4085062 |     1374   6776 |        0 |        0
1289.97/1290.37	c 1290s |      24 |  4492194 |  4091562 |     1374   6785 |        0 |        0
1291.97/1292.38	c 1292s |      24 |  4499315 |  4097962 |     1374   6793 |        0 |        0
1293.97/1294.39	c 1294s |      24 |  4505268 |  4103462 |     1374   6800 |        0 |        0
1295.97/1296.39	c 1296s |      24 |  4511480 |  4109062 |     1374   6808 |        0 |        0
1298.07/1298.42	c 1298s |      24 |  4518402 |  4115262 |     1374   6816 |        0 |        0
1300.07/1300.44	c 1300s |      24 |  4525738 |  4121962 |     1374   6825 |        0 |        0
1302.06/1302.47	c 1302s |      24 |  4533173 |  4128662 |     1374   6834 |        0 |        0
1304.16/1304.50	c 1304s |      24 |  4540353 |  4135062 |     1374   6843 |        0 |        0
1306.16/1306.52	c 1306s |      24 |  4547243 |  4141162 |     1374   6851 |        0 |        0
1308.17/1308.54	c 1308s |      24 |  4554404 |  4147362 |     1374   6859 |        0 |        0
1310.16/1310.56	c 1310s |      24 |  4561292 |  4153462 |     1374   6867 |        0 |        0
1312.26/1312.60	c 1312s |      24 |  4568543 |  4159562 |     1374   6875 |        0 |        0
1314.26/1314.62	c 1314s |      24 |  4575723 |  4165762 |     1374   6883 |        0 |        0
1316.25/1316.64	c 1316s |      24 |  4583331 |  4172362 |     1374   6892 |        0 |        0
1318.25/1318.65	c 1318s |      24 |  4590631 |  4178762 |     1374   6901 |        0 |        0
1320.26/1320.67	c 1320s |      24 |  4598647 |  4185462 |     1374   6910 |        0 |        0
1322.25/1322.67	c 1322s |      24 |  4605714 |  4191462 |     1374   6918 |        0 |        0
1324.25/1324.69	c 1324s |      24 |  4612801 |  4197762 |     1374   6926 |        0 |        0
1326.25/1326.69	c 1326s |      24 |  4619160 |  4203562 |     1374   6934 |        0 |        0
1328.25/1328.69	c 1328s |      24 |  4625066 |  4208962 |     1374   6941 |        0 |        0
1330.35/1330.71	c 1330s |      24 |  4631764 |  4214862 |     1374   6949 |        0 |        0
1332.35/1332.72	c 1332s |      24 |  4638028 |  4220462 |     1374   6956 |        0 |        0
1334.34/1334.74	c 1334s |      24 |  4644322 |  4225962 |     1374   6964 |        0 |        0
1336.34/1336.76	c 1336s |      24 |  4651099 |  4231962 |     1374   6972 |        0 |        0
1338.35/1338.77	c 1338s |      24 |  4658045 |  4238162 |     1374   6980 |        0 |        0
1340.35/1340.77	c 1340s |      24 |  4664748 |  4244162 |     1374   6988 |        0 |        0
1342.35/1342.79	c 1342s |      24 |  4671223 |  4249962 |     1374   6995 |        0 |        0
1344.45/1344.80	c 1344s |      24 |  4677940 |  4256062 |     1374   7004 |        0 |        0
1346.45/1346.82	c 1346s |      24 |  4684543 |  4262062 |     1374   7012 |        0 |        0
1348.45/1348.82	c 1348s |      24 |  4690341 |  4267362 |     1374   7019 |        0 |        0
1350.45/1350.83	c 1350s |      24 |  4696121 |  4272662 |     1374   7026 |        0 |        0
1352.44/1352.84	c 1352s |      24 |  4701987 |  4278062 |     1374   7033 |        0 |        0
1354.44/1354.86	c 1354s |      24 |  4708798 |  4284262 |     1374   7041 |        0 |        0
1356.45/1356.90	c 1356s |      24 |  4715712 |  4290462 |     1374   7049 |        0 |        0
1358.54/1358.91	c 1358s |      24 |  4721965 |  4296162 |     1374   7057 |        0 |        0
1360.54/1360.91	c 1360s |      24 |  4728926 |  4302362 |     1374   7065 |        0 |        0
1362.54/1362.91	c 1362s |      24 |  4735862 |  4308462 |     1374   7073 |        0 |        0
1364.54/1364.95	c 1364s |      24 |  4743046 |  4314862 |     1374   7082 |        0 |        0
1366.54/1366.95	c 1366s |      24 |  4749466 |  4320762 |     1374   7089 |        0 |        0
1368.54/1368.98	c 1368s |      24 |  4755954 |  4326562 |     1374   7097 |        0 |        0
1370.64/1371.00	c 1370s |      24 |  4762988 |  4332662 |     1374   7105 |        0 |        0
1372.63/1373.03	c 1373s |      24 |  4770068 |  4338862 |     1374   7113 |        0 |        0
1374.63/1375.04	c 1375s |      24 |  4777182 |  4345162 |     1374   7122 |        0 |        0
1376.63/1377.04	c 1377s |      24 |  4783934 |  4351062 |     1374   7130 |        0 |        0
1378.63/1379.04	c 1379s |      24 |  4790318 |  4356662 |     1374   7137 |        0 |        0
1380.64/1381.06	c 1381s |      24 |  4795893 |  4361762 |     1374   7144 |        0 |        0
1382.73/1383.10	c 1383s |      24 |  4801350 |  4366762 |     1374   7150 |        0 |        0
1384.73/1385.11	c 1385s |      24 |  4808907 |  4373262 |     1374   7159 |        0 |        0
1386.73/1387.12	c 1387s |      24 |  4815518 |  4379062 |     1374   7167 |        0 |        0
1388.73/1389.14	c 1389s |      24 |  4821841 |  4384662 |     1374   7174 |        0 |        0
1390.73/1391.15	c 1391s |      24 |  4828077 |  4390262 |     1374   7182 |        0 |        0
1392.73/1393.18	c 1393s |      24 |  4834153 |  4395762 |     1374   7189 |        0 |        0
1394.72/1395.20	c 1395s |      24 |  4840164 |  4401162 |     1374   7196 |        0 |        0
1396.82/1397.21	c 1397s |      24 |  4845965 |  4406362 |     1374   7203 |        0 |        0
1398.82/1399.25	c 1399s |      24 |  4851456 |  4411362 |     1374   7210 |        0 |        0
1400.82/1401.26	c 1401s |      24 |  4857643 |  4416862 |     1374   7217 |        0 |        0
1402.82/1403.27	c 1403s |      24 |  4864145 |  4422762 |     1374   7225 |        0 |        0
1404.82/1405.27	c 1405s |      24 |  4870369 |  4428462 |     1374   7232 |        0 |        0
1406.82/1407.28	c 1407s |      24 |  4876634 |  4434162 |     1374   7240 |        0 |        0
1408.91/1409.33	c 1409s |      24 |  4883418 |  4440162 |     1374   7248 |        0 |        0
1410.91/1411.36	c 1411s |      24 |  4889984 |  4446062 |     1374   7255 |        0 |        0
1412.91/1413.38	c 1413s |      24 |  4896374 |  4451862 |     1374   7263 |        0 |        0
1414.91/1415.38	c 1415s |      24 |  4902536 |  4457562 |     1374   7271 |        0 |        0
1417.02/1417.41	c 1417s |      24 |  4909403 |  4463862 |     1374   7279 |        0 |        0
1419.01/1419.43	c 1419s |      24 |  4916198 |  4470062 |     1374   7287 |        0 |        0
1421.01/1421.46	c 1421s |      24 |  4923205 |  4476262 |     1374   7295 |        0 |        0
1423.00/1423.49	c 1423s |      24 |  4929657 |  4481962 |     1374   7303 |        0 |        0
1425.10/1425.51	c 1425s |      24 |  4935714 |  4487362 |     1374   7310 |        0 |        0
1427.10/1427.54	c 1427s |      24 |  4941748 |  4492762 |     1374   7317 |        0 |        0
1429.11/1429.54	c 1429s |      24 |  4947879 |  4498262 |     1374   7325 |        0 |        0
1431.10/1431.55	c 1431s |      24 |  4953646 |  4503462 |     1374   7331 |        0 |        0
1433.10/1433.55	c 1433s |      24 |  4959880 |  4508962 |     1374   7339 |        0 |        0
1435.10/1435.58	c 1435s |      24 |  4965721 |  4514362 |     1374   7346 |        0 |        0
1437.20/1437.62	c 1437s |      24 |  4971440 |  4519662 |     1374   7353 |        0 |        0
1439.20/1439.63	c 1439s |      24 |  4977561 |  4525162 |     1374   7360 |        0 |        0
1441.20/1441.65	c 1441s |      24 |  4983919 |  4530962 |     1374   7368 |        0 |        0
1443.19/1443.68	c 1443s |      24 |  4989656 |  4536162 |     1374   7375 |        0 |        0
1445.19/1445.68	c 1445s |      24 |  4995502 |  4541562 |     1374   7382 |        0 |        0
1447.29/1447.70	c 1447s |      24 |  5001340 |  4546962 |     1374   7389 |        0 |        0
1449.29/1449.71	c 1449s |      24 |  5007205 |  4552362 |     1374   7396 |        0 |        0
1451.29/1451.74	c 1451s |      24 |  5012732 |  4557462 |     1374   7403 |        0 |        0
1453.29/1453.76	c 1453s |      24 |  5018933 |  4563162 |     1374   7411 |        0 |        0
1455.28/1455.80	c 1455s |      24 |  5025525 |  4569162 |     1374   7419 |        0 |        0
1457.38/1457.82	c 1457s |      24 |  5032064 |  4574962 |     1374   7426 |        0 |        0
1459.38/1459.85	c 1459s |      24 |  5037897 |  4580162 |     1374   7433 |        0 |        0
1461.38/1461.88	c 1461s |      24 |  5043502 |  4585262 |     1374   7440 |        0 |        0
1463.38/1463.88	c 1463s |      24 |  5049142 |  4590262 |     1374   7447 |        0 |        0
1465.48/1465.92	c 1465s |      24 |  5054519 |  4595262 |     1374   7453 |        0 |        0
1467.48/1467.93	c 1467s |      24 |  5059832 |  4600162 |     1374   7460 |        0 |        0
1469.48/1469.95	c 1469s |      24 |  5064946 |  4604862 |     1374   7466 |        0 |        0
1471.48/1471.95	c 1471s |      24 |  5071588 |  4610862 |     1374   7474 |        0 |        0
1473.47/1473.98	c 1473s |      24 |  5079180 |  4617462 |     1374   7483 |        0 |        0
1475.47/1475.98	c 1475s |      24 |  5086987 |  4624262 |     1374   7492 |        0 |        0
1477.57/1478.01	c 1477s |      24 |  5094884 |  4631062 |     1374   7501 |        0 |        0
1479.58/1480.03	c 1480s |      24 |  5102621 |  4637962 |     1374   7510 |        0 |        0
1481.57/1482.06	c 1482s |      24 |  5110167 |  4644462 |     1374   7518 |        0 |        0
1483.57/1484.07	c 1484s |      24 |  5117585 |  4651062 |     1374   7527 |        0 |        0
1485.67/1486.10	c 1486s |      24 |  5124372 |  4657262 |     1374   7535 |        0 |        0
1487.67/1488.12	c 1488s |      24 |  5131110 |  4663362 |     1374   7544 |        0 |        0
1489.68/1490.12	c 1490s |      24 |  5138970 |  4670162 |     1374   7553 |        0 |        0
1491.68/1492.14	c 1492s |      24 |  5147750 |  4677562 |     1374   7563 |        0 |        0
1493.67/1494.15	c 1494s |      24 |  5156349 |  4684662 |     1374   7572 |        0 |        0
1495.67/1496.17	c 1496s |      24 |  5164161 |  4691262 |     1374   7581 |        0 |        0
1497.67/1498.18	c 1498s |      24 |  5171735 |  4697762 |     1374   7590 |        0 |        0
1499.67/1500.19	c 1500s |      24 |  5179023 |  4704162 |     1374   7598 |        0 |        0
1501.77/1502.21	c 1502s |      24 |  5186051 |  4710262 |     1374   7606 |        0 |        0
1503.77/1504.25	c 1504s |      24 |  5193938 |  4716962 |     1374   7615 |        0 |        0
1505.77/1506.27	c 1506s |      24 |  5201369 |  4723462 |     1374   7624 |        0 |        0
1507.87/1508.31	c 1508s |      24 |  5208694 |  4729862 |     1374   7633 |        0 |        0
1509.87/1510.32	c 1510s |      24 |  5216554 |  4736662 |     1374   7642 |        0 |        0
1511.86/1512.35	c 1512s |      24 |  5223813 |  4742862 |     1374   7650 |        0 |        0
1513.86/1514.37	c 1514s |      24 |  5230203 |  4748462 |     1374   7657 |        0 |        0
1515.87/1516.39	c 1516s |      24 |  5237498 |  4754762 |     1374   7666 |        0 |        0
1517.86/1518.39	c 1518s |      24 |  5244617 |  4760962 |     1374   7674 |        0 |        0
1519.96/1520.42	c 1520s |      24 |  5251949 |  4767262 |     1374   7683 |        0 |        0
1521.95/1522.46	c 1522s |      24 |  5258756 |  4773262 |     1374   7691 |        0 |        0
1523.95/1524.47	c 1524s |      24 |  5265622 |  4779262 |     1374   7699 |        0 |        0
1525.95/1526.48	c 1526s |      24 |  5271960 |  4784962 |     1374   7706 |        0 |        0
1527.96/1528.49	c 1528s |      24 |  5278613 |  4790862 |     1374   7714 |        0 |        0
1530.05/1530.50	c 1530s |      24 |  5285534 |  4796962 |     1374   7722 |        0 |        0
1532.05/1532.52	c 1532s |      24 |  5291956 |  4802762 |     1374   7730 |        0 |        0
1534.05/1534.54	c 1534s |      24 |  5298543 |  4808562 |     1374   7738 |        0 |        0
1536.05/1536.54	c 1536s |      24 |  5304940 |  4814262 |     1374   7745 |        0 |        0
1538.05/1538.57	c 1538s |      24 |  5311503 |  4820062 |     1374   7753 |        0 |        0
1540.05/1540.59	c 1540s |      24 |  5318308 |  4825962 |     1374   7761 |        0 |        0
1542.14/1542.61	c 1542s |      24 |  5325194 |  4832062 |     1374   7769 |        0 |        0
1544.14/1544.63	c 1544s |      24 |  5332306 |  4838262 |     1374   7777 |        0 |        0
1546.14/1546.63	c 1546s |      24 |  5339049 |  4844262 |     1374   7785 |        0 |        0
1548.14/1548.64	c 1548s |      24 |  5346387 |  4850562 |     1374   7794 |        0 |        0
1550.14/1550.65	c 1550s |      24 |  5352982 |  4856362 |     1374   7801 |        0 |        0
1552.14/1552.69	c 1552s |      24 |  5358761 |  4861662 |     1374   7808 |        0 |        0
1554.24/1554.70	c 1554s |      24 |  5365006 |  4867162 |     1374   7816 |        0 |        0
1556.24/1556.73	c 1556s |      24 |  5371815 |  4873262 |     1374   7824 |        0 |        0
1558.24/1558.74	c 1558s |      24 |  5378470 |  4879062 |     1374   7832 |        0 |        0
1560.23/1560.77	c 1560s |      24 |  5384550 |  4884462 |     1374   7839 |        0 |        0
1562.23/1562.78	c 1562s |      24 |  5389961 |  4889362 |     1374   7845 |        0 |        0
1564.24/1564.79	c 1564s |      24 |  5395707 |  4894462 |     1374   7852 |        0 |        0
1566.33/1566.81	c 1566s |      24 |  5401490 |  4899662 |     1374   7859 |        0 |        0
1568.33/1568.82	c 1568s |      24 |  5408296 |  4905662 |     1374   7867 |        0 |        0
1570.33/1570.83	c 1570s |      24 |  5415409 |  4911862 |     1374   7875 |        0 |        0
1572.32/1572.85	c 1572s |      24 |  5422261 |  4917962 |     1374   7883 |        0 |        0
1574.32/1574.86	c 1574s |      24 |  5429477 |  4924062 |     1374   7891 |        0 |        0
1576.33/1576.87	c 1576s |      24 |  5436507 |  4930162 |     1374   7900 |        0 |        0
1578.32/1578.88	c 1578s |      24 |  5443527 |  4936262 |     1374   7908 |        0 |        0
1580.42/1580.91	c 1580s |      24 |  5450841 |  4942662 |     1374   7916 |        0 |        0
1582.42/1582.94	c 1582s |      24 |  5457693 |  4948762 |     1374   7924 |        0 |        0
1584.42/1584.97	c 1584s |      24 |  5464706 |  4954862 |     1374   7932 |        0 |        0
1586.52/1587.00	c 1586s |      24 |  5471687 |  4960862 |     1374   7940 |        0 |        0
1588.52/1589.02	c 1589s |      24 |  5478214 |  4966562 |     1374   7948 |        0 |        0
1590.52/1591.04	c 1591s |      24 |  5484952 |  4972462 |     1374   7956 |        0 |        0
1592.51/1593.06	c 1593s |      24 |  5491399 |  4978262 |     1374   7964 |        0 |        0
1594.51/1595.08	c 1595s |      24 |  5497314 |  4983662 |     1374   7971 |        0 |        0
1596.61/1597.12	c 1597s |      24 |  5503933 |  4989462 |     1374   7979 |        0 |        0
1598.61/1599.13	c 1599s |      24 |  5510247 |  4994962 |     1374   7986 |        0 |        0
1600.62/1601.17	c 1601s |      24 |  5516841 |  5000562 |     1374   7993 |        0 |        0
1602.61/1603.17	c 1603s |      24 |  5522192 |  5005362 |     1374   8000 |        0 |        0
1604.61/1605.18	c 1605s |      24 |  5528013 |  5010462 |     1374   8006 |        0 |        0
1606.61/1607.18	c 1607s |      24 |  5533388 |  5015262 |     1374   8013 |        0 |        0
1608.61/1609.18	c 1609s |      24 |  5540975 |  5021762 |     1374   8021 |        0 |        0
1610.71/1611.21	c 1611s |      24 |  5548025 |  5028062 |     1374   8030 |        0 |        0
1612.71/1613.23	c 1613s |      24 |  5555410 |  5034462 |     1512   8038 |        0 |        0
1614.71/1615.24	c 1615s |      24 |  5562665 |  5040862 |     1512   8045 |        0 |        0
1616.71/1617.24	c 1617s |      24 |  5570178 |  5047562 |     1512   8053 |        0 |        0
1618.71/1619.25	c 1619s |      24 |  5576921 |  5053562 |     1512   8061 |        0 |        0
1620.71/1621.27	c 1621s |      24 |  5583340 |  5059362 |     1512   8068 |        0 |        0
1622.61/1623.13	c 1623s |      25 |  5589846 |  5065098 |     1512   8075 |        0 |        0
1624.61/1625.13	c 1625s |      25 |  5598566 |  5072298 |     1512   8084 |        0 |        0
1626.60/1627.15	c 1627s |      25 |  5607111 |  5079598 |     1512   8092 |        0 |        0
1628.60/1629.18	c 1629s |      25 |  5614667 |  5086398 |     1512   8101 |        0 |        0
1630.70/1631.20	c 1631s |      25 |  5622012 |  5092798 |     1512   8108 |        0 |        0
1632.71/1633.24	c 1633s |      25 |  5629809 |  5099598 |     1512   8117 |        0 |        0
1634.72/1635.25	c 1635s |      25 |  5637503 |  5106198 |     1512   8125 |        0 |        0
1636.71/1637.27	c 1637s |      25 |  5644969 |  5112798 |     1512   8133 |        0 |        0
1638.71/1639.28	c 1639s |      25 |  5652163 |  5119298 |     1512   8140 |        0 |        0
1640.81/1641.31	c 1641s |      25 |  5659576 |  5125998 |     1512   8149 |        0 |        0
1642.81/1643.32	c 1643s |      25 |  5667193 |  5132798 |     1512   8157 |        0 |        0
1644.81/1645.33	c 1645s |      25 |  5675394 |  5139798 |     1512   8165 |        0 |        0
1646.82/1647.34	c 1647s |      25 |  5683475 |  5146798 |     1512   8174 |        0 |        0
1648.81/1649.34	c 1649s |      25 |  5691466 |  5153698 |     1512   8182 |        0 |        0
1650.81/1651.35	c 1651s |      25 |  5699417 |  5160598 |     1512   8190 |        0 |        0
1652.81/1653.36	c 1653s |      25 |  5708197 |  5167998 |     1512   8199 |        0 |        0
1654.81/1655.39	c 1655s |      25 |  5715804 |  5174698 |     1512   8207 |        0 |        0
1656.91/1657.40	c 1657s |      25 |  5723697 |  5181498 |     1512   8216 |        0 |        0
1658.91/1659.41	c 1659s |      25 |  5731687 |  5188398 |     1512   8224 |        0 |        0
1660.91/1661.43	c 1661s |      25 |  5738951 |  5194798 |     1512   8232 |        0 |        0
1662.91/1663.44	c 1663s |      25 |  5746094 |  5201198 |     1512   8239 |        0 |        0
1664.90/1665.44	c 1665s |      25 |  5753602 |  5207898 |     1512   8247 |        0 |        0
1666.90/1667.45	c 1667s |      25 |  5761358 |  5214798 |     1512   8256 |        0 |        0
1668.90/1669.46	c 1669s |      25 |  5768884 |  5221398 |     1512   8264 |        0 |        0
1670.91/1671.47	c 1671s |      25 |  5776507 |  5228098 |     1512   8272 |        0 |        0
1672.90/1673.49	c 1673s |      25 |  5784119 |  5234898 |     1512   8280 |        0 |        0
1675.00/1675.52	c 1675s |      25 |  5791641 |  5241498 |     1512   8288 |        0 |        0
1677.00/1677.53	c 1677s |      25 |  5799210 |  5248098 |     1512   8296 |        0 |        0
1679.00/1679.54	c 1679s |      25 |  5806678 |  5254598 |     1512   8304 |        0 |        0
1681.00/1681.54	c 1681s |      25 |  5813997 |  5261298 |     1512   8312 |        0 |        0
1683.01/1683.56	c 1683s |      25 |  5821387 |  5268098 |     1512   8320 |        0 |        0
1685.00/1685.59	c 1685s |      25 |  5829070 |  5275098 |     1512   8329 |        0 |        0
1687.10/1687.61	c 1687s |      25 |  5836378 |  5281798 |     1512   8337 |        0 |        0
1689.10/1689.61	c 1689s |      25 |  5843244 |  5288098 |     1512   8345 |        0 |        0
1691.10/1691.62	c 1691s |      25 |  5849204 |  5293698 |     1512   8352 |        0 |        0
1693.10/1693.64	c 1693s |      25 |  5855671 |  5299798 |     1512   8359 |        0 |        0
1695.11/1695.64	c 1695s |      25 |  5862541 |  5305998 |     1512   8367 |        0 |        0
1697.10/1697.67	c 1697s |      25 |  5869610 |  5312198 |     1512   8374 |        0 |        0
1699.10/1699.68	c 1699s |      25 |  5876532 |  5318298 |     1512   8382 |        0 |        0
1701.20/1701.71	c 1701s |      25 |  5883530 |  5324298 |     1512   8389 |        0 |        0
1703.20/1703.72	c 1703s |      25 |  5889736 |  5329898 |     1512   8396 |        0 |        0
1705.20/1705.73	c 1705s |      25 |  5896333 |  5335798 |     1512   8403 |        0 |        0
1707.21/1707.76	c 1707s |      25 |  5902956 |  5341598 |     1512   8410 |        0 |        0
1709.20/1709.77	c 1709s |      25 |  5909520 |  5347398 |     1512   8417 |        0 |        0
1711.20/1711.79	c 1711s |      25 |  5916173 |  5353398 |     1512   8424 |        0 |        0
1713.20/1713.79	c 1713s |      25 |  5922370 |  5358998 |     1512   8431 |        0 |        0
1715.30/1715.80	c 1715s |      25 |  5928590 |  5364598 |     1512   8438 |        0 |        0
1717.30/1717.81	c 1717s |      25 |  5934765 |  5370098 |     1512   8444 |        0 |        0
1719.30/1719.84	c 1719s |      25 |  5941169 |  5375898 |     1512   8451 |        0 |        0
1721.29/1721.86	c 1721s |      25 |  5947215 |  5381398 |     1512   8458 |        0 |        0
1723.29/1723.87	c 1723s |      25 |  5952883 |  5386498 |     1512   8464 |        0 |        0
1725.29/1725.88	c 1725s |      25 |  5958611 |  5391698 |     1512   8470 |        0 |        0
1727.29/1727.89	c 1727s |      25 |  5964013 |  5396598 |     1512   8476 |        0 |        0
1729.30/1729.89	c 1729s |      25 |  5970231 |  5402198 |     1512   8483 |        0 |        0
1731.29/1731.90	c 1731s |      25 |  5976142 |  5407598 |     1512   8490 |        0 |        0
1733.39/1733.93	c 1733s |      25 |  5981811 |  5412798 |     1512   8496 |        0 |        0
1735.39/1735.95	c 1735s |      25 |  5987488 |  5417898 |     1512   8502 |        0 |        0
1737.40/1737.98	c 1737s |      25 |  5993845 |  5423698 |     1512   8509 |        0 |        0
1739.40/1739.98	c 1739s |      25 |  6000485 |  5429598 |     1512   8516 |        0 |        0
1741.50/1742.02	c 1742s |      25 |  6006971 |  5435398 |     1512   8523 |        0 |        0
1743.50/1744.04	c 1744s |      25 |  6013202 |  5440998 |     1512   8530 |        0 |        0
1745.49/1746.05	c 1746s |      25 |  6019520 |  5446698 |     1512   8537 |        0 |        0
1747.49/1748.07	c 1748s |      25 |  6025524 |  5452098 |     1512   8544 |        0 |        0
1749.49/1750.10	c 1750s |      25 |  6031602 |  5457498 |     1512   8550 |        0 |        0
1751.59/1752.13	c 1752s |      25 |  6037070 |  5462598 |     1512   8556 |        0 |        0
1753.59/1754.15	c 1754s |      25 |  6042473 |  5467598 |     1512   8562 |        0 |        0
1755.60/1756.18	c 1756s |      25 |  6048157 |  5472798 |     1512   8568 |        0 |        0
1757.69/1758.22	c 1758s |      25 |  6054724 |  5478698 |     1512   8576 |        0 |        0
1759.69/1760.25	c 1760s |      25 |  6061176 |  5484498 |     1512   8583 |        0 |        0
1761.69/1762.26	c 1762s |      25 |  6067989 |  5490698 |     1512   8590 |        0 |        0
1763.69/1764.29	c 1764s |      25 |  6074596 |  5496598 |     1512   8597 |        0 |        0
1765.79/1766.33	c 1766s |      25 |  6080444 |  5501898 |     1512   8604 |        0 |        0
1767.80/1768.36	c 1768s |      25 |  6086349 |  5507298 |     1512   8610 |        0 |        0
1769.79/1770.36	c 1770s |      25 |  6092279 |  5512698 |     1512   8617 |        0 |        0
1771.79/1772.38	c 1772s |      25 |  6098095 |  5517998 |     1512   8623 |        0 |        0
1773.89/1774.41	c 1774s |      25 |  6104065 |  5523398 |     1512   8630 |        0 |        0
1775.89/1776.45	c 1776s |      25 |  6109421 |  5528298 |     1512   8636 |        0 |        0
1777.89/1778.47	c 1778s |      25 |  6114815 |  5533298 |     1512   8642 |        0 |        0
1779.99/1780.50	c 1780s |      25 |  6120179 |  5538298 |     1512   8648 |        0 |        0
1781.99/1782.51	c 1782s |      25 |  6126297 |  5543798 |     1512   8654 |        0 |        0
1783.98/1784.55	c 1784s |      25 |  6132869 |  5549798 |     1512   8662 |        0 |        0
1785.98/1786.56	c 1786s |      25 |  6139772 |  5555898 |     1512   8669 |        0 |        0
1787.98/1788.58	c 1788s |      25 |  6145983 |  5561398 |     1512   8675 |        0 |        0
1789.98/1790.59	c 1790s |      25 |  6152869 |  5567298 |     1512   8683 |        0 |        0
1792.08/1792.60	c 1792s |      25 |  6159797 |  5573498 |     1512   8690 |        0 |        0
1794.09/1794.63	c 1794s |      25 |  6166332 |  5579398 |     1512   8697 |        0 |        0
1796.08/1796.64	c 1796s |      25 |  6172728 |  5585098 |     1512   8704 |        0 |        0
1798.08/1798.68	c 1798s |      25 |  6178673 |  5590298 |     1512   8710 |        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-4089939-1466035997/watcher-4089939-1466035997 -o /tmp/evaluation-result-4089939-1466035997/solver-4089939-1466035997 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466034195-15724 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089939-1466035997.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.34 2.26 2.14 4/172 15911
/proc/meminfo: memFree=30354936/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 2875 0 0 0 0 0 0 0 20 0 4 0 5645398 787935232 3746 33554432000 4194304 16246674 140734525733136 140734525732560 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15910/statm: 192879 3757 441 2943 0 189773 0
[pid=15910/tid=15913] ppid=15906 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 811003904 3836 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=796092 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 815198208 3853 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=801212 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5645398 820441088 3873 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100066 s]
/proc/loadavg: 2.34 2.26 2.14 4/172 15911
/proc/meminfo: memFree=30354936/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 29140 0 0 0 5 4 0 0 20 0 4 0 5645398 1247350784 30000 33554432000 4194304 16246674 140734525733136 140734525716128 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 304529 30010 715 2943 0 301423 0
[pid=15910/tid=15913] ppid=15906 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1247350784 30019 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1247350784 30025 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5645398 1247350784 30030 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200401 s]
/proc/loadavg: 2.34 2.26 2.14 4/172 15911
/proc/meminfo: memFree=30354936/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 57110 0 0 0 12 7 0 0 20 0 4 0 5645398 1247350784 57970 33554432000 4194304 16246674 140734525733136 140734525715008 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 304529 57984 715 2943 0 301423 0
[pid=15910/tid=15913] ppid=15906 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1247350784 57992 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1247350784 57998 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5645398 1247350784 58003 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.80853 s]
/proc/loadavg: 2.34 2.26 2.14 4/172 15911
/proc/meminfo: memFree=30354936/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1218116 CPUtime=0.79 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 231574 0 0 0 49 30 0 0 20 0 4 0 5645398 1247350784 232434 33554432000 4194304 16246674 140734525733136 140734525715008 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 304529 232446 716 2943 0 301423 0
[pid=15910/tid=15913] ppid=15906 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1247350784 232453 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1247350784 232463 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5645398 1247350784 232473 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 1218116

[startup+0.900405 s]
/proc/loadavg: 2.34 2.26 2.14 4/172 15911
/proc/meminfo: memFree=30354936/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1219140 CPUtime=0.89 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 245605 0 0 0 56 33 0 0 20 0 4 0 5645398 1248399360 246445 33554432000 4194304 16246674 140734525733136 140734525715904 13192480 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 304785 246445 790 2943 0 301679 0
[pid=15910/tid=15913] ppid=15906 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1248399360 246445 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1248399360 246445 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1248399360 246445 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 1219140

[startup+1.50034 s]
/proc/loadavg: 2.34 2.26 2.14 4/172 15911
/proc/meminfo: memFree=30354936/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 267263 0 0 0 113 36 0 0 20 0 4 0 5645398 1336479744 268103 33554432000 4194304 16246674 140734525733136 140734525715008 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326289 268103 790 2943 0 323183 0
[pid=15910/tid=15913] ppid=15906 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1336479744 268103 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1336479744 268103 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1336479744 268103 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10038 s]
/proc/loadavg: 2.39 2.27 2.15 3/183 15975
/proc/meminfo: memFree=28208784/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 267426 0 0 0 273 36 0 0 20 0 4 0 5645398 1337528320 268266 33554432000 4194304 16246674 140734525733136 140734525715008 13808416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326545 268266 790 2943 0 323439 0
[pid=15910/tid=15913] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268266 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268266 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268266 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.39 2.27 2.15 3/183 15975
/proc/meminfo: memFree=28208580/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 267469 0 0 0 593 36 0 0 20 0 4 0 5645398 1337528320 268309 33554432000 4194304 16246674 140734525733136 140734525715008 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326545 268309 791 2943 0 323439 0
[pid=15910/tid=15913] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268309 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268309 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268309 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7074 s]
/proc/loadavg: 2.40 2.28 2.15 3/183 15975
/proc/meminfo: memFree=28209072/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 267479 0 0 0 1233 36 0 0 20 0 4 0 5645398 1337528320 268319 33554432000 4194304 16246674 140734525733136 140734525715008 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326545 268319 791 2943 0 323439 0
[pid=15910/tid=15913] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268319 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268319 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268319 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.34 2.27 2.15 3/183 15975
/proc/meminfo: memFree=28209944/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 267519 0 0 0 2512 37 0 0 20 0 4 0 5645398 1337528320 268359 33554432000 4194304 16246674 140734525733136 140734525715008 5523460 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326545 268359 791 2943 0 323439 0
[pid=15910/tid=15913] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268359 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268359 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268359 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.38 2.28 2.16 3/183 15975
/proc/meminfo: memFree=28209580/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 267572 0 0 0 5072 37 0 0 20 0 4 0 5645398 1337528320 268412 33554432000 4194304 16246674 140734525733136 140734525715008 5667484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326545 268412 792 2943 0 323439 0
[pid=15910/tid=15913] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268412 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268412 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268412 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.34 2.28 2.16 3/183 15976
/proc/meminfo: memFree=28209456/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 267574 0 0 0 10190 38 0 0 20 0 4 0 5645398 1337528320 268414 33554432000 4194304 16246674 140734525733136 140734525715008 5823275 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326545 268414 794 2943 0 323439 0
[pid=15910/tid=15913] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268414 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268414 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1337528320 268414 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.48 2.40 2.29 3/183 16007
/proc/meminfo: memFree=28203640/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1307204 CPUtime=1361.95 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 268085 0 0 0 136144 51 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140734525715008 12474939 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326801 268631 795 2943 0 323695 0
[pid=15910/tid=15913] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.35 2.37 2.29 3/183 16008
/proc/meminfo: memFree=28203684/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1307204 CPUtime=1421.9 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 268126 0 0 0 142139 51 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140734525715008 5572174 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326801 268631 795 2943 0 323695 0
[pid=15910/tid=15913] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1307204

[startup+1482.31 s]
/proc/loadavg: 2.42 2.39 2.29 3/182 16009
/proc/meminfo: memFree=28203488/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1307204 CPUtime=1481.88 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 268167 0 0 0 148137 51 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140734525715008 5808585 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326801 268631 795 2943 0 323695 0
[pid=15910/tid=15913] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1307204

[startup+1542.3 s]
/proc/loadavg: 2.36 2.38 2.29 4/183 16011
/proc/meminfo: memFree=28203384/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1307204 CPUtime=1541.85 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 268203 0 0 0 154133 52 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140734525716136 6836620 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326801 268631 795 2943 0 323695 0
[pid=15910/tid=15913] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.41 2.38 2.30 3/183 16012
/proc/meminfo: memFree=28203044/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1307204 CPUtime=1601.81 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 268246 0 0 0 160129 52 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140734525715008 12467644 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326801 268631 795 2943 0 323695 0
[pid=15910/tid=15913] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.35 2.37 2.29 3/184 16016
/proc/meminfo: memFree=28202224/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1307204 CPUtime=1661.81 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 268246 0 0 0 166128 53 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140734525715008 5672213 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326801 268631 795 2943 0 323695 0
[pid=15910/tid=15913] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.40 2.38 2.30 3/183 16017
/proc/meminfo: memFree=28202788/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1307204 CPUtime=1721.79 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 268246 0 0 0 172126 53 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140734525715008 12477798 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 326801 268631 795 2943 0 323695 0
[pid=15910/tid=15913] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1338576896 268631 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.20 2.32 2.28 3/183 16018
/proc/meminfo: memFree=28201572/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1308228 CPUtime=1781.79 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 268397 0 0 0 178125 54 0 0 20 0 4 0 5645398 1339625472 268782 33554432000 4194304 16246674 140734525733136 140734525715008 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 327057 268782 795 2943 0 323951 0
[pid=15910/tid=15913] ppid=15906 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1339625472 268782 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1339625472 268782 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1339625472 268782 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.21 2.32 2.28 4/183 16019
/proc/meminfo: memFree=28202040/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1308228 CPUtime=1800.08 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 268397 0 0 0 179954 54 0 0 20 0 4 0 5645398 1339625472 268782 33554432000 4194304 16246674 140734525733136 140734525715008 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 327057 268782 795 2943 0 323951 0
[pid=15910/tid=15913] ppid=15906 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1339625472 268782 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1339625472 268782 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1339625472 268782 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1308228

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

[startup+1800.6 s]
/proc/loadavg: 2.21 2.32 2.28 4/183 16019
/proc/meminfo: memFree=28202040/32872528 swapFree=1498860/1695084
[pid=15910] ppid=15906 vsize=1308228 CPUtime=1800.08 cores=0,2,4,6
/proc/15910/stat : 15910 (toysat) R 15906 15910 6119 0 -1 4202496 268397 0 0 0 179954 54 0 0 20 0 4 0 5645398 1339625472 268782 33554432000 4194304 16246674 140734525733136 140734525715008 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15910/statm: 327057 268782 795 2943 0 323951 0
[pid=15910/tid=15913] ppid=15906 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15913/stat : 15913 (toysat) S 15906 15910 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5645398 1339625472 268782 33554432000 4194304 16246674 140734525733136 140270624550128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15910/tid=15915] ppid=15906 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15915/stat : 15915 (toysat) S 15906 15910 6119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 5645398 1339625472 268782 33554432000 4194304 16246674 140734525733136 140270544858352 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=15910/tid=15916] ppid=15906 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/15910/task/15916/stat : 15916 (toysat) S 15906 15910 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5645398 1339625472 268782 33554432000 4194304 16246674 140734525733136 140270534384816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1308228

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.55
CPU system time (s): 0.549916
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.549916
maximum resident set size= 1075128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268397
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= 475
involuntary context switches= 1962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.80427 second user time and 6.70998 second system time

The end

Begin job on node137 at 2016-06-16 02:13:17
IDJOB=4089939
IDBENCH=107478
IDSOLVER=2542
FILE ID=node137/4089939-1466035997
RUNJOBID= node137-1466034195-15724
PBS_JOBID= 19902808
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/rand6reg/normalized-rand6reg-v081-n2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089939-1466035997/watcher-4089939-1466035997 -o /tmp/evaluation-result-4089939-1466035997/solver-4089939-1466035997 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466034195-15724 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089939-1466035997.opb

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

MD5SUM BENCH= 8933cb32a1a2ef271a928b5e4e44c950
RANDOM SEED=898288592

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.38
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.486
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.486
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:        30355596 kB
Buffers:           23456 kB
Cached:            91724 kB
SwapCached:         2452 kB
Active:            70836 kB
Inactive:          47680 kB
Active(anon):       4456 kB
Inactive(anon):     1372 kB
Active(file):      66380 kB
Inactive(file):    46308 kB
Unevictable:     1695084 kB
Mlocked:         1498860 kB
SwapTotal:      67108856 kB
SwapFree:       67099540 kB
Dirty:             32668 kB
Writeback:             0 kB
AnonPages:       1697416 kB
Mapped:             7124 kB
Shmem:                 0 kB
Slab:             568132 kB
SReclaimable:      12252 kB
SUnreclaim:       555880 kB
KernelStack:        1448 kB
PageTables:         6716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1790292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node137 at 2016-06-16 02:43:17