0.00/0.00	c 2016-06-15T20:34:12+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-4088812-1466015652.opb"]
0.00/0.01	c use --random-gen="3993255346 3745750893 4037003066 4159018781 3768206078 3659355890 48212345 1605163940 2039344883 1047433155 1411852861 3136428018 1314362302 2749195284 2065931873 3430498388 2673456196 3275064732 1785117035 2888505612 2669578127 3157069928 236797483 3950063915 3716475525 2044055438 378155914 4283559758 2891216071 504139945 3927890956 1462256009 1242411845 770100923 1329462274 2194223456 2497888250 3992885074 2500757237 560286763 3207524538 2363155557 3615876845 2431016274 828970845 3863549513 4146847984 3766044997 2100305044 2550706322 1223257962 3312919014 4072830887 2074177677 1984561678 3930670141 3873201670 2177860663 2202928078 484214181 262937264 3154935541 839164268 1935557482 4079829185 140651729 3179509607 771421009 4179118023 2339800996 1111008128 3248424254 2475254345 3137076140 871717735 1081081223 3169096451 1148111244 302975252 1685016138 955427252 1524187654 1846034317 1521685675 2286293439 3840356863 1765897706 2076096861 1524598184 2682350792 3065492957 2672130380 4098299637 1732654184 11855076 1275186135 1961207742 2298659814 1831278749 2157924603 1335053754 4189566744 4207253743 59286993 4291659706 1945221553 3973397004 2496087898 2617955416 1356886365 1667985501 2831377847 1695685656 592019789 2186023511 825142720 3500380771 2759317541 3596632478 1104485415 4017232685 1301906840 3528773358 103776732 1941388508 3395641197 2578941746 2042219507 1684886442 3607853346 238350678 1859460769 2793799995 4229982704 954204797 2605582065 1759711900 2208371599 582203949 433708993 2156805773 2732592053 657108924 483391254 3250653356 1307208606 3460248058 385980645 228481035 2637395617 1094136213 475659994 2311519012 2578240586 2818497676 3528077334 3250695706 2241300656 1377000842 1526322827 4101187465 2199104895 2194713308 606117161 3870842162 1430635368 879852575 501593705 2112365871 2092811979 1010335613 1059250288 1910451684 3638900488 3893933479 783571555 191076107 989496445 2471211709 4105536763 1236104167 1290350390 4028905718 629720484 333936446 987072882 1084603808 689456306 659998968 1729611853 1759577151 2181167073 1645528512 1971177075 1253312933 2326991325 2697196270 4183223103 1302656778 2561593005 2591687260 622441463 879283119 1999431338 2078096159 2889990109 3499264047 3963022619 941531638 2044072578 1447557536 785222000 930692118 151328092 640572663 3280652793 919324624 2537050121 2772181435 3749209406 1712221792 2095500258 2811726499 3791108005 3535384908 1357577913 1914452081 793408991 2411150758 2934830895 2659442394 3861004107 409375212 2957829830 2447032678 2291216858 1010812120 592528434 1023613751 2572483199 187419275 2837630375 2057701252 2491784803 2083940415 1536138341 1295796802 1907258619 1997116422 2087570400 3875148308 2923272481 885023200 2681379811 1798272096 2536688156 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1355
0.00/0.02	c #constraints 272
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      542      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      534 |      100 |      542      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |     1098 |      250 |      597      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |     1514 |      475 |      657      0 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1910 |      813 |      723      1 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2806 |     1320 |      796      2 |        0 |        0
0.09/0.19	c  0.2s |       6 |     4261 |     2081 |      964      3 |        0 |        0
0.18/0.29	c  0.3s |       7 |     6290 |     3223 |     1061      5 |        0 |        0
0.38/0.41	c  0.4s |       8 |     8496 |     4936 |     1168      8 |        0 |        0
0.59/0.61	c  0.6s |       9 |    12761 |     7506 |     1285     12 |        0 |        0
0.79/0.83	c  0.8s |      10 |    18577 |    11361 |     1414     18 |        0 |        0
1.29/1.35	c  1.3s |      11 |    26741 |    17144 |     1556     25 |        0 |        0
1.88/1.94	c  1.9s |      12 |    40068 |    25819 |     1712     35 |        0 |        0
2.69/2.78	c  2.7s |      13 |    61861 |    38832 |     1884     47 |        0 |        0
4.29/4.30	c  4.3s |      14 |    89051 |    58352 |     2073     68 |        0 |        0
6.28/6.30	c  6.3s |      14 |   119975 |    80452 |     2073     87 |        0 |        0
6.88/6.96	c  6.9s |      15 |   129614 |    87632 |     2281     93 |        0 |        0
8.89/8.96	c  8.9s |      15 |   165694 |   114832 |     2281    116 |        0 |        0
10.09/10.18	c 10.2s |      16 |   188693 |   131552 |     2510    129 |        0 |        0
12.10/12.19	c 12.2s |      16 |   227972 |   159352 |     2510    150 |        0 |        0
14.19/14.20	c 14.2s |      16 |   260835 |   182152 |     2510    166 |        0 |        0
15.49/15.56	c 15.5s |      17 |   284694 |   197432 |     2761    175 |        0 |        0
17.49/17.57	c 17.5s |      17 |   320235 |   224032 |     2761    194 |        0 |        0
19.48/19.57	c 19.5s |      17 |   360090 |   251732 |     2761    213 |        0 |        0
21.48/21.57	c 21.5s |      17 |   397249 |   280632 |     2761    233 |        0 |        0
22.88/22.99	c 23.0s |      18 |   419835 |   296252 |     3038    243 |        0 |        0
24.88/24.99	c 25.0s |      18 |   453073 |   319252 |     3038    257 |        0 |        0
26.98/27.00	c 27.0s |      18 |   477596 |   337952 |     3038    269 |        0 |        0
28.98/29.00	c 29.0s |      18 |   513973 |   359352 |     3038    281 |        0 |        0
30.98/31.02	c 31.0s |      18 |   542622 |   379752 |     3038    294 |        0 |        0
32.99/33.02	c 33.0s |      18 |   577941 |   402752 |     3038    306 |        0 |        0
34.98/35.04	c 35.0s |      18 |   594504 |   415652 |     3038    313 |        0 |        0
36.98/37.04	c 37.0s |      18 |   616036 |   432452 |     3038    322 |        0 |        0
38.28/38.33	c 38.3s |      19 |   631988 |   444482 |     3342    328 |        0 |        0
40.28/40.34	c 40.3s |      19 |   662075 |   464582 |     3342    340 |        0 |        0
42.28/42.34	c 42.3s |      19 |   689445 |   484482 |     3342    351 |        0 |        0
44.28/44.35	c 44.3s |      19 |   722164 |   507682 |     3342    365 |        0 |        0
46.29/46.36	c 46.3s |      19 |   756615 |   532082 |     3342    379 |        0 |        0
48.29/48.36	c 48.3s |      19 |   782883 |   552282 |     3342    390 |        0 |        0
50.28/50.36	c 50.3s |      19 |   803626 |   567682 |     3342    399 |        0 |        0
52.28/52.36	c 52.3s |      19 |   827147 |   585182 |     3342    409 |        0 |        0
54.28/54.37	c 54.3s |      19 |   848437 |   600982 |     3342    419 |        0 |        0
56.28/56.38	c 56.3s |      19 |   867052 |   615482 |     3342    427 |        0 |        0
58.29/58.38	c 58.4s |      19 |   887114 |   630582 |     3342    436 |        0 |        0
60.28/60.39	c 60.4s |      19 |   908279 |   646382 |     3342    445 |        0 |        0
62.28/62.39	c 62.4s |      19 |   934019 |   665482 |     3677    456 |        0 |        0
62.38/62.48	c 62.5s |      20 |   935605 |   666827 |     3677    456 |        0 |        0
64.38/64.49	c 64.5s |      20 |   970985 |   690327 |     3677    468 |        0 |        0
66.48/66.50	c 66.5s |      20 |  1000712 |   711827 |     3677    478 |        0 |        0
68.48/68.51	c 68.5s |      20 |  1028828 |   731127 |     3677    487 |        0 |        0
70.48/70.51	c 70.5s |      20 |  1060516 |   750427 |     3677    496 |        0 |        0
72.48/72.52	c 72.5s |      20 |  1087251 |   769227 |     3677    504 |        0 |        0
74.48/74.53	c 74.5s |      20 |  1109938 |   785727 |     3677    511 |        0 |        0
76.47/76.56	c 76.5s |      20 |  1127089 |   798127 |     3677    517 |        0 |        0
78.47/78.58	c 78.5s |      20 |  1148365 |   814227 |     3677    524 |        0 |        0
80.47/80.58	c 80.6s |      20 |  1168179 |   828827 |     3677    531 |        0 |        0
82.48/82.58	c 82.6s |      20 |  1190756 |   845127 |     3677    538 |        0 |        0
84.47/84.59	c 84.6s |      20 |  1212500 |   861027 |     3677    545 |        0 |        0
86.57/86.60	c 86.6s |      20 |  1237992 |   879527 |     3677    553 |        0 |        0
88.58/88.61	c 88.6s |      20 |  1261928 |   896927 |     3677    561 |        0 |        0
90.58/90.62	c 90.6s |      20 |  1286504 |   914927 |     3677    569 |        0 |        0
92.58/92.62	c 92.6s |      20 |  1308589 |   931227 |     3677    576 |        0 |        0
94.58/94.63	c 94.6s |      20 |  1331723 |   948327 |     3677    584 |        0 |        0
96.58/96.63	c 96.6s |      20 |  1355111 |   966327 |     3677    592 |        0 |        0
98.57/98.64	c 98.6s |      20 |  1370393 |   977827 |     3677    597 |        0 |        0
100.57/100.65	c  100s |      20 |  1388843 |   991327 |     3677    603 |        0 |        0
101.77/101.86	c  101s |      21 |  1401148 |  1000345 |     4045    607 |        0 |        0
103.77/103.86	c  103s |      21 |  1436413 |  1024945 |     4045    619 |        0 |        0
105.77/105.86	c  105s |      21 |  1470081 |  1051245 |     4045    631 |        0 |        0
107.78/107.87	c  107s |      21 |  1505732 |  1076845 |     4045    643 |        0 |        0
109.77/109.87	c  109s |      21 |  1538058 |  1100345 |     4045    655 |        0 |        0
111.78/111.88	c  111s |      21 |  1567283 |  1119945 |     4045    664 |        0 |        0
113.78/113.89	c  113s |      21 |  1599608 |  1141645 |     4045    674 |        0 |        0
115.78/115.89	c  115s |      21 |  1637872 |  1168145 |     4045    687 |        0 |        0
117.87/117.90	c  117s |      21 |  1667706 |  1189745 |     4045    697 |        0 |        0
119.77/119.90	c  119s |      21 |  1700364 |  1214545 |     4045    709 |        0 |        0
121.87/121.95	c  121s |      21 |  1736601 |  1240345 |     4045    722 |        0 |        0
123.87/123.96	c  123s |      21 |  1769341 |  1263845 |     4045    733 |        0 |        0
125.87/125.97	c  125s |      21 |  1796696 |  1283845 |     4045    742 |        0 |        0
127.87/127.97	c  127s |      21 |  1821647 |  1302045 |     4045    750 |        0 |        0
129.88/129.98	c  129s |      21 |  1853630 |  1325245 |     4045    762 |        0 |        0
131.87/131.98	c  131s |      21 |  1887821 |  1351845 |     4045    774 |        0 |        0
133.87/133.99	c  133s |      21 |  1923406 |  1377045 |     4045    786 |        0 |        0
135.87/135.99	c  135s |      21 |  1951548 |  1397145 |     4045    796 |        0 |        0
137.86/137.99	c  137s |      21 |  1984276 |  1422745 |     4045    808 |        0 |        0
139.96/140.00	c  139s |      21 |  2017845 |  1446845 |     4045    819 |        0 |        0
141.97/142.01	c  141s |      21 |  2043516 |  1464945 |     4045    828 |        0 |        0
143.96/144.01	c  143s |      21 |  2076711 |  1488545 |     4045    839 |        0 |        0
145.06/145.19	c  145s |      22 |  2094129 |  1500622 |     4450    844 |        0 |        0
147.17/147.20	c  147s |      22 |  2134057 |  1527322 |     4450    855 |        0 |        0
149.17/149.21	c  149s |      22 |  2167761 |  1552222 |     4450    866 |        0 |        0
151.17/151.22	c  151s |      22 |  2198773 |  1576122 |     4450    876 |        0 |        0
153.17/153.22	c  153s |      22 |  2230838 |  1599622 |     4450    886 |        0 |        0
155.17/155.22	c  155s |      22 |  2264195 |  1623822 |     4450    897 |        0 |        0
157.17/157.23	c  157s |      22 |  2295736 |  1646922 |     4450    907 |        0 |        0
159.17/159.24	c  159s |      22 |  2325162 |  1669422 |     4450    917 |        0 |        0
161.17/161.25	c  161s |      22 |  2359666 |  1694122 |     4450    927 |        0 |        0
163.16/163.25	c  163s |      22 |  2389663 |  1716922 |     4450    937 |        0 |        0
165.16/165.26	c  165s |      22 |  2422483 |  1739922 |     4450    948 |        0 |        0
167.17/167.27	c  167s |      22 |  2458538 |  1764722 |     4450    959 |        0 |        0
169.16/169.27	c  169s |      22 |  2488103 |  1786922 |     4450    968 |        0 |        0
171.16/171.27	c  171s |      22 |  2517264 |  1807322 |     4450    977 |        0 |        0
173.16/173.28	c  173s |      22 |  2545504 |  1828222 |     4450    986 |        0 |        0
175.16/175.28	c  175s |      22 |  2569245 |  1845722 |     4450    994 |        0 |        0
177.26/177.30	c  177s |      22 |  2589717 |  1860022 |     4450   1000 |        0 |        0
179.27/179.30	c  179s |      22 |  2609112 |  1874422 |     4450   1005 |        0 |        0
181.26/181.31	c  181s |      22 |  2628374 |  1888022 |     4450   1011 |        0 |        0
183.26/183.32	c  183s |      22 |  2650713 |  1903622 |     4450   1017 |        0 |        0
185.26/185.33	c  185s |      22 |  2673644 |  1920122 |     4450   1024 |        0 |        0
187.26/187.35	c  187s |      22 |  2692085 |  1933922 |     4450   1029 |        0 |        0
189.26/189.35	c  189s |      22 |  2709851 |  1947522 |     4450   1035 |        0 |        0
191.25/191.36	c  191s |      22 |  2731065 |  1963422 |     4450   1041 |        0 |        0
193.25/193.37	c  193s |      22 |  2751374 |  1978322 |     4450   1048 |        0 |        0
195.26/195.39	c  195s |      22 |  2768839 |  1991222 |     4450   1053 |        0 |        0
197.36/197.40	c  197s |      22 |  2786452 |  2005222 |     4450   1059 |        0 |        0
199.36/199.41	c  199s |      22 |  2807595 |  2021522 |     4450   1065 |        0 |        0
201.37/201.42	c  201s |      22 |  2824994 |  2034622 |     4450   1071 |        0 |        0
203.36/203.43	c  203s |      22 |  2849772 |  2051022 |     4450   1077 |        0 |        0
205.36/205.44	c  205s |      22 |  2870778 |  2066522 |     4450   1083 |        0 |        0
207.36/207.45	c  207s |      22 |  2890749 |  2081422 |     4450   1089 |        0 |        0
209.36/209.46	c  209s |      22 |  2914264 |  2099522 |     4450   1097 |        0 |        0
211.36/211.47	c  211s |      22 |  2931823 |  2113122 |     4450   1102 |        0 |        0
213.36/213.48	c  213s |      22 |  2957597 |  2132322 |     4450   1110 |        0 |        0
215.35/215.48	c  215s |      22 |  2970638 |  2142122 |     4450   1114 |        0 |        0
217.35/217.49	c  217s |      22 |  2991272 |  2158022 |     4450   1121 |        0 |        0
219.35/219.50	c  219s |      22 |  3010619 |  2172022 |     4450   1126 |        0 |        0
221.45/221.50	c  221s |      22 |  3031944 |  2187922 |     4450   1133 |        0 |        0
223.45/223.52	c  223s |      22 |  3047941 |  2199722 |     4450   1138 |        0 |        0
225.46/225.52	c  225s |      22 |  3064542 |  2213222 |     4450   1143 |        0 |        0
227.45/227.53	c  227s |      22 |  3077165 |  2223522 |     4450   1147 |        0 |        0
229.45/229.55	c  229s |      22 |  3095494 |  2236522 |     4895   1152 |        0 |        0
231.46/231.56	c  231s |      22 |  3112802 |  2248522 |     4895   1157 |        0 |        0
231.86/231.99	c  231s |      23 |  3116279 |  2251038 |     4895   1158 |        0 |        0
233.96/234.00	c  233s |      23 |  3148366 |  2274538 |     4895   1167 |        0 |        0
235.96/236.01	c  235s |      23 |  3178103 |  2296538 |     4895   1176 |        0 |        0
237.96/238.01	c  237s |      23 |  3206572 |  2318138 |     4895   1185 |        0 |        0
239.96/240.01	c  239s |      23 |  3244676 |  2343238 |     4895   1194 |        0 |        0
241.96/242.02	c  241s |      23 |  3269844 |  2362238 |     4895   1201 |        0 |        0
243.95/244.02	c  243s |      23 |  3303624 |  2385438 |     4895   1210 |        0 |        0
245.95/246.09	c  246s |      23 |  3327629 |  2403338 |     4895   1217 |        0 |        0
248.05/248.10	c  248s |      23 |  3340450 |  2413738 |     4895   1221 |        0 |        0
250.05/250.11	c  250s |      23 |  3368012 |  2432638 |     4895   1228 |        0 |        0
252.05/252.11	c  252s |      23 |  3396108 |  2453638 |     4895   1237 |        0 |        0
254.06/254.12	c  254s |      23 |  3422276 |  2471438 |     4895   1244 |        0 |        0
256.05/256.13	c  256s |      23 |  3443242 |  2487638 |     4895   1250 |        0 |        0
258.05/258.13	c  258s |      23 |  3474632 |  2509538 |     4895   1258 |        0 |        0
260.05/260.14	c  260s |      23 |  3497343 |  2525438 |     4895   1265 |        0 |        0
262.05/262.14	c  262s |      23 |  3530737 |  2550638 |     4895   1275 |        0 |        0
264.05/264.14	c  264s |      23 |  3568088 |  2576638 |     4895   1285 |        0 |        0
266.05/266.14	c  266s |      23 |  3598367 |  2598038 |     4895   1293 |        0 |        0
268.05/268.15	c  268s |      23 |  3619166 |  2613638 |     4895   1299 |        0 |        0
270.04/270.15	c  270s |      23 |  3649230 |  2635938 |     4895   1308 |        0 |        0
272.04/272.15	c  272s |      23 |  3682403 |  2659938 |     4895   1318 |        0 |        0
274.04/274.15	c  274s |      23 |  3712857 |  2683138 |     4895   1327 |        0 |        0
276.05/276.16	c  276s |      23 |  3738859 |  2702238 |     4895   1335 |        0 |        0
278.04/278.17	c  278s |      23 |  3764424 |  2721338 |     4895   1343 |        0 |        0
280.14/280.21	c  280s |      23 |  3798048 |  2746338 |     4895   1353 |        0 |        0
282.14/282.21	c  282s |      23 |  3835440 |  2772738 |     4895   1363 |        0 |        0
284.15/284.22	c  284s |      23 |  3866914 |  2796738 |     4895   1373 |        0 |        0
286.15/286.23	c  286s |      23 |  3905152 |  2820138 |     4895   1382 |        0 |        0
288.16/288.23	c  288s |      23 |  3940781 |  2846238 |     4895   1392 |        0 |        0
290.15/290.23	c  290s |      23 |  3973844 |  2871238 |     4895   1402 |        0 |        0
292.15/292.24	c  292s |      23 |  4007709 |  2896538 |     4895   1413 |        0 |        0
294.15/294.24	c  294s |      23 |  4040494 |  2918538 |     4895   1421 |        0 |        0
296.15/296.24	c  296s |      23 |  4071445 |  2939438 |     4895   1429 |        0 |        0
298.15/298.24	c  298s |      23 |  4107281 |  2962638 |     4895   1438 |        0 |        0
300.14/300.25	c  300s |      23 |  4122812 |  2973938 |     4895   1442 |        0 |        0
302.14/302.25	c  302s |      23 |  4147566 |  2990838 |     4895   1448 |        0 |        0
304.14/304.26	c  304s |      23 |  4178753 |  3012938 |     4895   1456 |        0 |        0
306.14/306.26	c  306s |      23 |  4203802 |  3030338 |     4895   1463 |        0 |        0
308.14/308.26	c  308s |      23 |  4226228 |  3047438 |     4895   1469 |        0 |        0
310.14/310.27	c  310s |      23 |  4251228 |  3065338 |     4895   1476 |        0 |        0
312.14/312.27	c  312s |      23 |  4274334 |  3083938 |     4895   1483 |        0 |        0
314.14/314.28	c  314s |      23 |  4300796 |  3102138 |     4895   1490 |        0 |        0
316.14/316.29	c  316s |      23 |  4319214 |  3116038 |     4895   1495 |        0 |        0
318.24/318.31	c  318s |      23 |  4332686 |  3126538 |     4895   1499 |        0 |        0
320.24/320.31	c  320s |      23 |  4354138 |  3142138 |     4895   1505 |        0 |        0
322.25/322.31	c  322s |      23 |  4380226 |  3161838 |     4895   1513 |        0 |        0
324.24/324.34	c  324s |      23 |  4407258 |  3181138 |     4895   1520 |        0 |        0
326.24/326.34	c  326s |      23 |  4438350 |  3203238 |     4895   1528 |        0 |        0
328.24/328.35	c  328s |      23 |  4458143 |  3218438 |     4895   1533 |        0 |        0
330.24/330.37	c  330s |      23 |  4479711 |  3235238 |     4895   1540 |        0 |        0
332.24/332.37	c  332s |      23 |  4506639 |  3255838 |     4895   1548 |        0 |        0
334.23/334.38	c  334s |      23 |  4529688 |  3272738 |     4895   1554 |        0 |        0
336.23/336.38	c  336s |      23 |  4551144 |  3289238 |     4895   1560 |        0 |        0
338.23/338.39	c  338s |      23 |  4576259 |  3308038 |     4895   1567 |        0 |        0
340.33/340.40	c  340s |      23 |  4601035 |  3326738 |     4895   1575 |        0 |        0
342.34/342.42	c  342s |      23 |  4622124 |  3342138 |     4895   1581 |        0 |        0
344.34/344.43	c  344s |      23 |  4647439 |  3360138 |     5385   1587 |        0 |        0
346.33/346.45	c  346s |      23 |  4661104 |  3370738 |     5385   1591 |        0 |        0
347.54/347.61	c  347s |      24 |  4668760 |  3376662 |     5385   1593 |        0 |        0
349.53/349.61	c  349s |      24 |  4699233 |  3399562 |     5385   1601 |        0 |        0
351.53/351.61	c  351s |      24 |  4730314 |  3422362 |     5385   1610 |        0 |        0
353.53/353.61	c  353s |      24 |  4753539 |  3439962 |     5385   1616 |        0 |        0
355.53/355.61	c  355s |      24 |  4784995 |  3460062 |     5385   1623 |        0 |        0
357.53/357.62	c  357s |      24 |  4814759 |  3480262 |     5385   1630 |        0 |        0
359.52/359.63	c  359s |      24 |  4838857 |  3495462 |     5385   1635 |        0 |        0
361.52/361.63	c  361s |      24 |  4856585 |  3506862 |     5385   1639 |        0 |        0
363.52/363.64	c  363s |      24 |  4881995 |  3523262 |     5385   1644 |        0 |        0
365.52/365.64	c  365s |      24 |  4908698 |  3542262 |     5385   1651 |        0 |        0
367.52/367.65	c  367s |      24 |  4933802 |  3560962 |     5385   1657 |        0 |        0
369.52/369.65	c  369s |      24 |  4961393 |  3579462 |     5385   1663 |        0 |        0
371.52/371.66	c  371s |      24 |  4984048 |  3595762 |     5385   1669 |        0 |        0
373.52/373.67	c  373s |      24 |  5006742 |  3610862 |     5385   1674 |        0 |        0
375.51/375.68	c  375s |      24 |  5020163 |  3621962 |     5385   1678 |        0 |        0
377.51/377.69	c  377s |      24 |  5036485 |  3633962 |     5385   1682 |        0 |        0
379.52/379.69	c  379s |      24 |  5055368 |  3648462 |     5385   1687 |        0 |        0
381.52/381.69	c  381s |      24 |  5082334 |  3666662 |     5385   1693 |        0 |        0
383.62/383.72	c  383s |      24 |  5109720 |  3686362 |     5385   1700 |        0 |        0
385.72/385.80	c  385s |      24 |  5138545 |  3706862 |     5385   1707 |        0 |        0
387.72/387.81	c  387s |      24 |  5159851 |  3721562 |     5385   1711 |        0 |        0
389.72/389.82	c  389s |      24 |  5177469 |  3734562 |     5385   1715 |        0 |        0
391.72/391.82	c  391s |      24 |  5196502 |  3748662 |     5385   1720 |        0 |        0
393.72/393.83	c  393s |      24 |  5214781 |  3763062 |     5385   1725 |        0 |        0
395.72/395.85	c  395s |      24 |  5233585 |  3777462 |     5385   1730 |        0 |        0
397.72/397.86	c  397s |      24 |  5251235 |  3790462 |     5385   1734 |        0 |        0
399.72/399.86	c  399s |      24 |  5265114 |  3801262 |     5385   1738 |        0 |        0
401.71/401.89	c  401s |      24 |  5280784 |  3813262 |     5385   1742 |        0 |        0
403.72/403.89	c  403s |      24 |  5301413 |  3828362 |     5385   1747 |        0 |        0
405.71/405.90	c  405s |      24 |  5322550 |  3844262 |     5385   1752 |        0 |        0
407.81/407.91	c  407s |      24 |  5344753 |  3861062 |     5385   1758 |        0 |        0
409.81/409.91	c  409s |      24 |  5366411 |  3875362 |     5385   1762 |        0 |        0
411.81/411.93	c  411s |      24 |  5393540 |  3895062 |     5385   1769 |        0 |        0
413.81/413.93	c  413s |      24 |  5420165 |  3913362 |     5385   1775 |        0 |        0
415.81/415.94	c  415s |      24 |  5436349 |  3925862 |     5385   1779 |        0 |        0
417.81/417.95	c  417s |      24 |  5453933 |  3938262 |     5385   1783 |        0 |        0
419.81/419.97	c  419s |      24 |  5471517 |  3951362 |     5385   1788 |        0 |        0
421.80/421.98	c  421s |      24 |  5497225 |  3969862 |     5385   1794 |        0 |        0
423.80/423.98	c  423s |      24 |  5519898 |  3986562 |     5385   1799 |        0 |        0
425.80/425.98	c  425s |      24 |  5544488 |  4004862 |     5385   1805 |        0 |        0
427.81/427.99	c  427s |      24 |  5572643 |  4024762 |     5385   1812 |        0 |        0
429.80/429.99	c  429s |      24 |  5594956 |  4041762 |     5385   1817 |        0 |        0
431.90/432.00	c  431s |      24 |  5617783 |  4058062 |     5385   1823 |        0 |        0
433.90/434.00	c  433s |      24 |  5643444 |  4076962 |     5385   1829 |        0 |        0
435.90/436.01	c  435s |      24 |  5661174 |  4090462 |     5385   1833 |        0 |        0
437.90/438.01	c  437s |      24 |  5678200 |  4103762 |     5385   1837 |        0 |        0
439.90/440.02	c  439s |      24 |  5696528 |  4117762 |     5385   1842 |        0 |        0
441.89/442.02	c  441s |      24 |  5722211 |  4137062 |     5385   1848 |        0 |        0
443.89/444.03	c  443s |      24 |  5745226 |  4154762 |     5385   1854 |        0 |        0
445.89/446.03	c  446s |      24 |  5772985 |  4174862 |     5385   1861 |        0 |        0
447.89/448.06	c  448s |      24 |  5800281 |  4194962 |     5385   1868 |        0 |        0
449.89/450.07	c  450s |      24 |  5822754 |  4212062 |     5385   1873 |        0 |        0
451.89/452.07	c  452s |      24 |  5843505 |  4228462 |     5385   1879 |        0 |        0
453.89/454.08	c  454s |      24 |  5870620 |  4247662 |     5385   1885 |        0 |        0
455.89/456.08	c  456s |      24 |  5888495 |  4260962 |     5385   1889 |        0 |        0
457.99/458.10	c  458s |      24 |  5905453 |  4273762 |     5385   1894 |        0 |        0
459.99/460.10	c  460s |      24 |  5928907 |  4292262 |     5385   1900 |        0 |        0
461.99/462.14	c  462s |      24 |  5953343 |  4310162 |     5385   1906 |        0 |        0
463.99/464.15	c  464s |      24 |  5970808 |  4323062 |     5385   1910 |        0 |        0
465.98/466.16	c  466s |      24 |  5985567 |  4334062 |     5385   1913 |        0 |        0
467.98/468.18	c  468s |      24 |  5997976 |  4343362 |     5385   1917 |        0 |        0
469.98/470.18	c  470s |      24 |  6009926 |  4352362 |     5385   1920 |        0 |        0
471.98/472.19	c  472s |      24 |  6021449 |  4361262 |     5385   1923 |        0 |        0
474.09/474.20	c  474s |      24 |  6032522 |  4370062 |     5385   1925 |        0 |        0
476.08/476.21	c  476s |      24 |  6045717 |  4379962 |     5385   1929 |        0 |        0
478.08/478.22	c  478s |      24 |  6058990 |  4389762 |     5385   1932 |        0 |        0
480.08/480.23	c  480s |      24 |  6074038 |  4400962 |     5385   1936 |        0 |        0
482.08/482.23	c  482s |      24 |  6094798 |  4415662 |     5385   1941 |        0 |        0
484.08/484.24	c  484s |      24 |  6110223 |  4427262 |     5385   1944 |        0 |        0
486.08/486.26	c  486s |      24 |  6132054 |  4444062 |     5385   1950 |        0 |        0
488.08/488.27	c  488s |      24 |  6148146 |  4456662 |     5385   1954 |        0 |        0
490.07/490.30	c  490s |      24 |  6164060 |  4468962 |     5385   1958 |        0 |        0
492.17/492.32	c  492s |      24 |  6176557 |  4478562 |     5385   1962 |        0 |        0
494.17/494.33	c  494s |      24 |  6190983 |  4489162 |     5385   1965 |        0 |        0
496.17/496.33	c  496s |      24 |  6213425 |  4505562 |     5385   1970 |        0 |        0
498.18/498.34	c  498s |      24 |  6230582 |  4518262 |     5385   1975 |        0 |        0
500.17/500.34	c  500s |      24 |  6250940 |  4533262 |     5385   1980 |        0 |        0
502.17/502.34	c  502s |      24 |  6271848 |  4549162 |     5385   1985 |        0 |        0
504.17/504.34	c  504s |      24 |  6288559 |  4561662 |     5385   1989 |        0 |        0
506.16/506.35	c  506s |      24 |  6308284 |  4576362 |     5385   1994 |        0 |        0
508.17/508.38	c  508s |      24 |  6323548 |  4587662 |     5385   1998 |        0 |        0
510.16/510.39	c  510s |      24 |  6345896 |  4604762 |     5385   2003 |        0 |        0
512.27/512.40	c  512s |      24 |  6372454 |  4623862 |     5385   2010 |        0 |        0
514.27/514.40	c  514s |      24 |  6397913 |  4642362 |     5385   2016 |        0 |        0
516.26/516.41	c  516s |      24 |  6424929 |  4661362 |     5385   2022 |        0 |        0
518.26/518.42	c  518s |      24 |  6454510 |  4681962 |     5385   2029 |        0 |        0
520.27/520.42	c  520s |      24 |  6476272 |  4698362 |     5385   2034 |        0 |        0
522.26/522.43	c  522s |      24 |  6502334 |  4717762 |     5385   2041 |        0 |        0
524.26/524.43	c  524s |      24 |  6524840 |  4735062 |     5385   2047 |        0 |        0
526.26/526.44	c  526s |      24 |  6552405 |  4753562 |     5385   2053 |        0 |        0
528.26/528.44	c  528s |      24 |  6576528 |  4771462 |     5385   2058 |        0 |        0
530.26/530.45	c  530s |      24 |  6599550 |  4788862 |     5385   2064 |        0 |        0
532.27/532.45	c  532s |      24 |  6624081 |  4807162 |     5385   2070 |        0 |        0
534.26/534.49	c  534s |      24 |  6652462 |  4827262 |     5385   2077 |        0 |        0
536.35/536.50	c  536s |      24 |  6674801 |  4843462 |     5385   2082 |        0 |        0
538.35/538.50	c  538s |      24 |  6699412 |  4861262 |     5385   2088 |        0 |        0
540.35/540.51	c  540s |      24 |  6727233 |  4882062 |     5385   2094 |        0 |        0
542.36/542.53	c  542s |      24 |  6745296 |  4895362 |     5385   2099 |        0 |        0
544.36/544.53	c  544s |      24 |  6769682 |  4912762 |     5385   2104 |        0 |        0
546.35/546.55	c  546s |      24 |  6796749 |  4932362 |     5385   2111 |        0 |        0
548.35/548.56	c  548s |      24 |  6822702 |  4951662 |     5385   2117 |        0 |        0
550.35/550.57	c  550s |      24 |  6845587 |  4968262 |     5385   2122 |        0 |        0
552.35/552.58	c  552s |      24 |  6866920 |  4984862 |     5385   2128 |        0 |        0
554.36/554.59	c  554s |      24 |  6887551 |  4998662 |     5385   2132 |        0 |        0
556.45/556.60	c  556s |      24 |  6903562 |  5010162 |     5385   2136 |        0 |        0
558.45/558.62	c  558s |      24 |  6917574 |  5020962 |     5385   2139 |        0 |        0
560.44/560.62	c  560s |      24 |  6941428 |  5037762 |     5924   2144 |        0 |        0
562.44/562.63	c  562s |      24 |  6966668 |  5056562 |     5924   2150 |        0 |        0
563.44/563.68	c  563s |      25 |  6978451 |  5065098 |     5924   2153 |        0 |        0
565.43/565.69	c  565s |      25 |  7006422 |  5083898 |     5924   2159 |        0 |        0
567.44/567.69	c  567s |      25 |  7039179 |  5107498 |     5924   2166 |        0 |        0
569.44/569.69	c  569s |      25 |  7071326 |  5129798 |     5924   2173 |        0 |        0
571.44/571.69	c  571s |      25 |  7098749 |  5148198 |     5924   2179 |        0 |        0
573.54/573.70	c  573s |      25 |  7130745 |  5171298 |     5924   2187 |        0 |        0
575.53/575.70	c  575s |      25 |  7155592 |  5189198 |     5924   2193 |        0 |        0
577.53/577.70	c  577s |      25 |  7181711 |  5206898 |     5924   2199 |        0 |        0
579.54/579.71	c  579s |      25 |  7209195 |  5227798 |     5924   2205 |        0 |        0
581.53/581.71	c  581s |      25 |  7237697 |  5247898 |     5924   2212 |        0 |        0
583.53/583.78	c  583s |      25 |  7257744 |  5261898 |     5924   2217 |        0 |        0
585.53/585.78	c  585s |      25 |  7292313 |  5286198 |     5924   2225 |        0 |        0
587.53/587.79	c  587s |      25 |  7325004 |  5309998 |     5924   2233 |        0 |        0
589.54/589.79	c  589s |      25 |  7359331 |  5333298 |     5924   2240 |        0 |        0
591.53/591.80	c  591s |      25 |  7377776 |  5345498 |     5924   2244 |        0 |        0
593.63/593.80	c  593s |      25 |  7394811 |  5357498 |     5924   2248 |        0 |        0
595.62/595.80	c  595s |      25 |  7409523 |  5368498 |     5924   2251 |        0 |        0
597.62/597.81	c  597s |      25 |  7443453 |  5389798 |     5924   2258 |        0 |        0
599.62/599.82	c  599s |      25 |  7463859 |  5402798 |     5924   2262 |        0 |        0
601.63/601.83	c  601s |      25 |  7482294 |  5416498 |     5924   2266 |        0 |        0
603.62/603.85	c  603s |      25 |  7501011 |  5429698 |     5924   2270 |        0 |        0
605.62/605.85	c  605s |      25 |  7532191 |  5450598 |     5924   2277 |        0 |        0
607.62/607.85	c  607s |      25 |  7561963 |  5473398 |     5924   2284 |        0 |        0
609.62/609.86	c  609s |      25 |  7596437 |  5498398 |     5924   2292 |        0 |        0
611.62/611.87	c  611s |      25 |  7619772 |  5515098 |     5924   2297 |        0 |        0
613.62/613.87	c  613s |      25 |  7641924 |  5531498 |     5924   2303 |        0 |        0
615.62/615.87	c  615s |      25 |  7671716 |  5551998 |     5924   2310 |        0 |        0
617.62/617.88	c  617s |      25 |  7707171 |  5577298 |     5924   2318 |        0 |        0
619.62/619.89	c  619s |      25 |  7743539 |  5602298 |     5924   2326 |        0 |        0
621.62/621.89	c  621s |      25 |  7775678 |  5626698 |     5924   2334 |        0 |        0
623.72/623.90	c  623s |      25 |  7800734 |  5645198 |     5924   2340 |        0 |        0
625.62/625.90	c  625s |      25 |  7820937 |  5660698 |     5924   2345 |        0 |        0
627.72/627.91	c  627s |      25 |  7847064 |  5680498 |     5924   2352 |        0 |        0
629.72/629.92	c  629s |      25 |  7868126 |  5697198 |     5924   2357 |        0 |        0
631.72/631.94	c  631s |      25 |  7899193 |  5718698 |     5924   2364 |        0 |        0
633.71/633.94	c  633s |      25 |  7925940 |  5737898 |     5924   2371 |        0 |        0
635.72/635.95	c  635s |      25 |  7958911 |  5763198 |     5924   2379 |        0 |        0
637.71/637.96	c  637s |      25 |  7984453 |  5782398 |     5924   2385 |        0 |        0
639.71/639.98	c  639s |      25 |  8012355 |  5801098 |     5924   2392 |        0 |        0
641.81/642.07	c  642s |      25 |  8051355 |  5826898 |     5924   2400 |        0 |        0
643.81/644.07	c  644s |      25 |  8086671 |  5853198 |     5924   2409 |        0 |        0
645.80/646.08	c  646s |      25 |  8120952 |  5877798 |     5924   2416 |        0 |        0
647.81/648.08	c  648s |      25 |  8150181 |  5897198 |     5924   2422 |        0 |        0
649.80/650.09	c  650s |      25 |  8178537 |  5917198 |     5924   2428 |        0 |        0
651.80/652.09	c  652s |      25 |  8199883 |  5933098 |     5924   2433 |        0 |        0
653.90/654.11	c  654s |      25 |  8225448 |  5950798 |     5924   2439 |        0 |        0
655.90/656.13	c  656s |      25 |  8246242 |  5966898 |     5924   2443 |        0 |        0
657.89/658.14	c  658s |      25 |  8264875 |  5981098 |     5924   2447 |        0 |        0
659.90/660.15	c  660s |      25 |  8284477 |  5994798 |     5924   2452 |        0 |        0
661.89/662.17	c  662s |      25 |  8306461 |  6010698 |     5924   2456 |        0 |        0
663.90/664.17	c  664s |      25 |  8325635 |  6025298 |     5924   2461 |        0 |        0
665.89/666.18	c  666s |      25 |  8341061 |  6036398 |     5924   2464 |        0 |        0
667.89/668.18	c  668s |      25 |  8360005 |  6050698 |     5924   2469 |        0 |        0
669.99/670.20	c  670s |      25 |  8376695 |  6062998 |     5924   2473 |        0 |        0
672.00/672.21	c  672s |      25 |  8395333 |  6076098 |     5924   2477 |        0 |        0
673.99/674.22	c  674s |      25 |  8412199 |  6087998 |     5924   2480 |        0 |        0
675.98/676.29	c  676s |      25 |  8428825 |  6098998 |     5924   2484 |        0 |        0
678.08/678.40	c  678s |      25 |  8445996 |  6110898 |     5924   2487 |        0 |        0
680.18/680.40	c  680s |      25 |  8473286 |  6130398 |     5924   2493 |        0 |        0
682.18/682.41	c  682s |      25 |  8490141 |  6143598 |     5924   2497 |        0 |        0
684.18/684.42	c  684s |      25 |  8507253 |  6155898 |     5924   2501 |        0 |        0
686.18/686.44	c  686s |      25 |  8529260 |  6172198 |     5924   2506 |        0 |        0
688.18/688.49	c  688s |      25 |  8544400 |  6183198 |     5924   2510 |        0 |        0
690.28/690.50	c  690s |      25 |  8558374 |  6193398 |     5924   2513 |        0 |        0
692.27/692.51	c  692s |      25 |  8584522 |  6212298 |     5924   2518 |        0 |        0
694.27/694.52	c  694s |      25 |  8614323 |  6232498 |     5924   2524 |        0 |        0
696.28/696.54	c  696s |      25 |  8635936 |  6248998 |     5924   2529 |        0 |        0
698.29/698.54	c  698s |      25 |  8654288 |  6262998 |     5924   2534 |        0 |        0
700.28/700.56	c  700s |      25 |  8675075 |  6279098 |     5924   2538 |        0 |        0
702.28/702.56	c  702s |      25 |  8703562 |  6299398 |     5924   2545 |        0 |        0
704.28/704.57	c  704s |      25 |  8735255 |  6321198 |     5924   2551 |        0 |        0
706.27/706.57	c  706s |      25 |  8761913 |  6339998 |     5924   2557 |        0 |        0
708.28/708.58	c  708s |      25 |  8790290 |  6359598 |     5924   2563 |        0 |        0
710.27/710.59	c  710s |      25 |  8803661 |  6369998 |     5924   2566 |        0 |        0
712.37/712.60	c  712s |      25 |  8827860 |  6387798 |     5924   2571 |        0 |        0
714.37/714.61	c  714s |      25 |  8847041 |  6402698 |     5924   2576 |        0 |        0
716.37/716.61	c  716s |      25 |  8866176 |  6417098 |     5924   2580 |        0 |        0
718.37/718.67	c  718s |      25 |  8882558 |  6429698 |     5924   2584 |        0 |        0
720.37/720.68	c  720s |      25 |  8902156 |  6444198 |     5924   2589 |        0 |        0
722.36/722.69	c  722s |      25 |  8916062 |  6454798 |     5924   2592 |        0 |        0
724.36/724.69	c  724s |      25 |  8933150 |  6467098 |     5924   2596 |        0 |        0
726.36/726.69	c  726s |      25 |  8948577 |  6478998 |     5924   2599 |        0 |        0
728.46/728.70	c  728s |      25 |  8959842 |  6487598 |     5924   2602 |        0 |        0
730.46/730.71	c  730s |      25 |  8974405 |  6498398 |     5924   2605 |        0 |        0
732.47/732.72	c  732s |      25 |  8992847 |  6511898 |     5924   2609 |        0 |        0
734.46/734.75	c  734s |      25 |  9007370 |  6522998 |     5924   2613 |        0 |        0
736.46/736.75	c  736s |      25 |  9022064 |  6533998 |     5924   2616 |        0 |        0
738.46/738.75	c  738s |      25 |  9043885 |  6550398 |     5924   2621 |        0 |        0
740.46/740.77	c  740s |      25 |  9059378 |  6562498 |     5924   2625 |        0 |        0
742.46/742.79	c  742s |      25 |  9076185 |  6575198 |     5924   2628 |        0 |        0
744.46/744.79	c  744s |      25 |  9091609 |  6586798 |     5924   2632 |        0 |        0
746.45/746.79	c  746s |      25 |  9115904 |  6604298 |     5924   2637 |        0 |        0
748.45/748.79	c  748s |      25 |  9132395 |  6617398 |     5924   2641 |        0 |        0
750.45/750.80	c  750s |      25 |  9156046 |  6634498 |     5924   2646 |        0 |        0
752.55/752.80	c  752s |      25 |  9175529 |  6648698 |     5924   2651 |        0 |        0
754.54/754.86	c  754s |      25 |  9203439 |  6668798 |     5924   2657 |        0 |        0
756.56/756.86	c  756s |      25 |  9226071 |  6685098 |     5924   2662 |        0 |        0
758.55/758.86	c  758s |      25 |  9255621 |  6705698 |     5924   2668 |        0 |        0
760.55/760.87	c  760s |      25 |  9283531 |  6726198 |     5924   2674 |        0 |        0
762.55/762.87	c  762s |      25 |  9305307 |  6742398 |     5924   2679 |        0 |        0
764.55/764.88	c  764s |      25 |  9318763 |  6752498 |     5924   2682 |        0 |        0
766.55/766.89	c  766s |      25 |  9331977 |  6762398 |     5924   2685 |        0 |        0
768.65/768.92	c  768s |      25 |  9345010 |  6772898 |     5924   2688 |        0 |        0
770.65/770.93	c  770s |      25 |  9360321 |  6784298 |     5924   2692 |        0 |        0
772.64/772.95	c  772s |      25 |  9376998 |  6796598 |     5924   2695 |        0 |        0
774.64/774.96	c  774s |      25 |  9390571 |  6806998 |     5924   2699 |        0 |        0
776.64/776.96	c  776s |      25 |  9412628 |  6822298 |     5924   2703 |        0 |        0
778.65/778.97	c  778s |      25 |  9442434 |  6843198 |     5924   2709 |        0 |        0
780.64/780.98	c  780s |      25 |  9461816 |  6857898 |     5924   2714 |        0 |        0
782.64/782.98	c  782s |      25 |  9483917 |  6874198 |     5924   2719 |        0 |        0
784.64/784.99	c  784s |      25 |  9500968 |  6886698 |     5924   2723 |        0 |        0
786.73/787.00	c  786s |      25 |  9522150 |  6901398 |     5924   2727 |        0 |        0
788.73/789.00	c  788s |      25 |  9545960 |  6919198 |     5924   2732 |        0 |        0
790.74/791.01	c  790s |      25 |  9569708 |  6936398 |     5924   2738 |        0 |        0
792.73/793.10	c  793s |      25 |  9582321 |  6946198 |     5924   2741 |        0 |        0
794.83/795.11	c  795s |      25 |  9595766 |  6956398 |     5924   2744 |        0 |        0
796.82/797.11	c  797s |      25 |  9608796 |  6965998 |     5924   2747 |        0 |        0
798.82/799.12	c  799s |      25 |  9622761 |  6976698 |     5924   2750 |        0 |        0
800.82/801.12	c  801s |      25 |  9647877 |  6993498 |     5924   2755 |        0 |        0
802.83/803.12	c  803s |      25 |  9675941 |  7013398 |     5924   2761 |        0 |        0
804.82/805.13	c  805s |      25 |  9702220 |  7033198 |     5924   2767 |        0 |        0
806.82/807.14	c  807s |      25 |  9729426 |  7054198 |     5924   2774 |        0 |        0
808.82/809.15	c  809s |      25 |  9748825 |  7068598 |     5924   2778 |        0 |        0
810.82/811.16	c  811s |      25 |  9765123 |  7081598 |     5924   2782 |        0 |        0
812.82/813.16	c  813s |      25 |  9792684 |  7101698 |     5924   2789 |        0 |        0
814.83/815.16	c  815s |      25 |  9816591 |  7118498 |     5924   2794 |        0 |        0
816.82/817.17	c  817s |      25 |  9850903 |  7143098 |     5924   2802 |        0 |        0
818.82/819.17	c  819s |      25 |  9876299 |  7162798 |     5924   2809 |        0 |        0
820.82/821.17	c  821s |      25 |  9902175 |  7182398 |     5924   2815 |        0 |        0
822.82/823.17	c  823s |      25 |  9934776 |  7206598 |     5924   2823 |        0 |        0
824.82/825.19	c  825s |      25 |  9960348 |  7224398 |     5924   2829 |        0 |        0
826.81/827.20	c  827s |      25 |  9972506 |  7233998 |     5924   2832 |        0 |        0
828.91/829.28	c  829s |      25 |  9998064 |  7251098 |     5924   2837 |        0 |        0
830.91/831.29	c  831s |      25 | 10033614 |  7273198 |     5924   2844 |        0 |        0
833.01/833.32	c  833s |      25 | 10059523 |  7292298 |     5924   2851 |        0 |        0
835.01/835.33	c  835s |      25 | 10081870 |  7309098 |     5924   2856 |        0 |        0
837.01/837.34	c  837s |      25 | 10098372 |  7321598 |     5924   2860 |        0 |        0
839.02/839.34	c  839s |      25 | 10123708 |  7339798 |     5924   2866 |        0 |        0
841.01/841.35	c  841s |      25 | 10150007 |  7358898 |     5924   2872 |        0 |        0
843.01/843.36	c  843s |      25 | 10171267 |  7375098 |     5924   2877 |        0 |        0
845.00/845.36	c  845s |      25 | 10195724 |  7392498 |     5924   2882 |        0 |        0
847.00/847.36	c  847s |      25 | 10210148 |  7403798 |     5924   2886 |        0 |        0
849.01/849.37	c  849s |      25 | 10229930 |  7418498 |     5924   2890 |        0 |        0
851.00/851.37	c  851s |      25 | 10257778 |  7437698 |     5924   2896 |        0 |        0
853.00/853.37	c  853s |      25 | 10283243 |  7456798 |     5924   2902 |        0 |        0
855.00/855.40	c  855s |      25 | 10308804 |  7474698 |     5924   2908 |        0 |        0
857.09/857.40	c  857s |      25 | 10335422 |  7494598 |     5924   2914 |        0 |        0
859.09/859.41	c  859s |      25 | 10353510 |  7508998 |     5924   2918 |        0 |        0
861.10/861.42	c  861s |      25 | 10377581 |  7526198 |     5924   2923 |        0 |        0
863.09/863.42	c  863s |      25 | 10403471 |  7544898 |     6517   2929 |        0 |        0
865.10/865.43	c  865s |      25 | 10418366 |  7555798 |     6517   2932 |        0 |        0
867.10/867.44	c  867s |      25 | 10441889 |  7572098 |     6517   2936 |        0 |        0
869.10/869.44	c  869s |      25 | 10465100 |  7588198 |     6517   2941 |        0 |        0
870.20/870.50	c  870s |      26 | 10478963 |  7597752 |     6517   2944 |        0 |        0
872.20/872.52	c  872s |      26 | 10501769 |  7614052 |     6517   2948 |        0 |        0
874.20/874.53	c  874s |      26 | 10522460 |  7629752 |     6517   2953 |        0 |        0
876.19/876.53	c  876s |      26 | 10542147 |  7643952 |     6517   2957 |        0 |        0
878.19/878.54	c  878s |      26 | 10568472 |  7663852 |     6517   2963 |        0 |        0
880.19/880.54	c  880s |      26 | 10596242 |  7685552 |     6517   2969 |        0 |        0
882.18/882.55	c  882s |      26 | 10620709 |  7703952 |     6517   2974 |        0 |        0
884.19/884.56	c  884s |      26 | 10634841 |  7714852 |     6517   2978 |        0 |        0
886.18/886.57	c  886s |      26 | 10652618 |  7727952 |     6517   2981 |        0 |        0
888.18/888.57	c  888s |      26 | 10665606 |  7738152 |     6517   2985 |        0 |        0
890.18/890.58	c  890s |      26 | 10692858 |  7757852 |     6517   2990 |        0 |        0
892.18/892.59	c  892s |      26 | 10724355 |  7780352 |     6517   2997 |        0 |        0
894.28/894.60	c  894s |      26 | 10753200 |  7800552 |     6517   3003 |        0 |        0
896.18/896.60	c  896s |      26 | 10784854 |  7824352 |     6517   3010 |        0 |        0
898.28/898.60	c  898s |      26 | 10819585 |  7849452 |     6517   3018 |        0 |        0
900.28/900.61	c  900s |      26 | 10850351 |  7872352 |     6517   3024 |        0 |        0
902.28/902.61	c  902s |      26 | 10875938 |  7891552 |     6517   3030 |        0 |        0
904.28/904.61	c  904s |      26 | 10907127 |  7914952 |     6517   3037 |        0 |        0
906.28/906.64	c  906s |      26 | 10936769 |  7936252 |     6517   3044 |        0 |        0
908.28/908.65	c  908s |      26 | 10961859 |  7954252 |     6517   3049 |        0 |        0
910.28/910.68	c  910s |      26 | 10987570 |  7973552 |     6517   3055 |        0 |        0
912.37/912.70	c  912s |      26 | 11015152 |  7993052 |     6517   3060 |        0 |        0
914.37/914.70	c  914s |      26 | 11038954 |  8010852 |     6517   3066 |        0 |        0
916.37/916.70	c  916s |      26 | 11072722 |  8035452 |     6517   3073 |        0 |        0
918.37/918.70	c  918s |      26 | 11107737 |  8060652 |     6517   3081 |        0 |        0
920.48/920.80	c  920s |      26 | 11138149 |  8083352 |     6517   3087 |        0 |        0
922.47/922.81	c  922s |      26 | 11159792 |  8098752 |     6517   3092 |        0 |        0
924.47/924.82	c  924s |      26 | 11185383 |  8118152 |     6517   3098 |        0 |        0
926.47/926.82	c  926s |      26 | 11218164 |  8140552 |     6517   3104 |        0 |        0
928.47/928.82	c  928s |      26 | 11253725 |  8166652 |     6517   3112 |        0 |        0
930.47/930.83	c  930s |      26 | 11278531 |  8184152 |     6517   3117 |        0 |        0
932.48/932.84	c  932s |      26 | 11302591 |  8202552 |     6517   3122 |        0 |        0
934.47/934.84	c  934s |      26 | 11325552 |  8218752 |     6517   3127 |        0 |        0
936.47/936.85	c  936s |      26 | 11345386 |  8233452 |     6517   3131 |        0 |        0
938.47/938.85	c  938s |      26 | 11368683 |  8251052 |     6517   3137 |        0 |        0
940.47/940.86	c  940s |      26 | 11389506 |  8266452 |     6517   3141 |        0 |        0
942.56/942.92	c  942s |      26 | 11406377 |  8278452 |     6517   3145 |        0 |        0
944.57/944.93	c  944s |      26 | 11423195 |  8288952 |     6517   3148 |        0 |        0
946.56/946.94	c  946s |      26 | 11455986 |  8312752 |     6517   3155 |        0 |        0
948.56/948.94	c  948s |      26 | 11485454 |  8332752 |     6517   3161 |        0 |        0
950.57/950.94	c  950s |      26 | 11511127 |  8351452 |     6517   3166 |        0 |        0
952.57/952.95	c  952s |      26 | 11533619 |  8368452 |     6517   3171 |        0 |        0
954.57/954.95	c  954s |      26 | 11557732 |  8386952 |     6517   3176 |        0 |        0
956.56/956.95	c  956s |      26 | 11580771 |  8404452 |     6517   3181 |        0 |        0
958.56/958.96	c  958s |      26 | 11603215 |  8420652 |     6517   3186 |        0 |        0
960.56/960.98	c  960s |      26 | 11619246 |  8432752 |     6517   3189 |        0 |        0
962.66/963.00	c  962s |      26 | 11638744 |  8446752 |     6517   3194 |        0 |        0
964.66/965.01	c  964s |      26 | 11658388 |  8461252 |     6517   3198 |        0 |        0
966.66/967.01	c  966s |      26 | 11682269 |  8479252 |     6517   3203 |        0 |        0
968.66/969.01	c  968s |      26 | 11706165 |  8497352 |     6517   3208 |        0 |        0
970.65/971.02	c  970s |      26 | 11732364 |  8516752 |     6517   3214 |        0 |        0
972.65/973.05	c  973s |      26 | 11766418 |  8542352 |     6517   3222 |        0 |        0
974.65/975.05	c  975s |      26 | 11802518 |  8567552 |     6517   3229 |        0 |        0
976.65/977.06	c  977s |      26 | 11824838 |  8583752 |     6517   3234 |        0 |        0
978.66/979.07	c  979s |      26 | 11844291 |  8598452 |     6517   3238 |        0 |        0
980.65/981.07	c  981s |      26 | 11865076 |  8613752 |     6517   3243 |        0 |        0
982.66/983.08	c  983s |      26 | 11891696 |  8633452 |     6517   3249 |        0 |        0
984.66/985.08	c  985s |      26 | 11919790 |  8652552 |     6517   3254 |        0 |        0
986.66/987.09	c  987s |      26 | 11948531 |  8673952 |     6517   3261 |        0 |        0
988.66/989.09	c  989s |      26 | 11975669 |  8692552 |     6517   3266 |        0 |        0
990.76/991.10	c  991s |      26 | 11999142 |  8710952 |     6517   3271 |        0 |        0
992.76/993.11	c  993s |      26 | 12027965 |  8731252 |     6517   3278 |        0 |        0
994.75/995.11	c  995s |      26 | 12070240 |  8756752 |     6517   3285 |        0 |        0
996.75/997.12	c  997s |      26 | 12091163 |  8772352 |     6517   3289 |        0 |        0
998.75/999.14	c  999s |      26 | 12110657 |  8786552 |     6517   3294 |        0 |        0
1000.76/1001.15	c 1001s |      26 | 12130973 |  8801952 |     6517   3298 |        0 |        0
1002.75/1003.16	c 1003s |      26 | 12146089 |  8813752 |     6517   3302 |        0 |        0
1004.75/1005.17	c 1005s |      26 | 12164235 |  8827552 |     6517   3306 |        0 |        0
1006.75/1007.17	c 1007s |      26 | 12187999 |  8844852 |     6517   3311 |        0 |        0
1008.75/1009.18	c 1009s |      26 | 12220440 |  8868752 |     6517   3318 |        0 |        0
1010.75/1011.18	c 1011s |      26 | 12251498 |  8890252 |     6517   3324 |        0 |        0
1012.75/1013.18	c 1013s |      26 | 12278268 |  8909252 |     6517   3330 |        0 |        0
1014.74/1015.18	c 1015s |      26 | 12312191 |  8933452 |     6517   3337 |        0 |        0
1016.74/1017.19	c 1017s |      26 | 12342892 |  8954752 |     6517   3344 |        0 |        0
1018.74/1019.19	c 1019s |      26 | 12368654 |  8973352 |     6517   3349 |        0 |        0
1020.84/1021.20	c 1021s |      26 | 12396620 |  8994852 |     6517   3356 |        0 |        0
1022.85/1023.20	c 1023s |      26 | 12420089 |  9011952 |     6517   3361 |        0 |        0
1024.86/1025.21	c 1025s |      26 | 12448947 |  9032752 |     6517   3367 |        0 |        0
1026.85/1027.21	c 1027s |      26 | 12483028 |  9057852 |     6517   3374 |        0 |        0
1028.85/1029.22	c 1029s |      26 | 12518495 |  9083152 |     6517   3382 |        0 |        0
1030.85/1031.22	c 1031s |      26 | 12555507 |  9110752 |     6517   3390 |        0 |        0
1032.85/1033.27	c 1033s |      26 | 12589813 |  9135752 |     6517   3398 |        0 |        0
1034.85/1035.29	c 1035s |      26 | 12619176 |  9157752 |     6517   3404 |        0 |        0
1036.95/1037.30	c 1037s |      26 | 12649586 |  9179252 |     6517   3410 |        0 |        0
1038.95/1039.33	c 1039s |      26 | 12675356 |  9197452 |     6517   3416 |        0 |        0
1040.95/1041.33	c 1041s |      26 | 12708956 |  9221552 |     6517   3423 |        0 |        0
1042.95/1043.34	c 1043s |      26 | 12739058 |  9245152 |     6517   3430 |        0 |        0
1044.94/1045.34	c 1045s |      26 | 12769937 |  9268352 |     6517   3437 |        0 |        0
1046.95/1047.37	c 1047s |      26 | 12804582 |  9293652 |     6517   3445 |        0 |        0
1048.94/1049.38	c 1049s |      26 | 12838994 |  9317352 |     6517   3452 |        0 |        0
1050.94/1051.38	c 1051s |      26 | 12873430 |  9340452 |     6517   3458 |        0 |        0
1052.94/1053.39	c 1053s |      26 | 12905052 |  9363352 |     6517   3465 |        0 |        0
1055.04/1055.40	c 1055s |      26 | 12927018 |  9379152 |     6517   3470 |        0 |        0
1057.04/1057.40	c 1057s |      26 | 12955499 |  9400652 |     6517   3476 |        0 |        0
1059.05/1059.40	c 1059s |      26 | 12984650 |  9419352 |     6517   3482 |        0 |        0
1061.04/1061.40	c 1061s |      26 | 13019502 |  9443852 |     6517   3489 |        0 |        0
1063.04/1063.41	c 1063s |      26 | 13048757 |  9464452 |     6517   3495 |        0 |        0
1065.05/1065.41	c 1065s |      26 | 13072800 |  9482452 |     6517   3500 |        0 |        0
1067.04/1067.42	c 1067s |      26 | 13105005 |  9505352 |     6517   3507 |        0 |        0
1069.04/1069.42	c 1069s |      26 | 13134971 |  9526352 |     6517   3513 |        0 |        0
1071.05/1071.42	c 1071s |      26 | 13165255 |  9548652 |     6517   3519 |        0 |        0
1073.04/1073.42	c 1073s |      26 | 13191758 |  9568352 |     6517   3525 |        0 |        0
1075.04/1075.43	c 1075s |      26 | 13221124 |  9588952 |     6517   3531 |        0 |        0
1077.04/1077.43	c 1077s |      26 | 13249070 |  9609852 |     6517   3537 |        0 |        0
1079.04/1079.43	c 1079s |      26 | 13273484 |  9628152 |     6517   3543 |        0 |        0
1081.04/1081.44	c 1081s |      26 | 13296780 |  9645752 |     6517   3548 |        0 |        0
1083.04/1083.45	c 1083s |      26 | 13330361 |  9669452 |     6517   3555 |        0 |        0
1085.04/1085.45	c 1085s |      26 | 13348878 |  9682352 |     6517   3558 |        0 |        0
1087.04/1087.46	c 1087s |      26 | 13376812 |  9703352 |     6517   3565 |        0 |        0
1089.04/1089.46	c 1089s |      26 | 13405153 |  9724952 |     6517   3571 |        0 |        0
1091.04/1091.47	c 1091s |      26 | 13424378 |  9739352 |     6517   3575 |        0 |        0
1093.23/1093.61	c 1093s |      26 | 13442582 |  9752352 |     6517   3579 |        0 |        0
1095.24/1095.61	c 1095s |      26 | 13465192 |  9768452 |     6517   3583 |        0 |        0
1097.23/1097.62	c 1097s |      26 | 13484515 |  9783352 |     6517   3587 |        0 |        0
1099.23/1099.62	c 1099s |      26 | 13511470 |  9802652 |     6517   3593 |        0 |        0
1101.23/1101.62	c 1101s |      26 | 13543694 |  9824852 |     6517   3600 |        0 |        0
1103.23/1103.63	c 1103s |      26 | 13575313 |  9847552 |     6517   3607 |        0 |        0
1105.24/1105.63	c 1105s |      26 | 13597828 |  9864052 |     6517   3612 |        0 |        0
1107.24/1107.64	c 1107s |      26 | 13628083 |  9886052 |     6517   3618 |        0 |        0
1109.24/1109.64	c 1109s |      26 | 13663570 |  9910052 |     6517   3625 |        0 |        0
1111.24/1111.64	c 1111s |      26 | 13696267 |  9934452 |     6517   3632 |        0 |        0
1113.24/1113.65	c 1113s |      26 | 13733597 |  9959152 |     6517   3640 |        0 |        0
1115.24/1115.69	c 1115s |      26 | 13759612 |  9977452 |     6517   3645 |        0 |        0
1117.24/1117.69	c 1117s |      26 | 13782226 |  9994052 |     6517   3650 |        0 |        0
1119.24/1119.69	c 1119s |      26 | 13806945 | 10010552 |     6517   3654 |        0 |        0
1121.33/1121.71	c 1121s |      26 | 13823433 | 10022952 |     6517   3658 |        0 |        0
1123.33/1123.71	c 1123s |      26 | 13843210 | 10037752 |     6517   3663 |        0 |        0
1125.33/1125.71	c 1125s |      26 | 13866175 | 10054552 |     6517   3667 |        0 |        0
1127.33/1127.72	c 1127s |      26 | 13889163 | 10071752 |     6517   3673 |        0 |        0
1129.34/1129.73	c 1129s |      26 | 13917108 | 10090952 |     6517   3678 |        0 |        0
1131.33/1131.73	c 1131s |      26 | 13953864 | 10115952 |     6517   3685 |        0 |        0
1133.33/1133.73	c 1133s |      26 | 13978598 | 10133952 |     6517   3690 |        0 |        0
1135.33/1135.73	c 1135s |      26 | 14003112 | 10151452 |     6517   3695 |        0 |        0
1137.33/1137.74	c 1137s |      26 | 14023961 | 10166952 |     6517   3700 |        0 |        0
1139.34/1139.74	c 1139s |      26 | 14042255 | 10180852 |     6517   3704 |        0 |        0
1141.33/1141.75	c 1141s |      26 | 14066694 | 10198352 |     6517   3708 |        0 |        0
1143.33/1143.75	c 1143s |      26 | 14093409 | 10218452 |     6517   3714 |        0 |        0
1145.33/1145.75	c 1145s |      26 | 14107287 | 10229252 |     6517   3717 |        0 |        0
1147.33/1147.76	c 1147s |      26 | 14117603 | 10237052 |     6517   3719 |        0 |        0
1149.33/1149.76	c 1149s |      26 | 14133928 | 10248652 |     6517   3722 |        0 |        0
1151.44/1151.81	c 1151s |      26 | 14148248 | 10259652 |     6517   3726 |        0 |        0
1153.43/1153.83	c 1153s |      26 | 14160086 | 10269052 |     6517   3728 |        0 |        0
1155.43/1155.84	c 1155s |      26 | 14174870 | 10279852 |     6517   3731 |        0 |        0
1157.43/1157.85	c 1157s |      26 | 14193791 | 10294152 |     6517   3735 |        0 |        0
1159.43/1159.90	c 1159s |      26 | 14210076 | 10306352 |     6517   3739 |        0 |        0
1161.53/1161.96	c 1161s |      26 | 14228323 | 10320552 |     6517   3742 |        0 |        0
1163.53/1163.97	c 1163s |      26 | 14247117 | 10334152 |     6517   3746 |        0 |        0
1165.53/1165.98	c 1165s |      26 | 14258223 | 10342452 |     6517   3749 |        0 |        0
1167.53/1167.99	c 1167s |      26 | 14270071 | 10351252 |     6517   3751 |        0 |        0
1169.52/1169.99	c 1169s |      26 | 14289599 | 10365252 |     6517   3755 |        0 |        0
1171.62/1172.02	c 1171s |      26 | 14311219 | 10380952 |     6517   3760 |        0 |        0
1173.62/1174.05	c 1174s |      26 | 14333699 | 10398652 |     6517   3765 |        0 |        0
1175.63/1176.05	c 1176s |      26 | 14359222 | 10416852 |     6517   3770 |        0 |        0
1177.62/1178.05	c 1178s |      26 | 14390587 | 10438752 |     6517   3776 |        0 |        0
1179.63/1180.08	c 1180s |      26 | 14416057 | 10457652 |     6517   3782 |        0 |        0
1181.63/1182.08	c 1182s |      26 | 14439402 | 10475752 |     6517   3787 |        0 |        0
1183.63/1184.09	c 1184s |      26 | 14465935 | 10494652 |     6517   3792 |        0 |        0
1185.73/1186.10	c 1186s |      26 | 14485151 | 10508352 |     6517   3796 |        0 |        0
1187.63/1188.10	c 1188s |      26 | 14517908 | 10531152 |     6517   3802 |        0 |        0
1189.73/1190.11	c 1190s |      26 | 14545979 | 10549052 |     6517   3808 |        0 |        0
1191.73/1192.12	c 1192s |      26 | 14568571 | 10564952 |     6517   3812 |        0 |        0
1193.73/1194.12	c 1194s |      26 | 14586793 | 10577952 |     6517   3816 |        0 |        0
1195.73/1196.12	c 1196s |      26 | 14606993 | 10593052 |     6517   3820 |        0 |        0
1197.73/1198.13	c 1198s |      26 | 14630719 | 10609652 |     6517   3825 |        0 |        0
1199.73/1200.13	c 1200s |      26 | 14656411 | 10626952 |     6517   3830 |        0 |        0
1201.72/1202.16	c 1202s |      26 | 14679311 | 10642552 |     6517   3834 |        0 |        0
1203.72/1204.17	c 1204s |      26 | 14703114 | 10659752 |     6517   3839 |        0 |        0
1205.72/1206.18	c 1206s |      26 | 14730974 | 10680352 |     6517   3845 |        0 |        0
1207.72/1208.18	c 1208s |      26 | 14753267 | 10697452 |     6517   3850 |        0 |        0
1209.72/1210.18	c 1210s |      26 | 14776892 | 10714452 |     6517   3855 |        0 |        0
1211.72/1212.18	c 1212s |      26 | 14803773 | 10734852 |     6517   3861 |        0 |        0
1213.72/1214.18	c 1214s |      26 | 14819405 | 10747352 |     6517   3865 |        0 |        0
1215.72/1216.18	c 1216s |      26 | 14846140 | 10766752 |     6517   3871 |        0 |        0
1217.71/1218.19	c 1218s |      26 | 14866157 | 10781452 |     6517   3875 |        0 |        0
1219.71/1220.19	c 1220s |      26 | 14890831 | 10799152 |     6517   3880 |        0 |        0
1221.72/1222.19	c 1222s |      26 | 14921957 | 10821352 |     6517   3886 |        0 |        0
1223.81/1224.21	c 1224s |      26 | 14948991 | 10840452 |     6517   3892 |        0 |        0
1225.81/1226.21	c 1226s |      26 | 14975572 | 10858652 |     6517   3897 |        0 |        0
1227.81/1228.22	c 1228s |      26 | 14992181 | 10870952 |     6517   3901 |        0 |        0
1229.81/1230.24	c 1230s |      26 | 15013627 | 10886752 |     6517   3906 |        0 |        0
1231.81/1232.25	c 1232s |      26 | 15048575 | 10910952 |     6517   3912 |        0 |        0
1233.82/1234.25	c 1234s |      26 | 15072827 | 10928752 |     6517   3917 |        0 |        0
1235.81/1236.26	c 1236s |      26 | 15101765 | 10950252 |     6517   3923 |        0 |        0
1237.82/1238.26	c 1238s |      26 | 15128355 | 10970052 |     6517   3929 |        0 |        0
1239.82/1240.26	c 1240s |      26 | 15152505 | 10987752 |     6517   3934 |        0 |        0
1241.82/1242.26	c 1242s |      26 | 15181603 | 11008552 |     6517   3940 |        0 |        0
1243.83/1244.27	c 1244s |      26 | 15208189 | 11027852 |     6517   3946 |        0 |        0
1245.82/1246.28	c 1246s |      26 | 15226028 | 11040552 |     6517   3949 |        0 |        0
1247.82/1248.28	c 1248s |      26 | 15240174 | 11051752 |     6517   3952 |        0 |        0
1249.82/1250.29	c 1250s |      26 | 15249843 | 11059152 |     6517   3955 |        0 |        0
1251.82/1252.29	c 1252s |      26 | 15265895 | 11069652 |     6517   3958 |        0 |        0
1253.81/1254.30	c 1254s |      26 | 15294162 | 11091252 |     6517   3964 |        0 |        0
1255.82/1256.30	c 1256s |      26 | 15322048 | 11111552 |     6517   3970 |        0 |        0
1257.91/1258.31	c 1258s |      26 | 15342135 | 11126052 |     6517   3974 |        0 |        0
1259.91/1260.31	c 1260s |      26 | 15362647 | 11141152 |     6517   3978 |        0 |        0
1261.91/1262.33	c 1262s |      26 | 15386302 | 11159152 |     6517   3984 |        0 |        0
1263.91/1264.34	c 1264s |      26 | 15412161 | 11177952 |     6517   3989 |        0 |        0
1265.91/1266.34	c 1266s |      26 | 15444823 | 11199852 |     6517   3995 |        0 |        0
1267.92/1268.35	c 1268s |      26 | 15470621 | 11218452 |     6517   4001 |        0 |        0
1269.91/1270.35	c 1270s |      26 | 15498549 | 11238352 |     6517   4006 |        0 |        0
1271.91/1272.35	c 1272s |      26 | 15523922 | 11256152 |     6517   4012 |        0 |        0
1273.91/1274.35	c 1274s |      26 | 15553257 | 11276552 |     6517   4017 |        0 |        0
1275.91/1276.37	c 1276s |      26 | 15576148 | 11293452 |     6517   4022 |        0 |        0
1277.91/1278.37	c 1278s |      26 | 15605449 | 11314752 |     6517   4029 |        0 |        0
1279.91/1280.40	c 1280s |      26 | 15634751 | 11333752 |     7169   4034 |        0 |        0
1282.01/1282.41	c 1282s |      26 | 15658035 | 11351552 |     7169   4038 |        0 |        0
1284.01/1284.41	c 1284s |      26 | 15682895 | 11369552 |     7169   4043 |        0 |        0
1286.00/1286.42	c 1286s |      26 | 15711900 | 11390352 |     7169   4049 |        0 |        0
1287.20/1287.67	c 1287s |      27 | 15720088 | 11396733 |     7169   4050 |        0 |        0
1289.20/1289.68	c 1289s |      27 | 15751252 | 11419333 |     7169   4057 |        0 |        0
1291.20/1291.70	c 1291s |      27 | 15779279 | 11440533 |     7169   4063 |        0 |        0
1293.31/1293.70	c 1293s |      27 | 15812172 | 11464033 |     7169   4069 |        0 |        0
1295.31/1295.70	c 1295s |      27 | 15831031 | 11478133 |     7169   4073 |        0 |        0
1297.31/1297.71	c 1297s |      27 | 15859189 | 11499033 |     7169   4078 |        0 |        0
1299.31/1299.72	c 1299s |      27 | 15895758 | 11522033 |     7169   4084 |        0 |        0
1301.31/1301.72	c 1301s |      27 | 15921882 | 11539333 |     7169   4089 |        0 |        0
1303.30/1303.75	c 1303s |      27 | 15944733 | 11555233 |     7169   4093 |        0 |        0
1305.31/1305.76	c 1305s |      27 | 15960704 | 11566333 |     7169   4095 |        0 |        0
1307.30/1307.79	c 1307s |      27 | 15977661 | 11579033 |     7169   4099 |        0 |        0
1309.30/1309.79	c 1309s |      27 | 16001800 | 11596433 |     7169   4103 |        0 |        0
1311.40/1311.81	c 1311s |      27 | 16025786 | 11613833 |     7169   4108 |        0 |        0
1313.40/1313.81	c 1313s |      27 | 16050827 | 11632033 |     7169   4113 |        0 |        0
1315.40/1315.81	c 1315s |      27 | 16078136 | 11652633 |     7169   4118 |        0 |        0
1317.41/1317.82	c 1317s |      27 | 16111885 | 11677933 |     7169   4125 |        0 |        0
1319.40/1319.82	c 1319s |      27 | 16141728 | 11699833 |     7169   4131 |        0 |        0
1321.40/1321.82	c 1321s |      27 | 16176184 | 11725233 |     7169   4138 |        0 |        0
1323.40/1323.82	c 1323s |      27 | 16200657 | 11742933 |     7169   4143 |        0 |        0
1325.40/1325.83	c 1325s |      27 | 16232283 | 11762033 |     7169   4148 |        0 |        0
1327.41/1327.83	c 1327s |      27 | 16249658 | 11774333 |     7169   4151 |        0 |        0
1329.40/1329.83	c 1329s |      27 | 16274595 | 11790133 |     7169   4155 |        0 |        0
1331.40/1331.83	c 1331s |      27 | 16300826 | 11808233 |     7169   4159 |        0 |        0
1333.40/1333.85	c 1333s |      27 | 16331962 | 11828933 |     7169   4165 |        0 |        0
1335.40/1335.86	c 1335s |      27 | 16349114 | 11841133 |     7169   4168 |        0 |        0
1337.39/1337.87	c 1337s |      27 | 16361369 | 11850033 |     7169   4170 |        0 |        0
1339.40/1339.88	c 1339s |      27 | 16374967 | 11860633 |     7169   4173 |        0 |        0
1341.50/1341.90	c 1341s |      27 | 16393318 | 11874433 |     7169   4176 |        0 |        0
1343.50/1343.91	c 1343s |      27 | 16407856 | 11885733 |     7169   4179 |        0 |        0
1345.50/1345.92	c 1345s |      27 | 16432264 | 11902733 |     7169   4183 |        0 |        0
1347.50/1347.94	c 1347s |      27 | 16447516 | 11914633 |     7169   4186 |        0 |        0
1349.50/1349.96	c 1349s |      27 | 16461955 | 11925033 |     7169   4189 |        0 |        0
1351.51/1351.97	c 1351s |      27 | 16479653 | 11936333 |     7169   4192 |        0 |        0
1353.50/1353.98	c 1353s |      27 | 16503538 | 11953533 |     7169   4196 |        0 |        0
1355.50/1355.99	c 1355s |      27 | 16532152 | 11974133 |     7169   4201 |        0 |        0
1357.60/1358.00	c 1357s |      27 | 16552598 | 11989433 |     7169   4205 |        0 |        0
1359.60/1360.01	c 1359s |      27 | 16569683 | 12001933 |     7169   4208 |        0 |        0
1361.60/1362.01	c 1361s |      27 | 16584386 | 12013633 |     7169   4211 |        0 |        0
1363.60/1364.04	c 1364s |      27 | 16601764 | 12026833 |     7169   4215 |        0 |        0
1365.60/1366.05	c 1366s |      27 | 16614112 | 12036733 |     7169   4217 |        0 |        0
1367.60/1368.06	c 1368s |      27 | 16626138 | 12045733 |     7169   4220 |        0 |        0
1369.59/1370.08	c 1370s |      27 | 16645139 | 12059833 |     7169   4223 |        0 |        0
1371.59/1372.08	c 1372s |      27 | 16661972 | 12071933 |     7169   4226 |        0 |        0
1373.60/1374.09	c 1374s |      27 | 16685206 | 12088833 |     7169   4230 |        0 |        0
1375.59/1376.09	c 1376s |      27 | 16706941 | 12105533 |     7169   4235 |        0 |        0
1377.59/1378.09	c 1378s |      27 | 16727049 | 12119933 |     7169   4238 |        0 |        0
1379.69/1380.10	c 1380s |      27 | 16742479 | 12131033 |     7169   4241 |        0 |        0
1381.69/1382.11	c 1382s |      27 | 16758072 | 12143033 |     7169   4244 |        0 |        0
1383.79/1384.20	c 1384s |      27 | 16772398 | 12154033 |     7169   4247 |        0 |        0
1385.79/1386.21	c 1386s |      27 | 16785408 | 12163633 |     7169   4249 |        0 |        0
1387.80/1388.22	c 1388s |      27 | 16804974 | 12177233 |     7169   4253 |        0 |        0
1389.79/1390.22	c 1390s |      27 | 16832844 | 12198133 |     7169   4258 |        0 |        0
1391.79/1392.23	c 1392s |      27 | 16857420 | 12216333 |     7169   4263 |        0 |        0
1393.79/1394.24	c 1394s |      27 | 16885062 | 12236333 |     7169   4268 |        0 |        0
1395.79/1396.25	c 1396s |      27 | 16913006 | 12257033 |     7169   4273 |        0 |        0
1397.80/1398.25	c 1398s |      27 | 16937667 | 12275533 |     7169   4278 |        0 |        0
1399.79/1400.25	c 1400s |      27 | 16957935 | 12290633 |     7169   4281 |        0 |        0
1401.79/1402.26	c 1402s |      27 | 16977724 | 12305633 |     7169   4285 |        0 |        0
1403.79/1404.27	c 1404s |      27 | 16997927 | 12319733 |     7169   4289 |        0 |        0
1405.79/1406.29	c 1406s |      27 | 17013459 | 12331133 |     7169   4292 |        0 |        0
1407.79/1408.29	c 1408s |      27 | 17025482 | 12339733 |     7169   4294 |        0 |        0
1409.80/1410.29	c 1410s |      27 | 17037276 | 12348433 |     7169   4296 |        0 |        0
1411.89/1412.30	c 1412s |      27 | 17044724 | 12354433 |     7169   4298 |        0 |        0
1413.89/1414.31	c 1414s |      27 | 17073394 | 12373233 |     7169   4302 |        0 |        0
1415.89/1416.31	c 1416s |      27 | 17099018 | 12392033 |     7169   4307 |        0 |        0
1417.89/1418.32	c 1418s |      27 | 17122368 | 12408133 |     7169   4311 |        0 |        0
1419.89/1420.34	c 1420s |      27 | 17135406 | 12418033 |     7169   4314 |        0 |        0
1421.89/1422.34	c 1422s |      27 | 17146211 | 12426233 |     7169   4316 |        0 |        0
1423.89/1424.35	c 1424s |      27 | 17163844 | 12439233 |     7169   4319 |        0 |        0
1425.89/1426.35	c 1426s |      27 | 17194157 | 12458433 |     7169   4324 |        0 |        0
1427.89/1428.36	c 1428s |      27 | 17212556 | 12472133 |     7169   4327 |        0 |        0
1429.88/1430.37	c 1430s |      27 | 17230283 | 12484333 |     7169   4331 |        0 |        0
1431.98/1432.41	c 1432s |      27 | 17246995 | 12495833 |     7169   4334 |        0 |        0
1433.99/1434.43	c 1434s |      27 | 17265767 | 12508033 |     7169   4337 |        0 |        0
1435.98/1436.43	c 1436s |      27 | 17284364 | 12521233 |     7169   4340 |        0 |        0
1437.98/1438.45	c 1438s |      27 | 17304343 | 12534933 |     7169   4343 |        0 |        0
1439.98/1440.45	c 1440s |      27 | 17322380 | 12547633 |     7169   4347 |        0 |        0
1441.98/1442.46	c 1442s |      27 | 17338069 | 12559033 |     7169   4349 |        0 |        0
1443.99/1444.46	c 1444s |      27 | 17361630 | 12575133 |     7169   4354 |        0 |        0
1445.98/1446.47	c 1446s |      27 | 17383534 | 12590833 |     7169   4358 |        0 |        0
1447.98/1448.49	c 1448s |      27 | 17396263 | 12601033 |     7169   4360 |        0 |        0
1450.08/1450.51	c 1450s |      27 | 17405958 | 12608533 |     7169   4362 |        0 |        0
1452.08/1452.51	c 1452s |      27 | 17416195 | 12616233 |     7169   4364 |        0 |        0
1454.08/1454.52	c 1454s |      27 | 17439771 | 12632533 |     7169   4368 |        0 |        0
1456.08/1456.53	c 1456s |      27 | 17465395 | 12650733 |     7169   4373 |        0 |        0
1458.09/1458.54	c 1458s |      27 | 17490418 | 12668133 |     7169   4377 |        0 |        0
1460.09/1460.54	c 1460s |      27 | 17507140 | 12681033 |     7169   4381 |        0 |        0
1462.08/1462.54	c 1462s |      27 | 17525881 | 12694933 |     7169   4384 |        0 |        0
1464.08/1464.55	c 1464s |      27 | 17547479 | 12710833 |     7169   4388 |        0 |        0
1466.08/1466.56	c 1466s |      27 | 17563788 | 12723433 |     7169   4391 |        0 |        0
1468.09/1468.57	c 1468s |      27 | 17581015 | 12736033 |     7169   4394 |        0 |        0
1470.08/1470.58	c 1470s |      27 | 17604138 | 12753433 |     7169   4399 |        0 |        0
1472.08/1472.58	c 1472s |      27 | 17627381 | 12770233 |     7169   4403 |        0 |        0
1474.08/1474.58	c 1474s |      27 | 17649194 | 12786933 |     7169   4407 |        0 |        0
1476.08/1476.58	c 1476s |      27 | 17675263 | 12804633 |     7169   4412 |        0 |        0
1478.18/1478.61	c 1478s |      27 | 17700185 | 12822533 |     7169   4417 |        0 |        0
1480.18/1480.61	c 1480s |      27 | 17726474 | 12841133 |     7169   4421 |        0 |        0
1482.18/1482.61	c 1482s |      27 | 17751671 | 12859533 |     7169   4426 |        0 |        0
1484.18/1484.63	c 1484s |      27 | 17767247 | 12871033 |     7169   4429 |        0 |        0
1486.17/1486.65	c 1486s |      27 | 17781325 | 12880633 |     7169   4431 |        0 |        0
1488.17/1488.65	c 1488s |      27 | 17796329 | 12891033 |     7169   4434 |        0 |        0
1490.18/1490.66	c 1490s |      27 | 17820414 | 12907433 |     7169   4438 |        0 |        0
1492.17/1492.67	c 1492s |      27 | 17848354 | 12927933 |     7169   4443 |        0 |        0
1494.17/1494.68	c 1494s |      27 | 17870796 | 12944233 |     7169   4448 |        0 |        0
1496.17/1496.68	c 1496s |      27 | 17898984 | 12964633 |     7169   4453 |        0 |        0
1498.18/1498.69	c 1498s |      27 | 17919317 | 12978833 |     7169   4456 |        0 |        0
1500.28/1500.72	c 1500s |      27 | 17946754 | 12998833 |     7169   4462 |        0 |        0
1502.29/1502.73	c 1502s |      27 | 17972295 | 13017533 |     7169   4466 |        0 |        0
1504.28/1504.74	c 1504s |      27 | 17989306 | 13029433 |     7169   4469 |        0 |        0
1506.28/1506.74	c 1506s |      27 | 18006574 | 13042033 |     7169   4472 |        0 |        0
1508.28/1508.74	c 1508s |      27 | 18027999 | 13057833 |     7169   4476 |        0 |        0
1510.28/1510.75	c 1510s |      27 | 18055771 | 13077033 |     7169   4481 |        0 |        0
1512.28/1512.75	c 1512s |      27 | 18079547 | 13094733 |     7169   4486 |        0 |        0
1514.28/1514.75	c 1514s |      27 | 18106959 | 13115133 |     7169   4491 |        0 |        0
1516.28/1516.76	c 1516s |      27 | 18131725 | 13133133 |     7169   4496 |        0 |        0
1518.38/1518.80	c 1518s |      27 | 18156404 | 13151933 |     7169   4501 |        0 |        0
1520.38/1520.80	c 1520s |      27 | 18181996 | 13171133 |     7169   4505 |        0 |        0
1522.38/1522.81	c 1522s |      27 | 18208375 | 13190533 |     7169   4510 |        0 |        0
1524.38/1524.82	c 1524s |      27 | 18236142 | 13209433 |     7169   4515 |        0 |        0
1526.38/1526.82	c 1526s |      27 | 18252041 | 13221133 |     7169   4518 |        0 |        0
1528.37/1528.83	c 1528s |      27 | 18269895 | 13234333 |     7169   4521 |        0 |        0
1530.47/1530.91	c 1530s |      27 | 18287275 | 13247433 |     7169   4525 |        0 |        0
1532.47/1532.92	c 1532s |      27 | 18312387 | 13265333 |     7169   4529 |        0 |        0
1534.47/1534.92	c 1534s |      27 | 18327622 | 13277133 |     7169   4532 |        0 |        0
1536.47/1536.97	c 1536s |      27 | 18338945 | 13286233 |     7169   4535 |        0 |        0
1538.48/1538.98	c 1538s |      27 | 18353171 | 13297233 |     7169   4537 |        0 |        0
1540.47/1540.99	c 1540s |      27 | 18376806 | 13314633 |     7169   4542 |        0 |        0
1542.57/1543.00	c 1542s |      27 | 18397295 | 13329633 |     7169   4545 |        0 |        0
1544.57/1545.02	c 1544s |      27 | 18420730 | 13347133 |     7169   4550 |        0 |        0
1546.57/1547.02	c 1546s |      27 | 18439185 | 13361433 |     7169   4554 |        0 |        0
1548.57/1549.02	c 1548s |      27 | 18462601 | 13378933 |     7169   4558 |        0 |        0
1550.57/1551.03	c 1550s |      27 | 18480089 | 13392433 |     7169   4561 |        0 |        0
1552.57/1553.06	c 1553s |      27 | 18496357 | 13404833 |     7169   4565 |        0 |        0
1554.57/1555.07	c 1555s |      27 | 18523473 | 13425033 |     7169   4570 |        0 |        0
1556.57/1557.08	c 1557s |      27 | 18542417 | 13439533 |     7169   4573 |        0 |        0
1558.57/1559.09	c 1559s |      27 | 18560609 | 13453133 |     7169   4577 |        0 |        0
1560.57/1561.09	c 1561s |      27 | 18574276 | 13463733 |     7169   4580 |        0 |        0
1562.67/1563.11	c 1563s |      27 | 18590002 | 13475533 |     7169   4583 |        0 |        0
1564.66/1565.11	c 1565s |      27 | 18614588 | 13493733 |     7169   4587 |        0 |        0
1566.66/1567.13	c 1567s |      27 | 18631894 | 13507033 |     7169   4590 |        0 |        0
1568.66/1569.14	c 1569s |      27 | 18659263 | 13526433 |     7169   4595 |        0 |        0
1570.66/1571.15	c 1571s |      27 | 18686829 | 13545833 |     7169   4600 |        0 |        0
1572.67/1573.15	c 1573s |      27 | 18702582 | 13557933 |     7169   4603 |        0 |        0
1574.66/1575.15	c 1575s |      27 | 18731408 | 13576033 |     7169   4608 |        0 |        0
1576.67/1577.16	c 1577s |      27 | 18748421 | 13588233 |     7169   4611 |        0 |        0
1578.67/1579.17	c 1579s |      27 | 18760280 | 13597033 |     7169   4613 |        0 |        0
1580.67/1581.17	c 1581s |      27 | 18772718 | 13605533 |     7169   4616 |        0 |        0
1582.76/1583.20	c 1583s |      27 | 18784737 | 13613933 |     7169   4618 |        0 |        0
1584.77/1585.24	c 1585s |      27 | 18800650 | 13624833 |     7169   4621 |        0 |        0
1586.76/1587.24	c 1587s |      27 | 18814904 | 13635033 |     7169   4623 |        0 |        0
1588.76/1589.25	c 1589s |      27 | 18839104 | 13651333 |     7169   4627 |        0 |        0
1590.76/1591.26	c 1591s |      27 | 18860910 | 13667833 |     7169   4631 |        0 |        0
1592.76/1593.27	c 1593s |      27 | 18882307 | 13682433 |     7169   4635 |        0 |        0
1594.76/1595.27	c 1595s |      27 | 18897771 | 13693333 |     7169   4638 |        0 |        0
1596.77/1597.28	c 1597s |      27 | 18928250 | 13714033 |     7169   4643 |        0 |        0
1598.76/1599.29	c 1599s |      27 | 18956550 | 13733933 |     7169   4648 |        0 |        0
1600.76/1601.29	c 1601s |      27 | 18977017 | 13748133 |     7169   4652 |        0 |        0
1602.86/1603.30	c 1603s |      27 | 19000462 | 13764633 |     7169   4656 |        0 |        0
1604.86/1605.30	c 1605s |      27 | 19015694 | 13775733 |     7169   4659 |        0 |        0
1606.85/1607.31	c 1607s |      27 | 19041023 | 13794333 |     7169   4664 |        0 |        0
1608.86/1609.31	c 1609s |      27 | 19067033 | 13811633 |     7169   4668 |        0 |        0
1610.85/1611.31	c 1611s |      27 | 19090074 | 13828633 |     7169   4673 |        0 |        0
1612.85/1613.32	c 1613s |      27 | 19118772 | 13849733 |     7169   4678 |        0 |        0
1614.85/1615.35	c 1615s |      27 | 19143912 | 13867133 |     7169   4683 |        0 |        0
1616.85/1617.36	c 1617s |      27 | 19164024 | 13882133 |     7169   4686 |        0 |        0
1618.87/1619.37	c 1619s |      27 | 19175932 | 13890933 |     7169   4689 |        0 |        0
1620.86/1621.37	c 1621s |      27 | 19188740 | 13900233 |     7169   4691 |        0 |        0
1622.86/1623.39	c 1623s |      27 | 19198695 | 13907733 |     7169   4693 |        0 |        0
1624.96/1625.40	c 1625s |      27 | 19207359 | 13914333 |     7169   4695 |        0 |        0
1626.96/1627.41	c 1627s |      27 | 19240190 | 13935833 |     7169   4700 |        0 |        0
1628.96/1629.41	c 1629s |      27 | 19262068 | 13952833 |     7169   4705 |        0 |        0
1630.97/1631.41	c 1631s |      27 | 19273890 | 13962133 |     7169   4707 |        0 |        0
1632.96/1633.46	c 1633s |      27 | 19290546 | 13974733 |     7169   4710 |        0 |        0
1634.96/1635.46	c 1635s |      27 | 19308114 | 13988033 |     7169   4714 |        0 |        0
1636.96/1637.46	c 1637s |      27 | 19339779 | 14009133 |     7169   4719 |        0 |        0
1639.05/1639.56	c 1639s |      27 | 19364183 | 14027433 |     7169   4724 |        0 |        0
1641.05/1641.56	c 1641s |      27 | 19383713 | 14041933 |     7169   4728 |        0 |        0
1643.06/1643.57	c 1643s |      27 | 19414926 | 14063133 |     7169   4733 |        0 |        0
1645.05/1645.58	c 1645s |      27 | 19440826 | 14080633 |     7169   4737 |        0 |        0
1647.05/1647.58	c 1647s |      27 | 19460111 | 14094133 |     7169   4741 |        0 |        0
1649.05/1649.59	c 1649s |      27 | 19475363 | 14105933 |     7169   4744 |        0 |        0
1651.05/1651.59	c 1651s |      27 | 19497236 | 14121733 |     7169   4748 |        0 |        0
1653.15/1653.61	c 1653s |      27 | 19512414 | 14133333 |     7169   4751 |        0 |        0
1655.15/1655.61	c 1655s |      27 | 19531127 | 14146533 |     7169   4755 |        0 |        0
1657.15/1657.62	c 1657s |      27 | 19562237 | 14167433 |     7169   4760 |        0 |        0
1659.15/1659.63	c 1659s |      27 | 19596823 | 14191133 |     7169   4766 |        0 |        0
1661.15/1661.63	c 1661s |      27 | 19622763 | 14210833 |     7169   4771 |        0 |        0
1663.15/1663.64	c 1663s |      27 | 19646470 | 14227733 |     7169   4775 |        0 |        0
1665.15/1665.65	c 1665s |      27 | 19668861 | 14244733 |     7169   4780 |        0 |        0
1667.16/1667.65	c 1667s |      27 | 19695628 | 14264433 |     7169   4785 |        0 |        0
1669.15/1669.67	c 1669s |      27 | 19720379 | 14283333 |     7169   4789 |        0 |        0
1671.15/1671.67	c 1671s |      27 | 19741910 | 14298633 |     7169   4793 |        0 |        0
1673.15/1673.67	c 1673s |      27 | 19765754 | 14315633 |     7169   4798 |        0 |        0
1675.15/1675.68	c 1675s |      27 | 19794692 | 14336833 |     7169   4803 |        0 |        0
1677.16/1677.68	c 1677s |      27 | 19821883 | 14357433 |     7169   4808 |        0 |        0
1679.15/1679.68	c 1679s |      27 | 19847312 | 14375933 |     7169   4813 |        0 |        0
1681.15/1681.69	c 1681s |      27 | 19876068 | 14395433 |     7169   4818 |        0 |        0
1683.15/1683.69	c 1683s |      27 | 19897496 | 14410533 |     7169   4822 |        0 |        0
1685.25/1685.70	c 1685s |      27 | 19923172 | 14429333 |     7169   4827 |        0 |        0
1687.25/1687.71	c 1687s |      27 | 19948757 | 14447333 |     7169   4831 |        0 |        0
1689.26/1689.71	c 1689s |      27 | 19969881 | 14462533 |     7169   4835 |        0 |        0
1691.25/1691.71	c 1691s |      27 | 20002401 | 14483433 |     7169   4841 |        0 |        0
1693.25/1693.74	c 1693s |      27 | 20018406 | 14495833 |     7169   4844 |        0 |        0
1695.24/1695.75	c 1695s |      27 | 20030214 | 14504533 |     7169   4846 |        0 |        0
1697.24/1697.77	c 1697s |      27 | 20041825 | 14512933 |     7169   4848 |        0 |        0
1699.24/1699.80	c 1699s |      27 | 20056188 | 14523633 |     7169   4851 |        0 |        0
1701.35/1701.81	c 1701s |      27 | 20070326 | 14534433 |     7169   4853 |        0 |        0
1703.34/1703.82	c 1703s |      27 | 20081837 | 14543033 |     7169   4855 |        0 |        0
1705.34/1705.87	c 1705s |      27 | 20107230 | 14559033 |     7169   4860 |        0 |        0
1707.34/1707.87	c 1707s |      27 | 20125454 | 14573433 |     7169   4863 |        0 |        0
1709.34/1709.88	c 1709s |      27 | 20146043 | 14587933 |     7169   4867 |        0 |        0
1711.34/1711.88	c 1711s |      27 | 20170416 | 14605733 |     7169   4871 |        0 |        0
1713.34/1713.89	c 1713s |      27 | 20189405 | 14619933 |     7169   4875 |        0 |        0
1715.45/1715.90	c 1715s |      27 | 20212034 | 14636733 |     7169   4879 |        0 |        0
1717.45/1717.90	c 1717s |      27 | 20239627 | 14656333 |     7169   4884 |        0 |        0
1719.44/1719.91	c 1719s |      27 | 20260341 | 14671633 |     7169   4888 |        0 |        0
1721.44/1721.92	c 1721s |      27 | 20284478 | 14689633 |     7169   4893 |        0 |        0
1723.44/1723.92	c 1723s |      27 | 20315157 | 14710633 |     7169   4898 |        0 |        0
1725.45/1725.93	c 1725s |      27 | 20334475 | 14723533 |     7169   4901 |        0 |        0
1727.44/1727.94	c 1727s |      27 | 20355540 | 14738033 |     7169   4905 |        0 |        0
1729.44/1729.94	c 1729s |      27 | 20376691 | 14754033 |     7169   4909 |        0 |        0
1731.44/1731.98	c 1731s |      27 | 20397182 | 14770433 |     7169   4914 |        0 |        0
1733.44/1733.99	c 1733s |      27 | 20414713 | 14783333 |     7169   4917 |        0 |        0
1735.45/1736.00	c 1735s |      27 | 20430033 | 14795133 |     7169   4920 |        0 |        0
1737.44/1738.00	c 1737s |      27 | 20449686 | 14810333 |     7169   4924 |        0 |        0
1739.54/1740.00	c 1739s |      27 | 20477188 | 14830833 |     7169   4929 |        0 |        0
1741.54/1742.00	c 1741s |      27 | 20501470 | 14848933 |     7169   4934 |        0 |        0
1743.54/1744.01	c 1743s |      27 | 20532550 | 14870033 |     7169   4939 |        0 |        0
1745.54/1746.02	c 1745s |      27 | 20549807 | 14883333 |     7169   4942 |        0 |        0
1747.54/1748.03	c 1748s |      27 | 20571572 | 14899233 |     7169   4947 |        0 |        0
1749.54/1750.04	c 1750s |      27 | 20595578 | 14917933 |     7169   4951 |        0 |        0
1751.53/1752.05	c 1752s |      27 | 20622031 | 14936233 |     7169   4956 |        0 |        0
1753.63/1754.11	c 1754s |      27 | 20652595 | 14957333 |     7169   4962 |        0 |        0
1755.63/1756.11	c 1756s |      27 | 20683149 | 14979733 |     7169   4967 |        0 |        0
1757.63/1758.11	c 1758s |      27 | 20709048 | 14997333 |     7169   4972 |        0 |        0
1759.64/1760.11	c 1760s |      27 | 20738370 | 15017233 |     7169   4977 |        0 |        0
1761.63/1762.13	c 1762s |      27 | 20752122 | 15028033 |     7169   4980 |        0 |        0
1763.63/1764.14	c 1764s |      27 | 20774110 | 15044933 |     7169   4984 |        0 |        0
1765.63/1766.14	c 1766s |      27 | 20795757 | 15060933 |     7169   4988 |        0 |        0
1767.63/1768.14	c 1768s |      27 | 20820371 | 15078233 |     7169   4992 |        0 |        0
1769.63/1770.14	c 1770s |      27 | 20839237 | 15092133 |     7169   4996 |        0 |        0
1771.64/1772.15	c 1772s |      27 | 20867253 | 15112733 |     7169   5001 |        0 |        0
1773.63/1774.16	c 1774s |      27 | 20889579 | 15129033 |     7169   5005 |        0 |        0
1775.64/1776.17	c 1776s |      27 | 20913097 | 15145933 |     7169   5009 |        0 |        0
1777.64/1778.19	c 1778s |      27 | 20927922 | 15156933 |     7169   5012 |        0 |        0
1779.73/1780.25	c 1780s |      27 | 20942460 | 15167333 |     7169   5015 |        0 |        0
1781.73/1782.25	c 1782s |      27 | 20969523 | 15187333 |     7169   5020 |        0 |        0
1783.74/1784.25	c 1784s |      27 | 20999114 | 15208433 |     7169   5025 |        0 |        0
1785.73/1786.27	c 1786s |      27 | 21026357 | 15229033 |     7169   5031 |        0 |        0
1787.73/1788.27	c 1788s |      27 | 21045991 | 15242533 |     7169   5034 |        0 |        0
1789.73/1790.29	c 1790s |      27 | 21065371 | 15255433 |     7169   5038 |        0 |        0
1791.73/1792.29	c 1792s |      27 | 21089948 | 15273233 |     7169   5042 |        0 |        0
1793.83/1794.30	c 1794s |      27 | 21113078 | 15290633 |     7169   5047 |        0 |        0
1795.73/1796.30	c 1796s |      27 | 21138460 | 15309133 |     7169   5051 |        0 |        0
1797.83/1798.31	c 1798s |      27 | 21164717 | 15327133 |     7169   5056 |        0 |        0
1799.83/1800.31	c 1800s |      27 | 21188846 | 15344133 |     7169   5060 |        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-4088812-1466015652/watcher-4088812-1466015652 -o /tmp/evaluation-result-4088812-1466015652/solver-4088812-1466015652 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088812-1466015652.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.18 2.03 3/179 6210
/proc/meminfo: memFree=29647296/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 2710 0 0 0 0 0 0 0 20 0 4 0 3611691 742846464 3070 33554432000 4194304 16246674 140737469456880 140737469456304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 181871 3078 441 2943 0 178765 0
[pid=6210/tid=6211] ppid=6207 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 760672256 3138 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=747964 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 765915136 3158 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=753084 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 771158016 3175 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.19 2.18 2.03 3/179 6210
/proc/meminfo: memFree=29647296/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 22753 0 0 0 5 4 0 0 20 0 4 0 3611691 1247350784 23103 33554432000 4194304 16246674 140737469456880 140737469439880 12478070 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 304529 23112 720 2943 0 301423 0
[pid=6210/tid=6211] ppid=6207 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1247350784 23116 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1247350784 23120 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1247350784 23126 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200524 s]
/proc/loadavg: 2.19 2.18 2.03 3/179 6210
/proc/meminfo: memFree=29647296/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 40956 0 0 0 10 8 0 0 20 0 4 0 3611691 1247350784 41305 33554432000 4194304 16246674 140737469456880 140737469439880 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 304529 41314 720 2943 0 301423 0
[pid=6210/tid=6211] ppid=6207 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1247350784 41317 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1247350784 41321 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1247350784 41326 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300467 s]
/proc/loadavg: 2.19 2.18 2.03 3/179 6210
/proc/meminfo: memFree=29647296/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 60223 0 0 0 18 11 0 0 20 0 4 0 3611691 1247350784 60572 33554432000 4194304 16246674 140737469456880 140737469439880 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 304529 60582 720 2943 0 301423 0
[pid=6210/tid=6211] ppid=6207 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1247350784 60589 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1247350784 60596 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1247350784 60600 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700424 s]
/proc/loadavg: 2.19 2.18 2.03 3/179 6210
/proc/meminfo: memFree=29647296/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1222212 CPUtime=0.69 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 107338 0 0 0 51 18 0 0 20 0 4 0 3611691 1251545088 107667 33554432000 4194304 16246674 140737469456880 140737469456192 6010264 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 305553 107667 788 2943 0 302447 0
[pid=6210/tid=6211] ppid=6207 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1251545088 107667 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1251545088 107667 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1251545088 107667 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.5004 s]
/proc/loadavg: 2.18 2.18 2.03 3/183 6214
/proc/meminfo: memFree=29067048/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 220507 0 0 0 115 34 0 0 20 0 4 0 3611691 1333334016 220836 33554432000 4194304 16246674 140737469456880 140737469438784 5831697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 325521 220842 788 2943 0 322415 0
[pid=6210/tid=6211] ppid=6207 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1333334016 220848 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1333334016 220853 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1333334016 220858 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10038 s]
/proc/loadavg: 2.18 2.18 2.03 3/183 6214
/proc/meminfo: memFree=28695420/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 234953 0 0 0 273 36 0 0 20 0 4 0 3611691 1344868352 235282 33554432000 4194304 16246674 140737469456880 140737469438784 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 328337 235282 788 2943 0 325231 0
[pid=6210/tid=6211] ppid=6207 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1344868352 235282 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1344868352 235282 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1344868352 235282 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30037 s]
/proc/loadavg: 2.24 2.19 2.03 4/183 6214
/proc/meminfo: memFree=28651056/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1313348 CPUtime=6.28 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 253467 0 0 0 590 38 0 0 20 0 4 0 3611691 1344868352 253796 33554432000 4194304 16246674 140737469456880 140737469439880 6010521 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 328337 253796 788 2943 0 325231 0
[pid=6210/tid=6211] ppid=6207 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1344868352 253796 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1344868352 253796 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1344868352 253796 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.30 2.21 2.04 3/183 6214
/proc/meminfo: memFree=28442532/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 253467 0 0 0 1230 39 0 0 20 0 4 0 3611691 1344868352 253796 33554432000 4194304 16246674 140737469456880 140737469439880 13906985 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 328337 253796 788 2943 0 325231 0
[pid=6210/tid=6211] ppid=6207 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1344868352 253796 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1344868352 253796 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1344868352 253796 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.26 2.20 2.04 3/183 6214
/proc/meminfo: memFree=28423596/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1320516 CPUtime=25.48 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 255261 0 0 0 2509 39 0 0 20 0 4 0 3611691 1352208384 255590 33554432000 4194304 16246674 140737469456880 140737469438784 5711580 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 330129 255590 790 2943 0 327023 0
[pid=6210/tid=6211] ppid=6207 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1352208384 255590 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1352208384 255590 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1352208384 255590 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1320516

[startup+51.1005 s]
/proc/loadavg: 2.23 2.20 2.04 4/183 6214
/proc/meminfo: memFree=28339864/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1330756 CPUtime=51.08 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 273718 0 0 0 5066 42 0 0 20 0 4 0 3611691 1362694144 274047 33554432000 4194304 16246674 140737469456880 140737469438784 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 332689 274047 791 2943 0 329583 0
[pid=6210/tid=6211] ppid=6207 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1362694144 274047 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1362694144 274047 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1362694144 274047 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1330756

[startup+102.301 s]
/proc/loadavg: 2.22 2.19 2.05 3/183 6215
/proc/meminfo: memFree=28340020/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1330756 CPUtime=102.28 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 273719 0 0 0 10185 43 0 0 20 0 4 0 3611691 1362694144 274048 33554432000 4194304 16246674 140737469456880 140737469438784 13191891 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 332689 274048 792 2943 0 329583 0
[pid=6210/tid=6211] ppid=6207 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1362694144 274048 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1362694144 274048 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1362694144 274048 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1330756


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

/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1349188

[startup+1362.3 s]
/proc/loadavg: 2.22 2.21 2.17 3/183 6294
/proc/meminfo: memFree=28286088/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1349188 CPUtime=1361.9 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 278697 0 0 0 136117 73 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140737469438784 5523188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 337297 278913 793 2943 0 334191 0
[pid=6210/tid=6211] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1349188

[startup+1422.3 s]
/proc/loadavg: 2.19 2.20 2.17 3/183 6295
/proc/meminfo: memFree=28286392/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1349188 CPUtime=1421.89 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 278697 0 0 0 142115 74 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140737469438784 5822740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 337297 278913 793 2943 0 334191 0
[pid=6210/tid=6211] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1349188

[startup+1482.3 s]
/proc/loadavg: 2.19 2.21 2.17 3/183 6297
/proc/meminfo: memFree=28285792/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1349188 CPUtime=1481.88 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 278697 0 0 0 148113 75 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140737469438784 5717462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 337297 278913 793 2943 0 334191 0
[pid=6210/tid=6211] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1349188

[startup+1542.31 s]
/proc/loadavg: 2.23 2.21 2.18 3/183 6298
/proc/meminfo: memFree=28285692/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1349188 CPUtime=1541.88 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 278697 0 0 0 154112 76 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140737469438784 12483354 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 337297 278913 793 2943 0 334191 0
[pid=6210/tid=6211] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1349188

[startup+1602.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/184 6302
/proc/meminfo: memFree=28285344/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1349188 CPUtime=1601.86 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 278697 0 0 0 160109 77 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140737469438784 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 337297 278913 793 2943 0 334191 0
[pid=6210/tid=6211] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1349188

[startup+1662.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/184 6326
/proc/meminfo: memFree=28285444/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1349188 CPUtime=1661.85 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 278697 0 0 0 166107 78 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140737469438784 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 337297 278913 793 2943 0 334191 0
[pid=6210/tid=6211] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1349188

[startup+1722.3 s]
/proc/loadavg: 2.23 2.22 2.18 4/183 6327
/proc/meminfo: memFree=28285736/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1349188 CPUtime=1721.84 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 278697 0 0 0 172104 80 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140737469438784 12467320 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 337297 278913 793 2943 0 334191 0
[pid=6210/tid=6211] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1349188

[startup+1782.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 6329
/proc/meminfo: memFree=28285488/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1349188 CPUtime=1781.83 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 278697 0 0 0 178102 81 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140737469439880 13820120 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 337297 278913 793 2943 0 334191 0
[pid=6210/tid=6211] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1349188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 6330
/proc/meminfo: memFree=28285564/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1349188 CPUtime=1800.03 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 278697 0 0 0 179922 81 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140737469439880 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 337297 278913 793 2943 0 334191 0
[pid=6210/tid=6211] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1349188

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

[startup+1800.5 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 6330
/proc/meminfo: memFree=28285564/32872528 swapFree=1369816/1516984
[pid=6210] ppid=6207 vsize=1349188 CPUtime=1800.03 cores=1,3,5,7
/proc/6210/stat : 6210 (toysat) R 6207 6210 5822 0 -1 4202496 278697 0 0 0 179922 81 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140737469439880 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 337297 278913 793 2943 0 334191 0
[pid=6210/tid=6211] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (toysat) S 6207 6210 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121826372848 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (toysat) S 6207 6210 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121815882992 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6213] ppid=6207 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (toysat) S 6207 6210 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3611691 1381568512 278913 33554432000 4194304 16246674 140737469456880 140121697414320 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1349188

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.23
CPU system time (s): 0.817875
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 1349188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 0.817875
maximum resident set size= 1115652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278697
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= 382
involuntary context switches= 2031

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25205 second user time and 8.69468 second system time

The end

Begin job on node129 at 2016-06-15 20:34:12
IDJOB=4088812
IDBENCH=107317
IDSOLVER=2542
FILE ID=node129/4088812-1466015652
RUNJOBID= node129-1466013843-5839
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 3f59834f0a61c156f664c76b9b3ba608
RANDOM SEED=2100031459

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.143
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.54
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.143
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.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29647684 kB
Buffers:            4776 kB
Cached:            72200 kB
SwapCached:        20184 kB
Active:           966196 kB
Inactive:          39088 kB
Active(anon):     910564 kB
Inactive(anon):    20104 kB
Active(file):      55632 kB
Inactive(file):    18984 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67081520 kB
Dirty:             33280 kB
Writeback:             0 kB
AnonPages:       2426592 kB
Mapped:            10304 kB
Shmem:                 0 kB
Slab:             567708 kB
SReclaimable:      11000 kB
SUnreclaim:       556708 kB
KernelStack:        1472 kB
PageTables:         8572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2724932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71704 MiB
End job on node129 at 2016-06-15 21:04:13