0.00/0.00	c 2016-06-16T19:11:49+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-4095826-1466097108.opb"]
0.00/0.01	c use --random-gen="3857454969 2714695862 1479846950 108714171 3663418286 1705523810 573760894 1548553319 4293449164 3684675979 381704394 3478166319 679720334 2563985255 3621570211 379902958 2471775731 1593266382 1299633150 2391307855 2257290410 2964114581 3685564165 4122690069 623373661 2953206654 2062937050 4119158182 823196905 217463058 2851448299 4180680236 3386904098 2523665485 1366910744 1636595251 1297880084 134540669 1313051772 1189302740 939157147 2449298170 2359033754 3611147655 3079895128 2018955835 2414047719 1801928215 3981834927 1940648795 2628476539 3471785912 96876567 656466323 3649233663 489873775 4257537045 3199767261 2447189087 992885995 500375611 3333433001 2421846457 119107443 3036646581 4024369573 2596133595 3805398974 111544745 1089336010 343804920 1006735890 1279378796 3796109791 1428335440 2743608714 631399290 15636952 3275005646 3994122618 27477769 3035608274 3157426965 1680592798 2726805532 3060889124 2426600630 1201783300 2006462723 1449266592 3588008563 1289649549 646232785 2543135772 3358499466 4227365169 1461578889 1184010436 1656248369 3237576616 566642693 3947357226 2860253607 1124562156 3541472046 1135649341 820371688 2201136361 1911629077 3117070120 3724926352 442667511 4294756475 1177957785 2962104704 1674896982 2547397117 163522312 2361946877 2290612038 2382142883 2994005272 2322449986 3827390773 3838679164 262538470 462613235 1003577552 499447864 2592469540 1805101577 2946510602 1632551798 3090111484 2990673332 874296788 516489689 745917056 3187798385 1767719441 3157785090 2105377291 918604074 1243451695 927914755 3231658292 3252662660 3761649155 4069188985 4150387426 2297361649 3328649947 646473378 3370690811 3281955806 922196524 1411414065 2072246086 3543901081 1831805429 2395414938 2462946956 1424146434 1006277278 1651268709 1882437958 3249497898 3281387214 572146795 3174836072 2797883237 2150913766 494929594 1165862145 3790117426 970831278 1884804693 2771038014 2041168352 3433301943 4215181826 827165165 173582899 3347302820 3670542707 2085903729 2711579610 2011577549 2476776674 2223066271 1519205098 1975321387 1730384372 1966375985 598201091 254250703 3084978626 3348649006 2257179378 1707299748 1040159144 1311019280 484694786 1111363054 4057448104 2887351266 4271652379 3382827394 3600480485 3987509760 833959660 2328657831 1127805056 3879258437 3012595711 1209814416 4245968664 1560938048 3248189235 1078818843 2655689119 1316586012 3139288194 2501318481 2197348434 1330425854 3394449815 2623175707 4094821547 1465480757 3114917886 1359412814 1037731187 1098818945 565477952 3646162223 1842525274 3383082962 2562318987 2882057957 2549734288 2353674331 737087432 3980876038 1725766341 2436986739 2432021375 53424239 1422491128 299670027 566584320 2808859808 3049715775 3212486728 3442082916 990262539 255 362436" option to reproduce the execution
0.00/0.01	c #vars 321
0.00/0.01	c #constraints 160
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      213      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      185 |      100 |      213      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      423 |      250 |      235      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      912 |      475 |      259      1 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1414 |      813 |      285      2 |        0 |        0
0.09/0.17	c  0.2s |       5 |     2140 |     1320 |      314      4 |        0 |        0
0.19/0.26	c  0.2s |       6 |     3615 |     2081 |      381      7 |        0 |        0
0.39/0.41	c  0.4s |       7 |     5870 |     3223 |      420     11 |        0 |        0
0.59/0.62	c  0.6s |       8 |     8148 |     4936 |      463     16 |        0 |        0
0.88/0.94	c  0.9s |       9 |    12317 |     7506 |      510     24 |        0 |        0
1.19/1.29	c  1.3s |      10 |    17257 |    11361 |      561     37 |        0 |        0
1.78/1.80	c  1.8s |      11 |    25118 |    17144 |      618     51 |        0 |        0
2.59/2.62	c  2.6s |      12 |    36554 |    25819 |      680     72 |        0 |        0
3.79/3.85	c  3.8s |      13 |    53810 |    38832 |      749    101 |        0 |        0
5.79/5.80	c  5.8s |      14 |    79138 |    58352 |      824    142 |        0 |        0
7.70/7.80	c  7.8s |      14 |   103648 |    77452 |      824    179 |        0 |        0
8.69/8.73	c  8.7s |      15 |   117101 |    87632 |      907    200 |        0 |        0
10.69/10.74	c 10.7s |      15 |   143433 |   107832 |      907    236 |        0 |        0
12.69/12.75	c 12.7s |      15 |   168640 |   127732 |      907    272 |        0 |        0
13.09/13.13	c 13.1s |      16 |   173644 |   131552 |      998    279 |        0 |        0
15.09/15.13	c 15.1s |      16 |   197750 |   149952 |      998    310 |        0 |        0
17.09/17.14	c 17.1s |      16 |   221358 |   168152 |      998    340 |        0 |        0
19.09/19.14	c 19.1s |      16 |   245379 |   186252 |      998    370 |        0 |        0
20.18/20.29	c 20.3s |      17 |   260504 |   197432 |     1098    388 |        0 |        0
22.18/22.29	c 22.3s |      17 |   286514 |   215932 |     1098    417 |        0 |        0
24.19/24.30	c 24.3s |      17 |   309939 |   233532 |     1098    444 |        0 |        0
26.29/26.30	c 26.3s |      17 |   332820 |   250632 |     1098    471 |        0 |        0
28.29/28.30	c 28.3s |      17 |   354479 |   267232 |     1098    496 |        0 |        0
30.29/30.30	c 30.3s |      17 |   379736 |   285832 |     1098    525 |        0 |        0
31.39/31.46	c 31.4s |      18 |   393397 |   296252 |     1208    541 |        0 |        0
33.39/33.47	c 33.5s |      18 |   414506 |   312452 |     1208    564 |        0 |        0
35.39/35.48	c 35.5s |      18 |   435396 |   328552 |     1208    587 |        0 |        0
37.39/37.48	c 37.5s |      18 |   457003 |   345252 |     1208    611 |        0 |        0
39.39/39.49	c 39.5s |      18 |   477108 |   361052 |     1208    633 |        0 |        0
41.49/41.50	c 41.5s |      18 |   496830 |   376452 |     1208    656 |        0 |        0
43.48/43.51	c 43.5s |      18 |   515999 |   391452 |     1208    677 |        0 |        0
45.48/45.52	c 45.5s |      18 |   534302 |   406052 |     1208    698 |        0 |        0
47.48/47.54	c 47.5s |      18 |   552405 |   420652 |     1208    719 |        0 |        0
49.49/49.55	c 49.5s |      18 |   572278 |   436452 |     1208    742 |        0 |        0
50.48/50.59	c 50.6s |      19 |   582653 |   444482 |     1329    753 |        0 |        0
52.58/52.60	c 52.6s |      19 |   602855 |   459982 |     1329    773 |        0 |        0
54.58/54.60	c 54.6s |      19 |   624149 |   476182 |     1329    794 |        0 |        0
56.58/56.61	c 56.6s |      19 |   643487 |   491782 |     1329    815 |        0 |        0
58.58/58.61	c 58.6s |      19 |   663328 |   507682 |     1329    835 |        0 |        0
60.58/60.62	c 60.6s |      19 |   682859 |   522882 |     1329    855 |        0 |        0
62.58/62.63	c 62.6s |      19 |   702537 |   538282 |     1329    876 |        0 |        0
64.58/64.63	c 64.6s |      19 |   722786 |   553482 |     1329    896 |        0 |        0
66.57/66.63	c 66.6s |      19 |   744691 |   570382 |     1329    918 |        0 |        0
68.57/68.64	c 68.6s |      19 |   764661 |   586382 |     1329    940 |        0 |        0
70.57/70.64	c 70.6s |      19 |   784586 |   601882 |     1329    960 |        0 |        0
72.58/72.64	c 72.6s |      19 |   805772 |   617982 |     1329    982 |        0 |        0
74.57/74.66	c 74.6s |      19 |   823893 |   632682 |     1329   1001 |        0 |        0
76.58/76.66	c 76.6s |      19 |   840966 |   646882 |     1329   1020 |        0 |        0
78.58/78.66	c 78.6s |      19 |   859854 |   661582 |     1329   1040 |        0 |        0
79.29/79.36	c 79.3s |      20 |   866074 |   666827 |     1462   1046 |        0 |        0
81.28/81.36	c 81.3s |      20 |   886521 |   682427 |     1462   1065 |        0 |        0
83.28/83.37	c 83.4s |      20 |   908659 |   698927 |     1462   1085 |        0 |        0
85.28/85.38	c 85.4s |      20 |   929390 |   714627 |     1462   1104 |        0 |        0
87.28/87.39	c 87.4s |      20 |   950065 |   730827 |     1462   1124 |        0 |        0
89.28/89.39	c 89.4s |      20 |   972995 |   747727 |     1462   1144 |        0 |        0
91.28/91.40	c 91.4s |      20 |   993096 |   762327 |     1462   1162 |        0 |        0
93.37/93.40	c 93.4s |      20 |  1015272 |   778527 |     1462   1182 |        0 |        0
95.37/95.41	c 95.4s |      20 |  1036650 |   794527 |     1462   1201 |        0 |        0
97.37/97.41	c 97.4s |      20 |  1058134 |   810827 |     1462   1221 |        0 |        0
99.37/99.42	c 99.4s |      20 |  1080076 |   826827 |     1462   1240 |        0 |        0
101.37/101.42	c  101s |      20 |  1101005 |   842727 |     1462   1260 |        0 |        0
103.38/103.43	c  103s |      20 |  1123028 |   859227 |     1462   1279 |        0 |        0
105.37/105.43	c  105s |      20 |  1144207 |   875127 |     1462   1299 |        0 |        0
107.37/107.44	c  107s |      20 |  1163758 |   890527 |     1462   1317 |        0 |        0
109.37/109.45	c  109s |      20 |  1182286 |   905427 |     1462   1336 |        0 |        0
111.37/111.46	c  111s |      20 |  1202516 |   921027 |     1462   1355 |        0 |        0
113.37/113.46	c  113s |      20 |  1225151 |   937427 |     1462   1374 |        0 |        0
115.37/115.46	c  115s |      20 |  1245460 |   952627 |     1462   1393 |        0 |        0
117.37/117.47	c  117s |      20 |  1264615 |   967527 |     1462   1411 |        0 |        0
119.37/119.48	c  119s |      20 |  1282929 |   981527 |     1462   1428 |        0 |        0
121.37/121.49	c  121s |      20 |  1301975 |   996327 |     1609   1446 |        0 |        0
121.97/122.05	c  122s |      21 |  1307305 |  1000345 |     1609   1450 |        0 |        0
123.97/124.06	c  124s |      21 |  1325514 |  1014445 |     1609   1466 |        0 |        0
125.96/126.07	c  126s |      21 |  1345538 |  1029845 |     1609   1483 |        0 |        0
127.96/128.07	c  128s |      21 |  1363992 |  1044345 |     1609   1499 |        0 |        0
129.96/130.10	c  130s |      21 |  1380912 |  1058345 |     1609   1514 |        0 |        0
131.97/132.10	c  132s |      21 |  1398145 |  1072245 |     1609   1530 |        0 |        0
134.06/134.11	c  134s |      21 |  1417107 |  1086445 |     1609   1546 |        0 |        0
136.06/136.12	c  136s |      21 |  1433743 |  1099645 |     1609   1560 |        0 |        0
138.06/138.13	c  138s |      21 |  1453257 |  1113745 |     1609   1576 |        0 |        0
140.06/140.14	c  140s |      21 |  1473533 |  1128745 |     1609   1593 |        0 |        0
142.07/142.15	c  142s |      21 |  1494123 |  1144245 |     1609   1610 |        0 |        0
144.08/144.15	c  144s |      21 |  1514846 |  1159945 |     1609   1627 |        0 |        0
146.07/146.16	c  146s |      21 |  1534194 |  1174345 |     1609   1644 |        0 |        0
148.07/148.18	c  148s |      21 |  1552054 |  1188245 |     1609   1659 |        0 |        0
150.07/150.18	c  150s |      21 |  1570774 |  1202445 |     1609   1675 |        0 |        0
152.07/152.19	c  152s |      21 |  1591394 |  1217345 |     1609   1691 |        0 |        0
154.07/154.19	c  154s |      21 |  1610982 |  1231945 |     1609   1708 |        0 |        0
156.06/156.20	c  156s |      21 |  1632139 |  1247245 |     1609   1725 |        0 |        0
158.16/158.21	c  158s |      21 |  1650732 |  1261445 |     1609   1741 |        0 |        0
160.16/160.22	c  160s |      21 |  1672081 |  1276645 |     1609   1758 |        0 |        0
162.16/162.23	c  162s |      21 |  1690834 |  1291245 |     1609   1774 |        0 |        0
164.16/164.24	c  164s |      21 |  1710229 |  1305545 |     1609   1790 |        0 |        0
166.17/166.25	c  166s |      21 |  1730663 |  1320345 |     1609   1806 |        0 |        0
168.17/168.27	c  168s |      21 |  1749911 |  1334345 |     1609   1822 |        0 |        0
170.17/170.27	c  170s |      21 |  1769838 |  1349445 |     1609   1839 |        0 |        0
172.17/172.28	c  172s |      21 |  1790298 |  1364845 |     1609   1856 |        0 |        0
174.17/174.28	c  174s |      21 |  1809055 |  1379245 |     1609   1872 |        0 |        0
176.16/176.29	c  176s |      21 |  1828004 |  1393245 |     1609   1888 |        0 |        0
178.17/178.29	c  178s |      21 |  1845349 |  1406745 |     1609   1903 |        0 |        0
180.26/180.30	c  180s |      21 |  1865068 |  1421345 |     1609   1919 |        0 |        0
182.26/182.30	c  182s |      21 |  1885111 |  1436245 |     1609   1935 |        0 |        0
184.26/184.31	c  184s |      21 |  1905699 |  1451545 |     1609   1952 |        0 |        0
186.26/186.32	c  186s |      21 |  1926658 |  1466545 |     1609   1969 |        0 |        0
188.26/188.32	c  188s |      21 |  1946402 |  1481245 |     1609   1986 |        0 |        0
190.27/190.33	c  190s |      21 |  1965614 |  1495245 |     1770   2001 |        0 |        0
191.06/191.11	c  191s |      22 |  1972821 |  1500622 |     1770   2006 |        0 |        0
193.06/193.12	c  193s |      22 |  1994371 |  1516122 |     1770   2022 |        0 |        0
195.06/195.12	c  195s |      22 |  2014509 |  1530922 |     1770   2037 |        0 |        0
197.06/197.13	c  197s |      22 |  2034852 |  1546222 |     1770   2053 |        0 |        0
199.06/199.13	c  199s |      22 |  2055733 |  1561422 |     1770   2069 |        0 |        0
201.06/201.14	c  201s |      22 |  2076369 |  1576522 |     1770   2085 |        0 |        0
203.06/203.15	c  203s |      22 |  2097720 |  1592222 |     1770   2101 |        0 |        0
205.05/205.15	c  205s |      22 |  2118793 |  1607422 |     1770   2117 |        0 |        0
207.05/207.15	c  207s |      22 |  2138367 |  1622222 |     1770   2132 |        0 |        0
209.06/209.16	c  209s |      22 |  2157464 |  1636722 |     1770   2147 |        0 |        0
211.05/211.17	c  211s |      22 |  2176656 |  1651222 |     1770   2162 |        0 |        0
213.05/213.17	c  213s |      22 |  2195191 |  1665822 |     1770   2178 |        0 |        0
215.05/215.18	c  215s |      22 |  2215028 |  1681422 |     1770   2194 |        0 |        0
217.05/217.19	c  217s |      22 |  2237285 |  1697822 |     1770   2211 |        0 |        0
219.15/219.21	c  219s |      22 |  2258602 |  1713222 |     1770   2227 |        0 |        0
221.16/221.22	c  221s |      22 |  2278934 |  1727722 |     1770   2243 |        0 |        0
223.15/223.24	c  223s |      22 |  2298504 |  1741922 |     1770   2257 |        0 |        0
225.15/225.24	c  225s |      22 |  2318851 |  1756122 |     1770   2272 |        0 |        0
227.15/227.24	c  227s |      22 |  2336959 |  1770222 |     1770   2287 |        0 |        0
229.15/229.25	c  229s |      22 |  2356102 |  1783922 |     1770   2302 |        0 |        0
231.16/231.26	c  231s |      22 |  2375137 |  1797822 |     1770   2316 |        0 |        0
233.16/233.26	c  233s |      22 |  2395684 |  1812222 |     1770   2331 |        0 |        0
235.16/235.27	c  235s |      22 |  2414610 |  1826822 |     1770   2347 |        0 |        0
237.16/237.28	c  237s |      22 |  2434744 |  1841722 |     1770   2363 |        0 |        0
239.15/239.28	c  239s |      22 |  2454137 |  1856322 |     1770   2378 |        0 |        0
241.15/241.29	c  241s |      22 |  2475469 |  1872222 |     1770   2395 |        0 |        0
243.25/243.30	c  243s |      22 |  2495055 |  1886322 |     1770   2410 |        0 |        0
245.15/245.30	c  245s |      22 |  2515447 |  1901522 |     1770   2426 |        0 |        0
247.25/247.31	c  247s |      22 |  2538225 |  1917322 |     1770   2442 |        0 |        0
249.25/249.32	c  249s |      22 |  2559653 |  1932622 |     1770   2458 |        0 |        0
251.25/251.32	c  251s |      22 |  2580168 |  1947622 |     1770   2474 |        0 |        0
253.25/253.33	c  253s |      22 |  2601630 |  1963222 |     1770   2491 |        0 |        0
255.25/255.34	c  255s |      22 |  2623008 |  1978522 |     1770   2507 |        0 |        0
257.25/257.34	c  257s |      22 |  2644503 |  1993922 |     1770   2523 |        0 |        0
259.25/259.36	c  259s |      22 |  2666396 |  2009822 |     1770   2540 |        0 |        0
261.25/261.37	c  261s |      22 |  2687294 |  2025022 |     1770   2556 |        0 |        0
263.25/263.38	c  263s |      22 |  2708456 |  2040122 |     1770   2572 |        0 |        0
265.25/265.38	c  265s |      22 |  2730670 |  2055822 |     1770   2589 |        0 |        0
267.26/267.39	c  267s |      22 |  2752682 |  2071822 |     1770   2606 |        0 |        0
269.35/269.40	c  269s |      22 |  2774486 |  2087422 |     1770   2622 |        0 |        0
271.35/271.42	c  271s |      22 |  2796169 |  2102822 |     1770   2639 |        0 |        0
273.35/273.42	c  273s |      22 |  2818478 |  2118522 |     1770   2655 |        0 |        0
275.35/275.43	c  275s |      22 |  2839854 |  2134122 |     1770   2672 |        0 |        0
277.34/277.43	c  277s |      22 |  2860257 |  2149222 |     1770   2687 |        0 |        0
279.35/279.44	c  279s |      22 |  2881042 |  2164322 |     1770   2703 |        0 |        0
281.34/281.44	c  281s |      22 |  2901886 |  2179222 |     1770   2719 |        0 |        0
283.34/283.45	c  283s |      22 |  2925590 |  2194922 |     1770   2736 |        0 |        0
285.34/285.46	c  285s |      22 |  2946274 |  2209022 |     1770   2751 |        0 |        0
287.34/287.47	c  287s |      22 |  2966156 |  2223922 |     1770   2766 |        0 |        0
289.36/289.47	c  289s |      22 |  2986129 |  2238322 |     1948   2781 |        0 |        0
291.15/291.26	c  291s |      23 |  3004289 |  2251038 |     1948   2793 |        0 |        0
293.15/293.27	c  293s |      23 |  3022624 |  2265238 |     1948   2806 |        0 |        0
295.15/295.28	c  295s |      23 |  3041701 |  2279538 |     1948   2820 |        0 |        0
297.15/297.29	c  297s |      23 |  3061625 |  2294938 |     1948   2834 |        0 |        0
299.15/299.29	c  299s |      23 |  3081876 |  2309938 |     1948   2848 |        0 |        0
301.25/301.30	c  301s |      23 |  3101262 |  2324338 |     1948   2862 |        0 |        0
303.24/303.32	c  303s |      23 |  3122121 |  2339538 |     1948   2877 |        0 |        0
305.24/305.32	c  305s |      23 |  3142473 |  2355238 |     1948   2892 |        0 |        0
307.24/307.33	c  307s |      23 |  3162446 |  2370438 |     1948   2906 |        0 |        0
309.24/309.33	c  309s |      23 |  3181105 |  2384438 |     1948   2919 |        0 |        0
311.25/311.34	c  311s |      23 |  3201639 |  2399338 |     1948   2933 |        0 |        0
313.24/313.35	c  313s |      23 |  3223242 |  2415038 |     1948   2948 |        0 |        0
315.24/315.36	c  315s |      23 |  3242903 |  2429738 |     1948   2962 |        0 |        0
317.24/317.36	c  317s |      23 |  3260876 |  2443938 |     1948   2976 |        0 |        0
319.24/319.37	c  319s |      23 |  3281245 |  2459338 |     1948   2990 |        0 |        0
321.25/321.37	c  321s |      23 |  3302386 |  2475038 |     1948   3005 |        0 |        0
323.24/323.38	c  323s |      23 |  3322117 |  2489538 |     1948   3019 |        0 |        0
325.24/325.39	c  325s |      23 |  3341483 |  2504438 |     1948   3033 |        0 |        0
327.24/327.39	c  327s |      23 |  3361239 |  2518938 |     1948   3047 |        0 |        0
329.34/329.40	c  329s |      23 |  3378823 |  2532338 |     1948   3060 |        0 |        0
331.34/331.41	c  331s |      23 |  3398314 |  2546438 |     1948   3073 |        0 |        0
333.34/333.42	c  333s |      23 |  3416997 |  2560138 |     1948   3087 |        0 |        0
335.33/335.42	c  335s |      23 |  3436297 |  2574238 |     1948   3100 |        0 |        0
337.34/337.43	c  337s |      23 |  3456622 |  2589538 |     1948   3115 |        0 |        0
339.34/339.44	c  339s |      23 |  3476608 |  2604838 |     1948   3129 |        0 |        0
341.34/341.44	c  341s |      23 |  3496236 |  2619938 |     1948   3144 |        0 |        0
343.34/343.45	c  343s |      23 |  3516454 |  2635638 |     1948   3159 |        0 |        0
345.35/345.45	c  345s |      23 |  3538620 |  2652038 |     1948   3174 |        0 |        0
347.34/347.46	c  347s |      23 |  3555526 |  2665538 |     1948   3187 |        0 |        0
349.34/349.46	c  349s |      23 |  3574321 |  2679738 |     1948   3201 |        0 |        0
351.34/351.47	c  351s |      23 |  3593886 |  2694438 |     1948   3215 |        0 |        0
353.34/353.47	c  353s |      23 |  3613529 |  2709238 |     1948   3229 |        0 |        0
355.34/355.48	c  355s |      23 |  3634549 |  2723938 |     1948   3243 |        0 |        0
357.34/357.48	c  357s |      23 |  3654143 |  2738338 |     1948   3257 |        0 |        0
359.34/359.48	c  359s |      23 |  3674093 |  2752938 |     1948   3271 |        0 |        0
361.34/361.49	c  361s |      23 |  3693227 |  2767438 |     1948   3285 |        0 |        0
363.33/363.49	c  363s |      23 |  3711942 |  2781838 |     1948   3298 |        0 |        0
365.43/365.50	c  365s |      23 |  3730985 |  2795938 |     1948   3312 |        0 |        0
367.44/367.52	c  367s |      23 |  3750588 |  2810838 |     1948   3326 |        0 |        0
369.43/369.52	c  369s |      23 |  3770360 |  2825638 |     1948   3340 |        0 |        0
371.43/371.52	c  371s |      23 |  3790466 |  2840438 |     1948   3354 |        0 |        0
373.43/373.53	c  373s |      23 |  3810627 |  2855038 |     1948   3368 |        0 |        0
375.43/375.54	c  375s |      23 |  3830158 |  2869338 |     1948   3382 |        0 |        0
377.43/377.54	c  377s |      23 |  3850425 |  2884138 |     1948   3396 |        0 |        0
379.44/379.54	c  379s |      23 |  3870183 |  2898838 |     1948   3410 |        0 |        0
381.43/381.55	c  381s |      23 |  3891442 |  2914238 |     1948   3425 |        0 |        0
383.43/383.55	c  383s |      23 |  3910847 |  2929138 |     1948   3439 |        0 |        0
385.43/385.56	c  385s |      23 |  3929302 |  2942938 |     1948   3453 |        0 |        0
387.43/387.57	c  387s |      23 |  3948427 |  2958038 |     1948   3467 |        0 |        0
389.44/389.58	c  389s |      23 |  3966978 |  2972338 |     1948   3481 |        0 |        0
391.43/391.58	c  391s |      23 |  3985091 |  2986538 |     1948   3494 |        0 |        0
393.43/393.59	c  393s |      23 |  4004988 |  3001638 |     1948   3509 |        0 |        0
395.53/395.60	c  395s |      23 |  4024277 |  3016638 |     1948   3523 |        0 |        0
397.53/397.60	c  397s |      23 |  4042840 |  3031338 |     1948   3537 |        0 |        0
399.53/399.62	c  399s |      23 |  4063135 |  3046638 |     1948   3552 |        0 |        0
401.53/401.62	c  401s |      23 |  4082579 |  3060838 |     1948   3565 |        0 |        0
403.52/403.63	c  403s |      23 |  4101194 |  3075238 |     1948   3579 |        0 |        0
405.52/405.63	c  405s |      23 |  4116265 |  3087438 |     1948   3590 |        0 |        0
407.52/407.64	c  407s |      23 |  4133347 |  3100738 |     1948   3603 |        0 |        0
409.52/409.65	c  409s |      23 |  4154572 |  3116138 |     1948   3618 |        0 |        0
411.52/411.65	c  411s |      23 |  4174990 |  3131238 |     1948   3632 |        0 |        0
413.53/413.66	c  413s |      23 |  4194817 |  3145938 |     1948   3647 |        0 |        0
415.53/415.66	c  415s |      23 |  4216106 |  3161938 |     1948   3662 |        0 |        0
417.53/417.67	c  417s |      23 |  4236340 |  3176838 |     1948   3676 |        0 |        0
419.53/419.67	c  419s |      23 |  4256353 |  3191938 |     1948   3690 |        0 |        0
421.52/421.68	c  421s |      23 |  4274050 |  3205538 |     1948   3703 |        0 |        0
423.53/423.68	c  423s |      23 |  4294545 |  3220438 |     1948   3717 |        0 |        0
425.63/425.71	c  425s |      23 |  4315429 |  3235538 |     1948   3732 |        0 |        0
427.62/427.72	c  427s |      23 |  4334186 |  3249938 |     1948   3745 |        0 |        0
429.62/429.72	c  429s |      23 |  4351785 |  3263838 |     1948   3758 |        0 |        0
431.62/431.73	c  431s |      23 |  4369939 |  3277838 |     1948   3772 |        0 |        0
433.62/433.74	c  433s |      23 |  4388848 |  3291938 |     1948   3785 |        0 |        0
435.63/435.76	c  435s |      23 |  4408213 |  3306138 |     1948   3798 |        0 |        0
437.62/437.76	c  437s |      23 |  4426426 |  3320038 |     1948   3812 |        0 |        0
439.62/439.77	c  439s |      23 |  4444940 |  3334638 |     1948   3825 |        0 |        0
441.62/441.77	c  441s |      23 |  4463700 |  3348838 |     1948   3839 |        0 |        0
443.62/443.78	c  443s |      23 |  4482803 |  3363338 |     2143   3852 |        0 |        0
445.53/445.65	c  445s |      24 |  4500121 |  3376662 |     2143   3863 |        0 |        0
447.52/447.65	c  447s |      24 |  4516640 |  3389362 |     2143   3874 |        0 |        0
449.52/449.65	c  449s |      24 |  4534336 |  3402662 |     2143   3885 |        0 |        0
451.52/451.68	c  451s |      24 |  4551053 |  3415462 |     2143   3897 |        0 |        0
453.52/453.69	c  453s |      24 |  4568550 |  3428862 |     2143   3908 |        0 |        0
455.61/455.70	c  455s |      24 |  4587197 |  3442562 |     2143   3920 |        0 |        0
457.62/457.72	c  457s |      24 |  4607634 |  3457262 |     2143   3933 |        0 |        0
459.62/459.72	c  459s |      24 |  4626863 |  3471462 |     2143   3945 |        0 |        0
461.62/461.73	c  461s |      24 |  4644950 |  3484762 |     2143   3956 |        0 |        0
463.62/463.74	c  463s |      24 |  4664386 |  3499262 |     2143   3969 |        0 |        0
465.62/465.74	c  465s |      24 |  4683023 |  3512862 |     2143   3980 |        0 |        0
467.62/467.75	c  467s |      24 |  4700328 |  3526262 |     2143   3992 |        0 |        0
469.63/469.76	c  469s |      24 |  4719075 |  3540862 |     2143   4004 |        0 |        0
471.62/471.76	c  471s |      24 |  4737419 |  3554862 |     2143   4016 |        0 |        0
473.62/473.78	c  473s |      24 |  4757020 |  3569562 |     2143   4029 |        0 |        0
475.62/475.78	c  475s |      24 |  4775464 |  3583562 |     2143   4041 |        0 |        0
477.62/477.79	c  477s |      24 |  4792517 |  3596962 |     2143   4053 |        0 |        0
479.62/479.79	c  479s |      24 |  4810312 |  3610762 |     2143   4065 |        0 |        0
481.72/481.81	c  481s |      24 |  4828777 |  3624162 |     2143   4076 |        0 |        0
483.71/483.81	c  483s |      24 |  4845080 |  3636762 |     2143   4087 |        0 |        0
485.71/485.82	c  485s |      24 |  4863026 |  3650362 |     2143   4099 |        0 |        0
487.71/487.83	c  487s |      24 |  4880610 |  3663362 |     2143   4110 |        0 |        0
489.71/489.83	c  489s |      24 |  4896431 |  3675962 |     2143   4121 |        0 |        0
491.72/491.84	c  491s |      24 |  4912464 |  3688862 |     2143   4132 |        0 |        0
493.71/493.84	c  493s |      24 |  4929282 |  3702062 |     2143   4143 |        0 |        0
495.71/495.85	c  495s |      24 |  4945450 |  3714762 |     2143   4154 |        0 |        0
497.71/497.86	c  497s |      24 |  4963000 |  3728662 |     2143   4166 |        0 |        0
499.71/499.87	c  499s |      24 |  4982577 |  3743662 |     2143   4179 |        0 |        0
501.71/501.88	c  501s |      24 |  5001351 |  3757762 |     2143   4191 |        0 |        0
503.72/503.90	c  503s |      24 |  5018442 |  3771062 |     2143   4203 |        0 |        0
505.81/505.91	c  505s |      24 |  5036637 |  3785262 |     2143   4215 |        0 |        0
507.81/507.92	c  507s |      24 |  5053615 |  3798562 |     2143   4227 |        0 |        0
509.81/509.92	c  509s |      24 |  5071805 |  3812262 |     2143   4238 |        0 |        0
511.81/511.94	c  511s |      24 |  5091067 |  3826562 |     2143   4251 |        0 |        0
513.81/513.95	c  513s |      24 |  5106707 |  3838962 |     2143   4262 |        0 |        0
515.81/515.96	c  515s |      24 |  5124704 |  3852262 |     2143   4273 |        0 |        0
517.81/517.97	c  517s |      24 |  5142491 |  3865762 |     2143   4285 |        0 |        0
519.81/519.99	c  519s |      24 |  5160536 |  3879462 |     2143   4296 |        0 |        0
521.91/522.00	c  521s |      24 |  5178527 |  3893362 |     2143   4308 |        0 |        0
523.91/524.00	c  523s |      24 |  5195134 |  3906562 |     2143   4320 |        0 |        0
525.91/526.01	c  525s |      24 |  5210795 |  3918862 |     2143   4330 |        0 |        0
527.92/528.01	c  527s |      24 |  5227914 |  3931762 |     2143   4341 |        0 |        0
529.91/530.03	c  530s |      24 |  5244492 |  3944662 |     2143   4353 |        0 |        0
531.91/532.04	c  532s |      24 |  5262749 |  3958362 |     2143   4364 |        0 |        0
533.91/534.05	c  534s |      24 |  5281121 |  3972362 |     2143   4376 |        0 |        0
535.91/536.05	c  536s |      24 |  5298678 |  3985762 |     2143   4388 |        0 |        0
537.91/538.06	c  538s |      24 |  5315676 |  3999262 |     2143   4400 |        0 |        0
539.90/540.06	c  540s |      24 |  5332887 |  4012362 |     2143   4411 |        0 |        0
541.90/542.07	c  542s |      24 |  5350603 |  4025462 |     2143   4422 |        0 |        0
543.90/544.07	c  544s |      24 |  5366247 |  4037962 |     2143   4433 |        0 |        0
545.91/546.07	c  546s |      24 |  5382600 |  4050662 |     2143   4444 |        0 |        0
547.91/548.09	c  548s |      24 |  5400280 |  4064362 |     2143   4455 |        0 |        0
549.92/550.09	c  550s |      24 |  5419076 |  4078762 |     2143   4468 |        0 |        0
551.91/552.10	c  552s |      24 |  5438293 |  4093262 |     2143   4480 |        0 |        0
554.00/554.10	c  554s |      24 |  5455619 |  4106662 |     2143   4492 |        0 |        0
556.00/556.11	c  556s |      24 |  5472565 |  4120162 |     2143   4503 |        0 |        0
558.00/558.11	c  558s |      24 |  5489246 |  4133162 |     2143   4515 |        0 |        0
560.00/560.13	c  560s |      24 |  5506608 |  4146662 |     2143   4526 |        0 |        0
562.01/562.13	c  562s |      24 |  5523486 |  4159862 |     2143   4538 |        0 |        0
564.00/564.14	c  564s |      24 |  5540648 |  4173162 |     2143   4549 |        0 |        0
566.00/566.16	c  566s |      24 |  5557586 |  4186462 |     2143   4561 |        0 |        0
568.00/568.17	c  568s |      24 |  5574875 |  4199962 |     2143   4572 |        0 |        0
570.00/570.19	c  570s |      24 |  5591311 |  4213362 |     2143   4584 |        0 |        0
572.01/572.19	c  572s |      24 |  5609055 |  4227262 |     2143   4596 |        0 |        0
574.00/574.20	c  574s |      24 |  5629374 |  4242762 |     2143   4609 |        0 |        0
576.10/576.20	c  576s |      24 |  5648549 |  4257262 |     2143   4622 |        0 |        0
578.10/578.20	c  578s |      24 |  5665765 |  4270662 |     2143   4633 |        0 |        0
580.10/580.21	c  580s |      24 |  5683565 |  4284162 |     2143   4645 |        0 |        0
582.10/582.21	c  582s |      24 |  5701905 |  4297962 |     2143   4657 |        0 |        0
584.10/584.23	c  584s |      24 |  5719113 |  4311762 |     2143   4669 |        0 |        0
586.10/586.24	c  586s |      24 |  5737408 |  4325662 |     2143   4681 |        0 |        0
588.10/588.25	c  588s |      24 |  5755612 |  4339762 |     2143   4693 |        0 |        0
590.10/590.25	c  590s |      24 |  5773760 |  4353662 |     2143   4705 |        0 |        0
592.10/592.26	c  592s |      24 |  5791621 |  4367062 |     2143   4716 |        0 |        0
594.09/594.27	c  594s |      24 |  5808728 |  4380762 |     2143   4728 |        0 |        0
596.10/596.27	c  596s |      24 |  5826064 |  4394162 |     2143   4740 |        0 |        0
598.09/598.28	c  598s |      24 |  5841179 |  4406062 |     2143   4750 |        0 |        0
600.09/600.28	c  600s |      24 |  5859418 |  4419762 |     2143   4762 |        0 |        0
602.10/602.29	c  602s |      24 |  5878062 |  4434062 |     2143   4774 |        0 |        0
604.10/604.29	c  604s |      24 |  5896762 |  4448562 |     2143   4786 |        0 |        0
606.11/606.29	c  606s |      24 |  5914430 |  4462462 |     2143   4798 |        0 |        0
608.21/608.31	c  608s |      24 |  5932020 |  4475762 |     2143   4810 |        0 |        0
610.20/610.32	c  610s |      24 |  5950448 |  4489262 |     2143   4821 |        0 |        0
612.20/612.33	c  612s |      24 |  5968203 |  4502762 |     2143   4833 |        0 |        0
614.20/614.33	c  614s |      24 |  5985214 |  4516062 |     2143   4844 |        0 |        0
616.20/616.35	c  616s |      24 |  6003272 |  4529562 |     2143   4856 |        0 |        0
618.20/618.36	c  618s |      24 |  6019442 |  4542562 |     2143   4867 |        0 |        0
620.19/620.37	c  620s |      24 |  6037226 |  4555862 |     2143   4879 |        0 |        0
622.19/622.38	c  622s |      24 |  6056101 |  4570162 |     2143   4891 |        0 |        0
624.19/624.38	c  624s |      24 |  6072414 |  4583162 |     2143   4902 |        0 |        0
626.19/626.38	c  626s |      24 |  6092430 |  4597762 |     2143   4915 |        0 |        0
628.19/628.38	c  628s |      24 |  6110034 |  4611762 |     2143   4927 |        0 |        0
630.20/630.40	c  630s |      24 |  6128618 |  4625962 |     2143   4939 |        0 |        0
632.29/632.41	c  632s |      24 |  6147029 |  4639762 |     2143   4951 |        0 |        0
634.29/634.41	c  634s |      24 |  6166019 |  4654062 |     2143   4963 |        0 |        0
636.29/636.42	c  636s |      24 |  6185429 |  4669062 |     2143   4976 |        0 |        0
638.29/638.43	c  638s |      24 |  6203885 |  4683262 |     2143   4988 |        0 |        0
640.29/640.44	c  640s |      24 |  6220009 |  4696062 |     2143   5000 |        0 |        0
642.29/642.45	c  642s |      24 |  6237730 |  4709462 |     2143   5011 |        0 |        0
644.29/644.46	c  644s |      24 |  6256309 |  4723562 |     2143   5023 |        0 |        0
646.29/646.46	c  646s |      24 |  6272153 |  4736462 |     2143   5034 |        0 |        0
648.29/648.47	c  648s |      24 |  6292217 |  4751462 |     2143   5047 |        0 |        0
650.29/650.48	c  650s |      24 |  6312232 |  4765962 |     2143   5060 |        0 |        0
652.30/652.48	c  652s |      24 |  6329979 |  4779662 |     2143   5072 |        0 |        0
654.29/654.48	c  654s |      24 |  6349573 |  4794062 |     2143   5084 |        0 |        0
656.29/656.48	c  656s |      24 |  6369746 |  4809162 |     2143   5097 |        0 |        0
658.29/658.49	c  658s |      24 |  6387637 |  4823062 |     2143   5109 |        0 |        0
660.29/660.49	c  660s |      24 |  6406604 |  4837662 |     2143   5121 |        0 |        0
662.29/662.49	c  662s |      24 |  6423695 |  4850762 |     2143   5133 |        0 |        0
664.30/664.49	c  664s |      24 |  6440803 |  4863962 |     2143   5144 |        0 |        0
666.39/666.50	c  666s |      24 |  6458765 |  4877562 |     2143   5156 |        0 |        0
668.39/668.52	c  668s |      24 |  6477591 |  4891662 |     2143   5168 |        0 |        0
670.39/670.52	c  670s |      24 |  6493547 |  4904362 |     2143   5179 |        0 |        0
672.39/672.53	c  672s |      24 |  6512032 |  4918562 |     2143   5191 |        0 |        0
674.39/674.53	c  674s |      24 |  6528727 |  4931562 |     2143   5202 |        0 |        0
676.40/676.54	c  676s |      24 |  6547737 |  4946562 |     2143   5215 |        0 |        0
678.39/678.55	c  678s |      24 |  6564454 |  4959662 |     2143   5227 |        0 |        0
680.39/680.55	c  680s |      24 |  6582526 |  4973462 |     2143   5239 |        0 |        0
682.39/682.56	c  682s |      24 |  6601413 |  4987662 |     2143   5251 |        0 |        0
684.39/684.56	c  684s |      24 |  6620791 |  5001762 |     2143   5263 |        0 |        0
686.39/686.56	c  686s |      24 |  6639577 |  5016062 |     2143   5275 |        0 |        0
688.39/688.57	c  688s |      24 |  6653566 |  5027762 |     2143   5285 |        0 |        0
690.39/690.58	c  690s |      24 |  6671408 |  5041262 |     2358   5296 |        0 |        0
692.38/692.58	c  692s |      24 |  6687735 |  5053362 |     2358   5306 |        0 |        0
694.18/694.33	c  694s |      25 |  6703400 |  5065098 |     2358   5315 |        0 |        0
696.19/696.33	c  696s |      25 |  6719411 |  5077298 |     2358   5324 |        0 |        0
698.18/698.34	c  698s |      25 |  6735703 |  5089698 |     2358   5334 |        0 |        0
700.18/700.36	c  700s |      25 |  6751780 |  5101798 |     2358   5344 |        0 |        0
702.19/702.36	c  702s |      25 |  6768003 |  5114198 |     2358   5353 |        0 |        0
704.19/704.37	c  704s |      25 |  6784049 |  5126898 |     2358   5363 |        0 |        0
706.19/706.38	c  706s |      25 |  6799313 |  5138898 |     2358   5373 |        0 |        0
708.18/708.39	c  708s |      25 |  6814917 |  5151098 |     2358   5382 |        0 |        0
710.28/710.40	c  710s |      25 |  6830762 |  5163498 |     2358   5392 |        0 |        0
712.28/712.42	c  712s |      25 |  6847649 |  5176798 |     2358   5403 |        0 |        0
714.28/714.43	c  714s |      25 |  6863279 |  5189198 |     2358   5412 |        0 |        0
716.28/716.44	c  716s |      25 |  6879873 |  5202298 |     2358   5422 |        0 |        0
718.29/718.45	c  718s |      25 |  6897183 |  5215598 |     2358   5433 |        0 |        0
720.28/720.46	c  720s |      25 |  6913399 |  5227898 |     2358   5443 |        0 |        0
722.28/722.46	c  722s |      25 |  6930616 |  5240998 |     2358   5453 |        0 |        0
724.28/724.47	c  724s |      25 |  6947247 |  5254098 |     2358   5463 |        0 |        0
726.28/726.48	c  726s |      25 |  6963674 |  5266798 |     2358   5473 |        0 |        0
728.28/728.49	c  728s |      25 |  6979933 |  5279198 |     2358   5483 |        0 |        0
730.28/730.49	c  730s |      25 |  6995471 |  5291398 |     2358   5492 |        0 |        0
732.27/732.49	c  732s |      25 |  7010714 |  5303598 |     2358   5502 |        0 |        0
734.37/734.51	c  734s |      25 |  7026326 |  5315998 |     2358   5512 |        0 |        0
736.37/736.52	c  736s |      25 |  7042835 |  5328498 |     2358   5521 |        0 |        0
738.37/738.52	c  738s |      25 |  7058496 |  5340798 |     2358   5531 |        0 |        0
740.37/740.53	c  740s |      25 |  7073921 |  5352898 |     2358   5541 |        0 |        0
742.38/742.53	c  742s |      25 |  7090768 |  5365798 |     2358   5551 |        0 |        0
744.37/744.53	c  744s |      25 |  7107565 |  5378798 |     2358   5561 |        0 |        0
746.37/746.54	c  746s |      25 |  7123994 |  5391398 |     2358   5571 |        0 |        0
748.38/748.55	c  748s |      25 |  7141123 |  5404498 |     2358   5581 |        0 |        0
750.38/750.55	c  750s |      25 |  7159918 |  5418698 |     2358   5592 |        0 |        0
752.38/752.57	c  752s |      25 |  7176000 |  5431398 |     2358   5602 |        0 |        0
754.38/754.57	c  754s |      25 |  7191799 |  5443898 |     2358   5612 |        0 |        0
756.38/756.57	c  756s |      25 |  7207488 |  5456198 |     2358   5622 |        0 |        0
758.38/758.58	c  758s |      25 |  7223830 |  5468598 |     2358   5632 |        0 |        0
760.37/760.59	c  760s |      25 |  7240065 |  5481198 |     2358   5642 |        0 |        0
762.47/762.60	c  762s |      25 |  7256423 |  5493698 |     2358   5651 |        0 |        0
764.48/764.62	c  764s |      25 |  7273331 |  5506798 |     2358   5662 |        0 |        0
766.47/766.62	c  766s |      25 |  7289623 |  5519298 |     2358   5672 |        0 |        0
768.47/768.62	c  768s |      25 |  7306282 |  5532398 |     2358   5682 |        0 |        0
770.47/770.63	c  770s |      25 |  7322360 |  5545098 |     2358   5692 |        0 |        0
772.47/772.64	c  772s |      25 |  7339267 |  5558198 |     2358   5702 |        0 |        0
774.47/774.65	c  774s |      25 |  7355585 |  5570398 |     2358   5712 |        0 |        0
776.47/776.65	c  776s |      25 |  7370732 |  5582398 |     2358   5721 |        0 |        0
778.47/778.66	c  778s |      25 |  7387662 |  5595298 |     2358   5731 |        0 |        0
780.47/780.67	c  780s |      25 |  7404998 |  5608398 |     2358   5742 |        0 |        0
782.47/782.67	c  782s |      25 |  7421153 |  5620898 |     2358   5752 |        0 |        0
784.46/784.69	c  784s |      25 |  7438463 |  5634198 |     2358   5762 |        0 |        0
786.47/786.69	c  786s |      25 |  7454431 |  5646798 |     2358   5772 |        0 |        0
788.57/788.71	c  788s |      25 |  7471755 |  5659998 |     2358   5783 |        0 |        0
790.57/790.72	c  790s |      25 |  7488802 |  5673098 |     2358   5793 |        0 |        0
792.57/792.74	c  792s |      25 |  7504367 |  5685298 |     2358   5803 |        0 |        0
794.57/794.75	c  794s |      25 |  7521056 |  5698098 |     2358   5813 |        0 |        0
796.57/796.76	c  796s |      25 |  7537638 |  5710898 |     2358   5823 |        0 |        0
798.58/798.77	c  798s |      25 |  7554261 |  5723898 |     2358   5833 |        0 |        0
800.57/800.78	c  800s |      25 |  7572529 |  5737498 |     2358   5844 |        0 |        0
802.57/802.78	c  802s |      25 |  7591188 |  5751998 |     2358   5855 |        0 |        0
804.57/804.80	c  804s |      25 |  7607201 |  5764898 |     2358   5865 |        0 |        0
806.67/806.80	c  806s |      25 |  7624659 |  5778698 |     2358   5876 |        0 |        0
808.67/808.80	c  808s |      25 |  7642027 |  5792198 |     2358   5887 |        0 |        0
810.57/810.80	c  810s |      25 |  7658162 |  5804998 |     2358   5897 |        0 |        0
812.67/812.80	c  812s |      25 |  7675523 |  5818398 |     2358   5908 |        0 |        0
814.67/814.80	c  814s |      25 |  7692205 |  5831498 |     2358   5918 |        0 |        0
816.67/816.81	c  816s |      25 |  7708263 |  5843998 |     2358   5928 |        0 |        0
818.66/818.82	c  818s |      25 |  7725659 |  5857498 |     2358   5939 |        0 |        0
820.66/820.84	c  820s |      25 |  7743618 |  5871598 |     2358   5950 |        0 |        0
822.67/822.85	c  822s |      25 |  7760965 |  5885198 |     2358   5960 |        0 |        0
824.66/824.86	c  824s |      25 |  7775979 |  5897498 |     2358   5970 |        0 |        0
826.66/826.87	c  826s |      25 |  7790578 |  5909298 |     2358   5979 |        0 |        0
828.66/828.88	c  828s |      25 |  7805568 |  5921198 |     2358   5989 |        0 |        0
830.66/830.89	c  830s |      25 |  7819591 |  5932498 |     2358   5997 |        0 |        0
832.76/832.90	c  832s |      25 |  7835271 |  5944798 |     2358   6007 |        0 |        0
834.77/834.91	c  834s |      25 |  7850845 |  5957198 |     2358   6017 |        0 |        0
836.76/836.92	c  836s |      25 |  7865931 |  5969298 |     2358   6026 |        0 |        0
838.77/838.93	c  838s |      25 |  7882747 |  5982098 |     2358   6036 |        0 |        0
840.76/840.94	c  840s |      25 |  7897924 |  5993798 |     2358   6046 |        0 |        0
842.76/842.95	c  842s |      25 |  7913380 |  6005998 |     2358   6055 |        0 |        0
844.77/844.96	c  844s |      25 |  7930619 |  6018698 |     2358   6065 |        0 |        0
846.76/846.97	c  846s |      25 |  7946775 |  6031298 |     2358   6075 |        0 |        0
848.76/848.97	c  848s |      25 |  7961612 |  6042798 |     2358   6084 |        0 |        0
850.76/850.98	c  850s |      25 |  7974931 |  6053398 |     2358   6093 |        0 |        0
852.76/852.99	c  852s |      25 |  7989006 |  6064498 |     2358   6101 |        0 |        0
854.86/855.00	c  854s |      25 |  8006212 |  6077398 |     2358   6112 |        0 |        0
856.87/857.01	c  856s |      25 |  8023138 |  6090598 |     2358   6122 |        0 |        0
858.86/859.01	c  858s |      25 |  8038310 |  6102698 |     2358   6132 |        0 |        0
860.86/861.02	c  861s |      25 |  8055833 |  6115698 |     2358   6142 |        0 |        0
862.86/863.03	c  863s |      25 |  8072072 |  6128198 |     2358   6152 |        0 |        0
864.85/865.04	c  865s |      25 |  8088726 |  6140898 |     2358   6162 |        0 |        0
866.85/867.05	c  867s |      25 |  8106985 |  6154598 |     2358   6173 |        0 |        0
868.86/869.05	c  869s |      25 |  8126398 |  6169098 |     2358   6184 |        0 |        0
870.85/871.06	c  871s |      25 |  8143021 |  6181998 |     2358   6194 |        0 |        0
872.85/873.07	c  873s |      25 |  8161268 |  6195598 |     2358   6205 |        0 |        0
874.85/875.09	c  875s |      25 |  8179237 |  6208998 |     2358   6216 |        0 |        0
876.86/877.09	c  877s |      25 |  8196610 |  6222098 |     2358   6226 |        0 |        0
878.96/879.10	c  879s |      25 |  8215049 |  6235798 |     2358   6237 |        0 |        0
880.96/881.11	c  881s |      25 |  8237226 |  6251698 |     2358   6249 |        0 |        0
882.95/883.11	c  883s |      25 |  8256969 |  6266498 |     2358   6261 |        0 |        0
884.95/885.12	c  885s |      25 |  8277387 |  6281698 |     2358   6273 |        0 |        0
886.95/887.13	c  887s |      25 |  8293929 |  6295098 |     2358   6284 |        0 |        0
888.95/889.14	c  889s |      25 |  8312186 |  6308898 |     2358   6295 |        0 |        0
890.96/891.14	c  891s |      25 |  8331391 |  6323498 |     2358   6306 |        0 |        0
892.95/893.15	c  893s |      25 |  8349696 |  6337398 |     2358   6317 |        0 |        0
894.95/895.16	c  895s |      25 |  8369013 |  6351898 |     2358   6329 |        0 |        0
896.95/897.17	c  897s |      25 |  8388865 |  6366898 |     2358   6340 |        0 |        0
898.95/899.17	c  899s |      25 |  8408267 |  6381398 |     2358   6352 |        0 |        0
900.95/901.18	c  901s |      25 |  8426270 |  6395398 |     2358   6363 |        0 |        0
902.96/903.19	c  903s |      25 |  8444222 |  6409098 |     2358   6374 |        0 |        0
905.06/905.20	c  905s |      25 |  8461412 |  6422498 |     2358   6384 |        0 |        0
907.06/907.20	c  907s |      25 |  8479187 |  6435898 |     2358   6395 |        0 |        0
909.05/909.20	c  909s |      25 |  8497651 |  6449998 |     2358   6406 |        0 |        0
911.05/911.21	c  911s |      25 |  8516340 |  6464198 |     2358   6417 |        0 |        0
913.05/913.22	c  913s |      25 |  8535757 |  6478798 |     2358   6429 |        0 |        0
915.06/915.22	c  915s |      25 |  8553966 |  6492798 |     2358   6440 |        0 |        0
917.05/917.22	c  917s |      25 |  8572251 |  6506598 |     2358   6451 |        0 |        0
919.05/919.24	c  919s |      25 |  8590358 |  6520698 |     2358   6462 |        0 |        0
921.05/921.24	c  921s |      25 |  8609459 |  6535298 |     2358   6474 |        0 |        0
923.05/923.26	c  923s |      25 |  8627939 |  6549798 |     2358   6485 |        0 |        0
925.06/925.27	c  925s |      25 |  8645474 |  6563898 |     2358   6496 |        0 |        0
927.05/927.28	c  927s |      25 |  8664000 |  6578398 |     2358   6508 |        0 |        0
929.05/929.29	c  929s |      25 |  8682752 |  6592398 |     2358   6519 |        0 |        0
931.15/931.30	c  931s |      25 |  8699737 |  6605198 |     2358   6529 |        0 |        0
933.15/933.30	c  933s |      25 |  8716410 |  6618098 |     2358   6539 |        0 |        0
935.15/935.32	c  935s |      25 |  8734665 |  6631598 |     2358   6550 |        0 |        0
937.15/937.33	c  937s |      25 |  8752869 |  6645298 |     2358   6561 |        0 |        0
939.15/939.34	c  939s |      25 |  8770501 |  6658798 |     2358   6571 |        0 |        0
941.15/941.35	c  941s |      25 |  8788824 |  6672898 |     2358   6583 |        0 |        0
943.15/943.36	c  943s |      25 |  8807261 |  6686798 |     2358   6594 |        0 |        0
945.15/945.36	c  945s |      25 |  8827104 |  6701698 |     2358   6605 |        0 |        0
947.15/947.36	c  947s |      25 |  8845573 |  6715598 |     2358   6616 |        0 |        0
949.15/949.37	c  949s |      25 |  8862472 |  6728598 |     2358   6627 |        0 |        0
951.14/951.38	c  951s |      25 |  8881029 |  6742498 |     2358   6638 |        0 |        0
953.14/953.39	c  953s |      25 |  8897670 |  6755098 |     2358   6648 |        0 |        0
955.14/955.39	c  955s |      25 |  8914788 |  6768298 |     2358   6658 |        0 |        0
957.14/957.39	c  957s |      25 |  8931027 |  6781098 |     2358   6668 |        0 |        0
959.15/959.40	c  959s |      25 |  8947714 |  6793998 |     2358   6679 |        0 |        0
961.14/961.40	c  961s |      25 |  8964102 |  6806798 |     2358   6689 |        0 |        0
963.24/963.41	c  963s |      25 |  8982114 |  6820698 |     2358   6700 |        0 |        0
965.24/965.42	c  965s |      25 |  9003034 |  6836298 |     2358   6712 |        0 |        0
967.24/967.42	c  967s |      25 |  9023632 |  6851298 |     2358   6724 |        0 |        0
969.24/969.42	c  969s |      25 |  9043152 |  6865998 |     2358   6736 |        0 |        0
971.25/971.42	c  971s |      25 |  9060699 |  6879598 |     2358   6746 |        0 |        0
973.24/973.43	c  973s |      25 |  9079348 |  6894298 |     2358   6758 |        0 |        0
975.24/975.45	c  975s |      25 |  9097470 |  6908798 |     2358   6769 |        0 |        0
977.24/977.45	c  977s |      25 |  9113499 |  6921498 |     2358   6779 |        0 |        0
979.24/979.46	c  979s |      25 |  9130436 |  6934698 |     2358   6790 |        0 |        0
981.24/981.47	c  981s |      25 |  9147300 |  6947698 |     2358   6800 |        0 |        0
983.24/983.48	c  983s |      25 |  9164909 |  6961198 |     2358   6811 |        0 |        0
985.24/985.49	c  985s |      25 |  9182670 |  6974798 |     2358   6822 |        0 |        0
987.24/987.49	c  987s |      25 |  9200989 |  6988598 |     2358   6833 |        0 |        0
989.33/989.50	c  989s |      25 |  9219789 |  7002398 |     2358   6844 |        0 |        0
991.33/991.52	c  991s |      25 |  9238450 |  7016198 |     2358   6855 |        0 |        0
993.33/993.52	c  993s |      25 |  9256093 |  7029298 |     2358   6865 |        0 |        0
995.34/995.53	c  995s |      25 |  9273792 |  7042698 |     2358   6876 |        0 |        0
997.33/997.54	c  997s |      25 |  9293821 |  7057398 |     2358   6887 |        0 |        0
999.34/999.55	c  999s |      25 |  9311012 |  7070798 |     2358   6898 |        0 |        0
1001.34/1001.56	c 1001s |      25 |  9328557 |  7084398 |     2358   6909 |        0 |        0
1003.34/1003.56	c 1003s |      25 |  9346253 |  7097898 |     2358   6919 |        0 |        0
1005.35/1005.57	c 1005s |      25 |  9363169 |  7110998 |     2358   6930 |        0 |        0
1007.34/1007.58	c 1007s |      25 |  9380098 |  7124198 |     2358   6940 |        0 |        0
1009.34/1009.59	c 1009s |      25 |  9398231 |  7137798 |     2358   6951 |        0 |        0
1011.34/1011.59	c 1011s |      25 |  9415205 |  7150698 |     2358   6961 |        0 |        0
1013.34/1013.59	c 1013s |      25 |  9435719 |  7165498 |     2358   6973 |        0 |        0
1015.33/1015.59	c 1015s |      25 |  9454190 |  7179498 |     2358   6984 |        0 |        0
1017.34/1017.60	c 1017s |      25 |  9471487 |  7192698 |     2358   6994 |        0 |        0
1019.43/1019.60	c 1019s |      25 |  9488887 |  7206898 |     2358   7005 |        0 |        0
1021.43/1021.61	c 1021s |      25 |  9505035 |  7219798 |     2358   7016 |        0 |        0
1023.43/1023.63	c 1023s |      25 |  9522270 |  7233498 |     2358   7027 |        0 |        0
1025.43/1025.64	c 1025s |      25 |  9538708 |  7245898 |     2358   7036 |        0 |        0
1027.43/1027.65	c 1027s |      25 |  9555442 |  7258998 |     2358   7047 |        0 |        0
1029.44/1029.66	c 1029s |      25 |  9572633 |  7272398 |     2358   7057 |        0 |        0
1031.43/1031.68	c 1031s |      25 |  9588914 |  7285198 |     2358   7067 |        0 |        0
1033.43/1033.69	c 1033s |      25 |  9605210 |  7298198 |     2358   7078 |        0 |        0
1035.53/1035.71	c 1035s |      25 |  9619055 |  7309598 |     2358   7087 |        0 |        0
1037.54/1037.71	c 1037s |      25 |  9635208 |  7322198 |     2358   7097 |        0 |        0
1039.54/1039.72	c 1039s |      25 |  9650242 |  7333998 |     2358   7106 |        0 |        0
1041.54/1041.73	c 1041s |      25 |  9665458 |  7345998 |     2358   7116 |        0 |        0
1043.53/1043.73	c 1043s |      25 |  9681874 |  7358498 |     2358   7125 |        0 |        0
1045.53/1045.74	c 1045s |      25 |  9697880 |  7371298 |     2358   7136 |        0 |        0
1047.53/1047.74	c 1047s |      25 |  9714625 |  7384398 |     2358   7146 |        0 |        0
1049.53/1049.74	c 1049s |      25 |  9731853 |  7397598 |     2358   7156 |        0 |        0
1051.54/1051.75	c 1051s |      25 |  9750025 |  7411398 |     2358   7167 |        0 |        0
1053.53/1053.75	c 1053s |      25 |  9767410 |  7424598 |     2358   7178 |        0 |        0
1055.53/1055.75	c 1055s |      25 |  9783099 |  7437098 |     2358   7188 |        0 |        0
1057.53/1057.76	c 1057s |      25 |  9798533 |  7449598 |     2358   7198 |        0 |        0
1059.53/1059.78	c 1059s |      25 |  9815801 |  7463098 |     2358   7208 |        0 |        0
1061.53/1061.78	c 1061s |      25 |  9833058 |  7476098 |     2358   7219 |        0 |        0
1063.53/1063.78	c 1063s |      25 |  9850261 |  7489098 |     2358   7229 |        0 |        0
1065.53/1065.78	c 1065s |      25 |  9867790 |  7502498 |     2358   7240 |        0 |        0
1067.53/1067.79	c 1067s |      25 |  9885833 |  7516298 |     2358   7251 |        0 |        0
1069.53/1069.79	c 1069s |      25 |  9903201 |  7529698 |     2358   7261 |        0 |        0
1071.53/1071.79	c 1071s |      25 |  9920895 |  7543198 |     2358   7272 |        0 |        0
1073.62/1073.81	c 1073s |      25 |  9938611 |  7556398 |     2594   7281 |        0 |        0
1075.63/1075.82	c 1075s |      25 |  9958232 |  7570798 |     2594   7292 |        0 |        0
1077.62/1077.83	c 1077s |      25 |  9976005 |  7584498 |     2594   7302 |        0 |        0
1079.62/1079.80	c 1079s |      26 |  9993649 |  7597752 |     2594   7311 |        0 |        0
1081.62/1081.81	c 1081s |      26 | 10011186 |  7611252 |     2594   7321 |        0 |        0
1083.62/1083.82	c 1083s |      26 | 10026984 |  7623552 |     2594   7330 |        0 |        0
1085.63/1085.83	c 1085s |      26 | 10042444 |  7635552 |     2594   7339 |        0 |        0
1087.62/1087.84	c 1087s |      26 | 10059583 |  7648752 |     2594   7348 |        0 |        0
1089.62/1089.84	c 1089s |      26 | 10075455 |  7661352 |     2594   7357 |        0 |        0
1091.62/1091.85	c 1091s |      26 | 10091817 |  7673852 |     2594   7366 |        0 |        0
1093.62/1093.85	c 1093s |      26 | 10107756 |  7686352 |     2594   7375 |        0 |        0
1095.62/1095.87	c 1095s |      26 | 10122712 |  7697952 |     2594   7383 |        0 |        0
1097.63/1097.87	c 1097s |      26 | 10138059 |  7709652 |     2594   7392 |        0 |        0
1099.63/1099.88	c 1099s |      26 | 10153190 |  7721252 |     2594   7400 |        0 |        0
1101.62/1101.90	c 1101s |      26 | 10168262 |  7732852 |     2594   7408 |        0 |        0
1103.72/1103.90	c 1103s |      26 | 10183430 |  7744652 |     2594   7417 |        0 |        0
1105.72/1105.91	c 1105s |      26 | 10199021 |  7757052 |     2594   7426 |        0 |        0
1107.72/1107.92	c 1107s |      26 | 10214376 |  7769152 |     2594   7435 |        0 |        0
1109.73/1109.93	c 1109s |      26 | 10231109 |  7782252 |     2594   7444 |        0 |        0
1111.72/1111.94	c 1111s |      26 | 10248874 |  7795952 |     2594   7454 |        0 |        0
1113.72/1113.95	c 1113s |      26 | 10265429 |  7809052 |     2594   7463 |        0 |        0
1115.72/1115.95	c 1115s |      26 | 10282199 |  7822452 |     2594   7473 |        0 |        0
1117.72/1117.96	c 1117s |      26 | 10298155 |  7835152 |     2594   7482 |        0 |        0
1119.73/1119.97	c 1119s |      26 | 10313748 |  7847552 |     2594   7491 |        0 |        0
1121.72/1121.98	c 1121s |      26 | 10330003 |  7860152 |     2594   7499 |        0 |        0
1123.72/1123.99	c 1123s |      26 | 10344785 |  7871752 |     2594   7508 |        0 |        0
1125.82/1126.00	c 1125s |      26 | 10361554 |  7884752 |     2594   7517 |        0 |        0
1127.82/1128.00	c 1127s |      26 | 10378060 |  7897852 |     2594   7526 |        0 |        0
1129.82/1130.01	c 1129s |      26 | 10394027 |  7910152 |     2594   7535 |        0 |        0
1131.82/1132.02	c 1132s |      26 | 10410916 |  7923152 |     2594   7544 |        0 |        0
1133.81/1134.03	c 1134s |      26 | 10427093 |  7935652 |     2594   7553 |        0 |        0
1135.81/1136.03	c 1136s |      26 | 10442981 |  7948052 |     2594   7562 |        0 |        0
1137.81/1138.04	c 1138s |      26 | 10458081 |  7960052 |     2594   7571 |        0 |        0
1139.81/1140.05	c 1140s |      26 | 10474114 |  7972652 |     2594   7580 |        0 |        0
1141.81/1142.06	c 1142s |      26 | 10490893 |  7985452 |     2594   7589 |        0 |        0
1143.82/1144.07	c 1144s |      26 | 10506824 |  7998252 |     2594   7598 |        0 |        0
1145.81/1146.07	c 1146s |      26 | 10522339 |  8010552 |     2594   7607 |        0 |        0
1147.81/1148.08	c 1148s |      26 | 10538262 |  8022752 |     2594   7616 |        0 |        0
1149.81/1150.08	c 1150s |      26 | 10552618 |  8034152 |     2594   7624 |        0 |        0
1151.81/1152.09	c 1152s |      26 | 10568872 |  8046952 |     2594   7634 |        0 |        0
1153.91/1154.10	c 1154s |      26 | 10585184 |  8059852 |     2594   7643 |        0 |        0
1155.92/1156.11	c 1156s |      26 | 10602102 |  8072652 |     2594   7652 |        0 |        0
1157.91/1158.12	c 1158s |      26 | 10618003 |  8084652 |     2594   7661 |        0 |        0
1159.91/1160.12	c 1160s |      26 | 10636072 |  8098652 |     2594   7671 |        0 |        0
1161.92/1162.15	c 1162s |      26 | 10650737 |  8110852 |     2594   7680 |        0 |        0
1163.92/1164.17	c 1164s |      26 | 10669322 |  8124852 |     2594   7690 |        0 |        0
1165.92/1166.17	c 1166s |      26 | 10686963 |  8138552 |     2594   7699 |        0 |        0
1167.91/1168.18	c 1168s |      26 | 10705321 |  8152552 |     2594   7709 |        0 |        0
1169.91/1170.19	c 1170s |      26 | 10720814 |  8165052 |     2594   7718 |        0 |        0
1172.01/1172.20	c 1172s |      26 | 10737679 |  8178252 |     2594   7728 |        0 |        0
1174.01/1174.21	c 1174s |      26 | 10755317 |  8191952 |     2594   7738 |        0 |        0
1176.01/1176.23	c 1176s |      26 | 10773135 |  8205352 |     2594   7747 |        0 |        0
1178.02/1178.24	c 1178s |      26 | 10789512 |  8218152 |     2594   7756 |        0 |        0
1180.01/1180.24	c 1180s |      26 | 10805794 |  8231052 |     2594   7766 |        0 |        0
1182.01/1182.25	c 1182s |      26 | 10821299 |  8243352 |     2594   7775 |        0 |        0
1184.01/1184.27	c 1184s |      26 | 10836276 |  8255352 |     2594   7783 |        0 |        0
1186.01/1186.27	c 1186s |      26 | 10852884 |  8268152 |     2594   7792 |        0 |        0
1188.01/1188.27	c 1188s |      26 | 10869893 |  8281452 |     2594   7802 |        0 |        0
1190.02/1190.28	c 1190s |      26 | 10886564 |  8294152 |     2594   7811 |        0 |        0
1192.11/1192.30	c 1192s |      26 | 10903473 |  8306952 |     2594   7820 |        0 |        0
1194.11/1194.30	c 1194s |      26 | 10920068 |  8318852 |     2594   7829 |        0 |        0
1196.11/1196.31	c 1196s |      26 | 10936778 |  8331252 |     2594   7838 |        0 |        0
1198.11/1198.32	c 1198s |      26 | 10953746 |  8344452 |     2594   7847 |        0 |        0
1200.11/1200.32	c 1200s |      26 | 10969804 |  8356952 |     2594   7856 |        0 |        0
1202.11/1202.33	c 1202s |      26 | 10986123 |  8369552 |     2594   7865 |        0 |        0
1204.11/1204.33	c 1204s |      26 | 11001259 |  8381752 |     2594   7874 |        0 |        0
1206.11/1206.34	c 1206s |      26 | 11016666 |  8393552 |     2594   7883 |        0 |        0
1208.11/1208.36	c 1208s |      26 | 11030456 |  8404752 |     2594   7891 |        0 |        0
1210.11/1210.36	c 1210s |      26 | 11045049 |  8416352 |     2594   7899 |        0 |        0
1212.11/1212.37	c 1212s |      26 | 11061421 |  8428752 |     2594   7908 |        0 |        0
1214.10/1214.39	c 1214s |      26 | 11075682 |  8439852 |     2594   7916 |        0 |        0
1216.20/1216.40	c 1216s |      26 | 11090431 |  8451552 |     2594   7925 |        0 |        0
1218.20/1218.41	c 1218s |      26 | 11104511 |  8463052 |     2594   7933 |        0 |        0
1220.20/1220.42	c 1220s |      26 | 11119871 |  8474952 |     2594   7941 |        0 |        0
1222.20/1222.43	c 1222s |      26 | 11135568 |  8487152 |     2594   7950 |        0 |        0
1224.21/1224.45	c 1224s |      26 | 11151348 |  8499252 |     2594   7959 |        0 |        0
1226.20/1226.45	c 1226s |      26 | 11166380 |  8510852 |     2594   7967 |        0 |        0
1228.20/1228.47	c 1228s |      26 | 11181352 |  8522252 |     2594   7976 |        0 |        0
1230.20/1230.47	c 1230s |      26 | 11195539 |  8533252 |     2594   7984 |        0 |        0
1232.20/1232.48	c 1232s |      26 | 11209699 |  8544552 |     2594   7992 |        0 |        0
1234.20/1234.48	c 1234s |      26 | 11224777 |  8556252 |     2594   8000 |        0 |        0
1236.21/1236.50	c 1236s |      26 | 11238565 |  8567252 |     2594   8008 |        0 |        0
1238.30/1238.52	c 1238s |      26 | 11252629 |  8578452 |     2594   8016 |        0 |        0
1240.30/1240.52	c 1240s |      26 | 11267887 |  8590252 |     2594   8025 |        0 |        0
1242.30/1242.52	c 1242s |      26 | 11284455 |  8602552 |     2594   8034 |        0 |        0
1244.30/1244.54	c 1244s |      26 | 11300498 |  8614752 |     2594   8043 |        0 |        0
1246.30/1246.54	c 1246s |      26 | 11316918 |  8627352 |     2594   8052 |        0 |        0
1248.30/1248.55	c 1248s |      26 | 11331996 |  8638952 |     2594   8060 |        0 |        0
1250.30/1250.56	c 1250s |      26 | 11347876 |  8651252 |     2594   8069 |        0 |        0
1252.29/1252.57	c 1252s |      26 | 11364188 |  8663552 |     2594   8078 |        0 |        0
1254.29/1254.58	c 1254s |      26 | 11378701 |  8674952 |     2594   8087 |        0 |        0
1256.30/1256.58	c 1256s |      26 | 11395171 |  8687352 |     2594   8096 |        0 |        0
1258.31/1258.58	c 1258s |      26 | 11410960 |  8699652 |     2594   8104 |        0 |        0
1260.30/1260.59	c 1260s |      26 | 11426589 |  8711652 |     2594   8113 |        0 |        0
1262.30/1262.59	c 1262s |      26 | 11442505 |  8723852 |     2594   8122 |        0 |        0
1264.40/1264.60	c 1264s |      26 | 11458846 |  8736352 |     2594   8131 |        0 |        0
1266.40/1266.61	c 1266s |      26 | 11475064 |  8749152 |     2594   8140 |        0 |        0
1268.40/1268.61	c 1268s |      26 | 11491896 |  8762152 |     2594   8150 |        0 |        0
1270.40/1270.62	c 1270s |      26 | 11507947 |  8774452 |     2594   8159 |        0 |        0
1272.40/1272.62	c 1272s |      26 | 11523204 |  8786552 |     2594   8167 |        0 |        0
1274.40/1274.63	c 1274s |      26 | 11538865 |  8798652 |     2594   8176 |        0 |        0
1276.40/1276.64	c 1276s |      26 | 11555900 |  8811652 |     2594   8186 |        0 |        0
1278.40/1278.65	c 1278s |      26 | 11575270 |  8826452 |     2594   8196 |        0 |        0
1280.40/1280.68	c 1280s |      26 | 11596485 |  8842052 |     2594   8208 |        0 |        0
1282.40/1282.68	c 1282s |      26 | 11614747 |  8856152 |     2594   8218 |        0 |        0
1284.39/1284.68	c 1284s |      26 | 11631018 |  8869152 |     2594   8227 |        0 |        0
1286.49/1286.70	c 1286s |      26 | 11646796 |  8881252 |     2594   8236 |        0 |        0
1288.49/1288.71	c 1288s |      26 | 11664298 |  8894852 |     2594   8245 |        0 |        0
1290.49/1290.71	c 1290s |      26 | 11681684 |  8908652 |     2594   8255 |        0 |        0
1292.49/1292.72	c 1292s |      26 | 11697506 |  8920652 |     2594   8264 |        0 |        0
1294.50/1294.72	c 1294s |      26 | 11713768 |  8933052 |     2594   8273 |        0 |        0
1296.49/1296.74	c 1296s |      26 | 11730744 |  8945852 |     2594   8282 |        0 |        0
1298.49/1298.75	c 1298s |      26 | 11746926 |  8958352 |     2594   8291 |        0 |        0
1300.49/1300.75	c 1300s |      26 | 11762524 |  8970552 |     2594   8300 |        0 |        0
1302.49/1302.75	c 1302s |      26 | 11779047 |  8982852 |     2594   8309 |        0 |        0
1304.49/1304.76	c 1304s |      26 | 11795566 |  8995652 |     2594   8318 |        0 |        0
1306.49/1306.76	c 1306s |      26 | 11814330 |  9009552 |     2594   8328 |        0 |        0
1308.49/1308.76	c 1308s |      26 | 11830811 |  9021852 |     2594   8337 |        0 |        0
1310.49/1310.78	c 1310s |      26 | 11847319 |  9034852 |     2594   8346 |        0 |        0
1312.49/1312.79	c 1312s |      26 | 11863979 |  9047952 |     2594   8356 |        0 |        0
1314.59/1314.81	c 1314s |      26 | 11879600 |  9060152 |     2594   8364 |        0 |        0
1316.60/1316.81	c 1316s |      26 | 11895832 |  9072652 |     2594   8373 |        0 |        0
1318.59/1318.82	c 1318s |      26 | 11911584 |  9084752 |     2594   8382 |        0 |        0
1320.59/1320.83	c 1320s |      26 | 11927825 |  9097052 |     2594   8391 |        0 |        0
1322.59/1322.85	c 1322s |      26 | 11945041 |  9110352 |     2594   8401 |        0 |        0
1324.59/1324.86	c 1324s |      26 | 11962754 |  9123552 |     2594   8410 |        0 |        0
1326.59/1326.87	c 1326s |      26 | 11979763 |  9136452 |     2594   8419 |        0 |        0
1328.59/1328.88	c 1328s |      26 | 11996443 |  9148952 |     2594   8428 |        0 |        0
1330.59/1330.89	c 1330s |      26 | 12013002 |  9161452 |     2594   8437 |        0 |        0
1332.69/1332.90	c 1332s |      26 | 12028463 |  9173552 |     2594   8446 |        0 |        0
1334.69/1334.90	c 1334s |      26 | 12043917 |  9185452 |     2594   8455 |        0 |        0
1336.68/1336.91	c 1336s |      26 | 12058542 |  9196952 |     2594   8463 |        0 |        0
1338.68/1338.92	c 1338s |      26 | 12073051 |  9208652 |     2594   8471 |        0 |        0
1340.69/1340.93	c 1340s |      26 | 12088900 |  9220552 |     2594   8480 |        0 |        0
1342.68/1342.94	c 1342s |      26 | 12104616 |  9232552 |     2594   8489 |        0 |        0
1344.68/1344.95	c 1344s |      26 | 12120037 |  9244552 |     2594   8497 |        0 |        0
1346.68/1346.96	c 1346s |      26 | 12137013 |  9257452 |     2594   8507 |        0 |        0
1348.68/1348.96	c 1348s |      26 | 12152951 |  9270252 |     2594   8516 |        0 |        0
1350.69/1350.97	c 1350s |      26 | 12170268 |  9283552 |     2594   8525 |        0 |        0
1352.68/1352.98	c 1352s |      26 | 12186205 |  9295452 |     2594   8534 |        0 |        0
1354.68/1354.99	c 1354s |      26 | 12202392 |  9307852 |     2594   8543 |        0 |        0
1356.69/1357.00	c 1356s |      26 | 12217813 |  9319952 |     2594   8552 |        0 |        0
1358.79/1359.01	c 1358s |      26 | 12234649 |  9333052 |     2594   8561 |        0 |        0
1360.79/1361.02	c 1361s |      26 | 12251845 |  9346352 |     2594   8571 |        0 |        0
1362.79/1363.03	c 1363s |      26 | 12267916 |  9358852 |     2594   8580 |        0 |        0
1364.78/1365.05	c 1365s |      26 | 12288198 |  9374352 |     2594   8591 |        0 |        0
1366.78/1367.06	c 1367s |      26 | 12307165 |  9388452 |     2594   8601 |        0 |        0
1368.78/1369.06	c 1369s |      26 | 12326442 |  9402952 |     2594   8612 |        0 |        0
1370.78/1371.07	c 1371s |      26 | 12343348 |  9416052 |     2594   8621 |        0 |        0
1372.78/1373.07	c 1373s |      26 | 12359421 |  9428352 |     2594   8630 |        0 |        0
1374.79/1375.08	c 1375s |      26 | 12377365 |  9441652 |     2594   8640 |        0 |        0
1376.78/1377.09	c 1377s |      26 | 12392964 |  9453752 |     2594   8648 |        0 |        0
1378.88/1379.10	c 1379s |      26 | 12409034 |  9466052 |     2594   8657 |        0 |        0
1380.88/1381.10	c 1381s |      26 | 12425944 |  9478752 |     2594   8667 |        0 |        0
1382.88/1383.11	c 1383s |      26 | 12443402 |  9491652 |     2594   8676 |        0 |        0
1384.88/1385.13	c 1385s |      26 | 12459576 |  9504252 |     2594   8685 |        0 |        0
1386.88/1387.13	c 1387s |      26 | 12479032 |  9518752 |     2594   8696 |        0 |        0
1388.87/1389.13	c 1389s |      26 | 12494912 |  9531252 |     2594   8705 |        0 |        0
1390.87/1391.14	c 1391s |      26 | 12511481 |  9543852 |     2594   8714 |        0 |        0
1392.87/1393.15	c 1393s |      26 | 12527088 |  9556152 |     2594   8723 |        0 |        0
1394.87/1395.15	c 1395s |      26 | 12544609 |  9569452 |     2594   8732 |        0 |        0
1396.87/1397.16	c 1397s |      26 | 12561477 |  9582952 |     2594   8742 |        0 |        0
1398.86/1399.17	c 1399s |      26 | 12578027 |  9595952 |     2594   8751 |        0 |        0
1400.96/1401.20	c 1401s |      26 | 12593809 |  9608652 |     2594   8761 |        0 |        0
1402.96/1403.21	c 1403s |      26 | 12611075 |  9622052 |     2594   8770 |        0 |        0
1404.97/1405.22	c 1405s |      26 | 12627317 |  9634852 |     2594   8779 |        0 |        0
1406.96/1407.23	c 1407s |      26 | 12644648 |  9648152 |     2594   8789 |        0 |        0
1408.97/1409.24	c 1409s |      26 | 12663971 |  9662652 |     2594   8800 |        0 |        0
1410.96/1411.25	c 1411s |      26 | 12681260 |  9675752 |     2594   8809 |        0 |        0
1412.96/1413.26	c 1413s |      26 | 12698355 |  9688752 |     2594   8819 |        0 |        0
1414.96/1415.27	c 1415s |      26 | 12715998 |  9702252 |     2594   8828 |        0 |        0
1416.95/1417.27	c 1417s |      26 | 12732153 |  9714752 |     2594   8837 |        0 |        0
1418.95/1419.27	c 1419s |      26 | 12746541 |  9726452 |     2594   8846 |        0 |        0
1420.96/1421.28	c 1421s |      26 | 12760447 |  9737752 |     2594   8854 |        0 |        0
1422.95/1423.28	c 1423s |      26 | 12775710 |  9749852 |     2594   8863 |        0 |        0
1424.95/1425.28	c 1425s |      26 | 12794337 |  9763552 |     2594   8873 |        0 |        0
1426.95/1427.29	c 1427s |      26 | 12812451 |  9777252 |     2594   8883 |        0 |        0
1428.95/1429.29	c 1429s |      26 | 12828672 |  9789852 |     2594   8892 |        0 |        0
1431.05/1431.30	c 1431s |      26 | 12846958 |  9803352 |     2594   8901 |        0 |        0
1433.05/1433.31	c 1433s |      26 | 12863406 |  9815952 |     2594   8911 |        0 |        0
1435.05/1435.32	c 1435s |      26 | 12880353 |  9829052 |     2594   8920 |        0 |        0
1437.04/1437.32	c 1437s |      26 | 12896374 |  9841652 |     2594   8929 |        0 |        0
1439.04/1439.32	c 1439s |      26 | 12913483 |  9854652 |     2594   8938 |        0 |        0
1441.04/1441.32	c 1441s |      26 | 12930425 |  9866852 |     2594   8947 |        0 |        0
1443.04/1443.34	c 1443s |      26 | 12947931 |  9879952 |     2594   8957 |        0 |        0
1445.03/1445.34	c 1445s |      26 | 12964370 |  9892252 |     2594   8966 |        0 |        0
1447.03/1447.35	c 1447s |      26 | 12981625 |  9905052 |     2594   8975 |        0 |        0
1449.03/1449.35	c 1449s |      26 | 12997775 |  9917652 |     2594   8984 |        0 |        0
1451.03/1451.36	c 1451s |      26 | 13013657 |  9930152 |     2594   8993 |        0 |        0
1453.03/1453.37	c 1453s |      26 | 13031949 |  9943652 |     2594   9003 |        0 |        0
1455.03/1455.38	c 1455s |      26 | 13049941 |  9957352 |     2594   9013 |        0 |        0
1457.02/1457.39	c 1457s |      26 | 13068949 |  9971652 |     2594   9023 |        0 |        0
1459.13/1459.41	c 1459s |      26 | 13085529 |  9984652 |     2594   9033 |        0 |        0
1461.13/1461.42	c 1461s |      26 | 13104278 |  9998252 |     2594   9042 |        0 |        0
1463.13/1463.42	c 1463s |      26 | 13122733 | 10012052 |     2594   9052 |        0 |        0
1465.13/1465.43	c 1465s |      26 | 13140865 | 10025352 |     2594   9062 |        0 |        0
1467.13/1467.43	c 1467s |      26 | 13157555 | 10038452 |     2594   9071 |        0 |        0
1469.12/1469.44	c 1469s |      26 | 13173632 | 10050752 |     2594   9080 |        0 |        0
1471.12/1471.44	c 1471s |      26 | 13191252 | 10064252 |     2594   9090 |        0 |        0
1473.12/1473.44	c 1473s |      26 | 13209211 | 10077852 |     2594   9100 |        0 |        0
1475.12/1475.45	c 1475s |      26 | 13225297 | 10090852 |     2594   9109 |        0 |        0
1477.12/1477.45	c 1477s |      26 | 13243910 | 10104252 |     2594   9119 |        0 |        0
1479.12/1479.47	c 1479s |      26 | 13260731 | 10117252 |     2594   9128 |        0 |        0
1481.11/1481.48	c 1481s |      26 | 13275228 | 10129252 |     2594   9137 |        0 |        0
1483.11/1483.48	c 1483s |      26 | 13291223 | 10141752 |     2594   9146 |        0 |        0
1485.11/1485.50	c 1485s |      26 | 13309699 | 10155852 |     2594   9156 |        0 |        0
1487.21/1487.50	c 1487s |      26 | 13327787 | 10169852 |     2594   9166 |        0 |        0
1489.21/1489.51	c 1489s |      26 | 13343407 | 10182052 |     2594   9175 |        0 |        0
1491.21/1491.51	c 1491s |      26 | 13360048 | 10195352 |     2594   9185 |        0 |        0
1493.21/1493.52	c 1493s |      26 | 13376267 | 10208152 |     2594   9194 |        0 |        0
1495.21/1495.53	c 1495s |      26 | 13394703 | 10222552 |     2594   9204 |        0 |        0
1497.21/1497.53	c 1497s |      26 | 13411608 | 10235852 |     2594   9214 |        0 |        0
1499.21/1499.55	c 1499s |      26 | 13427996 | 10248552 |     2594   9223 |        0 |        0
1501.21/1501.55	c 1501s |      26 | 13444306 | 10260652 |     2594   9232 |        0 |        0
1503.20/1503.57	c 1503s |      26 | 13461351 | 10273452 |     2594   9241 |        0 |        0
1505.20/1505.58	c 1505s |      26 | 13479195 | 10286852 |     2594   9251 |        0 |        0
1507.19/1507.59	c 1507s |      26 | 13497619 | 10300352 |     2594   9260 |        0 |        0
1509.19/1509.59	c 1509s |      26 | 13513638 | 10312852 |     2594   9269 |        0 |        0
1511.20/1511.59	c 1511s |      26 | 13529598 | 10325252 |     2594   9278 |        0 |        0
1513.19/1513.60	c 1513s |      26 | 13545480 | 10337052 |     2594   9287 |        0 |        0
1515.29/1515.61	c 1515s |      26 | 13562327 | 10349452 |     2594   9296 |        0 |        0
1517.28/1517.62	c 1517s |      26 | 13577933 | 10361652 |     2594   9304 |        0 |        0
1519.28/1519.62	c 1519s |      26 | 13594828 | 10374452 |     2594   9314 |        0 |        0
1521.28/1521.62	c 1521s |      26 | 13609901 | 10386352 |     2594   9322 |        0 |        0
1523.29/1523.63	c 1523s |      26 | 13625187 | 10398152 |     2594   9331 |        0 |        0
1525.28/1525.64	c 1525s |      26 | 13641330 | 10410552 |     2594   9340 |        0 |        0
1527.27/1527.64	c 1527s |      26 | 13657705 | 10423252 |     2594   9349 |        0 |        0
1529.27/1529.64	c 1529s |      26 | 13673424 | 10435452 |     2594   9358 |        0 |        0
1531.27/1531.65	c 1531s |      26 | 13687757 | 10446652 |     2594   9366 |        0 |        0
1533.27/1533.65	c 1533s |      26 | 13703891 | 10458952 |     2594   9375 |        0 |        0
1535.29/1535.66	c 1535s |      26 | 13721413 | 10471652 |     2594   9384 |        0 |        0
1537.27/1537.67	c 1537s |      26 | 13737297 | 10484052 |     2594   9393 |        0 |        0
1539.27/1539.68	c 1539s |      26 | 13754945 | 10497652 |     2594   9403 |        0 |        0
1541.27/1541.69	c 1541s |      26 | 13772419 | 10510952 |     2594   9412 |        0 |        0
1543.27/1543.69	c 1543s |      26 | 13788738 | 10524052 |     2594   9422 |        0 |        0
1545.37/1545.70	c 1545s |      26 | 13806388 | 10537552 |     2594   9431 |        0 |        0
1547.37/1547.71	c 1547s |      26 | 13822469 | 10549952 |     2594   9440 |        0 |        0
1549.36/1549.71	c 1549s |      26 | 13839253 | 10562852 |     2594   9449 |        0 |        0
1551.36/1551.71	c 1551s |      26 | 13855085 | 10575352 |     2594   9458 |        0 |        0
1553.36/1553.72	c 1553s |      26 | 13871951 | 10588252 |     2594   9468 |        0 |        0
1555.36/1555.73	c 1555s |      26 | 13887653 | 10600352 |     2594   9476 |        0 |        0
1557.36/1557.74	c 1557s |      26 | 13905001 | 10613352 |     2594   9486 |        0 |        0
1559.35/1559.75	c 1559s |      26 | 13922430 | 10626752 |     2594   9495 |        0 |        0
1561.36/1561.75	c 1561s |      26 | 13939513 | 10639652 |     2594   9505 |        0 |        0
1563.36/1563.77	c 1563s |      26 | 13956438 | 10652552 |     2594   9514 |        0 |        0
1565.36/1565.78	c 1565s |      26 | 13972086 | 10664752 |     2594   9523 |        0 |        0
1567.35/1567.78	c 1567s |      26 | 13987229 | 10676552 |     2594   9532 |        0 |        0
1569.36/1569.79	c 1569s |      26 | 14003901 | 10689252 |     2594   9541 |        0 |        0
1571.35/1571.79	c 1571s |      26 | 14020404 | 10701752 |     2594   9550 |        0 |        0
1573.45/1573.81	c 1573s |      26 | 14036164 | 10713952 |     2594   9559 |        0 |        0
1575.45/1575.83	c 1575s |      26 | 14052136 | 10725952 |     2594   9567 |        0 |        0
1577.45/1577.85	c 1577s |      26 | 14069695 | 10738652 |     2594   9576 |        0 |        0
1579.44/1579.85	c 1579s |      26 | 14085472 | 10750552 |     2594   9585 |        0 |        0
1581.45/1581.85	c 1581s |      26 | 14099970 | 10761852 |     2594   9593 |        0 |        0
1583.44/1583.86	c 1583s |      26 | 14117233 | 10775052 |     2594   9603 |        0 |        0
1585.44/1585.87	c 1585s |      26 | 14134241 | 10788252 |     2594   9612 |        0 |        0
1587.44/1587.88	c 1587s |      26 | 14150644 | 10800752 |     2594   9621 |        0 |        0
1589.44/1589.88	c 1589s |      26 | 14167101 | 10813652 |     2594   9630 |        0 |        0
1591.44/1591.89	c 1591s |      26 | 14181892 | 10825352 |     2594   9639 |        0 |        0
1593.44/1593.90	c 1593s |      26 | 14195932 | 10836452 |     2594   9647 |        0 |        0
1595.53/1595.92	c 1595s |      26 | 14210922 | 10847952 |     2594   9655 |        0 |        0
1597.53/1597.93	c 1597s |      26 | 14225619 | 10859452 |     2594   9664 |        0 |        0
1599.53/1599.94	c 1599s |      26 | 14241612 | 10871552 |     2594   9673 |        0 |        0
1601.53/1601.95	c 1601s |      26 | 14257690 | 10883852 |     2594   9682 |        0 |        0
1603.54/1603.96	c 1603s |      26 | 14273229 | 10896052 |     2594   9690 |        0 |        0
1605.52/1605.97	c 1605s |      26 | 14290226 | 10908752 |     2594   9700 |        0 |        0
1607.52/1607.98	c 1607s |      26 | 14306668 | 10921252 |     2594   9709 |        0 |        0
1609.52/1609.99	c 1609s |      26 | 14323212 | 10933752 |     2594   9718 |        0 |        0
1611.62/1612.00	c 1611s |      26 | 14340799 | 10946552 |     2594   9727 |        0 |        0
1613.62/1614.01	c 1613s |      26 | 14356842 | 10958852 |     2594   9736 |        0 |        0
1615.62/1616.02	c 1616s |      26 | 14373066 | 10971352 |     2594   9745 |        0 |        0
1617.62/1618.04	c 1618s |      26 | 14386352 | 10982152 |     2594   9752 |        0 |        0
1619.61/1620.04	c 1620s |      26 | 14403119 | 10994652 |     2594   9762 |        0 |        0
1621.61/1622.06	c 1622s |      26 | 14421292 | 11008952 |     2594   9772 |        0 |        0
1623.61/1624.07	c 1624s |      26 | 14437067 | 11021452 |     2594   9781 |        0 |        0
1625.61/1626.08	c 1626s |      26 | 14453922 | 11034152 |     2594   9790 |        0 |        0
1627.61/1628.10	c 1628s |      26 | 14468002 | 11045652 |     2594   9798 |        0 |        0
1629.71/1630.10	c 1630s |      26 | 14486633 | 11059752 |     2594   9808 |        0 |        0
1631.71/1632.11	c 1632s |      26 | 14505247 | 11073452 |     2594   9818 |        0 |        0
1633.71/1634.12	c 1634s |      26 | 14522760 | 11086452 |     2594   9828 |        0 |        0
1635.70/1636.14	c 1636s |      26 | 14540818 | 11100052 |     2594   9838 |        0 |        0
1637.70/1638.14	c 1638s |      26 | 14557335 | 11113352 |     2594   9847 |        0 |        0
1639.71/1640.15	c 1640s |      26 | 14573474 | 11126152 |     2594   9856 |        0 |        0
1641.70/1642.16	c 1642s |      26 | 14589691 | 11139152 |     2594   9866 |        0 |        0
1643.70/1644.16	c 1644s |      26 | 14606080 | 11151752 |     2594   9875 |        0 |        0
1645.70/1646.18	c 1646s |      26 | 14622102 | 11164552 |     2594   9884 |        0 |        0
1647.70/1648.19	c 1648s |      26 | 14638475 | 11177352 |     2594   9893 |        0 |        0
1649.80/1650.20	c 1650s |      26 | 14653656 | 11189152 |     2594   9902 |        0 |        0
1651.81/1652.22	c 1652s |      26 | 14669728 | 11201852 |     2594   9911 |        0 |        0
1653.80/1654.22	c 1654s |      26 | 14687688 | 11215152 |     2594   9920 |        0 |        0
1655.79/1656.22	c 1656s |      26 | 14704924 | 11228252 |     2594   9930 |        0 |        0
1657.79/1658.23	c 1658s |      26 | 14720941 | 11240252 |     2594   9938 |        0 |        0
1659.79/1660.23	c 1660s |      26 | 14738296 | 11253752 |     2594   9948 |        0 |        0
1661.80/1662.26	c 1662s |      26 | 14754712 | 11267152 |     2594   9958 |        0 |        0
1663.79/1664.26	c 1664s |      26 | 14770542 | 11279652 |     2594   9967 |        0 |        0
1665.78/1666.27	c 1666s |      26 | 14787292 | 11292952 |     2594   9976 |        0 |        0
1667.78/1668.29	c 1668s |      26 | 14803873 | 11305952 |     2594   9986 |        0 |        0
1669.88/1670.30	c 1670s |      26 | 14820716 | 11318952 |     2854   9995 |        0 |        0
1671.88/1672.31	c 1672s |      26 | 14836028 | 11331052 |     2854  10003 |        0 |        0
1673.89/1674.33	c 1674s |      26 | 14851989 | 11343352 |     2854  10011 |        0 |        0
1675.87/1676.34	c 1676s |      26 | 14867908 | 11355852 |     2854  10019 |        0 |        0
1677.87/1678.34	c 1678s |      26 | 14882718 | 11367252 |     2854  10026 |        0 |        0
1679.87/1680.35	c 1680s |      26 | 14895381 | 11377852 |     2854  10033 |        0 |        0
1681.87/1682.36	c 1682s |      26 | 14911501 | 11389752 |     2854  10041 |        0 |        0
1683.07/1683.50	c 1683s |      27 | 14920517 | 11396733 |     2854  10046 |        0 |        0
1685.07/1685.52	c 1685s |      27 | 14936716 | 11409633 |     2854  10054 |        0 |        0
1687.08/1687.52	c 1687s |      27 | 14952205 | 11421833 |     2854  10062 |        0 |        0
1689.07/1689.54	c 1689s |      27 | 14969605 | 11434533 |     2854  10071 |        0 |        0
1691.07/1691.55	c 1691s |      27 | 14987467 | 11447933 |     2854  10079 |        0 |        0
1693.07/1693.57	c 1693s |      27 | 15003813 | 11460533 |     2854  10088 |        0 |        0
1695.07/1695.57	c 1695s |      27 | 15019462 | 11472733 |     2854  10096 |        0 |        0
1697.06/1697.59	c 1697s |      27 | 15035457 | 11485233 |     2854  10104 |        0 |        0
1699.07/1699.59	c 1699s |      27 | 15051429 | 11497533 |     2854  10112 |        0 |        0
1701.06/1701.59	c 1701s |      27 | 15067934 | 11510033 |     2854  10120 |        0 |        0
1703.16/1703.60	c 1703s |      27 | 15085915 | 11523433 |     2854  10129 |        0 |        0
1705.16/1705.61	c 1705s |      27 | 15101009 | 11534933 |     2854  10136 |        0 |        0
1707.15/1707.62	c 1707s |      27 | 15118301 | 11548033 |     2854  10145 |        0 |        0
1709.15/1709.63	c 1709s |      27 | 15135294 | 11560933 |     2854  10153 |        0 |        0
1711.16/1711.65	c 1711s |      27 | 15151376 | 11573533 |     2854  10162 |        0 |        0
1713.15/1713.65	c 1713s |      27 | 15167428 | 11586133 |     2854  10170 |        0 |        0
1715.15/1715.65	c 1715s |      27 | 15182972 | 11598133 |     2854  10178 |        0 |        0
1717.14/1717.67	c 1717s |      27 | 15197751 | 11610233 |     2854  10186 |        0 |        0
1719.15/1719.68	c 1719s |      27 | 15213855 | 11622933 |     2854  10194 |        0 |        0
1721.16/1721.69	c 1721s |      27 | 15228895 | 11634433 |     2854  10201 |        0 |        0
1723.15/1723.70	c 1723s |      27 | 15243029 | 11645433 |     2854  10209 |        0 |        0
1725.24/1725.71	c 1725s |      27 | 15257944 | 11657133 |     2854  10216 |        0 |        0
1727.24/1727.72	c 1727s |      27 | 15274086 | 11669633 |     2854  10225 |        0 |        0
1729.24/1729.72	c 1729s |      27 | 15289950 | 11681933 |     2854  10233 |        0 |        0
1731.24/1731.72	c 1731s |      27 | 15306149 | 11694133 |     2854  10241 |        0 |        0
1733.24/1733.72	c 1733s |      27 | 15322329 | 11706333 |     2854  10249 |        0 |        0
1735.24/1735.74	c 1735s |      27 | 15338198 | 11718433 |     2854  10257 |        0 |        0
1737.23/1737.74	c 1737s |      27 | 15354153 | 11730533 |     2854  10264 |        0 |        0
1739.23/1739.76	c 1739s |      27 | 15369301 | 11742133 |     2854  10272 |        0 |        0
1741.23/1741.76	c 1741s |      27 | 15386947 | 11755333 |     2854  10281 |        0 |        0
1743.23/1743.77	c 1743s |      27 | 15404688 | 11768533 |     2854  10289 |        0 |        0
1745.23/1745.78	c 1745s |      27 | 15422949 | 11782133 |     2854  10298 |        0 |        0
1747.23/1747.79	c 1747s |      27 | 15439943 | 11795133 |     2854  10307 |        0 |        0
1749.33/1749.81	c 1749s |      27 | 15456807 | 11807933 |     2854  10315 |        0 |        0
1751.33/1751.81	c 1751s |      27 | 15473312 | 11820433 |     2854  10323 |        0 |        0
1753.33/1753.81	c 1753s |      27 | 15489523 | 11832933 |     2854  10331 |        0 |        0
1755.33/1755.83	c 1755s |      27 | 15507639 | 11846733 |     2854  10340 |        0 |        0
1757.33/1757.83	c 1757s |      27 | 15524926 | 11859833 |     2854  10349 |        0 |        0
1759.33/1759.84	c 1759s |      27 | 15541183 | 11872233 |     2854  10357 |        0 |        0
1761.33/1761.85	c 1761s |      27 | 15557593 | 11884833 |     2854  10365 |        0 |        0
1763.33/1763.86	c 1763s |      27 | 15575013 | 11897733 |     2854  10374 |        0 |        0
1765.33/1765.88	c 1765s |      27 | 15591084 | 11910133 |     2854  10382 |        0 |        0
1767.33/1767.89	c 1767s |      27 | 15607160 | 11922433 |     2854  10390 |        0 |        0
1769.32/1769.89	c 1769s |      27 | 15623929 | 11935033 |     2854  10398 |        0 |        0
1771.32/1771.89	c 1771s |      27 | 15641208 | 11948033 |     2854  10407 |        0 |        0
1773.42/1773.90	c 1773s |      27 | 15659843 | 11961933 |     2854  10416 |        0 |        0
1775.42/1775.90	c 1775s |      27 | 15676584 | 11974833 |     2854  10425 |        0 |        0
1777.41/1777.91	c 1777s |      27 | 15694718 | 11988633 |     2854  10434 |        0 |        0
1779.42/1779.91	c 1779s |      27 | 15712257 | 12001933 |     2854  10442 |        0 |        0
1781.41/1781.92	c 1781s |      27 | 15728009 | 12014633 |     2854  10451 |        0 |        0
1783.41/1783.93	c 1783s |      27 | 15745758 | 12028133 |     2854  10460 |        0 |        0
1785.41/1785.94	c 1785s |      27 | 15763157 | 12041333 |     2854  10468 |        0 |        0
1787.41/1787.95	c 1787s |      27 | 15780666 | 12054733 |     2854  10477 |        0 |        0
1789.41/1789.96	c 1789s |      27 | 15795793 | 12066233 |     2854  10484 |        0 |        0
1791.41/1791.96	c 1791s |      27 | 15811409 | 12078233 |     2854  10492 |        0 |        0
1793.40/1793.96	c 1793s |      27 | 15827338 | 12090633 |     2854  10500 |        0 |        0
1795.40/1795.98	c 1795s |      27 | 15843063 | 12102833 |     2854  10509 |        0 |        0
1797.40/1797.98	c 1797s |      27 | 15859243 | 12114833 |     2854  10516 |        0 |        0
1799.50/1800.01	c 1799s |      27 | 15875900 | 12127233 |     2854  10525 |        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-4095826-1466097108/watcher-4095826-1466097108 -o /tmp/evaluation-result-4095826-1466097108/solver-4095826-1466097108 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466097108-24736 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095826-1466097108.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.16 1.75 2.01 4/175 24764
/proc/meminfo: memFree=30798164/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=634300 CPUtime=0 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 2350 0 0 0 0 0 0 0 20 0 4 0 11759834 649523200 3222 33554432000 4194304 16246674 140736777556080 140736777555504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 159343 3231 441 2943 0 156237 0
[pid=24764/tid=24768] ppid=24758 vsize=651708 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 667348992 3290 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=655804 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 671543296 3306 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=660924 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 676786176 3323 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 1.16 1.75 2.01 4/175 24764
/proc/meminfo: memFree=30798164/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 24431 0 0 0 6 3 0 0 20 0 4 0 11759834 1247350784 25292 33554432000 4194304 16246674 140736777556080 140736777555504 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 304529 25300 712 2943 0 301423 0
[pid=24764/tid=24768] ppid=24758 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 25306 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 25313 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 25318 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200445 s]
/proc/loadavg: 1.16 1.75 2.01 4/175 24764
/proc/meminfo: memFree=30798164/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 47443 0 0 0 13 6 0 0 20 0 4 0 11759834 1247350784 48304 33554432000 4194304 16246674 140736777556080 140736777555504 13192590 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 304529 48312 712 2943 0 301423 0
[pid=24764/tid=24768] ppid=24758 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 48319 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 48328 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 48333 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30045 s]
/proc/loadavg: 1.16 1.75 2.01 4/175 24764
/proc/meminfo: memFree=30798164/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 70260 0 0 0 20 8 0 0 20 0 4 0 11759834 1247350784 71122 33554432000 4194304 16246674 140736777556080 140736777555504 5667714 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 304529 71130 712 2943 0 301423 0
[pid=24764/tid=24768] ppid=24758 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 71138 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 71144 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 71150 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700406 s]
/proc/loadavg: 1.16 1.75 2.01 4/175 24764
/proc/meminfo: memFree=30798164/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 160676 0 0 0 48 21 0 0 20 0 4 0 11759834 1247350784 161538 33554432000 4194304 16246674 140736777556080 140736777537984 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 304529 161548 712 2943 0 301423 0
[pid=24764/tid=24768] ppid=24758 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 161552 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 161559 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1247350784 161569 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 1.23 1.76 2.01 5/183 24772
/proc/meminfo: memFree=28830608/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 245704 0 0 0 114 34 0 0 20 0 4 0 11759834 1248399360 246545 33554432000 4194304 16246674 140736777556080 140736777539080 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 304785 246545 787 2943 0 301679 0
[pid=24764/tid=24768] ppid=24758 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1248399360 246545 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1248399360 246545 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1248399360 246545 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 1.23 1.76 2.01 5/183 24772
/proc/meminfo: memFree=28655892/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 267483 0 0 0 271 38 0 0 20 0 4 0 11759834 1337528320 268324 33554432000 4194304 16246674 140736777556080 140736777539080 5861812 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 326545 268324 787 2943 0 323439 0
[pid=24764/tid=24768] ppid=24758 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 268324 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 268324 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1337528320 268324 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 1.37 1.78 2.02 4/183 24772
/proc/meminfo: memFree=28651844/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 267768 0 0 0 591 38 0 0 20 0 4 0 11759834 1338576896 268609 33554432000 4194304 16246674 140736777556080 140736777539080 5676613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 326801 268609 788 2943 0 323695 0
[pid=24764/tid=24768] ppid=24758 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268609 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268609 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1338576896 268609 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.42 1.78 2.02 4/183 24772
/proc/meminfo: memFree=28652004/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 267848 0 0 0 1231 38 0 0 20 0 4 0 11759834 1339625472 268689 33554432000 4194304 16246674 140736777556080 140736777539080 13198652 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 327057 268689 788 2943 0 323951 0
[pid=24764/tid=24768] ppid=24758 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1339625472 268689 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1339625472 268689 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1339625472 268689 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 1.55 1.79 2.02 4/183 24772
/proc/meminfo: memFree=28652060/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1309252 CPUtime=25.48 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 268096 0 0 0 2510 38 0 0 20 0 4 0 11759834 1340674048 268937 33554432000 4194304 16246674 140736777556080 140736777539080 6842531 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 327313 268937 790 2943 0 324207 0
[pid=24764/tid=24768] ppid=24758 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1340674048 268937 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1340674048 268937 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1340674048 268937 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 1.70 1.81 2.01 4/183 24772
/proc/meminfo: memFree=28651448/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1309252 CPUtime=51.08 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 268225 0 0 0 5069 39 0 0 20 0 4 0 11759834 1340674048 269066 33554432000 4194304 16246674 140736777556080 140736777539080 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 327313 269066 790 2943 0 324207 0
[pid=24764/tid=24768] ppid=24758 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1340674048 269066 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1340674048 269066 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1340674048 269066 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.02 1.87 2.02 4/183 24773
/proc/meminfo: memFree=28650988/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 268225 0 0 0 10188 40 0 0 20 0 4 0 11759834 1340674048 269066 33554432000 4194304 16246674 140736777556080 140736777539080 5822488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 327313 269066 790 2943 0 324207 0
[pid=24764/tid=24768] ppid=24758 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1340674048 269066 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1340674048 269066 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1340674048 269066 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1344868352 270204 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.03 2.15 2.10 4/183 24805
/proc/meminfo: memFree=28639852/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1316420 CPUtime=1362.09 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 270124 0 0 0 136143 66 0 0 20 0 4 0 11759834 1348014080 270965 33554432000 4194304 16246674 140736777556080 140736777537984 6011070 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 329105 270965 791 2943 0 325999 0
[pid=24764/tid=24768] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270965 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270965 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270965 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.23 2.19 2.12 4/183 24806
/proc/meminfo: memFree=28639000/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1316420 CPUtime=1422.06 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 270154 0 0 0 142139 67 0 0 20 0 4 0 11759834 1348014080 270968 33554432000 4194304 16246674 140736777556080 140736777537984 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 329105 270968 791 2943 0 325999 0
[pid=24764/tid=24768] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270968 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270968 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270968 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.19 2.18 2.12 4/183 24807
/proc/meminfo: memFree=28639156/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1316420 CPUtime=1482.01 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 270197 0 0 0 148133 68 0 0 20 0 4 0 11759834 1348014080 270969 33554432000 4194304 16246674 140736777556080 140736777555176 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 329105 270969 792 2943 0 325999 0
[pid=24764/tid=24768] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270969 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270969 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270969 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1316420

[startup+1542.31 s]
/proc/loadavg: 2.16 2.18 2.12 4/183 24808
/proc/meminfo: memFree=28639016/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1316420 CPUtime=1541.98 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 270244 0 0 0 154128 70 0 0 20 0 4 0 11759834 1348014080 270969 33554432000 4194304 16246674 140736777556080 140736777539080 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 329105 270969 792 2943 0 325999 0
[pid=24764/tid=24768] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270969 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270969 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270969 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1316420

[startup+1602.3 s]
/proc/loadavg: 2.14 2.17 2.12 4/183 24809
/proc/meminfo: memFree=28638944/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1316420 CPUtime=1601.93 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 270294 0 0 0 160122 71 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140736777537984 5673507 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 329105 270976 792 2943 0 325999 0
[pid=24764/tid=24768] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.05 2.14 2.10 4/183 24811
/proc/meminfo: memFree=28638724/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1316420 CPUtime=1661.89 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 270342 0 0 0 166117 72 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140736777539080 5677190 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 329105 270976 792 2943 0 325999 0
[pid=24764/tid=24768] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.02 2.11 2.09 4/184 24815
/proc/meminfo: memFree=28638472/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1316420 CPUtime=1721.85 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 270387 0 0 0 172111 74 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140736777539080 5676564 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 329105 270976 792 2943 0 325999 0
[pid=24764/tid=24768] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.04 2.10 2.09 4/183 24816
/proc/meminfo: memFree=28638268/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1316420 CPUtime=1781.81 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 270431 0 0 0 178106 75 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140736777539080 5823723 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 329105 270976 792 2943 0 325999 0
[pid=24764/tid=24768] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.03 2.10 2.09 4/183 24816
/proc/meminfo: memFree=28638608/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1316420 CPUtime=1800 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 270447 0 0 0 179925 75 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140736777539080 5667313 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 329105 270976 792 2943 0 325999 0
[pid=24764/tid=24768] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1316420

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

[startup+1800.5 s]
/proc/loadavg: 2.03 2.10 2.09 4/183 24816
/proc/meminfo: memFree=28638608/32872528 swapFree=1103228/1182944
[pid=24764] ppid=24758 vsize=1316420 CPUtime=1800 cores=1,3,5,7
/proc/24764/stat : 24764 (toysat) R 24758 24764 24719 0 -1 4202496 270447 0 0 0 179925 75 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140736777539080 5667313 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24764/statm: 329105 270976 792 2943 0 325999 0
[pid=24764/tid=24768] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24768/stat : 24768 (toysat) S 24758 24764 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140601051819248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24764/tid=24769] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24769/stat : 24769 (toysat) S 24758 24764 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140601041329392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24764/tid=24770] ppid=24758 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/24764/task/24770/stat : 24770 (toysat) S 24758 24764 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11759834 1348014080 270976 33554432000 4194304 16246674 140736777556080 140600921812144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1316420

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.03
CPU user time (s): 1799.26
CPU system time (s): 0.774882
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 0.774882
maximum resident set size= 1083904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270447
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= 328
involuntary context switches= 1900

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.21836 second user time and 7.34788 second system time

The end

Begin job on node115 at 2016-06-16 19:11:49
IDJOB=4095826
IDBENCH=107527
IDSOLVER=2542
FILE ID=node115/4095826-1466097108
RUNJOBID= node115-1466097108-24736
PBS_JOBID= 19904041
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-80.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4095826-1466097108/watcher-4095826-1466097108 -o /tmp/evaluation-result-4095826-1466097108/solver-4095826-1466097108 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466097108-24736 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095826-1466097108.opb

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

MD5SUM BENCH= 7252c450a54057e0dead901a0d8bfcf7
RANDOM SEED=353883867

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        30799716 kB
Buffers:           46408 kB
Cached:           138384 kB
SwapCached:         2104 kB
Active:           102720 kB
Inactive:          84728 kB
Active(anon):       3516 kB
Inactive(anon):     1636 kB
Active(file):      99204 kB
Inactive(file):    83092 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:             32664 kB
Writeback:             0 kB
AnonPages:       1185000 kB
Mapped:             7128 kB
Shmem:                 0 kB
Slab:             568980 kB
SReclaimable:      13444 kB
SUnreclaim:       555536 kB
KernelStack:        1336 kB
PageTables:         6284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1279096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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= 71712 MiB
End job on node115 at 2016-06-16 19:41:49