0.00/0.00	c 2016-06-30T20:51:38+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-4120898-1467312698.opb"]
0.00/0.01	c use --random-gen="2245627847 3454070248 4014115364 3127094593 2673266822 4175626868 2226869587 376568419 2292272969 3319186183 1514452191 2836644704 2925946136 3971322876 1977543923 1334247591 2795992984 2445226738 3538464930 1570674693 2154755566 3672079230 3281533230 3400625583 4233435263 1666508562 231437745 1549596714 616103584 3872473337 527649169 1027344838 3382846246 1097856895 1982768644 318589500 824568978 4259628267 1443652681 381008743 2074144753 3373392111 2728543528 1409483414 1560019789 1336669460 1684088452 3352373579 3513529311 260456708 4252617333 176200646 2886792310 806758910 435875176 3771713048 1260752843 3478093416 2614047426 565990681 894554 1785731625 1423279158 3003247859 104000735 3653479410 1989497729 1423201779 3439838908 860793978 1782303023 2315119681 628970018 964254834 3474420820 2277126108 3328955565 1872519414 792990865 3184230222 955666393 64183643 2323218531 4111301961 3869947955 1454816743 1760652502 3788588687 2750947875 1116580249 2362665417 1140991196 2948277070 4289398763 499025661 2721555715 3494425724 2061442208 105758203 4181188695 1073824144 3865034447 2265239162 3460109395 1821401068 571682692 795354865 3295978628 2476866824 3502165235 3824334547 2624549259 2681349048 3122890740 3835305813 1903506030 2375823997 3800732249 2945554477 1365253863 3917917079 2558313919 477227371 3652961098 3936554286 3381102519 1639048308 2359175232 856743504 3497339099 4096689667 3283779800 3370633534 3166101843 2046526732 607009609 3034172280 3204625734 1041044688 174645315 3159616609 2944144970 593477085 299602347 1730089812 951051481 657583731 1985569918 1316099302 1493878054 3385839193 2862591911 2226855262 3147477981 2709293493 916019619 2845391081 4279014851 3143749404 1595793146 612510546 127906042 3348229804 367009452 2799209336 2203252347 4170364380 3351324553 2124519308 1970500875 2978072560 2107290207 4042928293 1102152090 2710247215 3643081731 1171314230 1789887669 3463746796 1325666681 193194891 3332123388 1545702424 1030591825 2345638187 1323206506 1752461070 3009845277 2765990551 2216958333 2028667519 2330083501 4019321619 467850967 1687338588 2472290187 442940282 724238783 1752448285 431228289 3361691407 2538494876 928850962 2941868486 3476181618 3093040139 970900878 3127764681 422817454 2066963458 3590479497 3820032719 1404363768 2267658489 2736228816 1701400361 2237184990 1540607616 4237572967 3483765182 3872890401 2241892738 719650163 2074817290 1969647459 3263008579 989125135 4081693405 319339622 2133835784 2654349469 362532043 3507417326 3818767458 4039498261 3971041056 2870148617 1549040189 3160168087 1808208774 1422584690 404275947 1494384360 2607263110 700582739 3286625171 3780784381 186246794 2611888958 823398372 667257836 1397577336 797503645 9463467 2119742213 2562691101 255 362436" option to reproduce the execution
0.00/0.01	c #vars 273
0.00/0.01	c #constraints 272
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 |      181      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      153 |      100 |      181      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      368 |      250 |      200      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      716 |      475 |      221      1 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1190 |      813 |      244      3 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1890 |     1320 |      269      5 |        0 |        0
0.19/0.23	c  0.2s |       6 |     2907 |     2081 |      326      8 |        0 |        0
0.29/0.35	c  0.3s |       7 |     4379 |     3223 |      359     14 |        0 |        0
0.49/0.55	c  0.5s |       8 |     6743 |     4936 |      395     20 |        0 |        0
0.79/0.85	c  0.8s |       9 |     9830 |     7506 |      435     29 |        0 |        0
1.20/1.22	c  1.2s |      10 |    16042 |    11361 |      479     43 |        0 |        0
1.69/1.75	c  1.7s |      11 |    23299 |    17144 |      527     61 |        0 |        0
2.49/2.50	c  2.5s |      12 |    35814 |    25819 |      580     87 |        0 |        0
3.59/3.66	c  3.6s |      13 |    53931 |    38832 |      638    123 |        0 |        0
5.29/5.37	c  5.4s |      14 |    82427 |    58352 |      702    174 |        0 |        0
7.29/7.38	c  7.4s |      14 |   108549 |    77852 |      702    221 |        0 |        0
8.29/8.36	c  8.3s |      15 |   122371 |    87632 |      773    244 |        0 |        0
10.29/10.36	c 10.3s |      15 |   149932 |   107532 |      773    287 |        0 |        0
12.30/12.37	c 12.4s |      15 |   181714 |   129032 |      773    336 |        0 |        0
12.49/12.59	c 12.6s |      16 |   185218 |   131552 |      851    342 |        0 |        0
14.59/14.60	c 14.6s |      16 |   215636 |   152352 |      851    385 |        0 |        0
16.59/16.61	c 16.6s |      16 |   247571 |   173052 |      851    428 |        0 |        0
18.59/18.61	c 18.6s |      16 |   277529 |   193552 |      851    471 |        0 |        0
18.99/19.03	c 19.0s |      17 |   283816 |   197432 |      937    479 |        0 |        0
20.99/21.03	c 21.0s |      17 |   314851 |   218532 |      937    518 |        0 |        0
22.99/23.03	c 23.0s |      17 |   345303 |   238832 |      937    556 |        0 |        0
24.99/25.04	c 25.0s |      17 |   372192 |   258832 |      937    593 |        0 |        0
26.98/27.04	c 27.0s |      17 |   400141 |   278032 |      937    629 |        0 |        0
28.79/28.81	c 28.8s |      18 |   424956 |   296252 |     1031    663 |        0 |        0
30.78/30.82	c 30.8s |      18 |   451590 |   315152 |     1031    696 |        0 |        0
32.78/32.83	c 32.8s |      18 |   478372 |   333952 |     1031    728 |        0 |        0
34.78/34.83	c 34.8s |      18 |   506301 |   353252 |     1031    761 |        0 |        0
36.78/36.84	c 36.8s |      18 |   535666 |   373052 |     1031    795 |        0 |        0
38.79/38.84	c 38.8s |      18 |   563045 |   392352 |     1031    829 |        0 |        0
40.79/40.85	c 40.8s |      18 |   592769 |   412252 |     1031    864 |        0 |        0
42.79/42.85	c 42.8s |      18 |   620404 |   431252 |     1031    897 |        0 |        0
44.29/44.31	c 44.3s |      19 |   639319 |   444482 |     1135    919 |        0 |        0
46.29/46.32	c 46.3s |      19 |   661081 |   461582 |     1135    946 |        0 |        0
48.29/48.32	c 48.3s |      19 |   686785 |   479682 |     1135    975 |        0 |        0
50.29/50.32	c 50.3s |      19 |   712980 |   499182 |     1135   1006 |        0 |        0
52.29/52.33	c 52.3s |      19 |   739817 |   518382 |     1135   1037 |        0 |        0
54.28/54.34	c 54.3s |      19 |   764179 |   535982 |     1135   1066 |        0 |        0
56.29/56.35	c 56.3s |      19 |   788194 |   553682 |     1135   1095 |        0 |        0
58.28/58.35	c 58.3s |      19 |   815201 |   572682 |     1135   1125 |        0 |        0
60.28/60.35	c 60.3s |      19 |   842098 |   591482 |     1135   1155 |        0 |        0
62.28/62.35	c 62.3s |      19 |   864407 |   606582 |     1135   1180 |        0 |        0
64.28/64.37	c 64.4s |      19 |   890151 |   623482 |     1135   1208 |        0 |        0
66.28/66.37	c 66.4s |      19 |   913448 |   640082 |     1135   1235 |        0 |        0
68.29/68.38	c 68.4s |      19 |   937882 |   657782 |     1135   1264 |        0 |        0
69.28/69.34	c 69.3s |      20 |   950443 |   666827 |     1249   1278 |        0 |        0
71.28/71.35	c 71.3s |      20 |   974965 |   684627 |     1249   1304 |        0 |        0
73.28/73.35	c 73.3s |      20 |  1000064 |   702227 |     1249   1330 |        0 |        0
75.28/75.35	c 75.3s |      20 |  1026618 |   720927 |     1249   1358 |        0 |        0
77.28/77.36	c 77.3s |      20 |  1055709 |   740527 |     1249   1388 |        0 |        0
79.28/79.36	c 79.3s |      20 |  1084966 |   759927 |     1249   1418 |        0 |        0
81.28/81.37	c 81.4s |      20 |  1110893 |   778227 |     1249   1446 |        0 |        0
83.28/83.37	c 83.4s |      20 |  1136167 |   796027 |     1249   1472 |        0 |        0
85.27/85.38	c 85.4s |      20 |  1161331 |   813427 |     1249   1497 |        0 |        0
87.27/87.39	c 87.4s |      20 |  1185519 |   830727 |     1249   1522 |        0 |        0
89.37/89.40	c 89.4s |      20 |  1210147 |   848427 |     1249   1549 |        0 |        0
91.38/91.41	c 91.4s |      20 |  1237518 |   867127 |     1249   1576 |        0 |        0
93.37/93.41	c 93.4s |      20 |  1260239 |   883627 |     1249   1600 |        0 |        0
95.37/95.42	c 95.4s |      20 |  1286560 |   901727 |     1249   1627 |        0 |        0
97.37/97.43	c 97.4s |      20 |  1313552 |   920227 |     1249   1655 |        0 |        0
99.38/99.44	c 99.4s |      20 |  1335565 |   936627 |     1249   1679 |        0 |        0
101.39/101.45	c  101s |      20 |  1360028 |   953927 |     1249   1704 |        0 |        0
103.38/103.45	c  103s |      20 |  1383237 |   971027 |     1249   1730 |        0 |        0
105.38/105.45	c  105s |      20 |  1405966 |   987427 |     1249   1754 |        0 |        0
106.88/106.98	c  106s |      21 |  1423814 |  1000345 |     1374   1772 |        0 |        0
108.88/108.99	c  108s |      21 |  1451912 |  1019245 |     1374   1798 |        0 |        0
110.88/110.99	c  110s |      21 |  1477149 |  1036945 |     1374   1822 |        0 |        0
112.87/112.99	c  112s |      21 |  1502397 |  1054545 |     1374   1846 |        0 |        0
114.97/115.01	c  114s |      21 |  1529006 |  1073345 |     1374   1872 |        0 |        0
116.97/117.01	c  116s |      21 |  1552955 |  1090545 |     1374   1895 |        0 |        0
118.98/119.02	c  119s |      21 |  1577457 |  1107745 |     1374   1918 |        0 |        0
120.97/121.02	c  121s |      21 |  1601902 |  1124745 |     1374   1941 |        0 |        0
122.97/123.03	c  123s |      21 |  1625369 |  1141945 |     1374   1965 |        0 |        0
124.97/125.04	c  125s |      21 |  1649796 |  1159045 |     1374   1988 |        0 |        0
126.97/127.04	c  127s |      21 |  1674521 |  1176145 |     1374   2012 |        0 |        0
128.98/129.04	c  129s |      21 |  1699518 |  1193645 |     1374   2036 |        0 |        0
130.98/131.05	c  131s |      21 |  1722107 |  1210345 |     1374   2058 |        0 |        0
132.97/133.05	c  133s |      21 |  1746244 |  1226945 |     1374   2080 |        0 |        0
134.97/135.05	c  135s |      21 |  1771326 |  1244545 |     1374   2105 |        0 |        0
136.97/137.06	c  137s |      21 |  1795274 |  1261145 |     1374   2128 |        0 |        0
138.97/139.08	c  139s |      21 |  1818851 |  1277145 |     1374   2149 |        0 |        0
140.98/141.08	c  141s |      21 |  1842275 |  1294045 |     1374   2172 |        0 |        0
142.97/143.09	c  143s |      21 |  1865961 |  1311045 |     1374   2194 |        0 |        0
145.07/145.10	c  145s |      21 |  1889630 |  1327145 |     1374   2216 |        0 |        0
147.07/147.10	c  147s |      21 |  1911923 |  1343245 |     1374   2238 |        0 |        0
149.07/149.11	c  149s |      21 |  1937370 |  1361145 |     1374   2263 |        0 |        0
151.07/151.12	c  151s |      21 |  1961769 |  1378045 |     1374   2286 |        0 |        0
153.07/153.13	c  153s |      21 |  1983014 |  1393545 |     1374   2307 |        0 |        0
155.07/155.14	c  155s |      21 |  2007145 |  1410345 |     1374   2330 |        0 |        0
157.07/157.15	c  157s |      21 |  2029975 |  1426545 |     1374   2353 |        0 |        0
159.06/159.15	c  159s |      21 |  2053369 |  1442645 |     1374   2375 |        0 |        0
161.06/161.15	c  161s |      21 |  2077527 |  1459745 |     1374   2398 |        0 |        0
163.06/163.16	c  163s |      21 |  2099219 |  1475445 |     1374   2420 |        0 |        0
165.07/165.16	c  165s |      21 |  2122318 |  1491245 |     1512   2442 |        0 |        0
166.27/166.38	c  166s |      22 |  2135681 |  1500622 |     1512   2454 |        0 |        0
168.26/168.39	c  168s |      22 |  2157655 |  1516822 |     1512   2473 |        0 |        0
170.26/170.39	c  170s |      22 |  2180328 |  1533822 |     1512   2494 |        0 |        0
172.36/172.40	c  172s |      22 |  2200187 |  1549222 |     1512   2513 |        0 |        0
174.36/174.40	c  174s |      22 |  2222942 |  1566122 |     1512   2534 |        0 |        0
176.36/176.41	c  176s |      22 |  2246706 |  1583222 |     1512   2555 |        0 |        0
178.37/178.42	c  178s |      22 |  2270346 |  1600422 |     1512   2576 |        0 |        0
180.36/180.42	c  180s |      22 |  2294530 |  1618122 |     1512   2598 |        0 |        0
182.37/182.43	c  182s |      22 |  2317561 |  1635622 |     1512   2620 |        0 |        0
184.37/184.43	c  184s |      22 |  2340401 |  1653122 |     1512   2641 |        0 |        0
186.37/186.44	c  186s |      22 |  2364971 |  1671122 |     1512   2664 |        0 |        0
188.36/188.45	c  188s |      22 |  2389589 |  1689222 |     1512   2686 |        0 |        0
190.37/190.45	c  190s |      22 |  2413791 |  1707322 |     1512   2709 |        0 |        0
192.36/192.46	c  192s |      22 |  2439659 |  1726022 |     1512   2732 |        0 |        0
194.36/194.46	c  194s |      22 |  2464212 |  1744222 |     1512   2755 |        0 |        0
196.36/196.46	c  196s |      22 |  2488647 |  1762222 |     1512   2778 |        0 |        0
198.36/198.46	c  198s |      22 |  2512056 |  1779322 |     1512   2799 |        0 |        0
200.37/200.47	c  200s |      22 |  2535000 |  1796322 |     1512   2820 |        0 |        0
202.36/202.47	c  202s |      22 |  2557401 |  1813122 |     1512   2841 |        0 |        0
204.36/204.48	c  204s |      22 |  2579956 |  1829822 |     1512   2861 |        0 |        0
206.36/206.49	c  206s |      22 |  2604283 |  1847622 |     1512   2883 |        0 |        0
208.36/208.49	c  208s |      22 |  2626621 |  1864322 |     1512   2904 |        0 |        0
210.36/210.49	c  210s |      22 |  2649104 |  1881122 |     1512   2924 |        0 |        0
212.36/212.50	c  212s |      22 |  2673303 |  1898722 |     1512   2946 |        0 |        0
214.46/214.50	c  214s |      22 |  2695765 |  1915322 |     1512   2967 |        0 |        0
216.46/216.50	c  216s |      22 |  2718449 |  1932122 |     1512   2987 |        0 |        0
218.45/218.51	c  218s |      22 |  2743321 |  1950522 |     1512   3010 |        0 |        0
220.45/220.52	c  220s |      22 |  2769140 |  1969722 |     1512   3033 |        0 |        0
222.45/222.52	c  222s |      22 |  2793295 |  1988022 |     1512   3055 |        0 |        0
224.46/224.53	c  224s |      22 |  2816702 |  2006122 |     1512   3077 |        0 |        0
226.45/226.53	c  226s |      22 |  2839556 |  2024022 |     1512   3099 |        0 |        0
228.45/228.54	c  228s |      22 |  2863336 |  2042222 |     1512   3121 |        0 |        0
230.45/230.54	c  230s |      22 |  2887447 |  2060422 |     1512   3143 |        0 |        0
232.45/232.55	c  232s |      22 |  2910176 |  2077922 |     1512   3164 |        0 |        0
234.46/234.56	c  234s |      22 |  2932937 |  2095222 |     1512   3185 |        0 |        0
236.46/236.56	c  236s |      22 |  2955362 |  2112722 |     1512   3206 |        0 |        0
238.46/238.56	c  238s |      22 |  2979830 |  2131322 |     1512   3229 |        0 |        0
240.46/240.56	c  240s |      22 |  3004302 |  2149922 |     1512   3251 |        0 |        0
242.46/242.56	c  242s |      22 |  3027588 |  2167822 |     1512   3273 |        0 |        0
244.46/244.57	c  244s |      22 |  3049916 |  2185322 |     1512   3294 |        0 |        0
246.46/246.57	c  246s |      22 |  3073349 |  2203222 |     1512   3316 |        0 |        0
248.46/248.57	c  248s |      22 |  3096243 |  2220722 |     1512   3337 |        0 |        0
250.45/250.58	c  250s |      22 |  3117738 |  2237622 |     1664   3357 |        0 |        0
251.96/252.07	c  252s |      23 |  3135603 |  2251038 |     1664   3372 |        0 |        0
253.95/254.08	c  254s |      23 |  3155923 |  2266738 |     1664   3389 |        0 |        0
255.95/256.10	c  256s |      23 |  3175590 |  2282038 |     1664   3406 |        0 |        0
258.05/258.10	c  258s |      23 |  3195873 |  2297638 |     1664   3423 |        0 |        0
260.05/260.11	c  260s |      23 |  3213277 |  2311838 |     1664   3438 |        0 |        0
262.05/262.11	c  262s |      23 |  3233979 |  2327838 |     1664   3456 |        0 |        0
264.06/264.11	c  264s |      23 |  3254826 |  2344138 |     1664   3474 |        0 |        0
266.05/266.11	c  266s |      23 |  3276570 |  2360738 |     1664   3492 |        0 |        0
268.05/268.12	c  268s |      23 |  3299782 |  2377638 |     1664   3511 |        0 |        0
270.05/270.12	c  270s |      23 |  3322618 |  2394638 |     1664   3530 |        0 |        0
272.05/272.12	c  272s |      23 |  3341012 |  2409238 |     1664   3546 |        0 |        0
274.05/274.12	c  274s |      23 |  3360934 |  2424338 |     1664   3563 |        0 |        0
276.05/276.12	c  276s |      23 |  3380232 |  2439138 |     1664   3580 |        0 |        0
278.04/278.14	c  278s |      23 |  3398046 |  2453438 |     1664   3596 |        0 |        0
280.04/280.14	c  280s |      23 |  3417178 |  2468038 |     1664   3612 |        0 |        0
282.04/282.14	c  282s |      23 |  3437001 |  2483238 |     1664   3629 |        0 |        0
284.04/284.16	c  284s |      23 |  3457914 |  2499138 |     1664   3646 |        0 |        0
286.05/286.16	c  286s |      23 |  3479489 |  2515438 |     1664   3665 |        0 |        0
288.04/288.16	c  288s |      23 |  3500865 |  2531338 |     1664   3682 |        0 |        0
290.04/290.17	c  290s |      23 |  3520441 |  2546238 |     1664   3699 |        0 |        0
292.04/292.18	c  292s |      23 |  3541537 |  2561738 |     1664   3716 |        0 |        0
294.05/294.19	c  294s |      23 |  3561823 |  2577138 |     1664   3733 |        0 |        0
296.06/296.19	c  296s |      23 |  3582950 |  2593038 |     1664   3751 |        0 |        0
298.05/298.19	c  298s |      23 |  3604540 |  2609238 |     1664   3769 |        0 |        0
300.15/300.20	c  300s |      23 |  3624464 |  2624938 |     1664   3786 |        0 |        0
302.15/302.20	c  302s |      23 |  3645705 |  2641038 |     1664   3804 |        0 |        0
304.15/304.20	c  304s |      23 |  3666873 |  2657138 |     1664   3822 |        0 |        0
306.15/306.21	c  306s |      23 |  3688359 |  2672938 |     1664   3840 |        0 |        0
308.15/308.21	c  308s |      23 |  3710759 |  2689638 |     1664   3859 |        0 |        0
310.15/310.22	c  310s |      23 |  3733090 |  2706638 |     1664   3877 |        0 |        0
312.15/312.22	c  312s |      23 |  3754195 |  2722738 |     1664   3895 |        0 |        0
314.15/314.24	c  314s |      23 |  3774719 |  2738138 |     1664   3913 |        0 |        0
316.15/316.25	c  316s |      23 |  3795978 |  2754238 |     1664   3931 |        0 |        0
318.14/318.25	c  318s |      23 |  3818571 |  2770638 |     1664   3949 |        0 |        0
320.15/320.26	c  320s |      23 |  3840066 |  2786438 |     1664   3966 |        0 |        0
322.14/322.27	c  322s |      23 |  3861427 |  2802438 |     1664   3984 |        0 |        0
324.14/324.27	c  324s |      23 |  3883309 |  2818938 |     1664   4003 |        0 |        0
326.14/326.28	c  326s |      23 |  3905596 |  2835638 |     1664   4021 |        0 |        0
328.14/328.29	c  328s |      23 |  3927667 |  2852538 |     1664   4040 |        0 |        0
330.14/330.29	c  330s |      23 |  3949351 |  2869038 |     1664   4059 |        0 |        0
332.24/332.31	c  332s |      23 |  3970691 |  2885038 |     1664   4077 |        0 |        0
334.24/334.31	c  334s |      23 |  3992558 |  2901538 |     1664   4095 |        0 |        0
336.24/336.32	c  336s |      23 |  4014376 |  2917738 |     1664   4113 |        0 |        0
338.24/338.33	c  338s |      23 |  4036145 |  2934038 |     1664   4131 |        0 |        0
340.24/340.33	c  340s |      23 |  4059677 |  2950938 |     1664   4150 |        0 |        0
342.24/342.35	c  342s |      23 |  4080797 |  2967338 |     1664   4169 |        0 |        0
344.23/344.35	c  344s |      23 |  4102696 |  2983238 |     1664   4186 |        0 |        0
346.23/346.35	c  346s |      23 |  4122571 |  2998838 |     1664   4204 |        0 |        0
348.24/348.35	c  348s |      23 |  4144984 |  3015638 |     1664   4222 |        0 |        0
350.24/350.35	c  350s |      23 |  4166113 |  3031738 |     1664   4240 |        0 |        0
352.24/352.36	c  352s |      23 |  4187227 |  3047838 |     1664   4258 |        0 |        0
354.25/354.36	c  354s |      23 |  4208093 |  3063738 |     1664   4276 |        0 |        0
356.24/356.37	c  356s |      23 |  4228463 |  3078538 |     1664   4292 |        0 |        0
358.24/358.38	c  358s |      23 |  4248054 |  3093538 |     1664   4309 |        0 |        0
360.34/360.40	c  360s |      23 |  4267261 |  3108438 |     1664   4326 |        0 |        0
362.34/362.41	c  362s |      23 |  4286764 |  3123138 |     1664   4342 |        0 |        0
364.34/364.41	c  364s |      23 |  4307720 |  3138938 |     1664   4360 |        0 |        0
366.34/366.42	c  366s |      23 |  4327378 |  3154238 |     1664   4377 |        0 |        0
368.34/368.42	c  368s |      23 |  4348211 |  3169838 |     1664   4394 |        0 |        0
370.33/370.42	c  370s |      23 |  4367472 |  3184938 |     1664   4411 |        0 |        0
372.33/372.43	c  372s |      23 |  4388277 |  3200638 |     1664   4428 |        0 |        0
374.33/374.44	c  374s |      23 |  4408112 |  3215838 |     1664   4445 |        0 |        0
376.34/376.45	c  376s |      23 |  4427166 |  3231238 |     1664   4462 |        0 |        0
378.33/378.45	c  378s |      23 |  4448221 |  3246638 |     1664   4479 |        0 |        0
380.34/380.46	c  380s |      23 |  4469727 |  3262738 |     1664   4497 |        0 |        0
382.33/382.46	c  382s |      23 |  4490428 |  3278338 |     1664   4515 |        0 |        0
384.33/384.46	c  384s |      23 |  4510802 |  3294738 |     1664   4533 |        0 |        0
386.33/386.47	c  386s |      23 |  4529357 |  3309838 |     1664   4550 |        0 |        0
388.34/388.47	c  388s |      23 |  4550036 |  3325738 |     1664   4568 |        0 |        0
390.33/390.48	c  390s |      23 |  4568305 |  3340538 |     1664   4584 |        0 |        0
392.33/392.50	c  392s |      23 |  4589033 |  3356538 |     1831   4601 |        0 |        0
394.43/394.50	c  394s |      23 |  4609301 |  3372338 |     1831   4617 |        0 |        0
394.94/395.04	c  395s |      24 |  4614974 |  3376662 |     1831   4622 |        0 |        0
396.93/397.04	c  397s |      24 |  4635064 |  3392162 |     1831   4638 |        0 |        0
398.93/399.05	c  399s |      24 |  4654714 |  3407362 |     1831   4653 |        0 |        0
400.93/401.06	c  401s |      24 |  4674236 |  3422162 |     1831   4668 |        0 |        0
402.93/403.07	c  403s |      24 |  4694181 |  3437362 |     1831   4683 |        0 |        0
404.94/405.09	c  405s |      24 |  4713906 |  3452362 |     1831   4699 |        0 |        0
406.93/407.10	c  407s |      24 |  4734929 |  3468362 |     1831   4715 |        0 |        0
409.03/409.11	c  409s |      24 |  4754219 |  3483462 |     1831   4730 |        0 |        0
411.03/411.11	c  411s |      24 |  4775410 |  3499262 |     1831   4746 |        0 |        0
413.03/413.12	c  413s |      24 |  4792635 |  3513662 |     1831   4761 |        0 |        0
415.03/415.13	c  415s |      24 |  4811258 |  3528262 |     1831   4776 |        0 |        0
417.03/417.14	c  417s |      24 |  4831802 |  3544162 |     1831   4792 |        0 |        0
419.02/419.14	c  419s |      24 |  4851638 |  3559262 |     1831   4807 |        0 |        0
421.02/421.15	c  421s |      24 |  4872166 |  3575062 |     1831   4823 |        0 |        0
423.02/423.16	c  423s |      24 |  4890969 |  3589362 |     1831   4837 |        0 |        0
425.02/425.17	c  425s |      24 |  4911112 |  3604662 |     1831   4853 |        0 |        0
427.02/427.17	c  427s |      24 |  4930906 |  3620062 |     1831   4869 |        0 |        0
429.04/429.19	c  429s |      24 |  4951009 |  3635362 |     1831   4884 |        0 |        0
431.03/431.19	c  431s |      24 |  4970314 |  3650162 |     1831   4899 |        0 |        0
433.03/433.19	c  433s |      24 |  4989986 |  3664762 |     1831   4914 |        0 |        0
435.03/435.19	c  435s |      24 |  5010907 |  3680462 |     1831   4930 |        0 |        0
437.13/437.20	c  437s |      24 |  5030180 |  3695162 |     1831   4945 |        0 |        0
439.12/439.20	c  439s |      24 |  5049945 |  3710662 |     1831   4961 |        0 |        0
441.13/441.22	c  441s |      24 |  5068002 |  3725062 |     1831   4975 |        0 |        0
443.12/443.22	c  443s |      24 |  5087180 |  3739962 |     1831   4990 |        0 |        0
445.12/445.23	c  445s |      24 |  5107606 |  3755362 |     1831   5006 |        0 |        0
447.12/447.24	c  447s |      24 |  5128724 |  3771062 |     1831   5022 |        0 |        0
449.12/449.25	c  449s |      24 |  5148217 |  3785862 |     1831   5037 |        0 |        0
451.12/451.25	c  451s |      24 |  5168117 |  3801162 |     1831   5053 |        0 |        0
453.12/453.26	c  453s |      24 |  5188246 |  3816862 |     1831   5069 |        0 |        0
455.11/455.27	c  455s |      24 |  5208701 |  3832362 |     1831   5084 |        0 |        0
457.11/457.28	c  457s |      24 |  5229034 |  3847762 |     1831   5100 |        0 |        0
459.11/459.28	c  459s |      24 |  5250947 |  3863662 |     1831   5116 |        0 |        0
461.11/461.29	c  461s |      24 |  5271793 |  3879162 |     1831   5132 |        0 |        0
463.12/463.30	c  463s |      24 |  5291606 |  3894562 |     1831   5148 |        0 |        0
465.21/465.31	c  465s |      24 |  5312107 |  3910062 |     1831   5164 |        0 |        0
467.21/467.32	c  467s |      24 |  5333563 |  3925762 |     1831   5180 |        0 |        0
469.21/469.32	c  469s |      24 |  5353809 |  3941262 |     1831   5195 |        0 |        0
471.20/471.33	c  471s |      24 |  5373819 |  3956462 |     1831   5211 |        0 |        0
473.20/473.34	c  473s |      24 |  5393441 |  3971462 |     1831   5226 |        0 |        0
475.21/475.35	c  475s |      24 |  5413707 |  3986762 |     1831   5242 |        0 |        0
477.20/477.36	c  477s |      24 |  5434084 |  4001762 |     1831   5257 |        0 |        0
479.20/479.36	c  479s |      24 |  5454945 |  4017662 |     1831   5273 |        0 |        0
481.20/481.36	c  481s |      24 |  5476031 |  4033462 |     1831   5289 |        0 |        0
483.20/483.37	c  483s |      24 |  5495991 |  4048462 |     1831   5304 |        0 |        0
485.20/485.38	c  485s |      24 |  5515069 |  4063462 |     1831   5320 |        0 |        0
487.20/487.39	c  487s |      24 |  5534579 |  4078762 |     1831   5335 |        0 |        0
489.30/489.40	c  489s |      24 |  5554001 |  4093562 |     1831   5350 |        0 |        0
491.30/491.40	c  491s |      24 |  5575061 |  4109462 |     1831   5366 |        0 |        0
493.30/493.41	c  493s |      24 |  5596005 |  4125362 |     1831   5382 |        0 |        0
495.30/495.42	c  495s |      24 |  5615972 |  4140862 |     1831   5398 |        0 |        0
497.31/497.42	c  497s |      24 |  5636050 |  4155962 |     1831   5414 |        0 |        0
499.30/499.43	c  499s |      24 |  5656528 |  4171862 |     1831   5430 |        0 |        0
501.30/501.43	c  501s |      24 |  5677935 |  4187962 |     1831   5446 |        0 |        0
503.30/503.44	c  503s |      24 |  5698592 |  4203962 |     1831   5463 |        0 |        0
505.30/505.44	c  505s |      24 |  5722128 |  4221662 |     1831   5482 |        0 |        0
507.29/507.45	c  507s |      24 |  5744021 |  4238562 |     1831   5500 |        0 |        0
509.30/509.46	c  509s |      24 |  5766198 |  4255062 |     1831   5517 |        0 |        0
511.29/511.47	c  511s |      24 |  5789362 |  4272662 |     1831   5535 |        0 |        0
513.29/513.47	c  513s |      24 |  5811268 |  4289362 |     1831   5553 |        0 |        0
515.28/515.47	c  515s |      24 |  5831390 |  4305262 |     1831   5570 |        0 |        0
517.28/517.47	c  517s |      24 |  5852451 |  4321562 |     1831   5587 |        0 |        0
519.29/519.48	c  519s |      24 |  5874957 |  4338462 |     1831   5604 |        0 |        0
521.28/521.49	c  521s |      24 |  5897915 |  4356062 |     1831   5623 |        0 |        0
523.28/523.49	c  523s |      24 |  5917662 |  4371562 |     1831   5639 |        0 |        0
525.28/525.49	c  525s |      24 |  5939121 |  4388162 |     1831   5657 |        0 |        0
527.38/527.50	c  527s |      24 |  5959812 |  4404262 |     1831   5674 |        0 |        0
529.38/529.50	c  529s |      24 |  5982639 |  4421062 |     1831   5691 |        0 |        0
531.28/531.50	c  531s |      24 |  6002625 |  4436762 |     1831   5708 |        0 |        0
533.38/533.51	c  533s |      24 |  6024224 |  4453262 |     1831   5725 |        0 |        0
535.37/535.51	c  535s |      24 |  6043771 |  4468462 |     1831   5741 |        0 |        0
537.37/537.51	c  537s |      24 |  6065043 |  4484862 |     1831   5758 |        0 |        0
539.37/539.51	c  539s |      24 |  6086897 |  4501462 |     1831   5776 |        0 |        0
541.38/541.53	c  541s |      24 |  6109797 |  4518362 |     1831   5794 |        0 |        0
543.39/543.53	c  543s |      24 |  6131475 |  4534562 |     1831   5811 |        0 |        0
545.38/545.53	c  545s |      24 |  6154152 |  4551162 |     1831   5828 |        0 |        0
547.37/547.56	c  547s |      24 |  6174927 |  4566962 |     1831   5845 |        0 |        0
549.37/549.56	c  549s |      24 |  6196792 |  4583062 |     1831   5862 |        0 |        0
551.37/551.57	c  551s |      24 |  6217418 |  4598762 |     1831   5878 |        0 |        0
553.38/553.58	c  553s |      24 |  6237911 |  4614262 |     1831   5894 |        0 |        0
555.37/555.59	c  555s |      24 |  6258861 |  4629762 |     1831   5911 |        0 |        0
557.47/557.60	c  557s |      24 |  6278941 |  4644562 |     1831   5927 |        0 |        0
559.47/559.61	c  559s |      24 |  6299230 |  4660162 |     1831   5943 |        0 |        0
561.47/561.62	c  561s |      24 |  6321006 |  4676762 |     1831   5961 |        0 |        0
563.46/563.63	c  563s |      24 |  6339958 |  4691762 |     1831   5976 |        0 |        0
565.47/565.65	c  565s |      24 |  6358300 |  4705862 |     1831   5991 |        0 |        0
567.46/567.65	c  567s |      24 |  6378551 |  4721062 |     1831   6007 |        0 |        0
569.46/569.65	c  569s |      24 |  6398911 |  4735962 |     1831   6023 |        0 |        0
571.46/571.66	c  571s |      24 |  6417160 |  4750062 |     1831   6038 |        0 |        0
573.46/573.66	c  573s |      24 |  6437197 |  4765362 |     1831   6054 |        0 |        0
575.45/575.67	c  575s |      24 |  6456825 |  4780162 |     1831   6070 |        0 |        0
577.46/577.68	c  577s |      24 |  6477711 |  4795862 |     1831   6086 |        0 |        0
579.45/579.68	c  579s |      24 |  6498590 |  4811662 |     1831   6103 |        0 |        0
581.45/581.69	c  581s |      24 |  6518955 |  4827462 |     1831   6119 |        0 |        0
583.45/583.69	c  583s |      24 |  6539137 |  4842562 |     1831   6135 |        0 |        0
585.55/585.70	c  585s |      24 |  6557203 |  4857162 |     1831   6151 |        0 |        0
587.55/587.70	c  587s |      24 |  6576189 |  4871962 |     1831   6166 |        0 |        0
589.55/589.71	c  589s |      24 |  6596670 |  4887762 |     1831   6183 |        0 |        0
591.55/591.72	c  591s |      24 |  6618692 |  4903962 |     1831   6200 |        0 |        0
593.55/593.73	c  593s |      24 |  6638684 |  4919162 |     1831   6216 |        0 |        0
595.55/595.73	c  595s |      24 |  6657395 |  4933862 |     1831   6231 |        0 |        0
597.55/597.73	c  597s |      24 |  6676442 |  4948962 |     1831   6247 |        0 |        0
599.55/599.75	c  599s |      24 |  6695599 |  4963962 |     1831   6263 |        0 |        0
601.55/601.75	c  601s |      24 |  6713278 |  4977562 |     1831   6278 |        0 |        0
603.55/603.76	c  603s |      24 |  6732875 |  4992862 |     1831   6293 |        0 |        0
605.54/605.77	c  605s |      24 |  6752455 |  5007862 |     1831   6309 |        0 |        0
607.54/607.78	c  607s |      24 |  6770025 |  5021662 |     1831   6324 |        0 |        0
609.54/609.78	c  609s |      24 |  6789995 |  5036962 |     2015   6339 |        0 |        0
611.55/611.80	c  611s |      24 |  6812195 |  5053562 |     2015   6354 |        0 |        0
613.04/613.22	c  613s |      25 |  6827658 |  5065098 |     2015   6365 |        0 |        0
615.04/615.22	c  615s |      25 |  6847231 |  5080198 |     2015   6380 |        0 |        0
617.04/617.23	c  617s |      25 |  6866864 |  5095098 |     2015   6394 |        0 |        0
619.03/619.23	c  619s |      25 |  6886029 |  5109598 |     2015   6407 |        0 |        0
621.03/621.24	c  621s |      25 |  6905133 |  5124198 |     2015   6421 |        0 |        0
623.03/623.25	c  623s |      25 |  6924788 |  5138998 |     2015   6435 |        0 |        0
625.03/625.25	c  625s |      25 |  6943502 |  5153098 |     2015   6448 |        0 |        0
627.04/627.25	c  627s |      25 |  6963561 |  5167598 |     2015   6462 |        0 |        0
629.03/629.25	c  629s |      25 |  6983663 |  5182698 |     2015   6476 |        0 |        0
631.03/631.26	c  631s |      25 |  7003299 |  5197698 |     2015   6490 |        0 |        0
633.03/633.26	c  633s |      25 |  7022962 |  5212798 |     2015   6505 |        0 |        0
635.03/635.28	c  635s |      25 |  7042969 |  5227898 |     2015   6519 |        0 |        0
637.02/637.29	c  637s |      25 |  7064722 |  5243998 |     2015   6534 |        0 |        0
639.03/639.30	c  639s |      25 |  7083853 |  5258798 |     2015   6548 |        0 |        0
641.12/641.30	c  641s |      25 |  7103698 |  5273698 |     2015   6562 |        0 |        0
643.12/643.31	c  643s |      25 |  7123273 |  5288398 |     2015   6576 |        0 |        0
645.12/645.33	c  645s |      25 |  7143233 |  5302998 |     2015   6590 |        0 |        0
647.12/647.33	c  647s |      25 |  7162893 |  5317698 |     2015   6604 |        0 |        0
649.12/649.35	c  649s |      25 |  7182666 |  5332898 |     2015   6618 |        0 |        0
651.12/651.36	c  651s |      25 |  7203512 |  5348198 |     2015   6632 |        0 |        0
653.12/653.36	c  653s |      25 |  7222679 |  5362998 |     2015   6646 |        0 |        0
655.11/655.37	c  655s |      25 |  7239983 |  5376398 |     2015   6658 |        0 |        0
657.11/657.37	c  657s |      25 |  7258060 |  5390098 |     2015   6671 |        0 |        0
659.11/659.38	c  659s |      25 |  7276577 |  5403998 |     2015   6684 |        0 |        0
661.12/661.39	c  661s |      25 |  7297911 |  5419798 |     2015   6699 |        0 |        0
663.11/663.40	c  663s |      25 |  7316610 |  5433898 |     2015   6712 |        0 |        0
665.20/665.41	c  665s |      25 |  7335507 |  5448498 |     2015   6726 |        0 |        0
667.20/667.41	c  667s |      25 |  7355202 |  5463398 |     2015   6740 |        0 |        0
669.20/669.42	c  669s |      25 |  7374471 |  5477998 |     2015   6754 |        0 |        0
671.20/671.42	c  671s |      25 |  7395449 |  5493098 |     2015   6768 |        0 |        0
673.21/673.43	c  673s |      25 |  7415535 |  5507698 |     2015   6782 |        0 |        0
675.20/675.44	c  675s |      25 |  7435409 |  5522098 |     2015   6795 |        0 |        0
677.20/677.45	c  677s |      25 |  7455616 |  5537098 |     2015   6809 |        0 |        0
679.20/679.47	c  679s |      25 |  7475458 |  5551698 |     2015   6823 |        0 |        0
681.20/681.47	c  681s |      25 |  7495553 |  5566698 |     2015   6837 |        0 |        0
683.20/683.47	c  683s |      25 |  7511710 |  5579898 |     2015   6850 |        0 |        0
685.20/685.48	c  685s |      25 |  7532033 |  5594898 |     2015   6864 |        0 |        0
687.19/687.49	c  687s |      25 |  7550693 |  5609298 |     2015   6878 |        0 |        0
689.19/689.49	c  689s |      25 |  7569854 |  5623598 |     2015   6891 |        0 |        0
691.19/691.50	c  691s |      25 |  7588916 |  5637898 |     2015   6905 |        0 |        0
693.29/693.50	c  693s |      25 |  7607413 |  5651698 |     2015   6918 |        0 |        0
695.28/695.51	c  695s |      25 |  7628297 |  5666698 |     2015   6932 |        0 |        0
697.29/697.51	c  697s |      25 |  7648071 |  5681798 |     2015   6946 |        0 |        0
699.29/699.53	c  699s |      25 |  7666742 |  5695798 |     2015   6959 |        0 |        0
701.29/701.53	c  701s |      25 |  7686479 |  5710198 |     2015   6973 |        0 |        0
703.29/703.54	c  703s |      25 |  7704910 |  5724198 |     2015   6986 |        0 |        0
705.29/705.55	c  705s |      25 |  7723793 |  5738498 |     2015   7000 |        0 |        0
707.29/707.55	c  707s |      25 |  7743056 |  5752898 |     2015   7014 |        0 |        0
709.29/709.55	c  709s |      25 |  7759711 |  5766198 |     2015   7026 |        0 |        0
711.28/711.55	c  711s |      25 |  7778465 |  5780398 |     2015   7040 |        0 |        0
713.28/713.57	c  713s |      25 |  7796754 |  5794098 |     2015   7052 |        0 |        0
715.28/715.57	c  715s |      25 |  7816750 |  5808698 |     2015   7066 |        0 |        0
717.28/717.57	c  717s |      25 |  7836335 |  5822998 |     2015   7080 |        0 |        0
719.28/719.58	c  719s |      25 |  7857468 |  5838398 |     2015   7094 |        0 |        0
721.28/721.58	c  721s |      25 |  7876921 |  5853098 |     2015   7108 |        0 |        0
723.28/723.59	c  723s |      25 |  7895401 |  5867198 |     2015   7121 |        0 |        0
725.37/725.60	c  725s |      25 |  7915108 |  5881898 |     2015   7135 |        0 |        0
727.37/727.60	c  727s |      25 |  7933975 |  5896498 |     2015   7148 |        0 |        0
729.37/729.61	c  729s |      25 |  7952971 |  5910798 |     2015   7162 |        0 |        0
731.38/731.61	c  731s |      25 |  7973041 |  5924998 |     2015   7175 |        0 |        0
733.37/733.62	c  733s |      25 |  7992321 |  5939098 |     2015   7188 |        0 |        0
735.37/735.62	c  735s |      25 |  8012571 |  5953398 |     2015   7202 |        0 |        0
737.37/737.62	c  737s |      25 |  8032941 |  5968498 |     2015   7216 |        0 |        0
739.37/739.63	c  739s |      25 |  8050736 |  5982098 |     2015   7229 |        0 |        0
741.37/741.63	c  741s |      25 |  8068193 |  5995298 |     2015   7241 |        0 |        0
743.37/743.64	c  743s |      25 |  8085335 |  6008698 |     2015   7254 |        0 |        0
745.36/745.65	c  745s |      25 |  8104630 |  6022398 |     2015   7267 |        0 |        0
747.36/747.66	c  747s |      25 |  8122889 |  6035698 |     2015   7279 |        0 |        0
749.36/749.67	c  749s |      25 |  8140123 |  6048798 |     2015   7292 |        0 |        0
751.36/751.67	c  751s |      25 |  8158139 |  6062298 |     2015   7305 |        0 |        0
753.37/753.68	c  753s |      25 |  8175867 |  6075498 |     2015   7317 |        0 |        0
755.35/755.69	c  755s |      25 |  8194258 |  6089298 |     2015   7330 |        0 |        0
757.35/757.69	c  757s |      25 |  8213023 |  6103498 |     2015   7343 |        0 |        0
759.35/759.69	c  759s |      25 |  8231213 |  6117298 |     2015   7356 |        0 |        0
761.45/761.70	c  761s |      25 |  8252400 |  6132498 |     2015   7371 |        0 |        0
763.45/763.72	c  763s |      25 |  8271727 |  6147098 |     2015   7385 |        0 |        0
765.45/765.72	c  765s |      25 |  8291273 |  6161298 |     2015   7398 |        0 |        0
767.45/767.74	c  767s |      25 |  8311590 |  6175998 |     2015   7412 |        0 |        0
769.45/769.74	c  769s |      25 |  8331485 |  6190498 |     2015   7425 |        0 |        0
771.44/771.76	c  771s |      25 |  8351321 |  6204898 |     2015   7439 |        0 |        0
773.44/773.76	c  773s |      25 |  8371607 |  6219798 |     2015   7453 |        0 |        0
775.45/775.76	c  775s |      25 |  8390640 |  6233798 |     2015   7466 |        0 |        0
777.44/777.77	c  777s |      25 |  8409067 |  6247498 |     2015   7479 |        0 |        0
779.44/779.78	c  779s |      25 |  8428346 |  6261398 |     2015   7492 |        0 |        0
781.45/781.79	c  781s |      25 |  8448360 |  6276098 |     2015   7506 |        0 |        0
783.44/783.79	c  783s |      25 |  8466663 |  6290398 |     2015   7520 |        0 |        0
785.54/785.80	c  785s |      25 |  8487470 |  6305998 |     2015   7534 |        0 |        0
787.55/787.80	c  787s |      25 |  8505063 |  6319798 |     2015   7547 |        0 |        0
789.54/789.82	c  789s |      25 |  8524409 |  6334598 |     2015   7561 |        0 |        0
791.54/791.83	c  791s |      25 |  8545548 |  6349898 |     2015   7576 |        0 |        0
793.54/793.84	c  793s |      25 |  8566091 |  6364798 |     2015   7590 |        0 |        0
795.54/795.85	c  795s |      25 |  8586517 |  6379198 |     2015   7603 |        0 |        0
797.54/797.86	c  797s |      25 |  8606525 |  6393998 |     2015   7617 |        0 |        0
799.54/799.87	c  799s |      25 |  8626330 |  6408398 |     2015   7631 |        0 |        0
801.53/801.88	c  801s |      25 |  8645784 |  6422598 |     2015   7644 |        0 |        0
803.53/803.88	c  803s |      25 |  8663114 |  6435398 |     2015   7656 |        0 |        0
805.53/805.89	c  805s |      25 |  8682598 |  6449598 |     2015   7670 |        0 |        0
807.53/807.89	c  807s |      25 |  8703489 |  6464398 |     2015   7683 |        0 |        0
809.54/809.90	c  809s |      25 |  8722948 |  6478898 |     2015   7697 |        0 |        0
811.53/811.90	c  811s |      25 |  8743384 |  6493398 |     2015   7711 |        0 |        0
813.63/813.92	c  813s |      25 |  8764227 |  6508098 |     2015   7724 |        0 |        0
815.62/815.92	c  815s |      25 |  8784112 |  6522498 |     2015   7738 |        0 |        0
817.62/817.93	c  817s |      25 |  8803479 |  6537398 |     2015   7752 |        0 |        0
819.62/819.95	c  819s |      25 |  8822223 |  6551898 |     2015   7766 |        0 |        0
821.63/821.96	c  821s |      25 |  8843419 |  6567998 |     2015   7781 |        0 |        0
823.62/823.96	c  823s |      25 |  8862337 |  6582198 |     2015   7794 |        0 |        0
825.62/825.97	c  825s |      25 |  8878647 |  6595098 |     2015   7806 |        0 |        0
827.62/827.98	c  827s |      25 |  8897955 |  6609898 |     2015   7820 |        0 |        0
829.62/829.98	c  829s |      25 |  8917522 |  6624898 |     2015   7834 |        0 |        0
831.62/831.98	c  831s |      25 |  8936156 |  6639198 |     2015   7847 |        0 |        0
833.62/834.00	c  833s |      25 |  8954185 |  6653798 |     2015   7861 |        0 |        0
835.71/836.01	c  835s |      25 |  8972659 |  6667998 |     2015   7874 |        0 |        0
837.71/838.02	c  838s |      25 |  8993285 |  6682798 |     2015   7888 |        0 |        0
839.71/840.02	c  840s |      25 |  9011779 |  6697498 |     2015   7901 |        0 |        0
841.71/842.03	c  842s |      25 |  9030574 |  6711698 |     2015   7915 |        0 |        0
843.71/844.03	c  844s |      25 |  9050207 |  6726198 |     2015   7928 |        0 |        0
845.71/846.04	c  846s |      25 |  9068723 |  6740898 |     2015   7942 |        0 |        0
847.70/848.04	c  848s |      25 |  9088172 |  6755398 |     2015   7955 |        0 |        0
849.70/850.05	c  850s |      25 |  9107505 |  6769698 |     2015   7969 |        0 |        0
851.70/852.05	c  852s |      25 |  9123142 |  6781998 |     2015   7980 |        0 |        0
853.70/854.05	c  854s |      25 |  9142269 |  6796398 |     2015   7994 |        0 |        0
855.70/856.06	c  856s |      25 |  9160665 |  6810298 |     2015   8007 |        0 |        0
857.69/858.07	c  858s |      25 |  9180259 |  6824698 |     2015   8020 |        0 |        0
859.70/860.08	c  860s |      25 |  9199533 |  6838998 |     2015   8034 |        0 |        0
861.70/862.09	c  862s |      25 |  9218831 |  6853798 |     2015   8048 |        0 |        0
863.80/864.10	c  864s |      25 |  9237847 |  6868498 |     2015   8061 |        0 |        0
865.80/866.11	c  866s |      25 |  9256345 |  6882998 |     2015   8075 |        0 |        0
867.80/868.11	c  868s |      25 |  9277072 |  6898398 |     2015   8090 |        0 |        0
869.79/870.12	c  870s |      25 |  9294466 |  6912298 |     2015   8103 |        0 |        0
871.79/872.13	c  872s |      25 |  9313787 |  6926698 |     2015   8116 |        0 |        0
873.79/874.13	c  874s |      25 |  9333548 |  6941698 |     2015   8130 |        0 |        0
875.79/876.13	c  876s |      25 |  9352430 |  6956198 |     2015   8144 |        0 |        0
877.79/878.14	c  878s |      25 |  9371559 |  6971098 |     2015   8157 |        0 |        0
879.79/880.15	c  880s |      25 |  9390659 |  6985598 |     2015   8171 |        0 |        0
881.79/882.16	c  882s |      25 |  9409579 |  6999898 |     2015   8184 |        0 |        0
883.78/884.16	c  884s |      25 |  9429915 |  7014798 |     2015   8198 |        0 |        0
885.78/886.16	c  886s |      25 |  9447854 |  7028698 |     2015   8211 |        0 |        0
887.78/888.18	c  888s |      25 |  9466263 |  7042298 |     2015   8224 |        0 |        0
889.78/890.18	c  890s |      25 |  9485457 |  7056698 |     2015   8238 |        0 |        0
891.77/892.20	c  892s |      25 |  9504147 |  7070898 |     2015   8251 |        0 |        0
893.87/894.21	c  894s |      25 |  9522849 |  7085298 |     2015   8265 |        0 |        0
895.87/896.21	c  896s |      25 |  9541645 |  7099298 |     2015   8278 |        0 |        0
897.87/898.22	c  898s |      25 |  9560604 |  7113298 |     2015   8291 |        0 |        0
899.87/900.23	c  900s |      25 |  9579859 |  7127798 |     2015   8305 |        0 |        0
901.87/902.24	c  902s |      25 |  9598817 |  7142298 |     2015   8319 |        0 |        0
903.87/904.26	c  904s |      25 |  9617283 |  7156398 |     2015   8332 |        0 |        0
905.86/906.26	c  906s |      25 |  9637344 |  7171198 |     2015   8346 |        0 |        0
907.86/908.26	c  908s |      25 |  9656201 |  7185298 |     2015   8359 |        0 |        0
909.86/910.27	c  910s |      25 |  9674998 |  7199898 |     2015   8373 |        0 |        0
911.86/912.28	c  912s |      25 |  9692437 |  7212898 |     2015   8385 |        0 |        0
913.87/914.29	c  914s |      25 |  9711173 |  7226698 |     2015   8398 |        0 |        0
915.95/916.30	c  916s |      25 |  9732380 |  7241698 |     2015   8412 |        0 |        0
917.95/918.31	c  918s |      25 |  9751392 |  7256398 |     2015   8426 |        0 |        0
919.96/920.33	c  920s |      25 |  9771399 |  7271298 |     2015   8440 |        0 |        0
921.96/922.33	c  922s |      25 |  9791107 |  7286098 |     2015   8454 |        0 |        0
923.96/924.34	c  924s |      25 |  9811200 |  7300998 |     2015   8468 |        0 |        0
925.96/926.36	c  926s |      25 |  9829056 |  7314898 |     2015   8481 |        0 |        0
927.96/928.37	c  928s |      25 |  9847213 |  7328698 |     2015   8494 |        0 |        0
929.96/930.37	c  930s |      25 |  9866020 |  7342698 |     2015   8507 |        0 |        0
931.95/932.38	c  932s |      25 |  9884614 |  7356898 |     2015   8521 |        0 |        0
933.95/934.39	c  934s |      25 |  9903770 |  7371398 |     2015   8534 |        0 |        0
936.05/936.40	c  936s |      25 |  9921480 |  7384698 |     2015   8547 |        0 |        0
937.95/938.40	c  938s |      25 |  9939471 |  7398698 |     2015   8560 |        0 |        0
940.05/940.40	c  940s |      25 |  9959371 |  7413898 |     2015   8574 |        0 |        0
942.05/942.41	c  942s |      25 |  9978496 |  7428298 |     2015   8588 |        0 |        0
944.05/944.42	c  944s |      25 |  9999450 |  7443898 |     2015   8603 |        0 |        0
946.04/946.43	c  946s |      25 | 10019887 |  7458898 |     2015   8617 |        0 |        0
948.05/948.44	c  948s |      25 | 10040173 |  7473998 |     2015   8631 |        0 |        0
950.04/950.45	c  950s |      25 | 10058572 |  7488198 |     2015   8644 |        0 |        0
952.04/952.45	c  952s |      25 | 10079778 |  7503498 |     2015   8659 |        0 |        0
954.04/954.45	c  954s |      25 | 10098486 |  7517998 |     2015   8672 |        0 |        0
956.03/956.45	c  956s |      25 | 10116128 |  7531598 |     2015   8685 |        0 |        0
958.03/958.46	c  958s |      25 | 10134944 |  7545398 |     2217   8698 |        0 |        0
960.04/960.46	c  960s |      25 | 10151037 |  7557998 |     2217   8709 |        0 |        0
962.03/962.47	c  962s |      25 | 10166870 |  7570198 |     2217   8719 |        0 |        0
964.03/964.47	c  964s |      25 | 10182921 |  7582498 |     2217   8730 |        0 |        0
966.03/966.49	c  966s |      25 | 10200091 |  7595898 |     2217   8742 |        0 |        0
966.33/966.77	c  966s |      26 | 10202449 |  7597752 |     2217   8743 |        0 |        0
968.33/968.78	c  968s |      26 | 10221474 |  7611452 |     2217   8755 |        0 |        0
970.32/970.79	c  970s |      26 | 10239609 |  7625552 |     2217   8768 |        0 |        0
972.42/972.80	c  972s |      26 | 10259919 |  7639152 |     2217   8780 |        0 |        0
974.43/974.81	c  974s |      26 | 10277683 |  7653052 |     2217   8791 |        0 |        0
976.42/976.83	c  976s |      26 | 10297656 |  7668252 |     2217   8804 |        0 |        0
978.42/978.84	c  978s |      26 | 10317544 |  7683452 |     2217   8818 |        0 |        0
980.42/980.84	c  980s |      26 | 10335269 |  7697152 |     2217   8829 |        0 |        0
982.43/982.84	c  982s |      26 | 10354846 |  7711452 |     2217   8842 |        0 |        0
984.43/984.85	c  984s |      26 | 10372100 |  7724652 |     2217   8853 |        0 |        0
986.43/986.86	c  986s |      26 | 10390061 |  7737852 |     2217   8865 |        0 |        0
988.42/988.88	c  988s |      26 | 10409882 |  7752452 |     2217   8877 |        0 |        0
990.42/990.89	c  990s |      26 | 10429554 |  7767252 |     2217   8890 |        0 |        0
992.42/992.89	c  992s |      26 | 10447289 |  7780652 |     2217   8902 |        0 |        0
994.52/994.91	c  994s |      26 | 10467677 |  7795752 |     2217   8914 |        0 |        0
996.51/996.92	c  996s |      26 | 10487432 |  7810652 |     2217   8927 |        0 |        0
998.52/998.92	c  998s |      26 | 10505189 |  7824352 |     2217   8939 |        0 |        0
1000.51/1000.92	c 1000s |      26 | 10526430 |  7839952 |     2217   8953 |        0 |        0
1002.51/1002.93	c 1002s |      26 | 10552122 |  7857252 |     2217   8968 |        0 |        0
1004.51/1004.94	c 1004s |      26 | 10567022 |  7869952 |     2217   8979 |        0 |        0
1006.50/1006.95	c 1006s |      26 | 10585701 |  7884152 |     2217   8991 |        0 |        0
1008.51/1008.95	c 1008s |      26 | 10605152 |  7898952 |     2217   9004 |        0 |        0
1010.50/1010.96	c 1010s |      26 | 10624986 |  7913752 |     2217   9016 |        0 |        0
1012.50/1012.96	c 1012s |      26 | 10646962 |  7929852 |     2217   9030 |        0 |        0
1014.50/1014.97	c 1014s |      26 | 10670138 |  7946552 |     2217   9044 |        0 |        0
1016.49/1016.98	c 1016s |      26 | 10687452 |  7959952 |     2217   9056 |        0 |        0
1018.49/1018.98	c 1018s |      26 | 10705778 |  7973552 |     2217   9068 |        0 |        0
1020.50/1020.99	c 1020s |      26 | 10725999 |  7988152 |     2217   9080 |        0 |        0
1022.59/1023.01	c 1022s |      26 | 10743821 |  8001952 |     2217   9092 |        0 |        0
1024.59/1025.02	c 1025s |      26 | 10760385 |  8014952 |     2217   9104 |        0 |        0
1026.59/1027.03	c 1027s |      26 | 10780303 |  8029652 |     2217   9116 |        0 |        0
1028.58/1029.04	c 1029s |      26 | 10798447 |  8043252 |     2217   9128 |        0 |        0
1030.58/1031.05	c 1031s |      26 | 10818502 |  8058052 |     2217   9141 |        0 |        0
1032.59/1033.05	c 1033s |      26 | 10837024 |  8072652 |     2217   9153 |        0 |        0
1034.58/1035.05	c 1035s |      26 | 10856892 |  8087652 |     2217   9166 |        0 |        0
1036.58/1037.05	c 1037s |      26 | 10877250 |  8102952 |     2217   9179 |        0 |        0
1038.59/1039.06	c 1039s |      26 | 10897500 |  8117952 |     2217   9192 |        0 |        0
1040.59/1041.06	c 1041s |      26 | 10916715 |  8132452 |     2217   9205 |        0 |        0
1042.59/1043.08	c 1043s |      26 | 10936583 |  8147352 |     2217   9218 |        0 |        0
1044.59/1045.09	c 1045s |      26 | 10954524 |  8161552 |     2217   9230 |        0 |        0
1046.58/1047.09	c 1047s |      26 | 10971681 |  8175452 |     2217   9241 |        0 |        0
1048.58/1049.09	c 1049s |      26 | 10991442 |  8190352 |     2217   9254 |        0 |        0
1050.68/1051.10	c 1051s |      26 | 11010576 |  8204652 |     2217   9267 |        0 |        0
1052.68/1053.12	c 1053s |      26 | 11030551 |  8219752 |     2217   9280 |        0 |        0
1054.68/1055.12	c 1055s |      26 | 11049773 |  8234552 |     2217   9292 |        0 |        0
1056.67/1057.12	c 1057s |      26 | 11067917 |  8248552 |     2217   9304 |        0 |        0
1058.67/1059.13	c 1059s |      26 | 11088949 |  8263952 |     2217   9318 |        0 |        0
1060.67/1061.13	c 1061s |      26 | 11107628 |  8277952 |     2217   9330 |        0 |        0
1062.67/1063.15	c 1063s |      26 | 11128019 |  8292652 |     2217   9342 |        0 |        0
1064.67/1065.16	c 1065s |      26 | 11146451 |  8306552 |     2217   9354 |        0 |        0
1066.67/1067.16	c 1067s |      26 | 11164255 |  8320352 |     2217   9366 |        0 |        0
1068.67/1069.17	c 1069s |      26 | 11182993 |  8334252 |     2217   9378 |        0 |        0
1070.67/1071.17	c 1071s |      26 | 11201955 |  8348252 |     2217   9390 |        0 |        0
1072.67/1073.19	c 1073s |      26 | 11222173 |  8363052 |     2217   9403 |        0 |        0
1074.77/1075.20	c 1075s |      26 | 11240976 |  8377352 |     2217   9415 |        0 |        0
1076.77/1077.21	c 1077s |      26 | 11259114 |  8391252 |     2217   9427 |        0 |        0
1078.77/1079.21	c 1079s |      26 | 11278376 |  8405452 |     2217   9439 |        0 |        0
1080.76/1081.22	c 1081s |      26 | 11296651 |  8419252 |     2217   9451 |        0 |        0
1082.76/1083.24	c 1083s |      26 | 11314434 |  8432752 |     2217   9463 |        0 |        0
1084.76/1085.25	c 1085s |      26 | 11332723 |  8446852 |     2217   9475 |        0 |        0
1086.76/1087.26	c 1087s |      26 | 11350112 |  8460152 |     2217   9486 |        0 |        0
1088.77/1089.27	c 1089s |      26 | 11366975 |  8472852 |     2217   9497 |        0 |        0
1090.76/1091.28	c 1091s |      26 | 11385005 |  8486252 |     2217   9509 |        0 |        0
1092.76/1093.28	c 1093s |      26 | 11404061 |  8500952 |     2217   9522 |        0 |        0
1094.76/1095.29	c 1095s |      26 | 11423039 |  8515152 |     2217   9534 |        0 |        0
1096.86/1097.30	c 1097s |      26 | 11442486 |  8529452 |     2217   9546 |        0 |        0
1098.86/1099.32	c 1099s |      26 | 11460350 |  8542952 |     2217   9558 |        0 |        0
1100.86/1101.32	c 1101s |      26 | 11476962 |  8555652 |     2217   9569 |        0 |        0
1102.86/1103.34	c 1103s |      26 | 11495608 |  8568952 |     2217   9581 |        0 |        0
1104.86/1105.34	c 1105s |      26 | 11514258 |  8582652 |     2217   9593 |        0 |        0
1106.85/1107.36	c 1107s |      26 | 11532190 |  8596052 |     2217   9604 |        0 |        0
1108.85/1109.37	c 1109s |      26 | 11550014 |  8609552 |     2217   9616 |        0 |        0
1110.85/1111.38	c 1111s |      26 | 11569870 |  8624152 |     2217   9629 |        0 |        0
1112.86/1113.39	c 1113s |      26 | 11588860 |  8638152 |     2217   9641 |        0 |        0
1114.95/1115.40	c 1115s |      26 | 11608843 |  8652852 |     2217   9654 |        0 |        0
1116.95/1117.41	c 1117s |      26 | 11626403 |  8666052 |     2217   9665 |        0 |        0
1118.95/1119.42	c 1119s |      26 | 11645339 |  8679852 |     2217   9677 |        0 |        0
1120.95/1121.43	c 1121s |      26 | 11664751 |  8694352 |     2217   9690 |        0 |        0
1122.95/1123.44	c 1123s |      26 | 11682409 |  8708052 |     2217   9702 |        0 |        0
1124.96/1125.44	c 1125s |      26 | 11700963 |  8722052 |     2217   9714 |        0 |        0
1126.95/1127.45	c 1127s |      26 | 11720391 |  8736852 |     2217   9727 |        0 |        0
1128.95/1129.46	c 1129s |      26 | 11739481 |  8751052 |     2217   9739 |        0 |        0
1130.95/1131.46	c 1131s |      26 | 11756739 |  8764252 |     2217   9750 |        0 |        0
1132.95/1133.48	c 1133s |      26 | 11774435 |  8777252 |     2217   9762 |        0 |        0
1134.96/1135.49	c 1135s |      26 | 11794986 |  8792352 |     2217   9775 |        0 |        0
1136.95/1137.50	c 1137s |      26 | 11815919 |  8807952 |     2217   9788 |        0 |        0
1139.05/1139.50	c 1139s |      26 | 11833557 |  8821552 |     2217   9799 |        0 |        0
1141.05/1141.51	c 1141s |      26 | 11853061 |  8835852 |     2217   9812 |        0 |        0
1143.06/1143.52	c 1143s |      26 | 11872166 |  8849952 |     2217   9824 |        0 |        0
1145.06/1145.53	c 1145s |      26 | 11889252 |  8863452 |     2217   9836 |        0 |        0
1147.06/1147.53	c 1147s |      26 | 11904817 |  8875552 |     2217   9846 |        0 |        0
1149.06/1149.55	c 1149s |      26 | 11921507 |  8888752 |     2217   9858 |        0 |        0
1151.06/1151.57	c 1151s |      26 | 11940379 |  8903352 |     2217   9871 |        0 |        0
1153.05/1153.57	c 1153s |      26 | 11959498 |  8917552 |     2217   9883 |        0 |        0
1155.05/1155.58	c 1155s |      26 | 11975709 |  8930152 |     2217   9894 |        0 |        0
1157.05/1157.59	c 1157s |      26 | 11992495 |  8942952 |     2217   9905 |        0 |        0
1159.06/1159.60	c 1159s |      26 | 12010281 |  8956152 |     2217   9916 |        0 |        0
1161.15/1161.61	c 1161s |      26 | 12027736 |  8969552 |     2217   9928 |        0 |        0
1163.15/1163.61	c 1163s |      26 | 12044476 |  8982552 |     2217   9939 |        0 |        0
1165.15/1165.61	c 1165s |      26 | 12065140 |  8997352 |     2217   9952 |        0 |        0
1167.15/1167.62	c 1167s |      26 | 12083034 |  9010752 |     2217   9964 |        0 |        0
1169.15/1169.62	c 1169s |      26 | 12103132 |  9025552 |     2217   9976 |        0 |        0
1171.16/1171.63	c 1171s |      26 | 12121879 |  9039652 |     2217   9989 |        0 |        0
1173.15/1173.64	c 1173s |      26 | 12139102 |  9053252 |     2217  10000 |        0 |        0
1175.15/1175.64	c 1175s |      26 | 12157301 |  9067252 |     2217  10012 |        0 |        0
1177.15/1177.65	c 1177s |      26 | 12174018 |  9080652 |     2217  10024 |        0 |        0
1179.15/1179.65	c 1179s |      26 | 12195287 |  9096452 |     2217  10038 |        0 |        0
1181.15/1181.65	c 1181s |      26 | 12215530 |  9111152 |     2217  10051 |        0 |        0
1183.15/1183.66	c 1183s |      26 | 12236607 |  9126552 |     2217  10064 |        0 |        0
1185.14/1185.67	c 1185s |      26 | 12255516 |  9140952 |     2217  10077 |        0 |        0
1187.14/1187.67	c 1187s |      26 | 12273688 |  9155252 |     2217  10089 |        0 |        0
1189.14/1189.68	c 1189s |      26 | 12291798 |  9169252 |     2217  10102 |        0 |        0
1191.14/1191.69	c 1191s |      26 | 12308548 |  9182152 |     2217  10113 |        0 |        0
1193.15/1193.70	c 1193s |      26 | 12325943 |  9195352 |     2217  10125 |        0 |        0
1195.24/1195.70	c 1195s |      26 | 12344406 |  9209252 |     2217  10137 |        0 |        0
1197.24/1197.71	c 1197s |      26 | 12362366 |  9223152 |     2217  10149 |        0 |        0
1199.24/1199.72	c 1199s |      26 | 12380378 |  9237052 |     2217  10161 |        0 |        0
1201.24/1201.74	c 1201s |      26 | 12398481 |  9250752 |     2217  10173 |        0 |        0
1203.24/1203.74	c 1203s |      26 | 12416592 |  9264952 |     2217  10185 |        0 |        0
1205.25/1205.75	c 1205s |      26 | 12434504 |  9278652 |     2217  10197 |        0 |        0
1207.24/1207.76	c 1207s |      26 | 12451917 |  9292052 |     2217  10209 |        0 |        0
1209.24/1209.76	c 1209s |      26 | 12472437 |  9305452 |     2217  10221 |        0 |        0
1211.24/1211.77	c 1211s |      26 | 12493854 |  9320552 |     2217  10234 |        0 |        0
1213.24/1213.78	c 1213s |      26 | 12515725 |  9336552 |     2217  10248 |        0 |        0
1215.24/1215.78	c 1215s |      26 | 12537620 |  9352452 |     2217  10261 |        0 |        0
1217.24/1217.79	c 1217s |      26 | 12556860 |  9366752 |     2217  10273 |        0 |        0
1219.34/1219.80	c 1219s |      26 | 12574848 |  9380052 |     2217  10285 |        0 |        0
1221.34/1221.80	c 1221s |      26 | 12594334 |  9394052 |     2217  10297 |        0 |        0
1223.34/1223.81	c 1223s |      26 | 12612137 |  9407452 |     2217  10309 |        0 |        0
1225.33/1225.81	c 1225s |      26 | 12629750 |  9419952 |     2217  10320 |        0 |        0
1227.34/1227.82	c 1227s |      26 | 12648318 |  9433352 |     2217  10331 |        0 |        0
1229.33/1229.82	c 1229s |      26 | 12665686 |  9446152 |     2217  10342 |        0 |        0
1231.33/1231.82	c 1231s |      26 | 12682803 |  9458652 |     2217  10353 |        0 |        0
1233.33/1233.83	c 1233s |      26 | 12700741 |  9471452 |     2217  10365 |        0 |        0
1235.33/1235.84	c 1235s |      26 | 12719089 |  9484952 |     2217  10376 |        0 |        0
1237.33/1237.86	c 1237s |      26 | 12738127 |  9498752 |     2217  10389 |        0 |        0
1239.34/1239.87	c 1239s |      26 | 12756458 |  9512352 |     2217  10400 |        0 |        0
1241.33/1241.88	c 1241s |      26 | 12773972 |  9525552 |     2217  10412 |        0 |        0
1243.33/1243.89	c 1243s |      26 | 12791548 |  9538852 |     2217  10423 |        0 |        0
1245.34/1245.89	c 1245s |      26 | 12809613 |  9552552 |     2217  10435 |        0 |        0
1247.34/1247.89	c 1247s |      26 | 12828845 |  9566552 |     2217  10447 |        0 |        0
1249.44/1249.90	c 1249s |      26 | 12849320 |  9581352 |     2217  10460 |        0 |        0
1251.45/1251.90	c 1251s |      26 | 12868587 |  9596052 |     2217  10473 |        0 |        0
1253.44/1253.90	c 1253s |      26 | 12889292 |  9611452 |     2217  10486 |        0 |        0
1255.44/1255.91	c 1255s |      26 | 12908110 |  9625752 |     2217  10499 |        0 |        0
1257.44/1257.92	c 1257s |      26 | 12926474 |  9639952 |     2217  10511 |        0 |        0
1259.44/1259.93	c 1259s |      26 | 12947569 |  9655152 |     2217  10525 |        0 |        0
1261.44/1261.93	c 1261s |      26 | 12970503 |  9671952 |     2217  10539 |        0 |        0
1263.44/1263.94	c 1263s |      26 | 12987279 |  9685052 |     2217  10551 |        0 |        0
1265.44/1265.94	c 1265s |      26 | 13003603 |  9697652 |     2217  10562 |        0 |        0
1267.44/1267.95	c 1267s |      26 | 13022357 |  9711652 |     2217  10574 |        0 |        0
1269.44/1269.96	c 1269s |      26 | 13041402 |  9726252 |     2217  10586 |        0 |        0
1271.44/1271.96	c 1271s |      26 | 13059584 |  9739952 |     2217  10598 |        0 |        0
1273.44/1273.96	c 1273s |      26 | 13077697 |  9753852 |     2217  10610 |        0 |        0
1275.43/1275.97	c 1275s |      26 | 13095891 |  9767352 |     2217  10622 |        0 |        0
1277.43/1277.98	c 1277s |      26 | 13115383 |  9781952 |     2217  10634 |        0 |        0
1279.43/1279.99	c 1279s |      26 | 13135650 |  9796652 |     2217  10647 |        0 |        0
1281.53/1282.00	c 1281s |      26 | 13154854 |  9811052 |     2217  10659 |        0 |        0
1283.53/1284.01	c 1283s |      26 | 13171994 |  9823952 |     2217  10671 |        0 |        0
1285.54/1286.01	c 1285s |      26 | 13190013 |  9837052 |     2217  10682 |        0 |        0
1287.53/1288.01	c 1287s |      26 | 13207152 |  9850152 |     2217  10694 |        0 |        0
1289.53/1290.01	c 1289s |      26 | 13225373 |  9863652 |     2217  10706 |        0 |        0
1291.53/1292.02	c 1292s |      26 | 13243942 |  9877652 |     2217  10718 |        0 |        0
1293.53/1294.02	c 1294s |      26 | 13261263 |  9890852 |     2217  10730 |        0 |        0
1295.54/1296.03	c 1296s |      26 | 13278641 |  9904352 |     2217  10741 |        0 |        0
1297.53/1298.03	c 1298s |      26 | 13299923 |  9919452 |     2217  10754 |        0 |        0
1299.53/1300.04	c 1300s |      26 | 13316321 |  9931852 |     2217  10765 |        0 |        0
1301.53/1302.05	c 1302s |      26 | 13334938 |  9945652 |     2217  10777 |        0 |        0
1303.53/1304.06	c 1304s |      26 | 13353315 |  9959652 |     2217  10789 |        0 |        0
1305.53/1306.07	c 1306s |      26 | 13371205 |  9973652 |     2217  10801 |        0 |        0
1307.54/1308.08	c 1308s |      26 | 13389336 |  9986952 |     2217  10813 |        0 |        0
1309.53/1310.09	c 1310s |      26 | 13407179 | 10000152 |     2217  10824 |        0 |        0
1311.63/1312.10	c 1312s |      26 | 13425398 | 10013852 |     2217  10836 |        0 |        0
1313.63/1314.11	c 1314s |      26 | 13445309 | 10028652 |     2217  10849 |        0 |        0
1315.63/1316.12	c 1316s |      26 | 13463043 | 10042152 |     2217  10861 |        0 |        0
1317.63/1318.12	c 1318s |      26 | 13481954 | 10055852 |     2217  10873 |        0 |        0
1319.63/1320.13	c 1320s |      26 | 13500737 | 10070152 |     2217  10886 |        0 |        0
1321.62/1322.13	c 1322s |      26 | 13519451 | 10084052 |     2217  10898 |        0 |        0
1323.62/1324.14	c 1324s |      26 | 13536622 | 10097352 |     2217  10909 |        0 |        0
1325.62/1326.14	c 1326s |      26 | 13554475 | 10110452 |     2217  10921 |        0 |        0
1327.62/1328.15	c 1328s |      26 | 13573431 | 10124552 |     2217  10933 |        0 |        0
1329.63/1330.15	c 1330s |      26 | 13592781 | 10138952 |     2217  10946 |        0 |        0
1331.62/1332.16	c 1332s |      26 | 13608757 | 10151352 |     2217  10957 |        0 |        0
1333.62/1334.17	c 1334s |      26 | 13626137 | 10164752 |     2217  10968 |        0 |        0
1335.62/1336.18	c 1336s |      26 | 13642294 | 10177152 |     2217  10979 |        0 |        0
1337.62/1338.19	c 1338s |      26 | 13659433 | 10190152 |     2217  10991 |        0 |        0
1339.62/1340.19	c 1340s |      26 | 13678449 | 10204652 |     2217  11003 |        0 |        0
1341.63/1342.20	c 1342s |      26 | 13696870 | 10218052 |     2217  11015 |        0 |        0
1343.72/1344.21	c 1344s |      26 | 13717165 | 10232452 |     2217  11028 |        0 |        0
1345.72/1346.23	c 1346s |      26 | 13733384 | 10244852 |     2217  11039 |        0 |        0
1347.72/1348.23	c 1348s |      26 | 13750742 | 10257852 |     2217  11050 |        0 |        0
1349.72/1350.24	c 1350s |      26 | 13770002 | 10272352 |     2217  11063 |        0 |        0
1351.72/1352.24	c 1352s |      26 | 13788788 | 10286252 |     2217  11075 |        0 |        0
1353.72/1354.25	c 1354s |      26 | 13805968 | 10299152 |     2217  11086 |        0 |        0
1355.72/1356.27	c 1356s |      26 | 13822497 | 10311752 |     2217  11097 |        0 |        0
1357.72/1358.28	c 1358s |      26 | 13839959 | 10324852 |     2217  11109 |        0 |        0
1359.72/1360.28	c 1360s |      26 | 13857457 | 10337952 |     2217  11120 |        0 |        0
1361.72/1362.28	c 1362s |      26 | 13875081 | 10351052 |     2217  11131 |        0 |        0
1363.73/1364.28	c 1364s |      26 | 13894440 | 10365452 |     2217  11144 |        0 |        0
1365.72/1366.29	c 1366s |      26 | 13913148 | 10379652 |     2217  11156 |        0 |        0
1367.82/1368.30	c 1368s |      26 | 13931618 | 10393552 |     2217  11168 |        0 |        0
1369.82/1370.30	c 1370s |      26 | 13950527 | 10407752 |     2217  11180 |        0 |        0
1371.82/1372.30	c 1372s |      26 | 13969069 | 10421652 |     2217  11192 |        0 |        0
1373.82/1374.30	c 1374s |      26 | 13987368 | 10435652 |     2217  11205 |        0 |        0
1375.82/1376.32	c 1376s |      26 | 14005579 | 10449052 |     2217  11216 |        0 |        0
1377.82/1378.34	c 1378s |      26 | 14022041 | 10461552 |     2217  11227 |        0 |        0
1379.82/1380.34	c 1380s |      26 | 14039749 | 10474852 |     2217  11239 |        0 |        0
1381.82/1382.35	c 1382s |      26 | 14059885 | 10489752 |     2217  11252 |        0 |        0
1383.81/1384.36	c 1384s |      26 | 14079488 | 10504052 |     2217  11264 |        0 |        0
1385.81/1386.37	c 1386s |      26 | 14098619 | 10518352 |     2217  11277 |        0 |        0
1387.82/1388.38	c 1388s |      26 | 14117087 | 10532452 |     2217  11289 |        0 |        0
1389.81/1390.39	c 1390s |      26 | 14133684 | 10545752 |     2217  11300 |        0 |        0
1391.81/1392.40	c 1392s |      26 | 14152572 | 10559652 |     2217  11313 |        0 |        0
1393.91/1394.40	c 1394s |      26 | 14172604 | 10574352 |     2217  11325 |        0 |        0
1395.91/1396.41	c 1396s |      26 | 14189245 | 10587552 |     2217  11337 |        0 |        0
1397.91/1398.41	c 1398s |      26 | 14209165 | 10602252 |     2217  11350 |        0 |        0
1399.92/1400.42	c 1400s |      26 | 14226661 | 10615752 |     2217  11362 |        0 |        0
1401.91/1402.43	c 1402s |      26 | 14246756 | 10631052 |     2217  11375 |        0 |        0
1403.91/1404.44	c 1404s |      26 | 14268446 | 10647252 |     2217  11389 |        0 |        0
1405.91/1406.45	c 1406s |      26 | 14288275 | 10661652 |     2217  11401 |        0 |        0
1407.91/1408.45	c 1408s |      26 | 14307558 | 10675452 |     2217  11414 |        0 |        0
1409.91/1410.46	c 1410s |      26 | 14325599 | 10688952 |     2217  11425 |        0 |        0
1411.91/1412.46	c 1412s |      26 | 14343128 | 10702352 |     2217  11437 |        0 |        0
1413.91/1414.47	c 1414s |      26 | 14362797 | 10716752 |     2217  11450 |        0 |        0
1415.91/1416.48	c 1416s |      26 | 14382662 | 10731252 |     2217  11463 |        0 |        0
1417.91/1418.49	c 1418s |      26 | 14402331 | 10745252 |     2217  11475 |        0 |        0
1420.01/1420.51	c 1420s |      26 | 14420719 | 10759052 |     2217  11487 |        0 |        0
1422.01/1422.52	c 1422s |      26 | 14437477 | 10772452 |     2217  11498 |        0 |        0
1424.01/1424.53	c 1424s |      26 | 14456697 | 10786652 |     2217  11511 |        0 |        0
1426.00/1426.53	c 1426s |      26 | 14474543 | 10800252 |     2217  11522 |        0 |        0
1428.01/1428.54	c 1428s |      26 | 14492578 | 10813852 |     2217  11534 |        0 |        0
1430.01/1430.55	c 1430s |      26 | 14509532 | 10826952 |     2217  11546 |        0 |        0
1432.01/1432.56	c 1432s |      26 | 14526936 | 10840252 |     2217  11557 |        0 |        0
1434.02/1434.56	c 1434s |      26 | 14544526 | 10853752 |     2217  11569 |        0 |        0
1436.01/1436.57	c 1436s |      26 | 14560968 | 10867052 |     2217  11580 |        0 |        0
1438.01/1438.58	c 1438s |      26 | 14578119 | 10880852 |     2217  11592 |        0 |        0
1440.11/1440.60	c 1440s |      26 | 14596941 | 10894952 |     2217  11605 |        0 |        0
1442.11/1442.61	c 1442s |      26 | 14617493 | 10910352 |     2217  11618 |        0 |        0
1444.11/1444.63	c 1444s |      26 | 14637626 | 10925652 |     2217  11631 |        0 |        0
1446.12/1446.64	c 1446s |      26 | 14656034 | 10939652 |     2217  11643 |        0 |        0
1448.11/1448.65	c 1448s |      26 | 14674752 | 10953652 |     2217  11654 |        0 |        0
1450.11/1450.67	c 1450s |      26 | 14693811 | 10967752 |     2217  11667 |        0 |        0
1452.11/1452.67	c 1452s |      26 | 14712870 | 10982352 |     2217  11679 |        0 |        0
1454.11/1454.67	c 1454s |      26 | 14732091 | 10996952 |     2217  11691 |        0 |        0
1456.11/1456.69	c 1456s |      26 | 14749178 | 11010252 |     2217  11703 |        0 |        0
1458.11/1458.70	c 1458s |      26 | 14766586 | 11023552 |     2217  11714 |        0 |        0
1460.20/1460.71	c 1460s |      26 | 14784461 | 11037352 |     2217  11726 |        0 |        0
1462.20/1462.72	c 1462s |      26 | 14802258 | 11050952 |     2217  11737 |        0 |        0
1464.20/1464.73	c 1464s |      26 | 14821903 | 11065752 |     2217  11750 |        0 |        0
1466.20/1466.74	c 1466s |      26 | 14840691 | 11079852 |     2217  11762 |        0 |        0
1468.21/1468.75	c 1468s |      26 | 14859768 | 11094052 |     2217  11774 |        0 |        0
1470.20/1470.76	c 1470s |      26 | 14878146 | 11108052 |     2217  11786 |        0 |        0
1472.20/1472.77	c 1472s |      26 | 14896175 | 11121352 |     2217  11798 |        0 |        0
1474.20/1474.77	c 1474s |      26 | 14915035 | 11135252 |     2217  11809 |        0 |        0
1476.20/1476.79	c 1476s |      26 | 14932084 | 11148252 |     2217  11821 |        0 |        0
1478.20/1478.79	c 1478s |      26 | 14949821 | 11161452 |     2217  11832 |        0 |        0
1480.21/1480.80	c 1480s |      26 | 14967088 | 11174652 |     2217  11843 |        0 |        0
1482.30/1482.80	c 1482s |      26 | 14984840 | 11188152 |     2217  11855 |        0 |        0
1484.30/1484.82	c 1484s |      26 | 15003446 | 11202052 |     2217  11867 |        0 |        0
1486.30/1486.83	c 1486s |      26 | 15022675 | 11216552 |     2217  11879 |        0 |        0
1488.30/1488.83	c 1488s |      26 | 15041105 | 11230852 |     2217  11891 |        0 |        0
1490.30/1490.83	c 1490s |      26 | 15059261 | 11244952 |     2217  11903 |        0 |        0
1492.30/1492.84	c 1492s |      26 | 15079062 | 11259652 |     2217  11916 |        0 |        0
1494.29/1494.84	c 1494s |      26 | 15097970 | 11274152 |     2217  11928 |        0 |        0
1496.29/1496.85	c 1496s |      26 | 15116094 | 11288352 |     2217  11940 |        0 |        0
1498.29/1498.86	c 1498s |      26 | 15133856 | 11301352 |     2217  11951 |        0 |        0
1500.30/1500.87	c 1500s |      26 | 15152773 | 11315252 |     2439  11963 |        0 |        0
1502.31/1502.87	c 1502s |      26 | 15170597 | 11328552 |     2439  11974 |        0 |        0
1504.30/1504.88	c 1504s |      26 | 15187587 | 11341752 |     2439  11984 |        0 |        0
1506.30/1506.89	c 1506s |      26 | 15207454 | 11355852 |     2439  11995 |        0 |        0
1508.40/1508.91	c 1508s |      26 | 15224052 | 11369052 |     2439  12006 |        0 |        0
1510.40/1510.91	c 1510s |      26 | 15239745 | 11381252 |     2439  12015 |        0 |        0
1512.40/1512.92	c 1512s |      26 | 15255395 | 11393452 |     2439  12025 |        0 |        0
1512.90/1513.43	c 1513s |      27 | 15259591 | 11396733 |     2439  12027 |        0 |        0
1514.90/1515.43	c 1515s |      27 | 15277925 | 11410733 |     2439  12038 |        0 |        0
1516.90/1517.44	c 1517s |      27 | 15296672 | 11424633 |     2439  12049 |        0 |        0
1518.90/1519.45	c 1519s |      27 | 15314357 | 11438133 |     2439  12059 |        0 |        0
1520.90/1521.45	c 1521s |      27 | 15331927 | 11451633 |     2439  12070 |        0 |        0
1522.89/1523.46	c 1523s |      27 | 15348464 | 11464533 |     2439  12080 |        0 |        0
1524.89/1525.47	c 1525s |      27 | 15365621 | 11477733 |     2439  12090 |        0 |        0
1526.89/1527.48	c 1527s |      27 | 15381522 | 11490133 |     2439  12100 |        0 |        0
1528.89/1529.49	c 1529s |      27 | 15398483 | 11503433 |     2439  12110 |        0 |        0
1530.99/1531.50	c 1531s |      27 | 15414745 | 11516333 |     2439  12120 |        0 |        0
1533.00/1533.51	c 1533s |      27 | 15430485 | 11528633 |     2439  12129 |        0 |        0
1534.99/1535.51	c 1535s |      27 | 15446765 | 11541533 |     2439  12139 |        0 |        0
1536.99/1537.51	c 1537s |      27 | 15462391 | 11553733 |     2439  12149 |        0 |        0
1538.99/1539.52	c 1539s |      27 | 15478015 | 11565933 |     2439  12158 |        0 |        0
1540.99/1541.53	c 1541s |      27 | 15494351 | 11578833 |     2439  12168 |        0 |        0
1543.00/1543.55	c 1543s |      27 | 15510568 | 11591733 |     2439  12178 |        0 |        0
1544.99/1545.55	c 1545s |      27 | 15527792 | 11604733 |     2439  12188 |        0 |        0
1546.99/1547.57	c 1547s |      27 | 15546149 | 11618433 |     2439  12199 |        0 |        0
1548.99/1549.57	c 1549s |      27 | 15562285 | 11631033 |     2439  12209 |        0 |        0
1550.99/1551.59	c 1551s |      27 | 15579579 | 11644933 |     2439  12219 |        0 |        0
1552.99/1553.59	c 1553s |      27 | 15595194 | 11657533 |     2439  12229 |        0 |        0
1554.99/1555.60	c 1555s |      27 | 15611914 | 11670333 |     2439  12239 |        0 |        0
1557.09/1557.60	c 1557s |      27 | 15628910 | 11683533 |     2439  12249 |        0 |        0
1559.09/1559.62	c 1559s |      27 | 15645365 | 11696433 |     2439  12259 |        0 |        0
1561.08/1561.62	c 1561s |      27 | 15661451 | 11709033 |     2439  12269 |        0 |        0
1563.08/1563.64	c 1563s |      27 | 15677546 | 11721933 |     2439  12279 |        0 |        0
1565.09/1565.64	c 1565s |      27 | 15694253 | 11734933 |     2439  12289 |        0 |        0
1567.10/1567.65	c 1567s |      27 | 15710205 | 11747733 |     2439  12299 |        0 |        0
1569.09/1569.65	c 1569s |      27 | 15728070 | 11761433 |     2439  12310 |        0 |        0
1571.09/1571.67	c 1571s |      27 | 15746201 | 11775433 |     2439  12320 |        0 |        0
1573.09/1573.68	c 1573s |      27 | 15763932 | 11788833 |     2439  12331 |        0 |        0
1575.09/1575.68	c 1575s |      27 | 15780291 | 11801833 |     2439  12341 |        0 |        0
1577.10/1577.68	c 1577s |      27 | 15797603 | 11815133 |     2439  12351 |        0 |        0
1579.09/1579.70	c 1579s |      27 | 15815169 | 11828433 |     2439  12362 |        0 |        0
1581.19/1581.71	c 1581s |      27 | 15833849 | 11842433 |     2439  12372 |        0 |        0
1583.19/1583.71	c 1583s |      27 | 15851621 | 11856033 |     2439  12383 |        0 |        0
1585.19/1585.72	c 1585s |      27 | 15868810 | 11869333 |     2439  12393 |        0 |        0
1587.19/1587.72	c 1587s |      27 | 15887513 | 11883233 |     2439  12404 |        0 |        0
1589.20/1589.73	c 1589s |      27 | 15905047 | 11896733 |     2439  12415 |        0 |        0
1591.19/1591.75	c 1591s |      27 | 15923318 | 11910533 |     2439  12425 |        0 |        0
1593.19/1593.75	c 1593s |      27 | 15940514 | 11924033 |     2439  12436 |        0 |        0
1595.19/1595.76	c 1595s |      27 | 15956116 | 11936533 |     2439  12446 |        0 |        0
1597.19/1597.77	c 1597s |      27 | 15972812 | 11949833 |     2439  12456 |        0 |        0
1599.18/1599.79	c 1599s |      27 | 15989454 | 11962833 |     2439  12466 |        0 |        0
1601.19/1601.79	c 1601s |      27 | 16005732 | 11975633 |     2439  12476 |        0 |        0
1603.18/1603.79	c 1603s |      27 | 16023379 | 11989333 |     2439  12487 |        0 |        0
1605.28/1605.80	c 1605s |      27 | 16040844 | 12002433 |     2439  12497 |        0 |        0
1607.28/1607.80	c 1607s |      27 | 16058115 | 12015733 |     2439  12508 |        0 |        0
1609.28/1609.82	c 1609s |      27 | 16075123 | 12029233 |     2439  12519 |        0 |        0
1611.28/1611.84	c 1611s |      27 | 16092662 | 12042933 |     2439  12530 |        0 |        0
1613.29/1613.85	c 1613s |      27 | 16110466 | 12056733 |     2439  12541 |        0 |        0
1615.28/1615.86	c 1615s |      27 | 16129187 | 12070833 |     2439  12552 |        0 |        0
1617.28/1617.86	c 1617s |      27 | 16147811 | 12084733 |     2439  12563 |        0 |        0
1619.28/1619.87	c 1619s |      27 | 16166573 | 12099233 |     2439  12575 |        0 |        0
1621.28/1621.87	c 1621s |      27 | 16185174 | 12113533 |     2439  12586 |        0 |        0
1623.29/1623.87	c 1623s |      27 | 16202322 | 12126933 |     2439  12597 |        0 |        0
1625.28/1625.88	c 1625s |      27 | 16219550 | 12140233 |     2439  12608 |        0 |        0
1627.28/1627.89	c 1627s |      27 | 16237470 | 12154133 |     2439  12619 |        0 |        0
1629.28/1629.89	c 1629s |      27 | 16255284 | 12168333 |     2439  12630 |        0 |        0
1631.28/1631.89	c 1631s |      27 | 16274181 | 12182933 |     2439  12642 |        0 |        0
1633.38/1633.90	c 1633s |      27 | 16293290 | 12197533 |     2439  12653 |        0 |        0
1635.38/1635.90	c 1635s |      27 | 16313133 | 12212633 |     2439  12666 |        0 |        0
1637.38/1637.91	c 1637s |      27 | 16330736 | 12226133 |     2439  12676 |        0 |        0
1639.38/1639.91	c 1639s |      27 | 16346572 | 12238833 |     2439  12687 |        0 |        0
1641.37/1641.92	c 1641s |      27 | 16363936 | 12252233 |     2439  12697 |        0 |        0
1643.37/1643.93	c 1643s |      27 | 16382852 | 12266233 |     2439  12708 |        0 |        0
1645.37/1645.94	c 1645s |      27 | 16400793 | 12279633 |     2439  12719 |        0 |        0
1647.38/1647.94	c 1647s |      27 | 16418432 | 12293033 |     2439  12730 |        0 |        0
1649.37/1649.95	c 1649s |      27 | 16435789 | 12306533 |     2439  12741 |        0 |        0
1651.37/1651.96	c 1651s |      27 | 16451593 | 12319333 |     2439  12751 |        0 |        0
1653.37/1653.97	c 1653s |      27 | 16469124 | 12333133 |     2439  12762 |        0 |        0
1655.37/1655.98	c 1655s |      27 | 16488333 | 12347733 |     2439  12774 |        0 |        0
1657.38/1657.99	c 1657s |      27 | 16508899 | 12363033 |     2439  12786 |        0 |        0
1659.37/1659.99	c 1659s |      27 | 16527657 | 12377333 |     2439  12797 |        0 |        0
1661.37/1662.00	c 1661s |      27 | 16548031 | 12392733 |     2439  12810 |        0 |        0
1663.47/1664.00	c 1663s |      27 | 16566036 | 12406733 |     2439  12821 |        0 |        0
1665.47/1666.00	c 1665s |      27 | 16583814 | 12420533 |     2439  12832 |        0 |        0
1667.47/1668.02	c 1667s |      27 | 16603502 | 12435333 |     2439  12844 |        0 |        0
1669.48/1670.03	c 1670s |      27 | 16623371 | 12450133 |     2439  12855 |        0 |        0
1671.47/1672.04	c 1672s |      27 | 16639925 | 12463133 |     2439  12865 |        0 |        0
1673.47/1674.05	c 1674s |      27 | 16658594 | 12477333 |     2439  12877 |        0 |        0
1675.47/1676.06	c 1676s |      27 | 16676781 | 12491033 |     2439  12888 |        0 |        0
1677.47/1678.07	c 1678s |      27 | 16694325 | 12504433 |     2439  12898 |        0 |        0
1679.47/1680.07	c 1680s |      27 | 16710402 | 12517133 |     2439  12908 |        0 |        0
1681.47/1682.08	c 1682s |      27 | 16725876 | 12529333 |     2439  12917 |        0 |        0
1683.47/1684.08	c 1684s |      27 | 16742277 | 12542133 |     2439  12927 |        0 |        0
1685.46/1686.08	c 1686s |      27 | 16758645 | 12555033 |     2439  12937 |        0 |        0
1687.46/1688.09	c 1688s |      27 | 16775692 | 12568133 |     2439  12947 |        0 |        0
1689.56/1690.10	c 1690s |      27 | 16792858 | 12581133 |     2439  12957 |        0 |        0
1691.56/1692.11	c 1692s |      27 | 16810038 | 12594433 |     2439  12968 |        0 |        0
1693.57/1694.12	c 1694s |      27 | 16827575 | 12607833 |     2439  12978 |        0 |        0
1695.56/1696.13	c 1696s |      27 | 16843958 | 12620733 |     2439  12988 |        0 |        0
1697.56/1698.14	c 1698s |      27 | 16860408 | 12633533 |     2439  12998 |        0 |        0
1699.56/1700.14	c 1700s |      27 | 16876259 | 12645633 |     2439  13008 |        0 |        0
1701.57/1702.15	c 1702s |      27 | 16892098 | 12658433 |     2439  13018 |        0 |        0
1703.58/1704.16	c 1704s |      27 | 16908464 | 12670933 |     2439  13027 |        0 |        0
1705.57/1706.17	c 1706s |      27 | 16925669 | 12684333 |     2439  13038 |        0 |        0
1707.57/1708.18	c 1708s |      27 | 16942508 | 12697133 |     2439  13048 |        0 |        0
1709.57/1710.19	c 1710s |      27 | 16958829 | 12709533 |     2439  13058 |        0 |        0
1711.67/1712.20	c 1712s |      27 | 16975969 | 12722733 |     2439  13068 |        0 |        0
1713.67/1714.21	c 1714s |      27 | 16992599 | 12735133 |     2439  13078 |        0 |        0
1715.67/1716.22	c 1716s |      27 | 17007538 | 12746633 |     2439  13087 |        0 |        0
1717.67/1718.22	c 1718s |      27 | 17025212 | 12759633 |     2439  13097 |        0 |        0
1719.67/1720.22	c 1720s |      27 | 17037860 | 12770333 |     2439  13105 |        0 |        0
1721.67/1722.22	c 1722s |      27 | 17054197 | 12783033 |     2439  13115 |        0 |        0
1723.67/1724.24	c 1724s |      27 | 17070495 | 12795733 |     2439  13125 |        0 |        0
1725.66/1726.25	c 1726s |      27 | 17087259 | 12808333 |     2439  13135 |        0 |        0
1727.67/1728.26	c 1728s |      27 | 17105024 | 12821533 |     2439  13145 |        0 |        0
1729.66/1730.26	c 1730s |      27 | 17122209 | 12834633 |     2439  13156 |        0 |        0
1731.66/1732.27	c 1732s |      27 | 17138570 | 12847533 |     2439  13166 |        0 |        0
1733.66/1734.27	c 1734s |      27 | 17153957 | 12859833 |     2439  13175 |        0 |        0
1735.66/1736.29	c 1736s |      27 | 17171701 | 12873933 |     2439  13186 |        0 |        0
1737.67/1738.29	c 1738s |      27 | 17187517 | 12886633 |     2439  13196 |        0 |        0
1739.66/1740.30	c 1740s |      27 | 17203193 | 12899233 |     2439  13206 |        0 |        0
1741.76/1742.32	c 1742s |      27 | 17218942 | 12911633 |     2439  13216 |        0 |        0
1743.76/1744.32	c 1744s |      27 | 17235857 | 12924433 |     2439  13226 |        0 |        0
1745.76/1746.32	c 1746s |      27 | 17252424 | 12937033 |     2439  13236 |        0 |        0
1747.76/1748.33	c 1748s |      27 | 17269746 | 12950233 |     2439  13246 |        0 |        0
1749.77/1750.34	c 1750s |      27 | 17285985 | 12962533 |     2439  13256 |        0 |        0
1751.76/1752.35	c 1752s |      27 | 17303608 | 12975733 |     2439  13266 |        0 |        0
1753.76/1754.36	c 1754s |      27 | 17321332 | 12989433 |     2439  13277 |        0 |        0
1755.76/1756.37	c 1756s |      27 | 17337816 | 13002533 |     2439  13288 |        0 |        0
1757.76/1758.39	c 1758s |      27 | 17356831 | 13016433 |     2439  13299 |        0 |        0
1759.76/1760.39	c 1760s |      27 | 17375290 | 13029933 |     2439  13310 |        0 |        0
1761.86/1762.41	c 1762s |      27 | 17395045 | 13044433 |     2439  13321 |        0 |        0
1763.86/1764.41	c 1764s |      27 | 17412377 | 13057733 |     2439  13332 |        0 |        0
1765.86/1766.41	c 1766s |      27 | 17431784 | 13071333 |     2439  13343 |        0 |        0
1767.86/1768.43	c 1768s |      27 | 17450051 | 13084733 |     2439  13353 |        0 |        0
1769.86/1770.44	c 1770s |      27 | 17467195 | 13097433 |     2439  13364 |        0 |        0
1771.86/1772.44	c 1772s |      27 | 17482856 | 13109733 |     2439  13373 |        0 |        0
1773.87/1774.45	c 1774s |      27 | 17500626 | 13122933 |     2439  13384 |        0 |        0
1775.86/1776.47	c 1776s |      27 | 17517120 | 13135633 |     2439  13394 |        0 |        0
1777.86/1778.47	c 1778s |      27 | 17533552 | 13148433 |     2439  13404 |        0 |        0
1779.86/1780.48	c 1780s |      27 | 17549823 | 13161033 |     2439  13414 |        0 |        0
1781.86/1782.49	c 1782s |      27 | 17567949 | 13175133 |     2439  13425 |        0 |        0
1783.87/1784.49	c 1784s |      27 | 17585828 | 13188933 |     2439  13436 |        0 |        0
1785.86/1786.49	c 1786s |      27 | 17602723 | 13202233 |     2439  13446 |        0 |        0
1787.96/1788.51	c 1788s |      27 | 17620360 | 13215833 |     2439  13457 |        0 |        0
1789.96/1790.51	c 1790s |      27 | 17637782 | 13229233 |     2439  13468 |        0 |        0
1791.95/1792.52	c 1792s |      27 | 17656156 | 13243233 |     2439  13479 |        0 |        0
1793.95/1794.53	c 1794s |      27 | 17674232 | 13257033 |     2439  13490 |        0 |        0
1795.96/1796.54	c 1796s |      27 | 17692655 | 13270733 |     2439  13501 |        0 |        0
1797.95/1798.54	c 1798s |      27 | 17710846 | 13284333 |     2439  13511 |        0 |        0
1799.95/1800.55	c 1800s |      27 | 17726691 | 13296633 |     2439  13521 |        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-4120898-1467312698/watcher-4120898-1467312698 -o /tmp/evaluation-result-4120898-1467312698/solver-4120898-1467312698 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467309401-22698 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120898-1467312698.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.29 2.21 3/179 23909
/proc/meminfo: memFree=27242084/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=752060 CPUtime=0 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 2812 0 0 0 0 0 0 0 20 0 4 0 12221018 770109440 2662 33554432000 4194304 16246674 140734511196992 140734511196416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 188783 2672 441 2943 0 185677 0
[pid=23909/tid=23910] ppid=23906 vsize=770492 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 788983808 2731 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=774588 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 793178112 2749 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12221018 798420992 2769 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 2.23 2.29 2.21 3/179 23909
/proc/meminfo: memFree=27242084/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 25035 0 0 0 5 4 0 0 20 0 4 0 12221018 1247350784 24874 33554432000 4194304 16246674 140734511196992 140734511196416 5708022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 304529 24882 709 2943 0 301423 0
[pid=23909/tid=23910] ppid=23906 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1247350784 24889 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1247350784 24895 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12221018 1247350784 24899 33554432000 4194304 16246674 140734511196992 140121543265456 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.20052 s]
/proc/loadavg: 2.23 2.29 2.21 3/179 23909
/proc/meminfo: memFree=27242084/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 47467 0 0 0 12 7 0 0 20 0 4 0 12221018 1247350784 47306 33554432000 4194304 16246674 140734511196992 140734511196416 5722381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 304529 47315 709 2943 0 301423 0
[pid=23909/tid=23910] ppid=23906 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1247350784 47321 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1247350784 47329 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12221018 1247350784 47335 33554432000 4194304 16246674 140734511196992 140121543265456 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.300498 s]
/proc/loadavg: 2.23 2.29 2.21 3/179 23909
/proc/meminfo: memFree=27242084/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 69636 0 0 0 20 9 0 0 20 0 4 0 12221018 1247350784 69475 33554432000 4194304 16246674 140734511196992 140734511196416 6023792 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 304529 69489 709 2943 0 301423 0
[pid=23909/tid=23910] ppid=23906 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1247350784 69494 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1247350784 69503 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12221018 1247350784 69510 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700417 s]
/proc/loadavg: 2.23 2.29 2.21 3/179 23909
/proc/meminfo: memFree=27242084/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 161270 0 0 0 48 21 0 0 20 0 4 0 12221018 1247350784 161109 33554432000 4194304 16246674 140734511196992 140734511178880 5724245 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 304529 161124 709 2943 0 301423 0
[pid=23909/tid=23910] ppid=23906 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1247350784 161131 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1247350784 161136 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12221018 1247350784 161141 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.23 2.29 2.21 3/183 23913
/proc/meminfo: memFree=26261112/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 245649 0 0 0 117 32 0 0 20 0 4 0 12221018 1248399360 245468 33554432000 4194304 16246674 140734511196992 140734511196304 5523356 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 304785 245468 784 2943 0 301679 0
[pid=23909/tid=23910] ppid=23906 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1248399360 245468 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1248399360 245468 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1248399360 245468 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.23 2.29 2.21 3/183 23913
/proc/meminfo: memFree=26174436/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 267443 0 0 0 274 35 0 0 20 0 4 0 12221018 1337528320 267262 33554432000 4194304 16246674 140734511196992 140734511178880 5973972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 326545 267262 784 2943 0 323439 0
[pid=23909/tid=23910] ppid=23906 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1337528320 267262 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1337528320 267262 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1337528320 267262 33554432000 4194304 16246674 140734511196992 140121543265456 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.30042 s]
/proc/loadavg: 2.29 2.30 2.22 3/183 23913
/proc/meminfo: memFree=26172468/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 267581 0 0 0 594 35 0 0 20 0 4 0 12221018 1338576896 267400 33554432000 4194304 16246674 140734511196992 140734511179992 12476697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 326801 267400 785 2943 0 323695 0
[pid=23909/tid=23910] ppid=23906 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1338576896 267400 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1338576896 267400 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1338576896 267400 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.27 2.29 2.22 4/183 23913
/proc/meminfo: memFree=26171792/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 267810 0 0 0 1234 35 0 0 20 0 4 0 12221018 1338576896 267629 33554432000 4194304 16246674 140734511196992 140734511179992 5665133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 326801 267629 787 2943 0 323695 0
[pid=23909/tid=23910] ppid=23906 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1338576896 267629 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1338576896 267629 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1338576896 267629 33554432000 4194304 16246674 140734511196992 140121543265456 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) 1307204

[startup+25.5074 s]
/proc/loadavg: 2.27 2.29 2.22 3/183 23913
/proc/meminfo: memFree=26172040/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 267825 0 0 0 2514 35 0 0 20 0 4 0 12221018 1338576896 267644 33554432000 4194304 16246674 140734511196992 140734511179992 5723304 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 326801 267644 787 2943 0 323695 0
[pid=23909/tid=23910] ppid=23906 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1338576896 267644 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1338576896 267644 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1338576896 267644 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1004 s]
/proc/loadavg: 2.24 2.28 2.22 3/183 23913
/proc/meminfo: memFree=26171268/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1308228 CPUtime=51.09 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 268068 0 0 0 5073 36 0 0 20 0 4 0 12221018 1339625472 267887 33554432000 4194304 16246674 140734511196992 140734511179992 5708451 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 327057 267887 787 2943 0 323951 0
[pid=23909/tid=23910] ppid=23906 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1339625472 267887 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1339625472 267887 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1339625472 267887 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.27 2.29 2.22 3/183 23914
/proc/meminfo: memFree=26170580/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 268081 0 0 0 10191 37 0 0 20 0 4 0 12221018 1339625472 267900 33554432000 4194304 16246674 140734511196992 140734511179992 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 327057 267900 787 2943 0 323951 0
[pid=23909/tid=23910] ppid=23906 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1339625472 267900 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1339625472 267900 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1339625472 267900 33554432000 4194304 16246674 140734511196992 140121543265456 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) 1308228


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

/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.26 2.30 2.27 3/183 23968
/proc/meminfo: memFree=26164172/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1312324 CPUtime=1361.82 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 269524 0 0 0 136124 58 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140734511178880 5973972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 328081 269181 788 2943 0 324975 0
[pid=23909/tid=23910] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.41 2.33 2.28 3/183 23970
/proc/meminfo: memFree=26163944/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1312324 CPUtime=1421.81 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 269524 0 0 0 142123 58 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140734511178880 5822704 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 328081 269181 788 2943 0 324975 0
[pid=23909/tid=23910] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.44 2.34 2.28 4/183 23971
/proc/meminfo: memFree=26163952/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1312324 CPUtime=1481.8 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 269524 0 0 0 148121 59 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140734511178880 5973972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 328081 269181 788 2943 0 324975 0
[pid=23909/tid=23910] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1312324

[startup+1542.3 s]
/proc/loadavg: 2.31 2.32 2.28 3/183 24021
/proc/meminfo: memFree=26164152/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1312324 CPUtime=1541.8 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 269524 0 0 0 154120 60 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140734511179992 5665981 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 328081 269181 788 2943 0 324975 0
[pid=23909/tid=23910] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.32 2.32 2.27 3/183 24022
/proc/meminfo: memFree=26164500/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1312324 CPUtime=1601.78 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 269524 0 0 0 160117 61 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140734511179992 5822717 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 328081 269181 788 2943 0 324975 0
[pid=23909/tid=23910] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1312324

[startup+1662.31 s]
/proc/loadavg: 2.25 2.31 2.27 4/183 24023
/proc/meminfo: memFree=26163936/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1312324 CPUtime=1661.78 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 269524 0 0 0 166117 61 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140734511179992 5667604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 328081 269181 788 2943 0 324975 0
[pid=23909/tid=23910] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.25 2.29 2.27 3/184 24028
/proc/meminfo: memFree=26163592/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1312324 CPUtime=1721.77 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 269524 0 0 0 172115 62 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140734511179992 5523536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 328081 269181 788 2943 0 324975 0
[pid=23909/tid=23910] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.42 2.33 2.28 3/183 24029
/proc/meminfo: memFree=26163028/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1312324 CPUtime=1781.76 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 269524 0 0 0 178113 63 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140734511178880 5822740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 328081 269181 788 2943 0 324975 0
[pid=23909/tid=23910] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.38 2.32 2.28 3/183 24029
/proc/meminfo: memFree=26163028/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1312324 CPUtime=1800.05 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 269524 0 0 0 179942 63 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140734511179992 5829778 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 328081 269181 788 2943 0 324975 0
[pid=23909/tid=23910] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1312324

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

[startup+1800.6 s]
/proc/loadavg: 2.38 2.32 2.28 3/183 24029
/proc/meminfo: memFree=26163028/32872528 swapFree=1459604/1655828
[pid=23909] ppid=23906 vsize=1312324 CPUtime=1800.05 cores=1,3,5,7
/proc/23909/stat : 23909 (toysat) R 23906 23909 22681 0 -1 4202496 269524 0 0 0 179942 63 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140734511179992 5829778 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23909/statm: 328081 269181 788 2943 0 324975 0
[pid=23909/tid=23910] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23910/stat : 23910 (toysat) S 23906 23909 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121564228848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=23909/tid=23911] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23911/stat : 23911 (toysat) S 23906 23909 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121553738992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=23909/tid=23912] ppid=23906 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/23909/task/23912/stat : 23912 (toysat) S 23906 23909 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12221018 1343819776 269181 33554432000 4194304 16246674 140734511196992 140121543265456 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1312324

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.43
CPU system time (s): 0.634903
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.634903
maximum resident set size= 1076724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269524
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= 432
involuntary context switches= 1918

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51631 second user time and 7.00394 second system time

The end

Begin job on node136 at 2016-06-30 20:51:38
IDJOB=4120898
IDBENCH=110177
IDSOLVER=2542
FILE ID=node136/4120898-1467312698
RUNJOBID= node136-1467309401-22698
PBS_JOBID= 20005289
Free space on /tmp= 71632 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-68.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120898-1467312698/watcher-4120898-1467312698 -o /tmp/evaluation-result-4120898-1467312698/solver-4120898-1467312698 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467309401-22698 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120898-1467312698.opb

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

MD5SUM BENCH= 87d1f6a30d70fa80cd155bafc973f283
RANDOM SEED=1283769272

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27242860 kB
Buffers:          194308 kB
Cached:          1930940 kB
SwapCached:            0 kB
Active:          1481260 kB
Inactive:        1740008 kB
Active(anon):    1098572 kB
Inactive(anon):        0 kB
Active(file):     382688 kB
Inactive(file):  1740008 kB
Unevictable:     1655828 kB
Mlocked:         1459604 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16500 kB
Writeback:            44 kB
AnonPages:       2755932 kB
Mapped:            17188 kB
Shmem:               204 kB
Slab:             615644 kB
SReclaimable:      59484 kB
SUnreclaim:       556160 kB
KernelStack:        1520 kB
PageTables:         9252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2887664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    614400 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= 71612 MiB
End job on node136 at 2016-06-30 21:21:39