0.00/0.00	c 2016-06-15T21:02:30+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-4088861-1466017349.opb"]
0.00/0.01	c use --random-gen="1193225501 1582789865 3259655869 3051945642 660400428 4049996919 3345060872 538839496 3900882667 2332118133 2474750042 3992851142 3009274485 3883316690 1547067612 26854297 3361220822 1864101298 2002836359 419602145 932184833 992462861 3883402853 2353384454 2764660601 648298120 2302132501 2427907044 3341486960 1470964048 1260396196 2418183106 1768704373 4028226721 2371410482 2005476426 3030106756 6096558 2853606995 896460750 1058600352 3634658542 3618724925 2605772322 1045543261 3515602744 646076429 2800712178 1045209627 2197365226 315343360 3386167206 25667020 3150880559 950467224 2402624827 527578512 732374031 2299932838 1117425352 1430292597 2247130779 3007233562 967971463 582175610 192060755 3313107604 2087514579 206193836 165958278 2638407164 3612269637 1614133273 558755143 3485752154 3509203338 252637805 4118265282 3371043033 1529351065 708331794 4035759438 2516486625 3489982536 3196334512 3201407548 2842488902 3101211980 3001083231 2327773851 589132906 3564745053 3181165318 4075756465 3577282591 1696713427 3970955187 2249204090 2758776013 3243687911 2795991254 3949939149 1906741894 321690385 2148820712 3604925322 1502373669 1846464295 3936086827 3280044666 3176099204 1055775239 3599999410 1940572570 2089975624 623506840 1555254101 1350674904 2647581882 42623543 1075207947 1117070984 1184641623 2641619574 3200959718 875565248 3061576881 3026589525 4214711592 3848690350 2603337074 2866531111 1130077825 4188438322 2901075361 2322947820 2185799904 3862005645 3898618175 2842486087 2841278940 2965139568 4126489229 3155514857 2371488411 1857359876 3815335290 1759006253 1679312758 611658282 897196764 1910721435 853724583 2609136431 666299791 1821025046 2788087003 1846810492 2118380640 3907450905 1033948873 2945057104 616516398 4078221879 3180769165 1261826328 3856631044 75548419 3652501266 3604123648 2933761536 4283090436 2138035240 4056238859 2861298343 13125013 170033745 1271400028 4276679812 2415657603 1100084398 1776081189 3532254951 2718146445 127653396 1972501882 1186157973 3435163686 2155849215 3655507957 1679641612 3325165699 736308225 2343208675 4084761868 1567301330 986686172 3508748591 3618038524 396092156 1181311329 2518634802 279972800 2143019498 751019524 1774457804 3018901096 1326624196 1370179657 2049050916 2942748825 2320619386 4289652438 10662266 3772003645 710237042 3943326685 886333195 1488013438 3794938764 2977319310 396872178 664623742 4286253873 2162626121 4162893405 2560420556 3287963324 21868404 97025213 1836645715 999923266 2533751534 1149193876 275573597 1645406970 2287863132 145644269 3668406370 5572865 2611731950 231517304 1081114508 3254199119 1048100072 3658816667 1587879810 811539707 2225822990 4066721311 2903336912 3835339818 3946579654 3646318090 2869957327 2753754855 255 362436" option to reproduce the execution
0.00/0.01	c #vars 765
0.00/0.01	c #constraints 154
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 |      306      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      246 |      100 |      306      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      549 |      250 |      337      0 |        0 |        0
0.00/0.05	c  0.0s |       3 |      852 |      475 |      371      1 |        0 |        0
0.00/0.07	c  0.1s |       4 |     1453 |      813 |      409      2 |        0 |        0
0.09/0.10	c  0.1s |       5 |     2183 |     1320 |      450      4 |        0 |        0
0.09/0.16	c  0.1s |       6 |     3380 |     2081 |      546      6 |        0 |        0
0.19/0.23	c  0.2s |       7 |     5225 |     3223 |      601     10 |        0 |        0
0.29/0.35	c  0.3s |       8 |     8149 |     4936 |      662     15 |        0 |        0
0.49/0.58	c  0.6s |       9 |    12057 |     7506 |      729     21 |        0 |        0
0.79/0.88	c  0.9s |      10 |    18351 |    11361 |      802     29 |        0 |        0
1.20/1.29	c  1.3s |      11 |    26756 |    17144 |      883     41 |        0 |        0
1.78/1.82	c  1.8s |      12 |    38437 |    25819 |      972     59 |        0 |        0
2.69/2.79	c  2.8s |      13 |    58988 |    38832 |     1070     80 |        0 |        0
3.88/3.96	c  3.9s |      14 |    87074 |    58352 |     1177    113 |        0 |        0
5.89/5.97	c  5.9s |      14 |   124834 |    84152 |     1177    150 |        0 |        0
6.19/6.25	c  6.2s |      15 |   129393 |    87632 |     1295    154 |        0 |        0
8.19/8.25	c  8.2s |      15 |   168290 |   116332 |     1295    196 |        0 |        0
9.49/9.58	c  9.6s |      16 |   188654 |   131552 |     1425    218 |        0 |        0
11.49/11.58	c 11.6s |      16 |   229590 |   160752 |     1425    256 |        0 |        0
13.49/13.58	c 13.6s |      16 |   255882 |   181652 |     1425    278 |        0 |        0
14.89/14.96	c 14.9s |      17 |   276007 |   197432 |     1568    294 |        0 |        0
16.89/16.97	c 16.9s |      17 |   312606 |   224532 |     1568    327 |        0 |        0
18.89/18.97	c 19.0s |      17 |   353228 |   253532 |     1568    362 |        0 |        0
20.89/20.97	c 21.0s |      17 |   392039 |   282032 |     1568    397 |        0 |        0
21.89/21.97	c 22.0s |      18 |   410260 |   296252 |     1725    414 |        0 |        0
23.89/23.99	c 24.0s |      18 |   444768 |   320652 |     1725    438 |        0 |        0
25.99/26.00	c 26.0s |      18 |   474290 |   342452 |     1725    458 |        0 |        0
27.99/28.00	c 28.0s |      18 |   500934 |   362852 |     1725    478 |        0 |        0
29.99/30.01	c 30.0s |      18 |   529366 |   384652 |     1725    499 |        0 |        0
31.99/32.01	c 32.0s |      18 |   557315 |   404752 |     1725    519 |        0 |        0
33.99/34.01	c 34.0s |      18 |   586692 |   426552 |     1725    540 |        0 |        0
35.89/35.98	c 36.0s |      19 |   610907 |   444482 |     1898    557 |        0 |        0
37.89/37.99	c 38.0s |      19 |   647479 |   472382 |     1898    585 |        0 |        0
39.98/40.00	c 40.0s |      19 |   687177 |   500782 |     1898    613 |        0 |        0
41.98/42.00	c 42.0s |      19 |   718542 |   522782 |     1898    631 |        0 |        0
43.99/44.00	c 44.0s |      19 |   749102 |   545082 |     1898    650 |        0 |        0
45.98/46.01	c 46.0s |      19 |   774664 |   564582 |     1898    667 |        0 |        0
47.98/48.01	c 48.0s |      19 |   810556 |   591482 |     1898    695 |        0 |        0
49.98/50.01	c 50.0s |      19 |   841226 |   615382 |     1898    719 |        0 |        0
51.98/52.01	c 52.0s |      19 |   876012 |   640982 |     1898    745 |        0 |        0
53.78/53.87	c 53.9s |      20 |   908964 |   666827 |     2088    771 |        0 |        0
55.78/55.88	c 55.9s |      20 |   937091 |   683927 |     2088    785 |        0 |        0
57.78/57.89	c 57.9s |      20 |   959016 |   698927 |     2088    797 |        0 |        0
59.78/59.89	c 59.9s |      20 |   987609 |   717427 |     2088    812 |        0 |        0
61.88/61.91	c 61.9s |      20 |  1009957 |   732927 |     2088    825 |        0 |        0
63.89/63.92	c 63.9s |      20 |  1036888 |   751427 |     2088    840 |        0 |        0
65.88/65.92	c 65.9s |      20 |  1057354 |   766427 |     2088    852 |        0 |        0
67.88/67.93	c 67.9s |      20 |  1084390 |   784727 |     2088    867 |        0 |        0
69.88/69.93	c 69.9s |      20 |  1110096 |   801927 |     2088    881 |        0 |        0
71.88/71.94	c 71.9s |      20 |  1138134 |   821927 |     2088    897 |        0 |        0
73.87/73.95	c 73.9s |      20 |  1161730 |   838727 |     2088    911 |        0 |        0
75.88/75.95	c 75.9s |      20 |  1185648 |   855527 |     2088    925 |        0 |        0
77.87/77.96	c 77.9s |      20 |  1212298 |   874127 |     2088    940 |        0 |        0
79.87/79.96	c 79.9s |      20 |  1232568 |   888327 |     2088    952 |        0 |        0
81.88/81.96	c 81.9s |      20 |  1251197 |   901927 |     2088    963 |        0 |        0
83.88/83.97	c 84.0s |      20 |  1272114 |   916427 |     2088    975 |        0 |        0
85.89/85.98	c 86.0s |      20 |  1293562 |   931627 |     2088    988 |        0 |        0
87.88/87.98	c 88.0s |      20 |  1318865 |   949427 |     2088   1002 |        0 |        0
89.88/89.99	c 90.0s |      20 |  1342415 |   965627 |     2088   1016 |        0 |        0
91.88/91.99	c 92.0s |      20 |  1367126 |   983727 |     2088   1031 |        0 |        0
93.88/93.92	c 93.9s |      21 |  1389197 |  1000345 |     2297   1044 |        0 |        0
95.88/95.93	c 95.9s |      21 |  1426529 |  1027245 |     2297   1066 |        0 |        0
97.88/97.94	c 97.9s |      21 |  1460135 |  1050545 |     2297   1085 |        0 |        0
99.88/99.94	c 99.9s |      21 |  1497251 |  1078045 |     2297   1109 |        0 |        0
101.88/101.94	c  101s |      21 |  1530821 |  1103245 |     2297   1130 |        0 |        0
103.87/103.94	c  103s |      21 |  1567484 |  1129745 |     2297   1152 |        0 |        0
105.87/105.95	c  105s |      21 |  1601002 |  1153745 |     2297   1171 |        0 |        0
107.88/107.95	c  107s |      21 |  1628865 |  1173845 |     2297   1188 |        0 |        0
109.87/109.95	c  109s |      21 |  1662865 |  1197545 |     2297   1207 |        0 |        0
111.87/111.96	c  111s |      21 |  1698755 |  1223745 |     2297   1229 |        0 |        0
113.87/113.96	c  113s |      21 |  1736491 |  1250545 |     2297   1251 |        0 |        0
115.87/115.96	c  115s |      21 |  1769963 |  1274945 |     2297   1270 |        0 |        0
117.87/117.97	c  117s |      21 |  1804507 |  1301045 |     2297   1292 |        0 |        0
119.87/119.98	c  119s |      21 |  1833729 |  1321745 |     2297   1310 |        0 |        0
121.87/121.99	c  121s |      21 |  1869683 |  1346645 |     2297   1330 |        0 |        0
123.87/123.99	c  123s |      21 |  1901766 |  1369645 |     2297   1349 |        0 |        0
125.87/125.99	c  125s |      21 |  1932763 |  1393045 |     2297   1368 |        0 |        0
127.97/128.00	c  127s |      21 |  1969008 |  1418345 |     2297   1389 |        0 |        0
129.97/130.00	c  129s |      21 |  2000805 |  1441545 |     2297   1408 |        0 |        0
131.87/132.00	c  131s |      21 |  2037632 |  1469045 |     2297   1431 |        0 |        0
133.97/134.00	c  133s |      21 |  2073910 |  1496745 |     2527   1454 |        0 |        0
134.18/134.26	c  134s |      22 |  2079282 |  1500622 |     2527   1457 |        0 |        0
136.17/136.27	c  136s |      22 |  2114371 |  1525922 |     2527   1476 |        0 |        0
138.17/138.27	c  138s |      22 |  2139348 |  1544222 |     2527   1490 |        0 |        0
140.17/140.28	c  140s |      22 |  2172619 |  1565922 |     2527   1507 |        0 |        0
142.17/142.28	c  142s |      22 |  2196973 |  1584322 |     2527   1519 |        0 |        0
144.17/144.28	c  144s |      22 |  2221565 |  1603322 |     2527   1532 |        0 |        0
146.17/146.29	c  146s |      22 |  2252474 |  1626322 |     2527   1548 |        0 |        0
148.27/148.30	c  148s |      22 |  2283037 |  1648922 |     2527   1564 |        0 |        0
150.27/150.30	c  150s |      22 |  2307090 |  1666722 |     2527   1576 |        0 |        0
152.26/152.30	c  152s |      22 |  2334351 |  1687322 |     2527   1591 |        0 |        0
154.26/154.31	c  154s |      22 |  2360004 |  1705822 |     2527   1604 |        0 |        0
156.27/156.31	c  156s |      22 |  2386529 |  1725422 |     2527   1618 |        0 |        0
158.26/158.32	c  158s |      22 |  2415755 |  1747622 |     2527   1633 |        0 |        0
160.26/160.32	c  160s |      22 |  2448136 |  1771322 |     2527   1651 |        0 |        0
162.26/162.33	c  162s |      22 |  2476414 |  1792422 |     2527   1666 |        0 |        0
164.26/164.33	c  164s |      22 |  2505895 |  1814022 |     2527   1682 |        0 |        0
166.26/166.34	c  166s |      22 |  2537121 |  1837322 |     2527   1699 |        0 |        0
168.27/168.35	c  168s |      22 |  2561053 |  1854222 |     2527   1711 |        0 |        0
170.26/170.35	c  170s |      22 |  2590093 |  1873722 |     2527   1725 |        0 |        0
172.26/172.36	c  172s |      22 |  2621582 |  1895422 |     2527   1740 |        0 |        0
174.27/174.37	c  174s |      22 |  2649176 |  1914522 |     2527   1754 |        0 |        0
176.27/176.37	c  176s |      22 |  2681765 |  1937622 |     2527   1770 |        0 |        0
178.27/178.38	c  178s |      22 |  2707030 |  1956322 |     2527   1782 |        0 |        0
180.27/180.38	c  180s |      22 |  2733334 |  1976222 |     2527   1796 |        0 |        0
182.27/182.39	c  182s |      22 |  2761330 |  1998022 |     2527   1810 |        0 |        0
184.37/184.40	c  184s |      22 |  2789566 |  2019622 |     2527   1825 |        0 |        0
186.37/186.40	c  186s |      22 |  2815829 |  2039322 |     2527   1838 |        0 |        0
188.36/188.41	c  188s |      22 |  2842706 |  2059822 |     2527   1852 |        0 |        0
190.37/190.41	c  190s |      22 |  2863071 |  2076422 |     2527   1863 |        0 |        0
192.36/192.42	c  192s |      22 |  2886878 |  2093622 |     2527   1874 |        0 |        0
194.36/194.42	c  194s |      22 |  2914761 |  2115122 |     2527   1889 |        0 |        0
196.36/196.44	c  196s |      22 |  2939816 |  2134322 |     2527   1901 |        0 |        0
198.36/198.45	c  198s |      22 |  2965103 |  2153722 |     2527   1915 |        0 |        0
200.36/200.45	c  200s |      22 |  2992397 |  2173722 |     2527   1928 |        0 |        0
202.37/202.46	c  202s |      22 |  3015158 |  2189422 |     2527   1939 |        0 |        0
204.36/204.47	c  204s |      22 |  3035648 |  2204922 |     2527   1949 |        0 |        0
206.36/206.47	c  206s |      22 |  3062437 |  2224222 |     2527   1962 |        0 |        0
208.36/208.48	c  208s |      22 |  3086101 |  2240522 |     2780   1973 |        0 |        0
209.46/209.53	c  209s |      23 |  3101077 |  2251038 |     2780   1979 |        0 |        0
211.46/211.54	c  211s |      23 |  3136679 |  2275738 |     2780   1996 |        0 |        0
213.46/213.55	c  213s |      23 |  3161851 |  2295338 |     2780   2008 |        0 |        0
215.46/215.55	c  215s |      23 |  3188082 |  2315438 |     2780   2021 |        0 |        0
217.46/217.56	c  217s |      23 |  3213538 |  2334538 |     2780   2033 |        0 |        0
219.46/219.57	c  219s |      23 |  3242405 |  2355438 |     2780   2046 |        0 |        0
221.46/221.58	c  221s |      23 |  3272914 |  2379138 |     2780   2063 |        0 |        0
223.46/223.58	c  223s |      23 |  3305748 |  2403138 |     2780   2080 |        0 |        0
225.46/225.58	c  225s |      23 |  3338013 |  2428438 |     2780   2097 |        0 |        0
227.45/227.59	c  227s |      23 |  3367977 |  2449238 |     2780   2111 |        0 |        0
229.55/229.60	c  229s |      23 |  3398687 |  2470938 |     2780   2127 |        0 |        0
231.55/231.61	c  231s |      23 |  3426283 |  2491738 |     2780   2141 |        0 |        0
233.55/233.61	c  233s |      23 |  3456459 |  2514138 |     2780   2156 |        0 |        0
235.55/235.62	c  235s |      23 |  3483493 |  2534838 |     2780   2169 |        0 |        0
237.56/237.62	c  237s |      23 |  3507739 |  2553738 |     2780   2181 |        0 |        0
239.55/239.63	c  239s |      23 |  3530360 |  2571438 |     2780   2193 |        0 |        0
241.55/241.63	c  241s |      23 |  3554828 |  2590338 |     2780   2205 |        0 |        0
243.55/243.64	c  243s |      23 |  3580681 |  2609738 |     2780   2218 |        0 |        0
245.55/245.64	c  245s |      23 |  3611121 |  2632838 |     2780   2233 |        0 |        0
247.56/247.65	c  247s |      23 |  3644811 |  2656738 |     2780   2249 |        0 |        0
249.55/249.66	c  249s |      23 |  3668146 |  2673338 |     2780   2260 |        0 |        0
251.56/251.68	c  251s |      23 |  3690799 |  2690538 |     2780   2271 |        0 |        0
253.56/253.69	c  253s |      23 |  3715950 |  2708938 |     2780   2283 |        0 |        0
255.56/255.69	c  255s |      23 |  3739269 |  2727138 |     2780   2294 |        0 |        0
257.56/257.69	c  257s |      23 |  3770930 |  2750938 |     2780   2311 |        0 |        0
259.56/259.70	c  259s |      23 |  3802588 |  2775438 |     2780   2327 |        0 |        0
261.65/261.70	c  261s |      23 |  3830182 |  2796638 |     2780   2342 |        0 |        0
263.65/263.71	c  263s |      23 |  3858061 |  2816538 |     2780   2355 |        0 |        0
265.65/265.71	c  265s |      23 |  3880039 |  2833938 |     2780   2367 |        0 |        0
267.65/267.72	c  267s |      23 |  3907932 |  2854738 |     2780   2381 |        0 |        0
269.65/269.72	c  269s |      23 |  3931571 |  2872038 |     2780   2393 |        0 |        0
271.66/271.73	c  271s |      23 |  3958986 |  2891638 |     2780   2407 |        0 |        0
273.65/273.73	c  273s |      23 |  3986918 |  2911938 |     2780   2420 |        0 |        0
275.65/275.74	c  275s |      23 |  4015809 |  2934238 |     2780   2435 |        0 |        0
277.65/277.74	c  277s |      23 |  4044931 |  2956338 |     2780   2451 |        0 |        0
279.65/279.74	c  279s |      23 |  4076497 |  2979838 |     2780   2467 |        0 |        0
281.65/281.75	c  281s |      23 |  4107306 |  3001838 |     2780   2481 |        0 |        0
283.64/283.76	c  283s |      23 |  4130785 |  3018338 |     2780   2492 |        0 |        0
285.64/285.76	c  285s |      23 |  4154672 |  3035638 |     2780   2503 |        0 |        0
287.64/287.76	c  287s |      23 |  4177256 |  3052638 |     2780   2514 |        0 |        0
289.65/289.77	c  289s |      23 |  4200588 |  3069338 |     2780   2525 |        0 |        0
291.65/291.78	c  291s |      23 |  4221546 |  3085338 |     2780   2535 |        0 |        0
293.65/293.79	c  293s |      23 |  4245229 |  3102738 |     2780   2546 |        0 |        0
295.75/295.81	c  295s |      23 |  4270971 |  3121838 |     2780   2559 |        0 |        0
297.75/297.82	c  297s |      23 |  4295014 |  3140138 |     2780   2570 |        0 |        0
299.75/299.83	c  299s |      23 |  4316637 |  3157138 |     2780   2581 |        0 |        0
301.75/301.84	c  301s |      23 |  4339212 |  3174738 |     2780   2593 |        0 |        0
303.75/303.84	c  303s |      23 |  4363319 |  3192738 |     2780   2605 |        0 |        0
305.75/305.84	c  305s |      23 |  4386551 |  3210038 |     2780   2617 |        0 |        0
307.75/307.85	c  307s |      23 |  4413962 |  3230238 |     2780   2631 |        0 |        0
309.74/309.85	c  309s |      23 |  4449333 |  3256138 |     2780   2649 |        0 |        0
311.74/311.85	c  311s |      23 |  4483227 |  3281638 |     2780   2667 |        0 |        0
313.74/313.85	c  313s |      23 |  4517889 |  3307838 |     2780   2685 |        0 |        0
315.75/315.86	c  315s |      23 |  4547729 |  3331138 |     2780   2701 |        0 |        0
317.74/317.86	c  317s |      23 |  4583092 |  3358038 |     3059   2719 |        0 |        0
319.24/319.38	c  319s |      24 |  4607841 |  3376662 |     3059   2730 |        0 |        0
321.25/321.39	c  321s |      24 |  4643158 |  3401562 |     3059   2745 |        0 |        0
323.24/323.40	c  323s |      24 |  4669642 |  3419862 |     3059   2756 |        0 |        0
325.34/325.41	c  325s |      24 |  4695504 |  3437462 |     3059   2767 |        0 |        0
327.34/327.41	c  327s |      24 |  4719463 |  3454162 |     3059   2777 |        0 |        0
329.34/329.42	c  329s |      24 |  4738817 |  3469362 |     3059   2786 |        0 |        0
331.34/331.42	c  331s |      24 |  4761722 |  3486662 |     3059   2796 |        0 |        0
333.34/333.43	c  333s |      24 |  4783150 |  3502262 |     3059   2805 |        0 |        0
335.34/335.44	c  335s |      24 |  4805522 |  3516962 |     3059   2814 |        0 |        0
337.33/337.44	c  337s |      24 |  4829348 |  3534262 |     3059   2825 |        0 |        0
339.34/339.44	c  339s |      24 |  4854603 |  3551162 |     3059   2835 |        0 |        0
341.34/341.45	c  341s |      24 |  4877877 |  3567762 |     3059   2845 |        0 |        0
343.34/343.45	c  343s |      24 |  4896242 |  3581562 |     3059   2853 |        0 |        0
345.35/345.49	c  345s |      24 |  4919824 |  3598762 |     3059   2863 |        0 |        0
347.34/347.49	c  347s |      24 |  4944749 |  3617262 |     3059   2874 |        0 |        0
349.44/349.50	c  349s |      24 |  4967554 |  3633862 |     3059   2884 |        0 |        0
351.44/351.51	c  351s |      24 |  4990219 |  3650762 |     3059   2895 |        0 |        0
353.44/353.53	c  353s |      24 |  5012961 |  3667562 |     3059   2905 |        0 |        0
355.44/355.55	c  355s |      24 |  5033143 |  3682262 |     3059   2913 |        0 |        0
357.44/357.55	c  357s |      24 |  5053694 |  3697662 |     3059   2923 |        0 |        0
359.44/359.57	c  359s |      24 |  5077972 |  3715662 |     3059   2934 |        0 |        0
361.44/361.58	c  361s |      24 |  5100623 |  3732362 |     3059   2944 |        0 |        0
363.44/363.59	c  363s |      24 |  5122501 |  3748262 |     3059   2953 |        0 |        0
365.54/365.61	c  365s |      24 |  5147153 |  3766062 |     3059   2964 |        0 |        0
367.54/367.62	c  367s |      24 |  5169801 |  3783062 |     3059   2974 |        0 |        0
369.54/369.63	c  369s |      24 |  5188922 |  3797162 |     3059   2983 |        0 |        0
371.53/371.64	c  371s |      24 |  5208261 |  3811362 |     3059   2991 |        0 |        0
373.53/373.64	c  373s |      24 |  5228726 |  3825562 |     3059   2999 |        0 |        0
375.53/375.65	c  375s |      24 |  5253432 |  3841562 |     3059   3009 |        0 |        0
377.53/377.65	c  377s |      24 |  5278215 |  3859062 |     3059   3019 |        0 |        0
379.54/379.66	c  379s |      24 |  5300803 |  3875162 |     3059   3029 |        0 |        0
381.53/381.66	c  381s |      24 |  5322792 |  3891462 |     3059   3038 |        0 |        0
383.53/383.66	c  383s |      24 |  5341486 |  3905062 |     3059   3047 |        0 |        0
385.53/385.68	c  385s |      24 |  5366668 |  3922962 |     3059   3057 |        0 |        0
387.53/387.69	c  387s |      24 |  5390423 |  3939162 |     3059   3067 |        0 |        0
389.63/389.70	c  389s |      24 |  5414495 |  3954562 |     3059   3076 |        0 |        0
391.63/391.71	c  391s |      24 |  5439074 |  3971062 |     3059   3086 |        0 |        0
393.63/393.71	c  393s |      24 |  5459552 |  3985862 |     3059   3094 |        0 |        0
395.63/395.72	c  395s |      24 |  5478719 |  4000262 |     3059   3103 |        0 |        0
397.63/397.72	c  397s |      24 |  5497518 |  4014462 |     3059   3112 |        0 |        0
399.63/399.73	c  399s |      24 |  5522299 |  4031262 |     3059   3121 |        0 |        0
401.63/401.73	c  401s |      24 |  5546711 |  4048662 |     3059   3132 |        0 |        0
403.64/403.74	c  403s |      24 |  5570207 |  4065762 |     3059   3142 |        0 |        0
405.63/405.74	c  405s |      24 |  5592522 |  4081662 |     3059   3151 |        0 |        0
407.63/407.75	c  407s |      24 |  5616898 |  4098362 |     3059   3161 |        0 |        0
409.63/409.76	c  409s |      24 |  5643202 |  4116762 |     3059   3173 |        0 |        0
411.63/411.77	c  411s |      24 |  5669510 |  4136062 |     3059   3184 |        0 |        0
413.64/413.78	c  413s |      24 |  5694044 |  4154462 |     3059   3195 |        0 |        0
415.63/415.79	c  415s |      24 |  5715032 |  4170262 |     3059   3205 |        0 |        0
417.63/417.79	c  417s |      24 |  5741764 |  4189962 |     3059   3217 |        0 |        0
419.73/419.80	c  419s |      24 |  5762722 |  4205762 |     3059   3226 |        0 |        0
421.73/421.80	c  421s |      24 |  5789946 |  4224962 |     3059   3238 |        0 |        0
423.73/423.81	c  423s |      24 |  5815987 |  4243862 |     3059   3249 |        0 |        0
425.73/425.82	c  425s |      24 |  5837590 |  4260362 |     3059   3259 |        0 |        0
427.73/427.83	c  427s |      24 |  5860709 |  4277662 |     3059   3270 |        0 |        0
429.72/429.83	c  429s |      24 |  5883638 |  4294962 |     3059   3280 |        0 |        0
431.72/431.84	c  431s |      24 |  5911776 |  4315662 |     3059   3293 |        0 |        0
433.72/433.85	c  433s |      24 |  5933237 |  4332362 |     3059   3303 |        0 |        0
435.72/435.85	c  435s |      24 |  5956375 |  4349962 |     3059   3313 |        0 |        0
437.73/437.86	c  437s |      24 |  5981032 |  4368762 |     3059   3325 |        0 |        0
439.72/439.86	c  439s |      24 |  6006820 |  4387462 |     3059   3336 |        0 |        0
441.72/441.87	c  441s |      24 |  6034661 |  4408062 |     3059   3349 |        0 |        0
443.72/443.88	c  443s |      24 |  6058848 |  4426062 |     3059   3360 |        0 |        0
445.72/445.88	c  445s |      24 |  6084836 |  4445262 |     3059   3371 |        0 |        0
447.72/447.89	c  447s |      24 |  6110793 |  4462762 |     3059   3382 |        0 |        0
449.72/449.89	c  449s |      24 |  6129531 |  4477162 |     3059   3390 |        0 |        0
451.73/451.89	c  451s |      24 |  6155277 |  4495162 |     3059   3401 |        0 |        0
453.83/453.91	c  453s |      24 |  6178858 |  4511962 |     3059   3412 |        0 |        0
455.83/455.91	c  455s |      24 |  6203527 |  4530462 |     3059   3423 |        0 |        0
457.83/457.91	c  457s |      24 |  6225623 |  4547462 |     3059   3433 |        0 |        0
459.83/459.91	c  459s |      24 |  6248381 |  4563462 |     3059   3443 |        0 |        0
461.82/461.92	c  461s |      24 |  6271552 |  4580962 |     3059   3453 |        0 |        0
463.82/463.92	c  463s |      24 |  6299608 |  4601662 |     3059   3466 |        0 |        0
465.82/465.94	c  465s |      24 |  6322725 |  4618662 |     3059   3476 |        0 |        0
467.82/467.94	c  467s |      24 |  6345152 |  4635662 |     3059   3487 |        0 |        0
469.82/469.95	c  469s |      24 |  6373199 |  4655862 |     3059   3499 |        0 |        0
471.82/471.96	c  471s |      24 |  6399789 |  4675262 |     3059   3511 |        0 |        0
473.82/473.97	c  473s |      24 |  6425629 |  4693462 |     3059   3522 |        0 |        0
475.82/475.97	c  475s |      24 |  6450686 |  4712162 |     3059   3532 |        0 |        0
477.82/477.98	c  477s |      24 |  6476802 |  4732062 |     3059   3544 |        0 |        0
479.82/479.99	c  479s |      24 |  6501079 |  4750662 |     3059   3556 |        0 |        0
481.82/481.99	c  481s |      24 |  6523344 |  4767662 |     3059   3566 |        0 |        0
483.82/484.00	c  483s |      24 |  6548426 |  4786662 |     3059   3577 |        0 |        0
485.92/486.00	c  485s |      24 |  6570408 |  4803662 |     3059   3587 |        0 |        0
487.91/488.01	c  487s |      24 |  6592220 |  4819162 |     3059   3597 |        0 |        0
489.91/490.02	c  489s |      24 |  6616131 |  4835962 |     3059   3607 |        0 |        0
491.91/492.02	c  491s |      24 |  6639856 |  4853562 |     3059   3617 |        0 |        0
493.92/494.03	c  494s |      24 |  6663812 |  4871662 |     3059   3628 |        0 |        0
495.91/496.03	c  496s |      24 |  6686978 |  4889762 |     3059   3639 |        0 |        0
497.91/498.04	c  498s |      24 |  6711913 |  4908862 |     3059   3650 |        0 |        0
499.91/500.04	c  500s |      24 |  6736513 |  4927662 |     3059   3661 |        0 |        0
501.91/502.05	c  502s |      24 |  6757703 |  4943662 |     3059   3671 |        0 |        0
503.91/504.06	c  504s |      24 |  6787046 |  4964462 |     3059   3684 |        0 |        0
505.92/506.06	c  506s |      24 |  6810495 |  4980962 |     3059   3694 |        0 |        0
507.92/508.07	c  508s |      24 |  6836151 |  5000362 |     3059   3706 |        0 |        0
509.92/510.07	c  510s |      24 |  6866352 |  5022162 |     3059   3719 |        0 |        0
511.91/512.09	c  512s |      24 |  6886854 |  5037762 |     3365   3728 |        0 |        0
513.91/514.10	c  514s |      24 |  6912423 |  5056262 |     3365   3737 |        0 |        0
515.21/515.31	c  515s |      25 |  6924341 |  5065098 |     3365   3742 |        0 |        0
517.21/517.32	c  517s |      25 |  6957831 |  5089498 |     3365   3757 |        0 |        0
519.22/519.32	c  519s |      25 |  6991669 |  5113698 |     3365   3770 |        0 |        0
521.21/521.33	c  521s |      25 |  7021268 |  5134098 |     3365   3782 |        0 |        0
523.21/523.33	c  523s |      25 |  7047193 |  5153898 |     3365   3793 |        0 |        0
525.21/525.33	c  525s |      25 |  7080700 |  5177798 |     3365   3807 |        0 |        0
527.21/527.33	c  527s |      25 |  7116730 |  5205198 |     3365   3822 |        0 |        0
529.21/529.33	c  529s |      25 |  7148569 |  5229798 |     3365   3837 |        0 |        0
531.21/531.34	c  531s |      25 |  7181178 |  5254198 |     3365   3851 |        0 |        0
533.21/533.34	c  533s |      25 |  7211024 |  5276798 |     3365   3864 |        0 |        0
535.20/535.35	c  535s |      25 |  7240769 |  5299598 |     3365   3877 |        0 |        0
537.20/537.35	c  537s |      25 |  7273707 |  5324798 |     3365   3892 |        0 |        0
539.20/539.36	c  539s |      25 |  7308457 |  5349498 |     3365   3906 |        0 |        0
541.22/541.36	c  541s |      25 |  7339630 |  5373398 |     3365   3920 |        0 |        0
543.21/543.36	c  543s |      25 |  7371924 |  5397098 |     3365   3933 |        0 |        0
545.21/545.36	c  545s |      25 |  7405497 |  5421898 |     3365   3948 |        0 |        0
547.21/547.37	c  547s |      25 |  7438111 |  5446298 |     3365   3962 |        0 |        0
549.21/549.37	c  549s |      25 |  7472903 |  5471198 |     3365   3976 |        0 |        0
551.21/551.37	c  551s |      25 |  7500996 |  5492398 |     3365   3988 |        0 |        0
553.21/553.38	c  553s |      25 |  7532945 |  5514998 |     3365   4001 |        0 |        0
555.21/555.38	c  555s |      25 |  7553140 |  5530498 |     3365   4010 |        0 |        0
557.21/557.39	c  557s |      25 |  7574503 |  5545798 |     3365   4019 |        0 |        0
559.21/559.39	c  559s |      25 |  7600209 |  5563698 |     3365   4029 |        0 |        0
561.20/561.40	c  561s |      25 |  7619568 |  5577898 |     3365   4037 |        0 |        0
563.30/563.40	c  563s |      25 |  7646403 |  5597898 |     3365   4048 |        0 |        0
565.31/565.42	c  565s |      25 |  7673153 |  5618198 |     3365   4060 |        0 |        0
567.30/567.43	c  567s |      25 |  7695946 |  5635298 |     3365   4070 |        0 |        0
569.30/569.43	c  569s |      25 |  7725136 |  5656598 |     3365   4082 |        0 |        0
571.30/571.44	c  571s |      25 |  7755441 |  5679898 |     3365   4096 |        0 |        0
573.30/573.45	c  573s |      25 |  7789854 |  5704698 |     3365   4110 |        0 |        0
575.31/575.46	c  575s |      25 |  7823771 |  5730798 |     3365   4125 |        0 |        0
577.30/577.47	c  577s |      25 |  7858140 |  5756098 |     3365   4140 |        0 |        0
579.30/579.47	c  579s |      25 |  7889876 |  5779998 |     3365   4154 |        0 |        0
581.30/581.47	c  581s |      25 |  7925437 |  5806098 |     3365   4169 |        0 |        0
583.30/583.47	c  583s |      25 |  7958321 |  5829998 |     3365   4183 |        0 |        0
585.30/585.47	c  585s |      25 |  7990581 |  5853598 |     3365   4197 |        0 |        0
587.30/587.48	c  587s |      25 |  8017198 |  5874198 |     3365   4209 |        0 |        0
589.31/589.49	c  589s |      25 |  8045664 |  5895698 |     3365   4221 |        0 |        0
591.41/591.50	c  591s |      25 |  8077364 |  5918598 |     3365   4234 |        0 |        0
593.40/593.50	c  593s |      25 |  8099400 |  5935098 |     3365   4244 |        0 |        0
595.40/595.51	c  595s |      25 |  8120313 |  5951798 |     3365   4253 |        0 |        0
597.40/597.54	c  597s |      25 |  8141236 |  5967398 |     3365   4263 |        0 |        0
599.41/599.54	c  599s |      25 |  8169099 |  5987698 |     3365   4274 |        0 |        0
601.40/601.55	c  601s |      25 |  8194230 |  6006298 |     3365   4285 |        0 |        0
603.40/603.55	c  603s |      25 |  8222968 |  6027798 |     3365   4298 |        0 |        0
605.40/605.56	c  605s |      25 |  8246739 |  6046098 |     3365   4308 |        0 |        0
607.40/607.56	c  607s |      25 |  8268719 |  6062998 |     3365   4318 |        0 |        0
609.41/609.57	c  609s |      25 |  8291775 |  6079698 |     3365   4328 |        0 |        0
611.40/611.58	c  611s |      25 |  8316297 |  6098298 |     3365   4339 |        0 |        0
613.40/613.59	c  613s |      25 |  8338694 |  6115098 |     3365   4348 |        0 |        0
615.40/615.59	c  615s |      25 |  8360808 |  6130998 |     3365   4358 |        0 |        0
617.50/617.60	c  617s |      25 |  8386267 |  6148598 |     3365   4368 |        0 |        0
619.50/619.60	c  619s |      25 |  8408029 |  6165098 |     3365   4378 |        0 |        0
621.50/621.61	c  621s |      25 |  8430823 |  6182698 |     3365   4388 |        0 |        0
623.49/623.61	c  623s |      25 |  8461232 |  6206298 |     3365   4402 |        0 |        0
625.49/625.62	c  625s |      25 |  8485353 |  6224298 |     3365   4412 |        0 |        0
627.49/627.62	c  627s |      25 |  8511082 |  6242498 |     3365   4422 |        0 |        0
629.49/629.62	c  629s |      25 |  8549786 |  6270098 |     3365   4438 |        0 |        0
631.49/631.63	c  631s |      25 |  8584526 |  6295598 |     3365   4453 |        0 |        0
633.50/633.63	c  633s |      25 |  8612331 |  6315998 |     3365   4464 |        0 |        0
635.49/635.68	c  635s |      25 |  8647835 |  6340998 |     3365   4479 |        0 |        0
637.49/637.68	c  637s |      25 |  8680292 |  6365498 |     3365   4493 |        0 |        0
639.49/639.69	c  639s |      25 |  8709171 |  6386598 |     3365   4505 |        0 |        0
641.49/641.70	c  641s |      25 |  8733080 |  6403398 |     3365   4515 |        0 |        0
643.60/643.70	c  643s |      25 |  8752429 |  6417998 |     3365   4523 |        0 |        0
645.60/645.72	c  645s |      25 |  8770360 |  6432498 |     3365   4531 |        0 |        0
647.60/647.72	c  647s |      25 |  8788972 |  6447198 |     3365   4540 |        0 |        0
649.60/649.72	c  649s |      25 |  8807001 |  6460498 |     3365   4547 |        0 |        0
651.59/651.73	c  651s |      25 |  8825075 |  6475598 |     3365   4556 |        0 |        0
653.59/653.73	c  653s |      25 |  8841672 |  6488598 |     3365   4563 |        0 |        0
655.60/655.74	c  655s |      25 |  8862503 |  6504898 |     3365   4573 |        0 |        0
657.59/657.75	c  657s |      25 |  8884872 |  6521598 |     3365   4582 |        0 |        0
659.59/659.76	c  659s |      25 |  8907087 |  6537998 |     3365   4592 |        0 |        0
661.59/661.76	c  661s |      25 |  8926239 |  6552898 |     3365   4600 |        0 |        0
663.59/663.77	c  663s |      25 |  8945806 |  6567898 |     3365   4609 |        0 |        0
665.59/665.78	c  665s |      25 |  8963351 |  6581598 |     3365   4617 |        0 |        0
667.59/667.79	c  667s |      25 |  8983175 |  6597398 |     3365   4626 |        0 |        0
669.59/669.79	c  669s |      25 |  9005385 |  6613798 |     3365   4635 |        0 |        0
671.69/671.80	c  671s |      25 |  9024648 |  6627998 |     3365   4643 |        0 |        0
673.69/673.80	c  673s |      25 |  9044728 |  6642998 |     3365   4652 |        0 |        0
675.69/675.82	c  675s |      25 |  9061704 |  6656398 |     3365   4659 |        0 |        0
677.69/677.82	c  677s |      25 |  9084916 |  6673898 |     3365   4669 |        0 |        0
679.69/679.82	c  679s |      25 |  9112250 |  6693898 |     3365   4681 |        0 |        0
681.68/681.82	c  681s |      25 |  9128140 |  6706598 |     3365   4688 |        0 |        0
683.68/683.83	c  683s |      25 |  9145526 |  6719098 |     3365   4695 |        0 |        0
685.68/685.83	c  685s |      25 |  9165552 |  6734098 |     3365   4704 |        0 |        0
687.68/687.84	c  687s |      25 |  9190722 |  6752498 |     3365   4714 |        0 |        0
689.69/689.84	c  689s |      25 |  9214260 |  6769798 |     3365   4724 |        0 |        0
691.68/691.85	c  691s |      25 |  9236129 |  6785198 |     3365   4733 |        0 |        0
693.68/693.86	c  693s |      25 |  9261878 |  6804598 |     3365   4744 |        0 |        0
695.68/695.86	c  695s |      25 |  9286575 |  6823298 |     3365   4755 |        0 |        0
697.68/697.87	c  697s |      25 |  9311386 |  6841798 |     3365   4765 |        0 |        0
699.68/699.88	c  699s |      25 |  9338139 |  6861098 |     3365   4776 |        0 |        0
701.69/701.88	c  701s |      25 |  9364457 |  6880698 |     3365   4788 |        0 |        0
703.68/703.89	c  703s |      25 |  9391970 |  6901398 |     3365   4800 |        0 |        0
705.68/705.89	c  705s |      25 |  9419228 |  6921798 |     3365   4811 |        0 |        0
707.68/707.90	c  707s |      25 |  9447819 |  6943398 |     3365   4824 |        0 |        0
709.78/709.90	c  709s |      25 |  9470779 |  6961098 |     3365   4834 |        0 |        0
711.79/711.92	c  711s |      25 |  9496049 |  6980198 |     3365   4845 |        0 |        0
713.79/713.93	c  713s |      25 |  9514349 |  6994698 |     3365   4853 |        0 |        0
715.79/715.95	c  715s |      25 |  9536334 |  7010798 |     3365   4863 |        0 |        0
717.79/717.96	c  717s |      25 |  9560374 |  7027898 |     3365   4872 |        0 |        0
719.78/719.96	c  719s |      25 |  9580780 |  7043098 |     3365   4881 |        0 |        0
721.78/721.98	c  721s |      25 |  9600937 |  7058798 |     3365   4890 |        0 |        0
723.79/723.99	c  723s |      25 |  9626467 |  7077998 |     3365   4901 |        0 |        0
725.78/726.00	c  725s |      25 |  9648945 |  7094498 |     3365   4910 |        0 |        0
727.78/728.00	c  727s |      25 |  9668408 |  7108798 |     3365   4919 |        0 |        0
729.88/730.03	c  730s |      25 |  9686453 |  7122998 |     3365   4927 |        0 |        0
731.88/732.03	c  732s |      25 |  9707508 |  7139098 |     3365   4936 |        0 |        0
733.88/734.04	c  734s |      25 |  9729260 |  7155298 |     3365   4945 |        0 |        0
735.89/736.05	c  736s |      25 |  9750696 |  7171898 |     3365   4955 |        0 |        0
737.88/738.06	c  738s |      25 |  9774917 |  7189698 |     3365   4965 |        0 |        0
739.88/740.07	c  740s |      25 |  9800058 |  7209198 |     3365   4977 |        0 |        0
741.88/742.08	c  742s |      25 |  9823720 |  7226598 |     3365   4987 |        0 |        0
743.88/744.09	c  744s |      25 |  9848304 |  7244398 |     3365   4997 |        0 |        0
745.98/746.10	c  746s |      25 |  9871754 |  7262098 |     3365   5007 |        0 |        0
747.98/748.11	c  748s |      25 |  9887116 |  7274798 |     3365   5014 |        0 |        0
749.97/750.12	c  750s |      25 |  9907904 |  7290698 |     3365   5023 |        0 |        0
751.97/752.13	c  752s |      25 |  9930887 |  7308098 |     3365   5033 |        0 |        0
753.97/754.14	c  754s |      25 |  9953403 |  7324898 |     3365   5043 |        0 |        0
755.97/756.14	c  756s |      25 |  9977967 |  7343098 |     3365   5053 |        0 |        0
757.97/758.15	c  758s |      25 | 10003748 |  7362098 |     3365   5064 |        0 |        0
759.98/760.15	c  760s |      25 | 10028121 |  7379398 |     3365   5074 |        0 |        0
761.98/762.15	c  762s |      25 | 10049261 |  7395798 |     3365   5083 |        0 |        0
763.98/764.16	c  764s |      25 | 10077223 |  7416498 |     3365   5095 |        0 |        0
765.98/766.16	c  766s |      25 | 10100245 |  7433798 |     3365   5105 |        0 |        0
767.98/768.16	c  768s |      25 | 10119901 |  7448998 |     3365   5114 |        0 |        0
769.98/770.17	c  770s |      25 | 10141428 |  7464898 |     3365   5123 |        0 |        0
771.98/772.18	c  772s |      25 | 10164273 |  7482298 |     3365   5133 |        0 |        0
773.97/774.18	c  774s |      25 | 10187257 |  7499498 |     3365   5143 |        0 |        0
775.97/776.19	c  776s |      25 | 10208857 |  7515098 |     3365   5152 |        0 |        0
777.97/778.19	c  778s |      25 | 10231950 |  7532198 |     3365   5162 |        0 |        0
780.07/780.20	c  780s |      25 | 10253505 |  7547598 |     3702   5170 |        0 |        0
781.98/782.20	c  782s |      25 | 10275842 |  7562598 |     3702   5178 |        0 |        0
784.07/784.21	c  784s |      25 | 10292834 |  7575598 |     3702   5185 |        0 |        0
786.07/786.21	c  786s |      25 | 10312501 |  7589298 |     3702   5192 |        0 |        0
786.87/787.03	c  787s |      26 | 10324143 |  7597752 |     3702   5196 |        0 |        0
788.87/789.03	c  789s |      26 | 10353860 |  7618652 |     3702   5207 |        0 |        0
790.87/791.03	c  791s |      26 | 10380609 |  7638452 |     3702   5217 |        0 |        0
792.86/793.03	c  793s |      26 | 10404274 |  7655952 |     3702   5226 |        0 |        0
794.86/795.04	c  795s |      26 | 10425608 |  7671752 |     3702   5234 |        0 |        0
796.86/797.05	c  797s |      26 | 10450797 |  7690652 |     3702   5244 |        0 |        0
798.86/799.05	c  799s |      26 | 10479955 |  7712552 |     3702   5255 |        0 |        0
800.86/801.07	c  801s |      26 | 10500103 |  7727352 |     3702   5263 |        0 |        0
802.86/803.07	c  803s |      26 | 10522789 |  7744352 |     3702   5271 |        0 |        0
804.85/805.08	c  805s |      26 | 10550322 |  7764552 |     3702   5281 |        0 |        0
806.86/807.09	c  807s |      26 | 10572172 |  7780952 |     3702   5289 |        0 |        0
808.86/809.09	c  809s |      26 | 10591049 |  7795152 |     3702   5297 |        0 |        0
810.96/811.10	c  811s |      26 | 10612878 |  7810452 |     3702   5304 |        0 |        0
812.96/813.11	c  813s |      26 | 10640398 |  7831052 |     3702   5315 |        0 |        0
814.96/815.11	c  815s |      26 | 10669767 |  7852852 |     3702   5326 |        0 |        0
816.95/817.12	c  817s |      26 | 10698235 |  7873952 |     3702   5336 |        0 |        0
818.95/819.12	c  819s |      26 | 10716892 |  7888752 |     3702   5344 |        0 |        0
820.95/821.13	c  821s |      26 | 10742771 |  7909252 |     3702   5354 |        0 |        0
822.95/823.14	c  823s |      26 | 10767958 |  7927352 |     3702   5363 |        0 |        0
824.95/825.15	c  825s |      26 | 10785223 |  7940452 |     3702   5370 |        0 |        0
826.95/827.16	c  827s |      26 | 10803783 |  7954052 |     3702   5377 |        0 |        0
828.95/829.16	c  829s |      26 | 10823448 |  7968452 |     3702   5384 |        0 |        0
830.95/831.16	c  831s |      26 | 10841056 |  7981652 |     3702   5391 |        0 |        0
832.95/833.17	c  833s |      26 | 10859471 |  7995252 |     3702   5397 |        0 |        0
834.94/835.17	c  835s |      26 | 10878607 |  8010152 |     3702   5405 |        0 |        0
836.95/837.18	c  837s |      26 | 10902335 |  8027652 |     3702   5414 |        0 |        0
838.94/839.18	c  839s |      26 | 10921393 |  8042652 |     3702   5421 |        0 |        0
840.94/841.18	c  841s |      26 | 10945227 |  8060052 |     3702   5430 |        0 |        0
842.94/843.19	c  843s |      26 | 10962318 |  8073552 |     3702   5437 |        0 |        0
844.93/845.19	c  845s |      26 | 10979348 |  8086252 |     3702   5443 |        0 |        0
847.03/847.21	c  847s |      26 | 10998895 |  8101552 |     3702   5451 |        0 |        0
849.04/849.23	c  849s |      26 | 11019330 |  8117152 |     3702   5458 |        0 |        0
851.03/851.23	c  851s |      26 | 11039571 |  8132752 |     3702   5466 |        0 |        0
853.03/853.24	c  853s |      26 | 11058804 |  8146452 |     3702   5473 |        0 |        0
855.03/855.26	c  855s |      26 | 11080054 |  8162152 |     3702   5481 |        0 |        0
857.03/857.26	c  857s |      26 | 11104930 |  8180252 |     3702   5490 |        0 |        0
859.03/859.27	c  859s |      26 | 11129928 |  8198552 |     3702   5499 |        0 |        0
861.03/861.28	c  861s |      26 | 11157814 |  8218952 |     3702   5510 |        0 |        0
863.03/863.29	c  863s |      26 | 11186642 |  8240252 |     3702   5520 |        0 |        0
865.12/865.30	c  865s |      26 | 11206188 |  8255352 |     3702   5528 |        0 |        0
867.12/867.31	c  867s |      26 | 11218411 |  8265152 |     3702   5533 |        0 |        0
869.12/869.32	c  869s |      26 | 11235469 |  8277952 |     3702   5539 |        0 |        0
871.13/871.32	c  871s |      26 | 11254473 |  8292152 |     3702   5546 |        0 |        0
873.12/873.32	c  873s |      26 | 11272753 |  8305652 |     3702   5553 |        0 |        0
875.12/875.33	c  875s |      26 | 11288484 |  8316352 |     3702   5558 |        0 |        0
877.12/877.33	c  877s |      26 | 11305853 |  8329152 |     3702   5565 |        0 |        0
879.12/879.34	c  879s |      26 | 11325758 |  8343952 |     3702   5572 |        0 |        0
881.12/881.34	c  881s |      26 | 11344683 |  8356852 |     3702   5578 |        0 |        0
883.13/883.36	c  883s |      26 | 11361931 |  8369052 |     3702   5585 |        0 |        0
885.12/885.37	c  885s |      26 | 11381623 |  8384252 |     3702   5592 |        0 |        0
887.12/887.37	c  887s |      26 | 11400533 |  8398252 |     3702   5599 |        0 |        0
889.12/889.37	c  889s |      26 | 11417652 |  8411152 |     3702   5606 |        0 |        0
891.22/891.41	c  891s |      26 | 11433246 |  8423052 |     3702   5612 |        0 |        0
893.22/893.42	c  893s |      26 | 11452047 |  8437052 |     3702   5619 |        0 |        0
895.22/895.43	c  895s |      26 | 11471247 |  8450552 |     3702   5625 |        0 |        0
897.21/897.43	c  897s |      26 | 11491763 |  8466452 |     3702   5633 |        0 |        0
899.21/899.44	c  899s |      26 | 11512087 |  8481852 |     3702   5641 |        0 |        0
901.21/901.45	c  901s |      26 | 11525944 |  8493352 |     3702   5647 |        0 |        0
903.21/903.46	c  903s |      26 | 11539346 |  8504252 |     3702   5652 |        0 |        0
905.21/905.46	c  905s |      26 | 11558949 |  8518552 |     3702   5660 |        0 |        0
907.20/907.46	c  907s |      26 | 11575294 |  8531652 |     3702   5666 |        0 |        0
909.20/909.48	c  909s |      26 | 11594578 |  8545652 |     3702   5673 |        0 |        0
911.20/911.48	c  911s |      26 | 11612348 |  8558852 |     3702   5680 |        0 |        0
913.20/913.49	c  913s |      26 | 11639045 |  8578652 |     3702   5690 |        0 |        0
915.19/915.49	c  915s |      26 | 11667506 |  8599852 |     3702   5701 |        0 |        0
917.20/917.49	c  917s |      26 | 11685594 |  8614052 |     3702   5708 |        0 |        0
919.29/919.50	c  919s |      26 | 11706666 |  8630052 |     3702   5716 |        0 |        0
921.29/921.50	c  921s |      26 | 11727344 |  8646052 |     3702   5724 |        0 |        0
923.29/923.51	c  923s |      26 | 11746754 |  8660852 |     3702   5731 |        0 |        0
925.29/925.51	c  925s |      26 | 11773513 |  8680452 |     3702   5741 |        0 |        0
927.30/927.52	c  927s |      26 | 11800395 |  8700152 |     3702   5751 |        0 |        0
929.30/929.52	c  929s |      26 | 11820634 |  8715152 |     3702   5758 |        0 |        0
931.30/931.53	c  931s |      26 | 11845965 |  8733752 |     3702   5768 |        0 |        0
933.29/933.54	c  933s |      26 | 11871960 |  8753652 |     3702   5778 |        0 |        0
935.29/935.55	c  935s |      26 | 11899984 |  8774652 |     3702   5788 |        0 |        0
937.29/937.55	c  937s |      26 | 11928658 |  8795652 |     3702   5799 |        0 |        0
939.30/939.56	c  939s |      26 | 11954554 |  8813752 |     3702   5808 |        0 |        0
941.29/941.56	c  941s |      26 | 11976766 |  8831552 |     3702   5817 |        0 |        0
943.29/943.56	c  943s |      26 | 11998468 |  8847952 |     3702   5826 |        0 |        0
945.29/945.59	c  945s |      26 | 12023249 |  8866152 |     3702   5835 |        0 |        0
947.39/947.60	c  947s |      26 | 12046019 |  8882952 |     3702   5843 |        0 |        0
949.39/949.61	c  949s |      26 | 12067381 |  8899952 |     3702   5851 |        0 |        0
951.39/951.62	c  951s |      26 | 12085059 |  8913052 |     3702   5858 |        0 |        0
953.39/953.63	c  953s |      26 | 12105131 |  8928752 |     3702   5865 |        0 |        0
955.38/955.63	c  955s |      26 | 12127029 |  8944752 |     3702   5873 |        0 |        0
957.38/957.64	c  957s |      26 | 12146451 |  8959252 |     3702   5880 |        0 |        0
959.38/959.67	c  959s |      26 | 12166117 |  8973652 |     3702   5888 |        0 |        0
961.38/961.68	c  961s |      26 | 12191616 |  8992352 |     3702   5897 |        0 |        0
963.38/963.68	c  963s |      26 | 12214578 |  9010352 |     3702   5906 |        0 |        0
965.38/965.68	c  965s |      26 | 12239571 |  9029052 |     3702   5916 |        0 |        0
967.38/967.69	c  967s |      26 | 12267858 |  9050052 |     3702   5927 |        0 |        0
969.38/969.69	c  969s |      26 | 12294332 |  9070752 |     3702   5937 |        0 |        0
971.38/971.69	c  971s |      26 | 12322625 |  9091852 |     3702   5948 |        0 |        0
973.47/973.70	c  973s |      26 | 12355797 |  9116252 |     3702   5960 |        0 |        0
975.48/975.70	c  975s |      26 | 12375624 |  9131452 |     3702   5968 |        0 |        0
977.47/977.71	c  977s |      26 | 12397920 |  9148252 |     3702   5976 |        0 |        0
979.47/979.71	c  979s |      26 | 12422536 |  9167252 |     3702   5986 |        0 |        0
981.47/981.72	c  981s |      26 | 12448180 |  9185852 |     3702   5995 |        0 |        0
983.47/983.73	c  983s |      26 | 12470877 |  9203352 |     3702   6004 |        0 |        0
985.48/985.73	c  985s |      26 | 12501046 |  9225452 |     3702   6015 |        0 |        0
987.48/987.74	c  987s |      26 | 12527467 |  9244352 |     3702   6025 |        0 |        0
989.48/989.75	c  989s |      26 | 12551354 |  9262452 |     3702   6034 |        0 |        0
991.48/991.75	c  991s |      26 | 12575268 |  9280452 |     3702   6043 |        0 |        0
993.47/993.76	c  993s |      26 | 12591638 |  9293152 |     3702   6049 |        0 |        0
995.47/995.77	c  995s |      26 | 12613601 |  9310452 |     3702   6058 |        0 |        0
997.48/997.78	c  997s |      26 | 12634467 |  9325852 |     3702   6065 |        0 |        0
999.47/999.79	c  999s |      26 | 12655556 |  9341752 |     3702   6073 |        0 |        0
1001.57/1001.80	c 1001s |      26 | 12680174 |  9360052 |     3702   6082 |        0 |        0
1003.57/1003.81	c 1003s |      26 | 12704690 |  9378452 |     3702   6091 |        0 |        0
1005.57/1005.81	c 1005s |      26 | 12729227 |  9396052 |     3702   6100 |        0 |        0
1007.56/1007.82	c 1007s |      26 | 12752374 |  9413252 |     3702   6109 |        0 |        0
1009.57/1009.83	c 1009s |      26 | 12782130 |  9435552 |     3702   6120 |        0 |        0
1011.56/1011.83	c 1011s |      26 | 12808339 |  9455052 |     3702   6130 |        0 |        0
1013.56/1013.83	c 1013s |      26 | 12827829 |  9469852 |     3702   6137 |        0 |        0
1015.56/1015.83	c 1015s |      26 | 12856048 |  9490652 |     3702   6148 |        0 |        0
1017.56/1017.85	c 1017s |      26 | 12875337 |  9505452 |     3702   6155 |        0 |        0
1019.57/1019.86	c 1019s |      26 | 12898401 |  9523152 |     3702   6164 |        0 |        0
1021.56/1021.87	c 1021s |      26 | 12925434 |  9543352 |     3702   6175 |        0 |        0
1023.56/1023.88	c 1023s |      26 | 12948803 |  9560752 |     3702   6183 |        0 |        0
1025.55/1025.89	c 1025s |      26 | 12972688 |  9578752 |     3702   6193 |        0 |        0
1027.55/1027.89	c 1027s |      26 | 13000608 |  9599352 |     3702   6203 |        0 |        0
1029.65/1029.90	c 1029s |      26 | 13030760 |  9621352 |     3702   6214 |        0 |        0
1031.66/1031.90	c 1031s |      26 | 13048508 |  9635752 |     3702   6222 |        0 |        0
1033.66/1033.91	c 1033s |      26 | 13069620 |  9651852 |     3702   6230 |        0 |        0
1035.66/1035.91	c 1035s |      26 | 13094902 |  9671152 |     3702   6239 |        0 |        0
1037.66/1037.91	c 1037s |      26 | 13118417 |  9688652 |     3702   6248 |        0 |        0
1039.66/1039.92	c 1039s |      26 | 13142242 |  9706752 |     3702   6257 |        0 |        0
1041.65/1041.92	c 1041s |      26 | 13170558 |  9727652 |     3702   6268 |        0 |        0
1043.65/1043.94	c 1043s |      26 | 13199678 |  9749152 |     3702   6278 |        0 |        0
1045.65/1045.94	c 1045s |      26 | 13224430 |  9768052 |     3702   6288 |        0 |        0
1047.65/1047.94	c 1047s |      26 | 13251914 |  9788652 |     3702   6298 |        0 |        0
1049.65/1049.95	c 1049s |      26 | 13279248 |  9808552 |     3702   6308 |        0 |        0
1051.65/1051.95	c 1051s |      26 | 13306310 |  9828852 |     3702   6319 |        0 |        0
1053.65/1053.96	c 1053s |      26 | 13335180 |  9850252 |     3702   6329 |        0 |        0
1055.64/1055.96	c 1055s |      26 | 13363142 |  9871252 |     3702   6340 |        0 |        0
1057.64/1057.97	c 1057s |      26 | 13387194 |  9889852 |     3702   6350 |        0 |        0
1059.64/1059.98	c 1059s |      26 | 13410774 |  9908252 |     3702   6359 |        0 |        0
1061.64/1061.99	c 1061s |      26 | 13437590 |  9927852 |     3702   6369 |        0 |        0
1063.74/1064.00	c 1063s |      26 | 13462291 |  9946552 |     3702   6378 |        0 |        0
1065.74/1066.01	c 1065s |      26 | 13490382 |  9967952 |     3702   6389 |        0 |        0
1067.73/1068.01	c 1067s |      26 | 13510510 |  9983552 |     3702   6397 |        0 |        0
1069.73/1070.02	c 1069s |      26 | 13544463 | 10008952 |     3702   6409 |        0 |        0
1071.73/1072.02	c 1072s |      26 | 13564675 | 10024752 |     3702   6417 |        0 |        0
1073.73/1074.02	c 1074s |      26 | 13590264 | 10044952 |     3702   6428 |        0 |        0
1075.73/1076.03	c 1076s |      26 | 13617619 | 10065452 |     3702   6438 |        0 |        0
1077.74/1078.04	c 1078s |      26 | 13646716 | 10087652 |     3702   6449 |        0 |        0
1079.74/1080.04	c 1080s |      26 | 13677183 | 10110152 |     3702   6461 |        0 |        0
1081.74/1082.04	c 1082s |      26 | 13711556 | 10133952 |     3702   6473 |        0 |        0
1083.73/1084.04	c 1084s |      26 | 13744803 | 10158252 |     3702   6485 |        0 |        0
1085.73/1086.04	c 1086s |      26 | 13777486 | 10181652 |     3702   6497 |        0 |        0
1087.74/1088.05	c 1088s |      26 | 13800757 | 10199052 |     3702   6506 |        0 |        0
1089.73/1090.06	c 1090s |      26 | 13826125 | 10218252 |     3702   6515 |        0 |        0
1091.73/1092.08	c 1092s |      26 | 13850569 | 10236552 |     3702   6525 |        0 |        0
1093.72/1094.09	c 1094s |      26 | 13877270 | 10256352 |     3702   6534 |        0 |        0
1095.73/1096.09	c 1096s |      26 | 13904941 | 10276852 |     3702   6544 |        0 |        0
1097.73/1098.09	c 1098s |      26 | 13927102 | 10293152 |     3702   6552 |        0 |        0
1099.83/1100.10	c 1100s |      26 | 13944584 | 10307052 |     3702   6559 |        0 |        0
1101.82/1102.10	c 1102s |      26 | 13965714 | 10322652 |     3702   6567 |        0 |        0
1103.82/1104.11	c 1104s |      26 | 13989356 | 10341552 |     3702   6576 |        0 |        0
1105.82/1106.11	c 1106s |      26 | 14013114 | 10359252 |     3702   6585 |        0 |        0
1107.82/1108.12	c 1108s |      26 | 14038292 | 10378052 |     3702   6594 |        0 |        0
1109.82/1110.13	c 1110s |      26 | 14069909 | 10400852 |     3702   6606 |        0 |        0
1111.83/1112.13	c 1112s |      26 | 14093509 | 10419152 |     3702   6615 |        0 |        0
1113.82/1114.13	c 1114s |      26 | 14122333 | 10441452 |     3702   6627 |        0 |        0
1115.81/1116.13	c 1116s |      26 | 14152268 | 10463252 |     3702   6638 |        0 |        0
1117.81/1118.17	c 1118s |      26 | 14179428 | 10483752 |     3702   6649 |        0 |        0
1119.81/1120.17	c 1120s |      26 | 14200796 | 10500652 |     3702   6657 |        0 |        0
1121.82/1122.17	c 1122s |      26 | 14223453 | 10517852 |     3702   6666 |        0 |        0
1123.81/1124.17	c 1124s |      26 | 14243260 | 10532552 |     3702   6673 |        0 |        0
1125.81/1126.18	c 1126s |      26 | 14266411 | 10550252 |     3702   6682 |        0 |        0
1127.81/1128.18	c 1128s |      26 | 14294168 | 10571152 |     3702   6693 |        0 |        0
1129.82/1130.19	c 1130s |      26 | 14321486 | 10590752 |     3702   6702 |        0 |        0
1131.92/1132.20	c 1132s |      26 | 14343095 | 10606752 |     3702   6710 |        0 |        0
1133.92/1134.21	c 1134s |      26 | 14367478 | 10624652 |     3702   6720 |        0 |        0
1135.91/1136.21	c 1136s |      26 | 14388939 | 10640852 |     3702   6728 |        0 |        0
1137.91/1138.21	c 1138s |      26 | 14407590 | 10655152 |     3702   6735 |        0 |        0
1139.91/1140.21	c 1140s |      26 | 14431357 | 10673352 |     3702   6744 |        0 |        0
1141.91/1142.21	c 1142s |      26 | 14457958 | 10694052 |     3702   6755 |        0 |        0
1143.91/1144.22	c 1144s |      26 | 14482850 | 10712652 |     3702   6765 |        0 |        0
1145.91/1146.22	c 1146s |      26 | 14510458 | 10733552 |     3702   6775 |        0 |        0
1147.90/1148.23	c 1148s |      26 | 14531178 | 10749352 |     3702   6783 |        0 |        0
1149.90/1150.23	c 1150s |      26 | 14560444 | 10771752 |     3702   6794 |        0 |        0
1151.90/1152.23	c 1152s |      26 | 14585578 | 10789652 |     3702   6803 |        0 |        0
1153.90/1154.24	c 1154s |      26 | 14609276 | 10808252 |     3702   6813 |        0 |        0
1155.91/1156.25	c 1156s |      26 | 14631767 | 10824952 |     3702   6822 |        0 |        0
1157.90/1158.25	c 1158s |      26 | 14660614 | 10846152 |     3702   6832 |        0 |        0
1159.90/1160.26	c 1160s |      26 | 14690612 | 10868752 |     3702   6844 |        0 |        0
1161.90/1162.26	c 1162s |      26 | 14723128 | 10892652 |     3702   6856 |        0 |        0
1163.89/1164.26	c 1164s |      26 | 14749192 | 10912352 |     3702   6866 |        0 |        0
1165.89/1166.27	c 1166s |      26 | 14779551 | 10935052 |     3702   6878 |        0 |        0
1167.90/1168.28	c 1168s |      26 | 14801747 | 10952152 |     3702   6886 |        0 |        0
1169.89/1170.29	c 1170s |      26 | 14832965 | 10974952 |     3702   6898 |        0 |        0
1171.99/1172.30	c 1172s |      26 | 14861220 | 10996052 |     3702   6909 |        0 |        0
1173.99/1174.30	c 1174s |      26 | 14891768 | 11017152 |     3702   6919 |        0 |        0
1175.99/1176.30	c 1176s |      26 | 14919528 | 11037752 |     3702   6930 |        0 |        0
1177.99/1178.31	c 1178s |      26 | 14948323 | 11057652 |     3702   6940 |        0 |        0
1179.99/1180.31	c 1180s |      26 | 14968636 | 11072552 |     3702   6947 |        0 |        0
1181.99/1182.31	c 1182s |      26 | 14991260 | 11089752 |     3702   6956 |        0 |        0
1183.98/1184.31	c 1184s |      26 | 15021281 | 11112052 |     3702   6967 |        0 |        0
1185.98/1186.33	c 1186s |      26 | 15039243 | 11125552 |     3702   6974 |        0 |        0
1187.98/1188.33	c 1188s |      26 | 15057735 | 11139952 |     3702   6981 |        0 |        0
1189.99/1190.34	c 1190s |      26 | 15083137 | 11158352 |     3702   6991 |        0 |        0
1191.98/1192.35	c 1192s |      26 | 15104374 | 11173852 |     3702   6999 |        0 |        0
1193.99/1194.36	c 1194s |      26 | 15137294 | 11196852 |     3702   7010 |        0 |        0
1195.99/1196.37	c 1196s |      26 | 15157367 | 11212152 |     3702   7018 |        0 |        0
1197.98/1198.38	c 1198s |      26 | 15184108 | 11231052 |     3702   7027 |        0 |        0
1199.98/1200.38	c 1200s |      26 | 15209623 | 11250252 |     3702   7037 |        0 |        0
1201.99/1202.39	c 1202s |      26 | 15228421 | 11264552 |     3702   7044 |        0 |        0
1204.08/1204.41	c 1204s |      26 | 15248033 | 11279052 |     3702   7052 |        0 |        0
1206.08/1206.41	c 1206s |      26 | 15276601 | 11299252 |     3702   7062 |        0 |        0
1208.07/1208.46	c 1208s |      26 | 15305635 | 11320952 |     4073   7073 |        0 |        0
1210.08/1210.46	c 1210s |      26 | 15328052 | 11338052 |     4073   7081 |        0 |        0
1212.07/1212.47	c 1212s |      26 | 15350656 | 11355152 |     4073   7089 |        0 |        0
1214.08/1214.47	c 1214s |      26 | 15374050 | 11372652 |     4073   7097 |        0 |        0
1216.07/1216.49	c 1216s |      26 | 15402184 | 11393252 |     4073   7107 |        0 |        0
1216.38/1216.71	c 1216s |      27 | 15407121 | 11396733 |     4073   7108 |        0 |        0
1218.37/1218.73	c 1218s |      27 | 15443666 | 11423733 |     4073   7121 |        0 |        0
1220.37/1220.73	c 1220s |      27 | 15469503 | 11441333 |     4073   7129 |        0 |        0
1222.37/1222.73	c 1222s |      27 | 15493854 | 11459833 |     4073   7137 |        0 |        0
1224.37/1224.74	c 1224s |      27 | 15515874 | 11476033 |     4073   7144 |        0 |        0
1226.37/1226.74	c 1226s |      27 | 15537612 | 11492933 |     4073   7152 |        0 |        0
1228.37/1228.75	c 1228s |      27 | 15562234 | 11510133 |     4073   7159 |        0 |        0
1230.37/1230.75	c 1230s |      27 | 15589439 | 11530433 |     4073   7168 |        0 |        0
1232.36/1232.76	c 1232s |      27 | 15619967 | 11553533 |     4073   7180 |        0 |        0
1234.36/1234.78	c 1234s |      27 | 15656608 | 11580433 |     4073   7193 |        0 |        0
1236.36/1236.78	c 1236s |      27 | 15681728 | 11598633 |     4073   7201 |        0 |        0
1238.36/1238.79	c 1238s |      27 | 15707321 | 11616033 |     4073   7209 |        0 |        0
1240.46/1240.81	c 1240s |      27 | 15734875 | 11636033 |     4073   7218 |        0 |        0
1242.46/1242.81	c 1242s |      27 | 15769678 | 11661833 |     4073   7230 |        0 |        0
1244.46/1244.83	c 1244s |      27 | 15794625 | 11680733 |     4073   7240 |        0 |        0
1246.46/1246.84	c 1246s |      27 | 15827970 | 11705033 |     4073   7251 |        0 |        0
1248.46/1248.85	c 1248s |      27 | 15848795 | 11720533 |     4073   7258 |        0 |        0
1250.46/1250.86	c 1250s |      27 | 15876487 | 11739933 |     4073   7268 |        0 |        0
1252.46/1252.86	c 1252s |      27 | 15911430 | 11763233 |     4073   7279 |        0 |        0
1254.45/1254.86	c 1254s |      27 | 15936975 | 11781433 |     4073   7287 |        0 |        0
1256.45/1256.86	c 1256s |      27 | 15957100 | 11796833 |     4073   7294 |        0 |        0
1258.45/1258.87	c 1258s |      27 | 15983477 | 11816733 |     4073   7304 |        0 |        0
1260.45/1260.87	c 1260s |      27 | 16018412 | 11842733 |     4073   7316 |        0 |        0
1262.45/1262.88	c 1262s |      27 | 16048400 | 11864533 |     4073   7327 |        0 |        0
1264.44/1264.88	c 1264s |      27 | 16078060 | 11885433 |     4073   7337 |        0 |        0
1266.44/1266.89	c 1266s |      27 | 16114268 | 11912033 |     4073   7349 |        0 |        0
1268.44/1268.89	c 1268s |      27 | 16141276 | 11932533 |     4073   7359 |        0 |        0
1270.44/1270.89	c 1270s |      27 | 16168558 | 11951933 |     4073   7369 |        0 |        0
1272.54/1272.90	c 1272s |      27 | 16198524 | 11971633 |     4073   7378 |        0 |        0
1274.54/1274.91	c 1274s |      27 | 16219056 | 11985833 |     4073   7385 |        0 |        0
1276.53/1276.92	c 1276s |      27 | 16254272 | 12011733 |     4073   7397 |        0 |        0
1278.53/1278.93	c 1278s |      27 | 16279482 | 12029933 |     4073   7406 |        0 |        0
1280.53/1280.94	c 1280s |      27 | 16298515 | 12044433 |     4073   7413 |        0 |        0
1282.53/1282.94	c 1282s |      27 | 16320411 | 12060333 |     4073   7420 |        0 |        0
1284.53/1284.95	c 1284s |      27 | 16341430 | 12075633 |     4073   7428 |        0 |        0
1286.53/1286.95	c 1286s |      27 | 16371189 | 12097333 |     4073   7438 |        0 |        0
1288.53/1288.96	c 1288s |      27 | 16408333 | 12124633 |     4073   7451 |        0 |        0
1290.53/1290.97	c 1290s |      27 | 16436753 | 12146333 |     4073   7461 |        0 |        0
1292.53/1292.98	c 1292s |      27 | 16458812 | 12163333 |     4073   7469 |        0 |        0
1294.53/1294.98	c 1294s |      27 | 16478236 | 12178433 |     4073   7476 |        0 |        0
1296.53/1296.98	c 1296s |      27 | 16501172 | 12196233 |     4073   7484 |        0 |        0
1298.53/1298.99	c 1298s |      27 | 16526172 | 12215133 |     4073   7493 |        0 |        0
1300.63/1301.00	c 1300s |      27 | 16549894 | 12233133 |     4073   7502 |        0 |        0
1302.63/1303.01	c 1302s |      27 | 16577746 | 12253933 |     4073   7511 |        0 |        0
1304.62/1305.01	c 1304s |      27 | 16605113 | 12275033 |     4073   7521 |        0 |        0
1306.62/1307.01	c 1306s |      27 | 16635497 | 12297533 |     4073   7532 |        0 |        0
1308.62/1309.01	c 1308s |      27 | 16665297 | 12319733 |     4073   7542 |        0 |        0
1310.62/1311.04	c 1311s |      27 | 16697488 | 12343033 |     4073   7554 |        0 |        0
1312.62/1313.04	c 1313s |      27 | 16718590 | 12359133 |     4073   7561 |        0 |        0
1314.62/1315.04	c 1315s |      27 | 16741095 | 12375833 |     4073   7569 |        0 |        0
1316.62/1317.05	c 1317s |      27 | 16772840 | 12397333 |     4073   7580 |        0 |        0
1318.62/1319.06	c 1319s |      27 | 16799599 | 12416333 |     4073   7588 |        0 |        0
1320.62/1321.06	c 1321s |      27 | 16818804 | 12431633 |     4073   7595 |        0 |        0
1322.62/1323.06	c 1323s |      27 | 16844215 | 12449833 |     4073   7603 |        0 |        0
1324.71/1325.12	c 1325s |      27 | 16865857 | 12464733 |     4073   7610 |        0 |        0
1326.71/1327.12	c 1327s |      27 | 16887585 | 12481733 |     4073   7617 |        0 |        0
1328.71/1329.12	c 1329s |      27 | 16918026 | 12504533 |     4073   7628 |        0 |        0
1330.72/1331.13	c 1331s |      27 | 16947564 | 12525833 |     4073   7638 |        0 |        0
1332.71/1333.13	c 1333s |      27 | 16972276 | 12544033 |     4073   7646 |        0 |        0
1334.71/1335.14	c 1335s |      27 | 16994126 | 12560233 |     4073   7653 |        0 |        0
1336.70/1337.15	c 1337s |      27 | 17013945 | 12574933 |     4073   7660 |        0 |        0
1338.70/1339.15	c 1339s |      27 | 17046679 | 12597133 |     4073   7670 |        0 |        0
1340.70/1341.16	c 1341s |      27 | 17065334 | 12610833 |     4073   7677 |        0 |        0
1342.71/1343.17	c 1343s |      27 | 17092363 | 12630933 |     4073   7686 |        0 |        0
1344.70/1345.18	c 1345s |      27 | 17111050 | 12645433 |     4073   7692 |        0 |        0
1346.70/1347.18	c 1347s |      27 | 17128769 | 12658533 |     4073   7698 |        0 |        0
1348.80/1349.20	c 1349s |      27 | 17153666 | 12677133 |     4073   7706 |        0 |        0
1350.80/1351.22	c 1351s |      27 | 17174949 | 12692733 |     4073   7714 |        0 |        0
1352.80/1353.22	c 1353s |      27 | 17198935 | 12710333 |     4073   7722 |        0 |        0
1354.80/1355.23	c 1355s |      27 | 17224045 | 12728933 |     4073   7730 |        0 |        0
1356.80/1357.23	c 1357s |      27 | 17243305 | 12743833 |     4073   7737 |        0 |        0
1358.80/1359.23	c 1359s |      27 | 17266986 | 12761533 |     4073   7745 |        0 |        0
1360.80/1361.24	c 1361s |      27 | 17290150 | 12778933 |     4073   7753 |        0 |        0
1362.80/1363.24	c 1363s |      27 | 17316507 | 12798433 |     4073   7763 |        0 |        0
1364.80/1365.25	c 1365s |      27 | 17344937 | 12820033 |     4073   7773 |        0 |        0
1366.79/1367.25	c 1367s |      27 | 17372115 | 12840233 |     4073   7783 |        0 |        0
1368.79/1369.26	c 1369s |      27 | 17398954 | 12860333 |     4073   7793 |        0 |        0
1370.79/1371.27	c 1371s |      27 | 17421111 | 12877333 |     4073   7801 |        0 |        0
1372.79/1373.27	c 1373s |      27 | 17452193 | 12899833 |     4073   7812 |        0 |        0
1374.79/1375.27	c 1375s |      27 | 17480991 | 12920633 |     4073   7822 |        0 |        0
1376.79/1377.28	c 1377s |      27 | 17502638 | 12936733 |     4073   7829 |        0 |        0
1378.78/1379.29	c 1379s |      27 | 17538491 | 12964133 |     4073   7843 |        0 |        0
1380.78/1381.29	c 1381s |      27 | 17570188 | 12984933 |     4073   7852 |        0 |        0
1382.78/1383.29	c 1383s |      27 | 17599281 | 13005733 |     4073   7862 |        0 |        0
1384.78/1385.29	c 1385s |      27 | 17629328 | 13027833 |     4073   7872 |        0 |        0
1386.88/1387.30	c 1387s |      27 | 17649056 | 13042633 |     4073   7880 |        0 |        0
1388.88/1389.31	c 1389s |      27 | 17682392 | 13066533 |     4073   7891 |        0 |        0
1390.88/1391.32	c 1391s |      27 | 17714044 | 13089833 |     4073   7902 |        0 |        0
1392.88/1393.32	c 1393s |      27 | 17747431 | 13112733 |     4073   7913 |        0 |        0
1394.87/1395.33	c 1395s |      27 | 17775965 | 13133433 |     4073   7923 |        0 |        0
1396.87/1397.35	c 1397s |      27 | 17805284 | 13154833 |     4073   7933 |        0 |        0
1398.88/1399.36	c 1399s |      27 | 17829334 | 13170833 |     4073   7940 |        0 |        0
1400.87/1401.37	c 1401s |      27 | 17851035 | 13186533 |     4073   7947 |        0 |        0
1402.87/1403.38	c 1403s |      27 | 17874725 | 13203733 |     4073   7955 |        0 |        0
1404.87/1405.39	c 1405s |      27 | 17900126 | 13222433 |     4073   7963 |        0 |        0
1406.87/1407.39	c 1407s |      27 | 17924008 | 13239933 |     4073   7971 |        0 |        0
1408.88/1409.39	c 1409s |      27 | 17947579 | 13257733 |     4073   7980 |        0 |        0
1410.88/1411.40	c 1411s |      27 | 17971384 | 13275033 |     4073   7988 |        0 |        0
1412.98/1413.40	c 1413s |      27 | 17996056 | 13293033 |     4073   7996 |        0 |        0
1414.97/1415.41	c 1415s |      27 | 18020685 | 13310633 |     4073   8004 |        0 |        0
1416.97/1417.42	c 1417s |      27 | 18044243 | 13328133 |     4073   8012 |        0 |        0
1418.97/1419.43	c 1419s |      27 | 18069949 | 13347233 |     4073   8021 |        0 |        0
1420.97/1421.43	c 1421s |      27 | 18094412 | 13365533 |     4073   8030 |        0 |        0
1422.97/1423.44	c 1423s |      27 | 18116582 | 13382233 |     4073   8037 |        0 |        0
1424.96/1425.45	c 1425s |      27 | 18136807 | 13397133 |     4073   8044 |        0 |        0
1426.96/1427.46	c 1427s |      27 | 18167556 | 13419833 |     4073   8055 |        0 |        0
1428.96/1429.46	c 1429s |      27 | 18201412 | 13445433 |     4073   8067 |        0 |        0
1430.96/1431.47	c 1431s |      27 | 18228958 | 13464333 |     4073   8076 |        0 |        0
1432.97/1433.49	c 1433s |      27 | 18246916 | 13477633 |     4073   8082 |        0 |        0
1434.96/1435.49	c 1435s |      27 | 18271019 | 13493233 |     4073   8089 |        0 |        0
1437.06/1437.50	c 1437s |      27 | 18300164 | 13513133 |     4073   8098 |        0 |        0
1439.06/1439.51	c 1439s |      27 | 18329555 | 13534333 |     4073   8107 |        0 |        0
1441.06/1441.51	c 1441s |      27 | 18352387 | 13551533 |     4073   8115 |        0 |        0
1443.06/1443.52	c 1443s |      27 | 18374922 | 13567933 |     4073   8123 |        0 |        0
1445.06/1445.52	c 1445s |      27 | 18401560 | 13587333 |     4073   8131 |        0 |        0
1447.06/1447.53	c 1447s |      27 | 18423808 | 13603333 |     4073   8139 |        0 |        0
1449.06/1449.53	c 1449s |      27 | 18444911 | 13619533 |     4073   8146 |        0 |        0
1451.06/1451.53	c 1451s |      27 | 18467673 | 13636233 |     4073   8154 |        0 |        0
1453.06/1453.54	c 1453s |      27 | 18498585 | 13660033 |     4073   8165 |        0 |        0
1455.06/1455.54	c 1455s |      27 | 18530860 | 13682833 |     4073   8176 |        0 |        0
1457.07/1457.55	c 1457s |      27 | 18560440 | 13704633 |     4073   8187 |        0 |        0
1459.06/1459.57	c 1459s |      27 | 18587525 | 13722933 |     4073   8195 |        0 |        0
1461.06/1461.58	c 1461s |      27 | 18609460 | 13739133 |     4073   8202 |        0 |        0
1463.06/1463.58	c 1463s |      27 | 18630196 | 13754633 |     4073   8209 |        0 |        0
1465.06/1465.58	c 1465s |      27 | 18649025 | 13769333 |     4073   8215 |        0 |        0
1467.06/1467.59	c 1467s |      27 | 18670975 | 13786033 |     4073   8223 |        0 |        0
1469.06/1469.60	c 1469s |      27 | 18690521 | 13801333 |     4073   8230 |        0 |        0
1471.16/1471.61	c 1471s |      27 | 18713887 | 13818433 |     4073   8237 |        0 |        0
1473.16/1473.62	c 1473s |      27 | 18736966 | 13836233 |     4073   8245 |        0 |        0
1475.15/1475.63	c 1475s |      27 | 18755357 | 13850333 |     4073   8252 |        0 |        0
1477.15/1477.64	c 1477s |      27 | 18780030 | 13869033 |     4073   8260 |        0 |        0
1479.16/1479.64	c 1479s |      27 | 18810858 | 13891733 |     4073   8271 |        0 |        0
1481.15/1481.65	c 1481s |      27 | 18837007 | 13912533 |     4073   8281 |        0 |        0
1483.15/1483.66	c 1483s |      27 | 18862408 | 13930933 |     4073   8290 |        0 |        0
1485.15/1485.66	c 1485s |      27 | 18888360 | 13950033 |     4073   8299 |        0 |        0
1487.15/1487.66	c 1487s |      27 | 18914070 | 13970733 |     4073   8309 |        0 |        0
1489.15/1489.66	c 1489s |      27 | 18944020 | 13991833 |     4073   8319 |        0 |        0
1491.15/1491.68	c 1491s |      27 | 18963753 | 14006933 |     4073   8326 |        0 |        0
1493.15/1493.68	c 1493s |      27 | 18983706 | 14022933 |     4073   8333 |        0 |        0
1495.15/1495.68	c 1495s |      27 | 19010727 | 14040933 |     4073   8341 |        0 |        0
1497.16/1497.70	c 1497s |      27 | 19033555 | 14057933 |     4073   8349 |        0 |        0
1499.26/1499.70	c 1499s |      27 | 19053130 | 14072633 |     4073   8356 |        0 |        0
1501.26/1501.70	c 1501s |      27 | 19074822 | 14088633 |     4073   8363 |        0 |        0
1503.26/1503.71	c 1503s |      27 | 19097469 | 14105033 |     4073   8371 |        0 |        0
1505.25/1505.72	c 1505s |      27 | 19119731 | 14120733 |     4073   8379 |        0 |        0
1507.25/1507.72	c 1507s |      27 | 19149517 | 14142533 |     4073   8389 |        0 |        0
1509.25/1509.72	c 1509s |      27 | 19170551 | 14159433 |     4073   8396 |        0 |        0
1511.25/1511.73	c 1511s |      27 | 19190573 | 14174933 |     4073   8404 |        0 |        0
1513.26/1513.74	c 1513s |      27 | 19211352 | 14190533 |     4073   8411 |        0 |        0
1515.25/1515.74	c 1515s |      27 | 19240069 | 14211333 |     4073   8421 |        0 |        0
1517.25/1517.75	c 1517s |      27 | 19274697 | 14235733 |     4073   8433 |        0 |        0
1519.25/1519.76	c 1519s |      27 | 19302638 | 14254533 |     4073   8441 |        0 |        0
1521.25/1521.76	c 1521s |      27 | 19330964 | 14274533 |     4073   8451 |        0 |        0
1523.25/1523.76	c 1523s |      27 | 19361642 | 14297633 |     4073   8462 |        0 |        0
1525.26/1525.77	c 1525s |      27 | 19395054 | 14321433 |     4073   8473 |        0 |        0
1527.25/1527.77	c 1527s |      27 | 19426578 | 14345133 |     4073   8485 |        0 |        0
1529.25/1529.78	c 1529s |      27 | 19458265 | 14369533 |     4073   8496 |        0 |        0
1531.25/1531.78	c 1531s |      27 | 19487923 | 14392033 |     4073   8507 |        0 |        0
1533.25/1533.79	c 1533s |      27 | 19518473 | 14416033 |     4073   8519 |        0 |        0
1535.25/1535.79	c 1535s |      27 | 19551644 | 14439233 |     4073   8529 |        0 |        0
1537.35/1537.80	c 1537s |      27 | 19582879 | 14462533 |     4073   8541 |        0 |        0
1539.34/1539.81	c 1539s |      27 | 19608125 | 14480533 |     4073   8549 |        0 |        0
1541.34/1541.82	c 1541s |      27 | 19640521 | 14504633 |     4073   8561 |        0 |        0
1543.34/1543.82	c 1543s |      27 | 19672746 | 14528433 |     4073   8572 |        0 |        0
1545.34/1545.82	c 1545s |      27 | 19693637 | 14544233 |     4073   8579 |        0 |        0
1547.35/1547.83	c 1547s |      27 | 19715387 | 14559333 |     4073   8587 |        0 |        0
1549.34/1549.84	c 1549s |      27 | 19735808 | 14574133 |     4073   8594 |        0 |        0
1551.34/1551.85	c 1551s |      27 | 19758075 | 14590233 |     4073   8601 |        0 |        0
1553.34/1553.86	c 1553s |      27 | 19787691 | 14611733 |     4073   8612 |        0 |        0
1555.34/1555.88	c 1555s |      27 | 19814964 | 14632633 |     4073   8622 |        0 |        0
1557.34/1557.88	c 1557s |      27 | 19849853 | 14658933 |     4073   8634 |        0 |        0
1559.34/1559.89	c 1559s |      27 | 19880731 | 14682833 |     4073   8645 |        0 |        0
1561.44/1561.90	c 1561s |      27 | 19902840 | 14700133 |     4073   8654 |        0 |        0
1563.44/1563.91	c 1563s |      27 | 19939231 | 14726533 |     4073   8667 |        0 |        0
1565.45/1565.92	c 1565s |      27 | 19974574 | 14751533 |     4073   8679 |        0 |        0
1567.44/1567.93	c 1567s |      27 | 20010354 | 14778333 |     4073   8691 |        0 |        0
1569.44/1569.95	c 1569s |      27 | 20045354 | 14803333 |     4073   8703 |        0 |        0
1571.44/1571.95	c 1571s |      27 | 20077906 | 14827633 |     4073   8715 |        0 |        0
1573.44/1573.95	c 1573s |      27 | 20112406 | 14852633 |     4073   8727 |        0 |        0
1575.44/1575.96	c 1575s |      27 | 20150061 | 14880833 |     4073   8741 |        0 |        0
1577.44/1577.96	c 1577s |      27 | 20181530 | 14904633 |     4073   8751 |        0 |        0
1579.44/1579.96	c 1579s |      27 | 20211759 | 14926933 |     4073   8761 |        0 |        0
1581.45/1581.98	c 1581s |      27 | 20232790 | 14942933 |     4073   8768 |        0 |        0
1583.44/1583.99	c 1583s |      27 | 20251640 | 14957433 |     4073   8775 |        0 |        0
1585.44/1585.99	c 1585s |      27 | 20274766 | 14974933 |     4073   8783 |        0 |        0
1587.54/1588.00	c 1587s |      27 | 20295311 | 14990733 |     4073   8790 |        0 |        0
1589.54/1590.02	c 1590s |      27 | 20315730 | 15006133 |     4073   8797 |        0 |        0
1591.54/1592.03	c 1592s |      27 | 20334481 | 15020833 |     4073   8803 |        0 |        0
1593.55/1594.04	c 1594s |      27 | 20353613 | 15035233 |     4073   8810 |        0 |        0
1595.54/1596.05	c 1596s |      27 | 20371770 | 15049233 |     4073   8816 |        0 |        0
1597.54/1598.05	c 1598s |      27 | 20390449 | 15063333 |     4073   8822 |        0 |        0
1599.54/1600.06	c 1600s |      27 | 20411676 | 15079233 |     4073   8829 |        0 |        0
1601.54/1602.08	c 1602s |      27 | 20429421 | 15092533 |     4073   8835 |        0 |        0
1603.54/1604.09	c 1604s |      27 | 20452560 | 15108133 |     4073   8843 |        0 |        0
1605.54/1606.09	c 1606s |      27 | 20487627 | 15133033 |     4073   8854 |        0 |        0
1607.64/1608.10	c 1608s |      27 | 20508699 | 15149033 |     4073   8861 |        0 |        0
1609.64/1610.11	c 1610s |      27 | 20533560 | 15167333 |     4073   8870 |        0 |        0
1611.64/1612.12	c 1612s |      27 | 20555676 | 15183733 |     4073   8878 |        0 |        0
1613.63/1614.12	c 1614s |      27 | 20578476 | 15199933 |     4073   8885 |        0 |        0
1615.64/1616.12	c 1616s |      27 | 20612523 | 15225133 |     4073   8897 |        0 |        0
1617.64/1618.13	c 1618s |      27 | 20648671 | 15252233 |     4073   8910 |        0 |        0
1619.63/1620.14	c 1620s |      27 | 20675385 | 15271433 |     4073   8919 |        0 |        0
1621.63/1622.14	c 1622s |      27 | 20701350 | 15291233 |     4073   8928 |        0 |        0
1623.63/1624.15	c 1624s |      27 | 20727739 | 15311133 |     4073   8938 |        0 |        0
1625.63/1626.15	c 1626s |      27 | 20755786 | 15332333 |     4073   8948 |        0 |        0
1627.64/1628.16	c 1628s |      27 | 20783418 | 15351933 |     4073   8957 |        0 |        0
1629.63/1630.16	c 1630s |      27 | 20806752 | 15368233 |     4073   8965 |        0 |        0
1631.63/1632.17	c 1632s |      27 | 20828009 | 15384833 |     4073   8973 |        0 |        0
1633.63/1634.17	c 1634s |      27 | 20855106 | 15404033 |     4073   8982 |        0 |        0
1635.63/1636.18	c 1636s |      27 | 20879374 | 15421133 |     4073   8990 |        0 |        0
1637.63/1638.18	c 1638s |      27 | 20900955 | 15436233 |     4073   8997 |        0 |        0
1639.64/1640.18	c 1640s |      27 | 20925963 | 15455033 |     4073   9006 |        0 |        0
1641.63/1642.19	c 1642s |      27 | 20952724 | 15475033 |     4073   9016 |        0 |        0
1643.63/1644.19	c 1644s |      27 | 20985674 | 15499133 |     4073   9027 |        0 |        0
1645.73/1646.20	c 1646s |      27 | 21013738 | 15520833 |     4073   9037 |        0 |        0
1647.73/1648.20	c 1648s |      27 | 21041358 | 15540733 |     4073   9047 |        0 |        0
1649.72/1650.20	c 1650s |      27 | 21076091 | 15566633 |     4073   9059 |        0 |        0
1651.73/1652.22	c 1652s |      27 | 21102862 | 15585933 |     4073   9068 |        0 |        0
1653.72/1654.22	c 1654s |      27 | 21128284 | 15603233 |     4073   9076 |        0 |        0
1655.72/1656.23	c 1656s |      27 | 21158191 | 15623733 |     4073   9085 |        0 |        0
1657.72/1658.24	c 1658s |      27 | 21184128 | 15643233 |     4073   9094 |        0 |        0
1659.73/1660.26	c 1660s |      27 | 21210321 | 15663533 |     4073   9103 |        0 |        0
1661.74/1662.26	c 1662s |      27 | 21231664 | 15679933 |     4073   9110 |        0 |        0
1663.73/1664.26	c 1664s |      27 | 21252252 | 15695433 |     4073   9117 |        0 |        0
1665.73/1666.27	c 1666s |      27 | 21278468 | 15714633 |     4073   9126 |        0 |        0
1667.73/1668.28	c 1668s |      27 | 21303336 | 15733633 |     4073   9134 |        0 |        0
1669.73/1670.28	c 1670s |      27 | 21326388 | 15751333 |     4073   9142 |        0 |        0
1671.73/1672.29	c 1672s |      27 | 21351976 | 15770733 |     4073   9151 |        0 |        0
1673.83/1674.31	c 1674s |      27 | 21383306 | 15793133 |     4073   9162 |        0 |        0
1675.83/1676.32	c 1676s |      27 | 21414446 | 15816233 |     4073   9173 |        0 |        0
1677.83/1678.32	c 1678s |      27 | 21445776 | 15840733 |     4073   9184 |        0 |        0
1679.82/1680.33	c 1680s |      27 | 21479369 | 15865733 |     4073   9197 |        0 |        0
1681.83/1682.34	c 1682s |      27 | 21510106 | 15887933 |     4073   9207 |        0 |        0
1683.83/1684.34	c 1684s |      27 | 21535553 | 15905733 |     4073   9215 |        0 |        0
1685.83/1686.34	c 1686s |      27 | 21573104 | 15933233 |     4073   9228 |        0 |        0
1687.82/1688.34	c 1688s |      27 | 21601751 | 15954033 |     4073   9238 |        0 |        0
1689.82/1690.35	c 1690s |      27 | 21620610 | 15968933 |     4073   9245 |        0 |        0
1691.82/1692.35	c 1692s |      27 | 21651555 | 15991033 |     4073   9256 |        0 |        0
1693.82/1694.36	c 1694s |      27 | 21679558 | 16012433 |     4073   9266 |        0 |        0
1695.83/1696.37	c 1696s |      27 | 21717032 | 16039733 |     4073   9279 |        0 |        0
1697.82/1698.37	c 1698s |      27 | 21752458 | 16065533 |     4073   9291 |        0 |        0
1699.82/1700.38	c 1700s |      27 | 21780793 | 16086533 |     4073   9301 |        0 |        0
1701.82/1702.38	c 1702s |      27 | 21806061 | 16105533 |     4073   9311 |        0 |        0
1703.82/1704.39	c 1704s |      27 | 21834128 | 16126933 |     4073   9321 |        0 |        0
1705.82/1706.40	c 1706s |      27 | 21857143 | 16144333 |     4073   9329 |        0 |        0
1707.82/1708.40	c 1708s |      27 | 21892133 | 16170833 |     4073   9342 |        0 |        0
1709.92/1710.40	c 1710s |      27 | 21927160 | 16196933 |     4073   9354 |        0 |        0
1711.92/1712.40	c 1712s |      27 | 21958998 | 16220933 |     4073   9366 |        0 |        0
1713.92/1714.41	c 1714s |      27 | 21993021 | 16246733 |     4073   9378 |        0 |        0
1715.92/1716.41	c 1716s |      27 | 22023916 | 16270933 |     4073   9390 |        0 |        0
1717.91/1718.41	c 1718s |      27 | 22058758 | 16297133 |     4073   9402 |        0 |        0
1719.92/1720.42	c 1720s |      27 | 22091091 | 16320233 |     4073   9413 |        0 |        0
1721.91/1722.43	c 1722s |      27 | 22124797 | 16343733 |     4073   9425 |        0 |        0
1723.91/1724.43	c 1724s |      27 | 22160783 | 16369433 |     4073   9437 |        0 |        0
1725.91/1726.43	c 1726s |      27 | 22199599 | 16397633 |     4073   9450 |        0 |        0
1727.92/1728.44	c 1728s |      27 | 22229634 | 16419633 |     4073   9461 |        0 |        0
1729.93/1730.45	c 1730s |      27 | 22262707 | 16443833 |     4073   9473 |        0 |        0
1731.92/1732.45	c 1732s |      27 | 22291085 | 16464933 |     4073   9483 |        0 |        0
1733.92/1734.46	c 1734s |      27 | 22323258 | 16489433 |     4073   9495 |        0 |        0
1735.92/1736.46	c 1736s |      27 | 22357469 | 16515133 |     4073   9507 |        0 |        0
1737.92/1738.46	c 1738s |      27 | 22389735 | 16539333 |     4073   9518 |        0 |        0
1739.92/1740.46	c 1740s |      27 | 22422091 | 16564333 |     4073   9530 |        0 |        0
1741.92/1742.47	c 1742s |      27 | 22449845 | 16584333 |     4073   9540 |        0 |        0
1743.92/1744.47	c 1744s |      27 | 22484526 | 16610633 |     4073   9553 |        0 |        0
1745.92/1746.47	c 1746s |      27 | 22516070 | 16634933 |     4073   9564 |        0 |        0
1747.92/1748.48	c 1748s |      27 | 22551739 | 16660233 |     4073   9576 |        0 |        0
1749.92/1750.49	c 1750s |      27 | 22583151 | 16683033 |     4073   9587 |        0 |        0
1751.92/1752.49	c 1752s |      27 | 22616287 | 16708933 |     4073   9599 |        0 |        0
1754.02/1754.52	c 1754s |      27 | 22640625 | 16727433 |     4073   9609 |        0 |        0
1756.01/1756.53	c 1756s |      27 | 22673261 | 16750933 |     4073   9620 |        0 |        0
1758.01/1758.53	c 1758s |      27 | 22699388 | 16770333 |     4073   9629 |        0 |        0
1760.01/1760.53	c 1760s |      27 | 22728095 | 16790233 |     4073   9639 |        0 |        0
1762.01/1762.54	c 1762s |      27 | 22750865 | 16807833 |     4073   9647 |        0 |        0
1764.02/1764.54	c 1764s |      27 | 22783347 | 16830533 |     4073   9658 |        0 |        0
1766.01/1766.55	c 1766s |      27 | 22808985 | 16849633 |     4073   9667 |        0 |        0
1768.01/1768.55	c 1768s |      27 | 22836337 | 16869133 |     4073   9676 |        0 |        0
1770.01/1770.55	c 1770s |      27 | 22863512 | 16889933 |     4073   9686 |        0 |        0
1772.01/1772.55	c 1772s |      27 | 22893277 | 16912633 |     4073   9697 |        0 |        0
1774.01/1774.56	c 1774s |      27 | 22926608 | 16937233 |     4073   9709 |        0 |        0
1776.01/1776.57	c 1776s |      27 | 22955689 | 16958733 |     4073   9720 |        0 |        0
1778.01/1778.57	c 1778s |      27 | 22986431 | 16981333 |     4481   9730 |        0 |        0
1780.01/1780.57	c 1780s |      27 | 23018444 | 17005533 |     4481   9740 |        0 |        0
1782.11/1782.60	c 1782s |      27 | 23049729 | 17028433 |     4481   9751 |        0 |        0
1784.11/1784.60	c 1784s |      27 | 23075450 | 17048333 |     4481   9759 |        0 |        0
1786.11/1786.61	c 1786s |      27 | 23102027 | 17067433 |     4481   9768 |        0 |        0
1788.12/1788.62	c 1788s |      27 | 23133203 | 17090633 |     4481   9778 |        0 |        0
1788.41/1788.90	c 1788s |      28 | 23139196 | 17095205 |     4481   9780 |        0 |        0
1790.42/1790.90	c 1790s |      28 | 23175662 | 17122005 |     4481   9791 |        0 |        0
1792.41/1792.91	c 1792s |      28 | 23206253 | 17145905 |     4481   9801 |        0 |        0
1794.41/1794.91	c 1794s |      28 | 23230919 | 17163305 |     4481   9808 |        0 |        0
1796.41/1796.92	c 1796s |      28 | 23256541 | 17182305 |     4481   9816 |        0 |        0
1798.41/1798.92	c 1798s |      28 | 23278032 | 17198705 |     4481   9823 |        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-4088861-1466017349/watcher-4088861-1466017349 -o /tmp/evaluation-result-4088861-1466017349/solver-4088861-1466017349 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088861-1466017349.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.09 2.08 2/179 7138
/proc/meminfo: memFree=30398940/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=830908 CPUtime=0 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 3121 0 0 0 0 0 0 0 20 0 4 0 3780389 850849792 2971 33554432000 4194304 16246674 140733389960976 140733389960400 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 208495 2980 441 2943 0 205389 0
[pid=7138/tid=7139] ppid=7135 vsize=849340 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 869724160 3043 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=853436 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 873918464 3060 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=857532 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3780389 878112768 3076 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.03 2.09 2.08 2/179 7138
/proc/meminfo: memFree=30398940/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 22646 0 0 0 6 3 0 0 20 0 4 0 3780389 1247350784 22484 33554432000 4194304 16246674 140733389960976 140733389960400 5831697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 304529 22492 719 2943 0 301423 0
[pid=7138/tid=7139] ppid=7135 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1247350784 22496 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1247350784 22501 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3780389 1247350784 22507 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200463 s]
/proc/loadavg: 2.03 2.09 2.08 2/179 7138
/proc/meminfo: memFree=30398940/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 41408 0 0 0 14 5 0 0 20 0 4 0 3780389 1247350784 41247 33554432000 4194304 16246674 140733389960976 140733389960400 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 304529 41257 719 2943 0 301423 0
[pid=7138/tid=7139] ppid=7135 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1247350784 41262 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1247350784 41267 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3780389 1247350784 41272 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300488 s]
/proc/loadavg: 2.03 2.09 2.08 2/179 7138
/proc/meminfo: memFree=30398940/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 59840 0 0 0 22 7 0 0 20 0 4 0 3780389 1247350784 59678 33554432000 4194304 16246674 140733389960976 140733389960400 5712452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 304529 59687 719 2943 0 301423 0
[pid=7138/tid=7139] ppid=7135 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1247350784 59694 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1247350784 59698 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3780389 1247350784 59702 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700353 s]
/proc/loadavg: 2.03 2.09 2.08 2/179 7138
/proc/meminfo: memFree=30398940/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 136411 0 0 0 51 18 0 0 20 0 4 0 3780389 1247350784 136250 33554432000 4194304 16246674 140733389960976 140733389960400 13191638 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 304529 136257 720 2943 0 301423 0
[pid=7138/tid=7139] ppid=7135 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1247350784 136261 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1247350784 136265 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3780389 1247350784 136273 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.03 2.09 2.08 3/183 7142
/proc/meminfo: memFree=29548772/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1222212 CPUtime=1.49 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 213741 0 0 0 119 30 0 0 20 0 4 0 3780389 1251545088 213559 33554432000 4194304 16246674 140733389960976 140733389960288 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 305553 213559 787 2943 0 302447 0
[pid=7138/tid=7139] ppid=7135 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1251545088 213559 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1251545088 213559 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1251545088 213559 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1222212

[startup+3.10041 s]
/proc/loadavg: 2.03 2.09 2.08 3/183 7142
/proc/meminfo: memFree=29459856/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 240806 0 0 0 277 32 0 0 20 0 4 0 3780389 1338576896 240624 33554432000 4194304 16246674 140733389960976 140733389942848 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 326801 240624 787 2943 0 323695 0
[pid=7138/tid=7139] ppid=7135 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1338576896 240624 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1338576896 240624 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1338576896 240624 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.03 2.09 2.08 3/183 7142
/proc/meminfo: memFree=29434572/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1309252 CPUtime=6.29 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 268340 0 0 0 592 37 0 0 20 0 4 0 3780389 1340674048 268158 33554432000 4194304 16246674 140733389960976 140733389943976 5823553 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 327313 268158 787 2943 0 324207 0
[pid=7138/tid=7139] ppid=7135 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1340674048 268158 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1340674048 268158 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1340674048 268158 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7004 s]
/proc/loadavg: 2.11 2.10 2.09 3/183 7142
/proc/meminfo: memFree=29318056/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1318468 CPUtime=12.69 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 270646 0 0 0 1231 38 0 0 20 0 4 0 3780389 1350111232 270464 33554432000 4194304 16246674 140733389960976 140733389943976 12415736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 329617 270464 789 2943 0 326511 0
[pid=7138/tid=7139] ppid=7135 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1350111232 270464 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1350111232 270464 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1350111232 270464 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1318468

[startup+25.5005 s]
/proc/loadavg: 2.08 2.10 2.09 3/183 7142
/proc/meminfo: memFree=29316096/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1318468 CPUtime=25.49 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 270646 0 0 0 2511 38 0 0 20 0 4 0 3780389 1350111232 270464 33554432000 4194304 16246674 140733389960976 140733389943976 13950188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 329617 270464 789 2943 0 326511 0
[pid=7138/tid=7139] ppid=7135 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1350111232 270464 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1350111232 270464 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1350111232 270464 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1318468

[startup+51.1005 s]
/proc/loadavg: 2.05 2.09 2.08 3/183 7142
/proc/meminfo: memFree=29315952/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1318468 CPUtime=51.08 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 270646 0 0 0 5070 38 0 0 20 0 4 0 3780389 1350111232 270464 33554432000 4194304 16246674 140733389960976 140733389943976 5808428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 329617 270464 789 2943 0 326511 0
[pid=7138/tid=7139] ppid=7135 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1350111232 270464 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1350111232 270464 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1350111232 270464 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1318468

[startup+102.301 s]
/proc/loadavg: 2.20 2.12 2.09 3/183 7143
/proc/meminfo: memFree=29313696/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1320516 CPUtime=102.28 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 271159 0 0 0 10189 39 0 0 20 0 4 0 3780389 1352208384 270977 33554432000 4194304 16246674 140733389960976 140733389943976 13950236 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 330129 270977 790 2943 0 327023 0
[pid=7138/tid=7139] ppid=7135 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1352208384 270977 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1352208384 270977 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1352208384 270977 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1320516


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

/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1334852

[startup+1362.3 s]
/proc/loadavg: 2.21 2.13 2.10 3/183 7174
/proc/meminfo: memFree=29247196/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1334852 CPUtime=1361.9 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 275109 0 0 0 136126 64 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140733389942848 5823975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 333713 274819 792 2943 0 330607 0
[pid=7138/tid=7139] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1334852

[startup+1422.3 s]
/proc/loadavg: 2.20 2.14 2.10 4/183 7224
/proc/meminfo: memFree=29462984/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1334852 CPUtime=1421.87 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 275142 0 0 0 142122 65 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140733389943976 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 333713 274819 792 2943 0 330607 0
[pid=7138/tid=7139] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1334852

[startup+1482.3 s]
/proc/loadavg: 2.17 2.13 2.09 3/183 7323
/proc/meminfo: memFree=29313076/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1334852 CPUtime=1481.85 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 275145 0 0 0 148119 66 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140733389943976 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 333713 274819 792 2943 0 330607 0
[pid=7138/tid=7139] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1334852

[startup+1542.31 s]
/proc/loadavg: 2.11 2.12 2.09 3/183 7324
/proc/meminfo: memFree=29312556/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1334852 CPUtime=1541.85 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 275145 0 0 0 154118 67 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140733389958784 6845981 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 333713 274819 792 2943 0 330607 0
[pid=7138/tid=7139] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1334852

[startup+1602.3 s]
/proc/loadavg: 2.09 2.11 2.09 4/183 7325
/proc/meminfo: memFree=29313048/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1334852 CPUtime=1601.84 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 275145 0 0 0 160115 69 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140733389943976 13759627 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 333713 274819 792 2943 0 330607 0
[pid=7138/tid=7139] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1334852

[startup+1662.3 s]
/proc/loadavg: 2.17 2.13 2.09 3/184 7329
/proc/meminfo: memFree=29313028/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1334852 CPUtime=1661.83 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 275145 0 0 0 166113 70 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140733389943976 12483362 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 333713 274819 792 2943 0 330607 0
[pid=7138/tid=7139] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1334852

[startup+1722.3 s]
/proc/loadavg: 2.06 2.10 2.09 4/183 7330
/proc/meminfo: memFree=29313544/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1334852 CPUtime=1721.81 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 275145 0 0 0 172111 70 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140733389943976 6013424 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 333713 274819 792 2943 0 330607 0
[pid=7138/tid=7139] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1334852

[startup+1782.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 7332
/proc/meminfo: memFree=29313512/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1334852 CPUtime=1781.81 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 275145 0 0 0 178109 72 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140733389943976 6845797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 333713 274819 792 2943 0 330607 0
[pid=7138/tid=7139] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1334852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.08 2.08 3/183 7333
/proc/meminfo: memFree=29313484/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1334852 CPUtime=1800.01 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 275145 0 0 0 179929 72 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140733389943976 6024888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 333713 274819 792 2943 0 330607 0
[pid=7138/tid=7139] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1334852

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.08 2.08 3/183 7333
/proc/meminfo: memFree=29313484/32872528 swapFree=496356/529060
[pid=7138] ppid=7135 vsize=1334852 CPUtime=1800.01 cores=0,2,4,6
/proc/7138/stat : 7138 (toysat) R 7135 7138 5955 0 -1 4202496 275145 0 0 0 179929 72 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140733389943976 6024888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7138/statm: 333713 274819 792 2943 0 330607 0
[pid=7138/tid=7139] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7139/stat : 7139 (toysat) S 7135 7138 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061067685104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7138/tid=7140] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7140/stat : 7140 (toysat) S 7135 7138 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061057195248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7138/tid=7141] ppid=7135 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/7138/task/7141/stat : 7141 (toysat) S 7135 7138 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3780389 1366888448 274819 33554432000 4194304 16246674 140733389960976 140061046721712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1334852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.3
CPU system time (s): 0.72289
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 1334852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.3
system time used= 0.72289
maximum resident set size= 1099276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275145
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= 412
involuntary context switches= 1976

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.15 second user time and 16.2575 second system time

The end

Begin job on node141 at 2016-06-15 21:02:30
IDJOB=4088861
IDBENCH=107324
IDSOLVER=2542
FILE ID=node141/4088861-1466017349
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/SUMINEQ/normalized-sumineqArity5pyramidP0016.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088861-1466017349/watcher-4088861-1466017349 -o /tmp/evaluation-result-4088861-1466017349/solver-4088861-1466017349 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088861-1466017349.opb

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

MD5SUM BENCH= 1e8213399bc4b68ca4a8d1df31990fe9
RANDOM SEED=983807090

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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.547
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.547
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:        30399228 kB
Buffers:           16684 kB
Cached:            73176 kB
SwapCached:        13072 kB
Active:          1201856 kB
Inactive:          41564 kB
Active(anon):    1143512 kB
Inactive(anon):    12008 kB
Active(file):      58344 kB
Inactive(file):    29556 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16324 kB
Writeback:             4 kB
AnonPages:       1670664 kB
Mapped:            10736 kB
Shmem:                 0 kB
Slab:             566880 kB
SReclaimable:      10332 kB
SUnreclaim:       556548 kB
KernelStack:        1496 kB
PageTables:         7528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1814280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-15 21:32:30