0.00/0.00	c 2016-06-15T22:22:17+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4089148-1466022137.opb"]
0.00/0.01	c use --random-gen="1961356319 2867756521 2170995104 2204662180 1162925861 3363234288 593798233 1229993041 1880473860 3354152321 690754394 3070171533 4124575498 3854680683 3673901666 278782270 1599656286 842603882 1434194337 2434888739 2612234753 4002250495 3051725835 237170364 1282039163 3581890858 3294339367 413413680 3589912210 227979797 621225778 22856948 4131695358 2023235902 3716555441 650797990 3739641273 336671988 604330591 1091745887 4180298311 1967750877 362736669 2727866495 360799113 250288928 2932629593 2021301991 3981884476 2538436296 3178331283 1395454460 3000082203 4120125234 2010580874 2743887238 475821075 386087948 966699872 3230631930 15006453 786849027 3742406501 299191295 2624545893 1818428087 1075174937 396236705 2608189805 2958430597 447851754 2127572943 2424776497 4088825562 588634834 3449421432 855508264 1599057624 4112458050 2900924645 1326276248 1391025126 2945424894 1961938039 3110222332 1373650814 2688477868 3272437737 3934656798 4275928709 3438558603 1562655696 371249552 2082440869 877993551 3263261463 1491517665 2789295940 2177335922 557307327 1816658150 1527766189 2505279167 3967173945 4106488999 790229673 388362780 2791218499 563350877 746181834 1664813179 3762720215 4216289222 853784140 2213583375 2232097783 4036080355 1906895636 3230504749 600606700 337850489 4039730800 913784058 494551652 1480996841 1510245555 1393298481 1876960288 2472800421 2539070585 1833837791 4070312828 2466194293 2962645203 1242150921 1747642848 3033523538 1836486150 527763207 279103056 3887485658 1791839674 2673451612 451817924 1291045225 3397819742 3799849656 3419799921 96595199 795189301 3451756531 643161494 2045256124 3704661263 3015197164 3939239408 2428221465 3253683682 3964700282 4117185853 2562168438 2712663070 174696150 1346049508 1069368971 2016274393 1914424355 3333835757 2718258232 2623913408 220646022 939420007 1423498901 1555077386 2486314571 178388783 1353439146 920711806 2723900002 2108200036 1993314791 1543541188 3908684225 2465845166 898131433 710038242 2644989912 1869274100 363721073 1577229100 2437727815 220733232 3550485962 82047274 2628640786 2164258198 3193462221 2046529984 1426944654 405261668 652171767 2326272914 2271908279 3346956258 3090518382 991648495 3358606582 1378296028 3976098129 5463090 1724063849 2408812108 4181591945 3193527964 696106787 2970452406 3745216073 3614840580 2374004175 4149607350 1029974183 2906528717 2032170168 3717028941 2733747795 2357100312 3030409578 3335331919 1576762649 1678706971 314927999 1126645193 3973413706 2970600582 307965395 2442222189 3051913505 3216087993 1989704545 942619203 273240896 2870673105 860403558 2076676788 1750671882 753368076 3564332143 1718689804 3211944304 2107491971 2157970531 2264857298 2946655213 3870806671 246736186 3649537823 255 362436" option to reproduce the execution
0.00/0.01	c #vars 108
0.00/0.01	c #constraints 217
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      108      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      168 |      100 |      108      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      364 |      250 |      119      1 |        0 |        0
0.00/0.07	c  0.1s |       3 |      630 |      475 |      131      4 |        0 |        0
0.09/0.12	c  0.1s |       4 |     1013 |      813 |      145      7 |        0 |        0
0.20/0.20	c  0.2s |       5 |     1575 |     1320 |      160     12 |        0 |        0
0.29/0.32	c  0.3s |       6 |     2405 |     2081 |      194     19 |        0 |        0
0.39/0.49	c  0.5s |       7 |     3629 |     3223 |      214     28 |        0 |        0
0.69/0.75	c  0.7s |       8 |     5398 |     4936 |      236     41 |        0 |        0
0.99/1.04	c  1.0s |       9 |     8166 |     7506 |      260     59 |        0 |        0
1.39/1.46	c  1.4s |      10 |    12216 |    11361 |      286     84 |        0 |        0
1.99/2.06	c  2.0s |      11 |    18192 |    17144 |      315    119 |        0 |        0
2.89/2.96	c  3.0s |      12 |    27285 |    25819 |      347    167 |        0 |        0
4.29/4.34	c  4.3s |      13 |    40780 |    38832 |      382    233 |        0 |        0
6.29/6.35	c  6.3s |      13 |    60779 |    57632 |      382    322 |        0 |        0
6.39/6.42	c  6.4s |      14 |    61507 |    58352 |      421    325 |        0 |        0
8.39/8.42	c  8.4s |      14 |    81518 |    77052 |      421    406 |        0 |        0
9.49/9.58	c  9.6s |      15 |    92944 |    87632 |      464    451 |        0 |        0
11.49/11.59	c 11.6s |      15 |   112389 |   105832 |      464    522 |        0 |        0
13.50/13.59	c 13.6s |      15 |   131669 |   123832 |      464    594 |        0 |        0
14.39/14.46	c 14.4s |      16 |   140086 |   131552 |      511    624 |        0 |        0
16.39/16.46	c 16.5s |      16 |   159252 |   149452 |      511    688 |        0 |        0
18.39/18.47	c 18.5s |      16 |   178252 |   167152 |      511    752 |        0 |        0
20.39/20.47	c 20.5s |      16 |   197669 |   184952 |      511    816 |        0 |        0
21.89/21.90	c 21.9s |      17 |   211157 |   197432 |      563    861 |        0 |        0
23.89/23.91	c 23.9s |      17 |   230433 |   215232 |      563    919 |        0 |        0
25.89/25.91	c 25.9s |      17 |   248990 |   232832 |      563    977 |        0 |        0
27.89/27.92	c 27.9s |      17 |   267773 |   250432 |      563   1035 |        0 |        0
29.89/29.92	c 29.9s |      17 |   285996 |   267832 |      563   1093 |        0 |        0
31.89/31.92	c 31.9s |      17 |   305201 |   285432 |      563   1151 |        0 |        0
33.09/33.15	c 33.1s |      18 |   317024 |   296252 |      620   1186 |        0 |        0
35.08/35.16	c 35.1s |      18 |   336313 |   314052 |      620   1239 |        0 |        0
37.08/37.16	c 37.2s |      18 |   356255 |   331652 |      620   1292 |        0 |        0
39.08/39.17	c 39.2s |      18 |   375220 |   348952 |      620   1344 |        0 |        0
41.08/41.17	c 41.2s |      18 |   394295 |   366152 |      620   1396 |        0 |        0
43.09/43.17	c 43.2s |      18 |   413716 |   383452 |      620   1449 |        0 |        0
45.08/45.17	c 45.2s |      18 |   433271 |   401052 |      620   1502 |        0 |        0
47.08/47.18	c 47.2s |      18 |   452885 |   418552 |      620   1555 |        0 |        0
49.08/49.18	c 49.2s |      18 |   472167 |   436052 |      620   1608 |        0 |        0
50.08/50.15	c 50.1s |      19 |   481488 |   444482 |      682   1632 |        0 |        0
52.09/52.16	c 52.2s |      19 |   500995 |   461682 |      682   1680 |        0 |        0
54.09/54.16	c 54.2s |      19 |   519492 |   478882 |      682   1727 |        0 |        0
56.09/56.18	c 56.2s |      19 |   538650 |   496282 |      682   1775 |        0 |        0
58.09/58.18	c 58.2s |      19 |   558328 |   513682 |      682   1823 |        0 |        0
60.08/60.19	c 60.2s |      19 |   577822 |   531182 |      682   1872 |        0 |        0
62.18/62.20	c 62.2s |      19 |   596931 |   548582 |      682   1920 |        0 |        0
64.18/64.20	c 64.2s |      19 |   615993 |   565882 |      682   1968 |        0 |        0
66.19/66.21	c 66.2s |      19 |   635083 |   583082 |      682   2015 |        0 |        0
68.18/68.21	c 68.2s |      19 |   654522 |   600382 |      682   2064 |        0 |        0
70.18/70.22	c 70.2s |      19 |   673363 |   617482 |      682   2111 |        0 |        0
72.18/72.22	c 72.2s |      19 |   692379 |   634882 |      682   2159 |        0 |        0
74.18/74.22	c 74.2s |      19 |   711777 |   652082 |      682   2207 |        0 |        0
75.88/75.94	c 75.9s |      20 |   728204 |   666827 |      751   2246 |        0 |        0
77.88/77.95	c 77.9s |      20 |   747175 |   683527 |      751   2288 |        0 |        0
79.88/79.95	c 79.9s |      20 |   765935 |   700227 |      751   2330 |        0 |        0
81.88/81.95	c 81.9s |      20 |   784272 |   716927 |      751   2372 |        0 |        0
83.89/83.97	c 84.0s |      20 |   802457 |   734027 |      751   2416 |        0 |        0
85.88/85.97	c 86.0s |      20 |   820619 |   750927 |      751   2458 |        0 |        0
87.88/87.98	c 88.0s |      20 |   839090 |   767627 |      751   2500 |        0 |        0
89.88/89.98	c 90.0s |      20 |   858859 |   784727 |      751   2543 |        0 |        0
91.88/91.98	c 92.0s |      20 |   877891 |   801827 |      751   2587 |        0 |        0
93.88/93.99	c 94.0s |      20 |   896781 |   818927 |      751   2630 |        0 |        0
95.88/96.00	c 96.0s |      20 |   916326 |   835927 |      751   2673 |        0 |        0
97.98/98.00	c 98.0s |      20 |   936063 |   852927 |      751   2716 |        0 |        0
99.97/100.01	c 100.0s |      20 |   955391 |   869927 |      751   2759 |        0 |        0
101.97/102.02	c  102s |      20 |   975403 |   886927 |      751   2802 |        0 |        0
103.97/104.02	c  104s |      20 |   994187 |   903727 |      751   2844 |        0 |        0
105.97/106.03	c  106s |      20 |  1012646 |   920427 |      751   2887 |        0 |        0
107.98/108.04	c  108s |      20 |  1031143 |   937427 |      751   2930 |        0 |        0
109.97/110.05	c  110s |      20 |  1050290 |   954327 |      751   2973 |        0 |        0
111.97/112.05	c  112s |      20 |  1068981 |   971127 |      751   3016 |        0 |        0
113.97/114.06	c  114s |      20 |  1087818 |   987927 |      751   3058 |        0 |        0
115.47/115.57	c  115s |      21 |  1101435 |  1000345 |      827   3088 |        0 |        0
117.48/117.58	c  117s |      21 |  1119711 |  1016945 |      827   3126 |        0 |        0
119.48/119.59	c  119s |      21 |  1137714 |  1033345 |      827   3164 |        0 |        0
121.48/121.60	c  121s |      21 |  1156030 |  1049345 |      827   3201 |        0 |        0
123.57/123.60	c  123s |      21 |  1174055 |  1065645 |      827   3238 |        0 |        0
125.58/125.61	c  125s |      21 |  1192045 |  1081845 |      827   3276 |        0 |        0
127.57/127.62	c  127s |      21 |  1210258 |  1098045 |      827   3313 |        0 |        0
129.57/129.63	c  129s |      21 |  1228097 |  1114445 |      827   3351 |        0 |        0
131.57/131.63	c  131s |      21 |  1245762 |  1130945 |      827   3389 |        0 |        0
133.57/133.64	c  133s |      21 |  1263523 |  1147345 |      827   3427 |        0 |        0
135.58/135.64	c  135s |      21 |  1281519 |  1163845 |      827   3465 |        0 |        0
137.57/137.64	c  137s |      21 |  1299850 |  1180145 |      827   3503 |        0 |        0
139.57/139.65	c  139s |      21 |  1317594 |  1196545 |      827   3540 |        0 |        0
141.57/141.66	c  141s |      21 |  1335629 |  1212945 |      827   3578 |        0 |        0
143.57/143.67	c  143s |      21 |  1354676 |  1229345 |      827   3616 |        0 |        0
145.57/145.67	c  145s |      21 |  1372917 |  1245845 |      827   3654 |        0 |        0
147.57/147.68	c  147s |      21 |  1390947 |  1262045 |      827   3692 |        0 |        0
149.57/149.68	c  149s |      21 |  1408738 |  1278145 |      827   3729 |        0 |        0
151.57/151.69	c  151s |      21 |  1426710 |  1294445 |      827   3766 |        0 |        0
153.56/153.69	c  153s |      21 |  1444562 |  1310545 |      827   3804 |        0 |        0
155.56/155.69	c  155s |      21 |  1462594 |  1326945 |      827   3842 |        0 |        0
157.66/157.70	c  157s |      21 |  1480840 |  1343445 |      827   3880 |        0 |        0
159.67/159.71	c  159s |      21 |  1498938 |  1359745 |      827   3917 |        0 |        0
161.66/161.71	c  161s |      21 |  1517202 |  1376045 |      827   3955 |        0 |        0
163.66/163.72	c  163s |      21 |  1534960 |  1392445 |      827   3993 |        0 |        0
165.66/165.72	c  165s |      21 |  1552045 |  1408745 |      827   4030 |        0 |        0
167.66/167.73	c  167s |      21 |  1569683 |  1425145 |      827   4068 |        0 |        0
169.67/169.74	c  169s |      21 |  1586968 |  1441645 |      827   4106 |        0 |        0
171.66/171.75	c  171s |      21 |  1604658 |  1458045 |      827   4144 |        0 |        0
173.67/173.75	c  173s |      21 |  1622609 |  1474545 |      827   4182 |        0 |        0
175.67/175.75	c  175s |      21 |  1640473 |  1490945 |      910   4219 |        0 |        0
176.87/176.95	c  176s |      22 |  1651454 |  1500622 |      910   4240 |        0 |        0
178.86/178.96	c  178s |      22 |  1668744 |  1516822 |      910   4274 |        0 |        0
180.86/180.97	c  180s |      22 |  1687242 |  1533322 |      910   4309 |        0 |        0
182.87/182.99	c  182s |      22 |  1705320 |  1549722 |      910   4343 |        0 |        0
184.86/184.99	c  184s |      22 |  1722775 |  1565922 |      910   4377 |        0 |        0
186.86/186.99	c  186s |      22 |  1740783 |  1582122 |      910   4411 |        0 |        0
188.96/189.00	c  188s |      22 |  1759131 |  1598322 |      910   4445 |        0 |        0
190.96/191.00	c  190s |      22 |  1776997 |  1614622 |      910   4480 |        0 |        0
192.96/193.01	c  193s |      22 |  1794874 |  1630822 |      910   4514 |        0 |        0
194.97/195.01	c  195s |      22 |  1812689 |  1646722 |      910   4548 |        0 |        0
196.96/197.03	c  197s |      22 |  1830418 |  1663022 |      910   4582 |        0 |        0
198.96/199.03	c  199s |      22 |  1848541 |  1679122 |      910   4616 |        0 |        0
200.96/201.04	c  201s |      22 |  1866954 |  1695222 |      910   4650 |        0 |        0
202.96/203.05	c  203s |      22 |  1884978 |  1711222 |      910   4684 |        0 |        0
204.96/205.05	c  205s |      22 |  1902755 |  1727222 |      910   4718 |        0 |        0
206.96/207.06	c  207s |      22 |  1920790 |  1743522 |      910   4752 |        0 |        0
208.96/209.07	c  209s |      22 |  1939071 |  1759722 |      910   4786 |        0 |        0
210.95/211.08	c  211s |      22 |  1956230 |  1775922 |      910   4820 |        0 |        0
212.95/213.08	c  213s |      22 |  1974454 |  1792122 |      910   4854 |        0 |        0
214.95/215.09	c  215s |      22 |  1992918 |  1808422 |      910   4889 |        0 |        0
217.05/217.10	c  217s |      22 |  2011084 |  1824622 |      910   4923 |        0 |        0
219.06/219.11	c  219s |      22 |  2029672 |  1840922 |      910   4957 |        0 |        0
221.05/221.11	c  221s |      22 |  2047195 |  1857122 |      910   4991 |        0 |        0
223.05/223.12	c  223s |      22 |  2065149 |  1873422 |      910   5025 |        0 |        0
225.05/225.13	c  225s |      22 |  2083706 |  1889622 |      910   5059 |        0 |        0
227.06/227.13	c  227s |      22 |  2101370 |  1905822 |      910   5094 |        0 |        0
229.07/229.13	c  229s |      22 |  2119253 |  1922122 |      910   5128 |        0 |        0
231.06/231.14	c  231s |      22 |  2136987 |  1938322 |      910   5162 |        0 |        0
233.06/233.15	c  233s |      22 |  2154430 |  1954522 |      910   5196 |        0 |        0
235.06/235.16	c  235s |      22 |  2171909 |  1970822 |      910   5231 |        0 |        0
237.06/237.17	c  237s |      22 |  2189103 |  1986822 |      910   5264 |        0 |        0
239.05/239.18	c  239s |      22 |  2206359 |  2002722 |      910   5298 |        0 |        0
241.06/241.18	c  241s |      22 |  2224024 |  2018622 |      910   5332 |        0 |        0
243.05/243.18	c  243s |      22 |  2242727 |  2034522 |      910   5365 |        0 |        0
245.05/245.18	c  245s |      22 |  2260908 |  2050722 |      910   5399 |        0 |        0
247.05/247.19	c  247s |      22 |  2279228 |  2066822 |      910   5433 |        0 |        0
249.15/249.21	c  249s |      22 |  2297400 |  2082922 |      910   5467 |        0 |        0
251.15/251.21	c  251s |      22 |  2315021 |  2098922 |      910   5500 |        0 |        0
253.16/253.21	c  253s |      22 |  2332377 |  2114822 |      910   5534 |        0 |        0
255.15/255.22	c  255s |      22 |  2349933 |  2130822 |      910   5568 |        0 |        0
257.15/257.22	c  257s |      22 |  2367883 |  2146822 |      910   5601 |        0 |        0
259.15/259.23	c  259s |      22 |  2385667 |  2162822 |      910   5635 |        0 |        0
261.16/261.23	c  261s |      22 |  2403350 |  2178822 |      910   5669 |        0 |        0
263.16/263.24	c  263s |      22 |  2421405 |  2194922 |      910   5703 |        0 |        0
265.15/265.25	c  265s |      22 |  2438543 |  2210922 |      910   5736 |        0 |        0
267.15/267.25	c  267s |      22 |  2456659 |  2226822 |      910   5770 |        0 |        0
269.15/269.26	c  269s |      22 |  2474540 |  2243122 |     1002   5802 |        0 |        0
270.15/270.27	c  270s |      23 |  2483257 |  2251038 |     1002   5818 |        0 |        0
272.15/272.27	c  272s |      23 |  2501335 |  2267138 |     1002   5849 |        0 |        0
274.16/274.27	c  274s |      23 |  2518879 |  2283038 |     1002   5879 |        0 |        0
276.15/276.28	c  276s |      23 |  2535796 |  2298638 |     1002   5909 |        0 |        0
278.15/278.29	c  278s |      23 |  2553172 |  2314638 |     1002   5940 |        0 |        0
280.15/280.29	c  280s |      23 |  2570343 |  2330438 |     1002   5970 |        0 |        0
282.25/282.30	c  282s |      23 |  2587630 |  2346438 |     1002   6001 |        0 |        0
284.25/284.31	c  284s |      23 |  2605631 |  2362238 |     1002   6031 |        0 |        0
286.25/286.31	c  286s |      23 |  2622904 |  2377638 |     1002   6061 |        0 |        0
288.24/288.32	c  288s |      23 |  2640441 |  2393238 |     1002   6090 |        0 |        0
290.24/290.33	c  290s |      23 |  2658089 |  2408738 |     1002   6120 |        0 |        0
292.24/292.34	c  292s |      23 |  2675511 |  2424438 |     1002   6150 |        0 |        0
294.24/294.35	c  294s |      23 |  2693375 |  2440138 |     1002   6181 |        0 |        0
296.24/296.36	c  296s |      23 |  2710537 |  2455938 |     1002   6211 |        0 |        0
298.25/298.37	c  298s |      23 |  2728153 |  2471638 |     1002   6241 |        0 |        0
300.24/300.38	c  300s |      23 |  2746159 |  2487538 |     1002   6272 |        0 |        0
302.25/302.39	c  302s |      23 |  2763354 |  2503438 |     1002   6302 |        0 |        0
304.35/304.40	c  304s |      23 |  2781393 |  2519138 |     1002   6332 |        0 |        0
306.35/306.41	c  306s |      23 |  2799459 |  2534738 |     1002   6362 |        0 |        0
308.35/308.42	c  308s |      23 |  2816993 |  2550338 |     1002   6392 |        0 |        0
310.35/310.42	c  310s |      23 |  2834650 |  2565838 |     1002   6422 |        0 |        0
312.35/312.44	c  312s |      23 |  2853038 |  2581738 |     1002   6453 |        0 |        0
314.35/314.44	c  314s |      23 |  2871757 |  2597738 |     1002   6483 |        0 |        0
316.35/316.45	c  316s |      23 |  2889385 |  2613538 |     1002   6514 |        0 |        0
318.34/318.46	c  318s |      23 |  2908087 |  2629538 |     1002   6545 |        0 |        0
320.35/320.46	c  320s |      23 |  2926004 |  2645338 |     1002   6575 |        0 |        0
322.34/322.46	c  322s |      23 |  2944451 |  2661038 |     1002   6605 |        0 |        0
324.34/324.47	c  324s |      23 |  2962887 |  2676938 |     1002   6636 |        0 |        0
326.34/326.48	c  326s |      23 |  2981192 |  2692838 |     1002   6667 |        0 |        0
328.34/328.49	c  328s |      23 |  3000133 |  2708938 |     1002   6698 |        0 |        0
330.44/330.50	c  330s |      23 |  3017999 |  2724938 |     1002   6728 |        0 |        0
332.34/332.50	c  332s |      23 |  3035818 |  2740738 |     1002   6759 |        0 |        0
334.44/334.51	c  334s |      23 |  3053934 |  2756438 |     1002   6789 |        0 |        0
336.44/336.51	c  336s |      23 |  3071457 |  2772038 |     1002   6819 |        0 |        0
338.44/338.52	c  338s |      23 |  3089258 |  2787538 |     1002   6848 |        0 |        0
340.44/340.52	c  340s |      23 |  3106999 |  2803138 |     1002   6878 |        0 |        0
342.43/342.53	c  342s |      23 |  3124760 |  2818738 |     1002   6908 |        0 |        0
344.44/344.53	c  344s |      23 |  3143801 |  2834538 |     1002   6939 |        0 |        0
346.43/346.53	c  346s |      23 |  3162798 |  2850338 |     1002   6969 |        0 |        0
348.43/348.55	c  348s |      23 |  3181570 |  2865938 |     1002   6999 |        0 |        0
350.43/350.55	c  350s |      23 |  3200098 |  2881538 |     1002   7029 |        0 |        0
352.44/352.55	c  352s |      23 |  3217488 |  2897338 |     1002   7060 |        0 |        0
354.45/354.55	c  354s |      23 |  3234932 |  2912838 |     1002   7090 |        0 |        0
356.44/356.57	c  356s |      23 |  3253204 |  2928638 |     1002   7120 |        0 |        0
358.44/358.58	c  358s |      23 |  3271746 |  2944438 |     1002   7151 |        0 |        0
360.44/360.58	c  360s |      23 |  3289448 |  2960238 |     1002   7181 |        0 |        0
362.43/362.58	c  362s |      23 |  3307509 |  2976138 |     1002   7212 |        0 |        0
364.43/364.59	c  364s |      23 |  3324804 |  2991938 |     1002   7242 |        0 |        0
366.44/366.60	c  366s |      23 |  3342478 |  3007538 |     1002   7272 |        0 |        0
368.53/368.61	c  368s |      23 |  3360072 |  3023338 |     1002   7302 |        0 |        0
370.53/370.62	c  370s |      23 |  3377863 |  3039138 |     1002   7332 |        0 |        0
372.53/372.62	c  372s |      23 |  3395171 |  3054738 |     1002   7362 |        0 |        0
374.53/374.63	c  374s |      23 |  3412697 |  3070738 |     1002   7393 |        0 |        0
376.53/376.64	c  376s |      23 |  3430558 |  3086738 |     1002   7424 |        0 |        0
378.54/378.65	c  378s |      23 |  3448086 |  3102638 |     1002   7454 |        0 |        0
380.54/380.66	c  380s |      23 |  3465651 |  3118138 |     1002   7484 |        0 |        0
382.54/382.67	c  382s |      23 |  3482823 |  3133838 |     1002   7514 |        0 |        0
384.54/384.67	c  384s |      23 |  3500577 |  3149538 |     1002   7544 |        0 |        0
386.54/386.67	c  386s |      23 |  3518745 |  3165538 |     1002   7575 |        0 |        0
388.54/388.68	c  388s |      23 |  3536633 |  3181338 |     1002   7606 |        0 |        0
390.53/390.69	c  390s |      23 |  3553877 |  3197238 |     1002   7636 |        0 |        0
392.63/392.70	c  392s |      23 |  3571522 |  3213338 |     1002   7667 |        0 |        0
394.63/394.70	c  394s |      23 |  3588458 |  3228938 |     1002   7697 |        0 |        0
396.63/396.71	c  396s |      23 |  3605869 |  3244438 |     1002   7727 |        0 |        0
398.63/398.72	c  398s |      23 |  3623072 |  3259738 |     1002   7756 |        0 |        0
400.64/400.73	c  400s |      23 |  3640005 |  3275038 |     1002   7786 |        0 |        0
402.63/402.74	c  402s |      23 |  3656999 |  3290838 |     1002   7816 |        0 |        0
404.63/404.75	c  404s |      23 |  3674709 |  3306538 |     1002   7846 |        0 |        0
406.63/406.76	c  406s |      23 |  3692156 |  3322338 |     1002   7876 |        0 |        0
408.63/408.76	c  408s |      23 |  3709616 |  3338038 |     1002   7907 |        0 |        0
410.63/410.77	c  410s |      23 |  3726916 |  3353638 |     1103   7936 |        0 |        0
412.63/412.77	c  412s |      23 |  3743528 |  3369138 |     1103   7963 |        0 |        0
413.63/413.74	c  413s |      24 |  3751450 |  3376662 |     1103   7977 |        0 |        0
415.63/415.74	c  415s |      24 |  3769139 |  3392162 |     1103   8004 |        0 |        0
417.62/417.75	c  417s |      24 |  3785974 |  3407162 |     1103   8030 |        0 |        0
419.62/419.76	c  419s |      24 |  3803100 |  3422462 |     1103   8056 |        0 |        0
421.62/421.77	c  421s |      24 |  3819943 |  3437462 |     1103   8083 |        0 |        0
423.63/423.79	c  423s |      24 |  3837506 |  3452862 |     1103   8110 |        0 |        0
425.62/425.79	c  425s |      24 |  3854462 |  3467962 |     1103   8136 |        0 |        0
427.72/427.80	c  427s |      24 |  3871731 |  3482962 |     1103   8162 |        0 |        0
429.72/429.81	c  429s |      24 |  3888932 |  3498162 |     1103   8189 |        0 |        0
431.72/431.82	c  431s |      24 |  3906640 |  3513462 |     1103   8216 |        0 |        0
433.72/433.82	c  433s |      24 |  3925719 |  3529262 |     1103   8243 |        0 |        0
435.73/435.84	c  435s |      24 |  3944390 |  3544762 |     1103   8271 |        0 |        0
437.72/437.84	c  437s |      24 |  3962336 |  3560062 |     1103   8297 |        0 |        0
439.73/439.84	c  439s |      24 |  3979886 |  3575062 |     1103   8324 |        0 |        0
441.73/441.85	c  441s |      24 |  3996979 |  3590062 |     1103   8350 |        0 |        0
443.73/443.85	c  443s |      24 |  4014691 |  3605262 |     1103   8376 |        0 |        0
445.73/445.87	c  445s |      24 |  4031952 |  3620362 |     1103   8403 |        0 |        0
447.73/447.87	c  447s |      24 |  4049378 |  3635462 |     1103   8429 |        0 |        0
449.72/449.87	c  449s |      24 |  4066722 |  3650462 |     1103   8455 |        0 |        0
451.72/451.87	c  451s |      24 |  4084010 |  3665562 |     1103   8482 |        0 |        0
453.72/453.88	c  453s |      24 |  4101159 |  3681062 |     1103   8509 |        0 |        0
455.72/455.89	c  455s |      24 |  4118219 |  3696462 |     1103   8536 |        0 |        0
457.83/457.90	c  457s |      24 |  4134627 |  3711762 |     1103   8562 |        0 |        0
459.82/459.91	c  459s |      24 |  4151582 |  3727062 |     1103   8589 |        0 |        0
461.82/461.92	c  461s |      24 |  4168680 |  3742362 |     1103   8616 |        0 |        0
463.82/463.93	c  463s |      24 |  4185437 |  3757462 |     1103   8642 |        0 |        0
465.82/465.94	c  465s |      24 |  4202012 |  3772662 |     1103   8669 |        0 |        0
467.82/467.94	c  467s |      24 |  4219141 |  3788062 |     1103   8696 |        0 |        0
469.82/469.95	c  469s |      24 |  4236115 |  3803462 |     1103   8723 |        0 |        0
471.82/471.96	c  471s |      24 |  4253206 |  3818662 |     1103   8750 |        0 |        0
473.82/473.98	c  473s |      24 |  4270685 |  3834062 |     1103   8777 |        0 |        0
475.82/475.98	c  475s |      24 |  4287936 |  3849462 |     1103   8804 |        0 |        0
477.82/477.98	c  477s |      24 |  4305330 |  3864862 |     1103   8831 |        0 |        0
479.82/479.99	c  479s |      24 |  4322878 |  3879862 |     1103   8857 |        0 |        0
481.81/481.99	c  481s |      24 |  4340714 |  3895062 |     1103   8883 |        0 |        0
483.81/483.99	c  483s |      24 |  4358253 |  3910162 |     1103   8910 |        0 |        0
485.81/486.00	c  485s |      24 |  4375269 |  3925362 |     1103   8936 |        0 |        0
487.91/488.01	c  487s |      24 |  4391851 |  3940862 |     1103   8964 |        0 |        0
489.91/490.02	c  490s |      24 |  4408598 |  3956262 |     1103   8991 |        0 |        0
491.92/492.03	c  492s |      24 |  4425635 |  3971762 |     1103   9018 |        0 |        0
493.92/494.03	c  494s |      24 |  4442236 |  3986962 |     1103   9044 |        0 |        0
495.92/496.03	c  496s |      24 |  4459145 |  4001962 |     1103   9070 |        0 |        0
497.92/498.04	c  498s |      24 |  4475526 |  4016862 |     1103   9096 |        0 |        0
499.92/500.05	c  500s |      24 |  4492928 |  4031762 |     1103   9123 |        0 |        0
501.92/502.05	c  502s |      24 |  4509841 |  4046762 |     1103   9149 |        0 |        0
503.92/504.06	c  504s |      24 |  4526457 |  4062162 |     1103   9176 |        0 |        0
505.92/506.07	c  506s |      24 |  4543310 |  4077462 |     1103   9203 |        0 |        0
507.92/508.07	c  508s |      24 |  4560045 |  4092962 |     1103   9230 |        0 |        0
509.92/510.08	c  510s |      24 |  4577236 |  4108162 |     1103   9256 |        0 |        0
511.92/512.08	c  512s |      24 |  4594216 |  4123362 |     1103   9283 |        0 |        0
513.92/514.09	c  514s |      24 |  4611766 |  4138762 |     1103   9310 |        0 |        0
515.91/516.10	c  516s |      24 |  4628894 |  4153762 |     1103   9336 |        0 |        0
518.01/518.11	c  518s |      24 |  4646884 |  4169062 |     1103   9363 |        0 |        0
520.01/520.12	c  520s |      24 |  4664168 |  4184462 |     1103   9390 |        0 |        0
522.01/522.13	c  522s |      24 |  4681575 |  4199862 |     1103   9417 |        0 |        0
524.01/524.13	c  524s |      24 |  4699437 |  4215262 |     1103   9444 |        0 |        0
526.02/526.14	c  526s |      24 |  4717015 |  4230762 |     1103   9471 |        0 |        0
528.01/528.14	c  528s |      24 |  4733517 |  4245962 |     1103   9498 |        0 |        0
530.01/530.16	c  530s |      24 |  4750381 |  4261062 |     1103   9524 |        0 |        0
532.01/532.17	c  532s |      24 |  4767292 |  4276262 |     1103   9551 |        0 |        0
534.01/534.18	c  534s |      24 |  4784879 |  4291362 |     1103   9577 |        0 |        0
536.01/536.18	c  536s |      24 |  4801132 |  4306462 |     1103   9604 |        0 |        0
538.02/538.19	c  538s |      24 |  4818565 |  4321762 |     1103   9630 |        0 |        0
540.01/540.19	c  540s |      24 |  4835528 |  4336962 |     1103   9657 |        0 |        0
542.11/542.20	c  542s |      24 |  4853071 |  4352462 |     1103   9684 |        0 |        0
544.11/544.21	c  544s |      24 |  4870417 |  4367862 |     1103   9711 |        0 |        0
546.10/546.22	c  546s |      24 |  4887668 |  4383162 |     1103   9738 |        0 |        0
548.11/548.23	c  548s |      24 |  4904648 |  4398462 |     1103   9765 |        0 |        0
550.12/550.23	c  550s |      24 |  4921959 |  4414062 |     1103   9792 |        0 |        0
552.11/552.23	c  552s |      24 |  4938962 |  4429562 |     1103   9819 |        0 |        0
554.11/554.24	c  554s |      24 |  4956634 |  4445162 |     1103   9847 |        0 |        0
556.11/556.24	c  556s |      24 |  4974864 |  4460662 |     1103   9874 |        0 |        0
558.11/558.25	c  558s |      24 |  4991842 |  4475962 |     1103   9901 |        0 |        0
560.11/560.25	c  560s |      24 |  5008987 |  4491162 |     1103   9927 |        0 |        0
562.11/562.26	c  562s |      24 |  5026484 |  4506662 |     1103   9955 |        0 |        0
564.11/564.27	c  564s |      24 |  5043925 |  4522062 |     1103   9982 |        0 |        0
566.10/566.28	c  566s |      24 |  5061505 |  4537462 |     1103  10009 |        0 |        0
568.10/568.28	c  568s |      24 |  5078675 |  4552762 |     1103  10035 |        0 |        0
570.10/570.29	c  570s |      24 |  5096115 |  4568362 |     1103  10063 |        0 |        0
572.11/572.30	c  572s |      24 |  5113585 |  4583762 |     1103  10090 |        0 |        0
574.20/574.31	c  574s |      24 |  5131187 |  4599262 |     1103  10117 |        0 |        0
576.20/576.32	c  576s |      24 |  5148140 |  4614662 |     1103  10144 |        0 |        0
578.20/578.33	c  578s |      24 |  5164915 |  4630162 |     1103  10171 |        0 |        0
580.21/580.34	c  580s |      24 |  5182159 |  4645462 |     1103  10198 |        0 |        0
582.21/582.34	c  582s |      24 |  5199694 |  4660862 |     1103  10225 |        0 |        0
584.21/584.34	c  584s |      24 |  5217012 |  4676262 |     1103  10252 |        0 |        0
586.20/586.35	c  586s |      24 |  5234582 |  4691762 |     1103  10279 |        0 |        0
588.20/588.36	c  588s |      24 |  5251821 |  4707362 |     1103  10306 |        0 |        0
590.20/590.36	c  590s |      24 |  5268952 |  4722762 |     1103  10333 |        0 |        0
592.20/592.36	c  592s |      24 |  5286370 |  4738062 |     1103  10360 |        0 |        0
594.21/594.36	c  594s |      24 |  5303774 |  4753262 |     1103  10386 |        0 |        0
596.20/596.37	c  596s |      24 |  5320585 |  4768662 |     1103  10413 |        0 |        0
598.20/598.37	c  598s |      24 |  5338063 |  4783962 |     1103  10440 |        0 |        0
600.20/600.38	c  600s |      24 |  5355615 |  4799062 |     1103  10466 |        0 |        0
602.20/602.38	c  602s |      24 |  5372320 |  4814262 |     1103  10493 |        0 |        0
604.20/604.38	c  604s |      24 |  5389108 |  4829762 |     1103  10520 |        0 |        0
606.20/606.39	c  606s |      24 |  5405720 |  4845062 |     1103  10547 |        0 |        0
608.30/608.40	c  608s |      24 |  5422897 |  4860562 |     1103  10574 |        0 |        0
610.29/610.41	c  610s |      24 |  5439546 |  4875962 |     1103  10601 |        0 |        0
612.29/612.41	c  612s |      24 |  5456312 |  4891162 |     1103  10628 |        0 |        0
614.29/614.42	c  614s |      24 |  5473396 |  4906562 |     1103  10655 |        0 |        0
616.29/616.43	c  616s |      24 |  5490660 |  4921962 |     1103  10682 |        0 |        0
618.31/618.43	c  618s |      24 |  5507374 |  4937362 |     1103  10709 |        0 |        0
620.30/620.45	c  620s |      24 |  5524566 |  4952762 |     1103  10736 |        0 |        0
622.30/622.45	c  622s |      24 |  5541286 |  4968062 |     1103  10762 |        0 |        0
624.30/624.45	c  624s |      24 |  5558011 |  4983562 |     1103  10789 |        0 |        0
626.30/626.45	c  626s |      24 |  5574881 |  4999262 |     1103  10817 |        0 |        0
628.30/628.46	c  628s |      24 |  5592004 |  5014762 |     1103  10844 |        0 |        0
630.30/630.47	c  630s |      24 |  5609330 |  5030062 |     1214  10871 |        0 |        0
632.30/632.47	c  632s |      24 |  5626335 |  5045462 |     1214  10895 |        0 |        0
634.30/634.47	c  634s |      24 |  5643262 |  5060362 |     1214  10919 |        0 |        0
635.00/635.10	c  635s |      25 |  5648314 |  5065098 |     1214  10927 |        0 |        0
637.00/637.11	c  637s |      25 |  5664299 |  5080098 |     1214  10951 |        0 |        0
639.00/639.12	c  639s |      25 |  5680601 |  5095198 |     1214  10975 |        0 |        0
641.00/641.12	c  641s |      25 |  5697190 |  5110098 |     1214  10999 |        0 |        0
642.99/643.13	c  643s |      25 |  5713880 |  5125298 |     1214  11023 |        0 |        0
644.99/645.13	c  645s |      25 |  5730437 |  5140098 |     1214  11046 |        0 |        0
647.00/647.15	c  647s |      25 |  5746357 |  5154998 |     1214  11070 |        0 |        0
648.99/649.16	c  649s |      25 |  5763662 |  5169998 |     1214  11094 |        0 |        0
650.99/651.17	c  651s |      25 |  5780027 |  5184898 |     1214  11118 |        0 |        0
652.99/653.18	c  653s |      25 |  5796314 |  5199898 |     1214  11142 |        0 |        0
654.99/655.18	c  655s |      25 |  5812243 |  5214698 |     1214  11166 |        0 |        0
656.99/657.19	c  657s |      25 |  5828672 |  5229598 |     1214  11189 |        0 |        0
658.99/659.19	c  659s |      25 |  5845114 |  5244498 |     1214  11213 |        0 |        0
661.09/661.20	c  661s |      25 |  5861806 |  5259398 |     1214  11237 |        0 |        0
663.09/663.21	c  663s |      25 |  5877818 |  5274398 |     1214  11261 |        0 |        0
665.09/665.22	c  665s |      25 |  5894151 |  5289598 |     1214  11285 |        0 |        0
667.09/667.23	c  667s |      25 |  5911194 |  5304798 |     1214  11309 |        0 |        0
669.09/669.23	c  669s |      25 |  5927491 |  5319598 |     1214  11333 |        0 |        0
671.10/671.24	c  671s |      25 |  5944162 |  5334598 |     1214  11357 |        0 |        0
673.09/673.24	c  673s |      25 |  5960834 |  5349398 |     1214  11380 |        0 |        0
675.09/675.25	c  675s |      25 |  5977190 |  5364398 |     1214  11404 |        0 |        0
677.09/677.25	c  677s |      25 |  5993650 |  5379098 |     1214  11428 |        0 |        0
679.09/679.26	c  679s |      25 |  6010133 |  5394198 |     1214  11452 |        0 |        0
681.09/681.26	c  681s |      25 |  6026530 |  5409098 |     1214  11476 |        0 |        0
683.09/683.26	c  683s |      25 |  6043710 |  5424198 |     1214  11500 |        0 |        0
685.09/685.26	c  685s |      25 |  6061296 |  5439498 |     1214  11524 |        0 |        0
687.09/687.27	c  687s |      25 |  6079185 |  5454698 |     1214  11548 |        0 |        0
689.09/689.27	c  689s |      25 |  6095984 |  5469698 |     1214  11572 |        0 |        0
691.08/691.27	c  691s |      25 |  6112415 |  5484598 |     1214  11596 |        0 |        0
693.09/693.28	c  693s |      25 |  6128752 |  5499598 |     1214  11620 |        0 |        0
695.08/695.29	c  695s |      25 |  6145876 |  5514798 |     1214  11644 |        0 |        0
697.18/697.30	c  697s |      25 |  6162562 |  5529798 |     1214  11668 |        0 |        0
699.18/699.32	c  699s |      25 |  6178792 |  5544698 |     1214  11692 |        0 |        0
701.18/701.32	c  701s |      25 |  6195388 |  5559598 |     1214  11715 |        0 |        0
703.19/703.33	c  703s |      25 |  6211517 |  5574398 |     1214  11739 |        0 |        0
705.19/705.34	c  705s |      25 |  6227803 |  5589398 |     1214  11763 |        0 |        0
707.18/707.35	c  707s |      25 |  6243530 |  5603998 |     1214  11786 |        0 |        0
709.18/709.37	c  709s |      25 |  6259671 |  5619098 |     1214  11810 |        0 |        0
711.18/711.37	c  711s |      25 |  6276056 |  5634198 |     1214  11834 |        0 |        0
713.18/713.38	c  713s |      25 |  6292410 |  5649198 |     1214  11858 |        0 |        0
715.18/715.39	c  715s |      25 |  6308350 |  5663798 |     1214  11882 |        0 |        0
717.28/717.40	c  717s |      25 |  6325049 |  5678598 |     1214  11905 |        0 |        0
719.27/719.41	c  719s |      25 |  6341444 |  5693098 |     1214  11928 |        0 |        0
721.27/721.41	c  721s |      25 |  6357851 |  5707998 |     1214  11952 |        0 |        0
723.27/723.41	c  723s |      25 |  6374034 |  5722598 |     1214  11975 |        0 |        0
725.27/725.42	c  725s |      25 |  6390121 |  5737298 |     1214  11999 |        0 |        0
727.27/727.42	c  727s |      25 |  6407169 |  5752398 |     1214  12023 |        0 |        0
729.27/729.42	c  729s |      25 |  6423451 |  5767298 |     1214  12047 |        0 |        0
731.27/731.43	c  731s |      25 |  6440246 |  5782398 |     1214  12071 |        0 |        0
733.27/733.44	c  733s |      25 |  6457401 |  5797798 |     1214  12095 |        0 |        0
735.26/735.44	c  735s |      25 |  6474317 |  5812798 |     1214  12119 |        0 |        0
737.26/737.45	c  737s |      25 |  6491175 |  5827598 |     1214  12143 |        0 |        0
739.27/739.45	c  739s |      25 |  6508122 |  5842598 |     1214  12167 |        0 |        0
741.26/741.45	c  741s |      25 |  6524423 |  5857398 |     1214  12190 |        0 |        0
743.26/743.46	c  743s |      25 |  6540412 |  5872198 |     1214  12214 |        0 |        0
745.26/745.46	c  745s |      25 |  6556714 |  5887398 |     1214  12238 |        0 |        0
747.26/747.47	c  747s |      25 |  6573487 |  5902198 |     1214  12262 |        0 |        0
749.26/749.48	c  749s |      25 |  6589705 |  5917198 |     1214  12286 |        0 |        0
751.26/751.49	c  751s |      25 |  6606535 |  5932298 |     1214  12310 |        0 |        0
753.26/753.50	c  753s |      25 |  6622695 |  5947198 |     1214  12334 |        0 |        0
755.35/755.50	c  755s |      25 |  6638967 |  5962398 |     1214  12358 |        0 |        0
757.35/757.51	c  757s |      25 |  6656192 |  5977398 |     1214  12382 |        0 |        0
759.35/759.52	c  759s |      25 |  6672965 |  5992598 |     1214  12406 |        0 |        0
761.36/761.53	c  761s |      25 |  6689538 |  6007398 |     1214  12429 |        0 |        0
763.35/763.53	c  763s |      25 |  6705669 |  6022298 |     1214  12453 |        0 |        0
765.35/765.54	c  765s |      25 |  6722137 |  6037298 |     1214  12477 |        0 |        0
767.34/767.54	c  767s |      25 |  6738176 |  6052198 |     1214  12501 |        0 |        0
769.34/769.55	c  769s |      25 |  6754123 |  6067098 |     1214  12525 |        0 |        0
771.34/771.56	c  771s |      25 |  6770084 |  6081798 |     1214  12548 |        0 |        0
773.35/773.56	c  773s |      25 |  6786030 |  6096898 |     1214  12572 |        0 |        0
775.35/775.57	c  775s |      25 |  6802183 |  6111898 |     1214  12596 |        0 |        0
777.35/777.57	c  777s |      25 |  6818254 |  6126898 |     1214  12620 |        0 |        0
779.34/779.58	c  779s |      25 |  6835118 |  6142198 |     1214  12644 |        0 |        0
781.34/781.59	c  781s |      25 |  6851206 |  6157198 |     1214  12668 |        0 |        0
783.35/783.59	c  783s |      25 |  6867464 |  6171998 |     1214  12692 |        0 |        0
785.34/785.59	c  785s |      25 |  6883492 |  6186898 |     1214  12716 |        0 |        0
787.44/787.60	c  787s |      25 |  6899526 |  6201898 |     1214  12740 |        0 |        0
789.44/789.61	c  789s |      25 |  6915779 |  6216998 |     1214  12764 |        0 |        0
791.44/791.62	c  791s |      25 |  6932388 |  6232098 |     1214  12788 |        0 |        0
793.44/793.62	c  793s |      25 |  6949073 |  6247098 |     1214  12812 |        0 |        0
795.44/795.62	c  795s |      25 |  6965437 |  6261998 |     1214  12836 |        0 |        0
797.43/797.63	c  797s |      25 |  6981595 |  6276998 |     1214  12860 |        0 |        0
799.43/799.63	c  799s |      25 |  6997619 |  6291898 |     1214  12884 |        0 |        0
801.43/801.64	c  801s |      25 |  7013748 |  6306898 |     1214  12907 |        0 |        0
803.43/803.65	c  803s |      25 |  7029871 |  6321898 |     1214  12931 |        0 |        0
805.43/805.65	c  805s |      25 |  7046313 |  6336698 |     1214  12955 |        0 |        0
807.43/807.67	c  807s |      25 |  7062866 |  6351998 |     1214  12980 |        0 |        0
809.43/809.67	c  809s |      25 |  7078746 |  6366998 |     1214  13003 |        0 |        0
811.42/811.68	c  811s |      25 |  7095086 |  6382098 |     1214  13028 |        0 |        0
813.42/813.68	c  813s |      25 |  7110990 |  6396998 |     1214  13051 |        0 |        0
815.42/815.69	c  815s |      25 |  7127294 |  6411698 |     1214  13075 |        0 |        0
817.52/817.70	c  817s |      25 |  7144361 |  6426898 |     1214  13099 |        0 |        0
819.52/819.71	c  819s |      25 |  7161127 |  6441998 |     1214  13123 |        0 |        0
821.52/821.71	c  821s |      25 |  7177285 |  6456898 |     1214  13147 |        0 |        0
823.51/823.72	c  823s |      25 |  7193230 |  6471498 |     1214  13170 |        0 |        0
825.51/825.73	c  825s |      25 |  7209128 |  6486398 |     1214  13194 |        0 |        0
827.51/827.74	c  827s |      25 |  7225565 |  6501398 |     1214  13218 |        0 |        0
829.51/829.75	c  829s |      25 |  7241305 |  6516398 |     1214  13242 |        0 |        0
831.51/831.76	c  831s |      25 |  7257542 |  6531398 |     1214  13266 |        0 |        0
833.52/833.77	c  833s |      25 |  7273788 |  6546198 |     1214  13289 |        0 |        0
835.51/835.78	c  835s |      25 |  7290033 |  6561098 |     1214  13313 |        0 |        0
837.51/837.78	c  837s |      25 |  7306868 |  6575798 |     1214  13336 |        0 |        0
839.51/839.79	c  839s |      25 |  7322979 |  6590898 |     1214  13361 |        0 |        0
841.51/841.80	c  841s |      25 |  7339711 |  6606298 |     1214  13385 |        0 |        0
843.61/843.81	c  843s |      25 |  7356123 |  6621498 |     1214  13410 |        0 |        0
845.60/845.83	c  845s |      25 |  7372262 |  6636798 |     1214  13434 |        0 |        0
847.60/847.84	c  847s |      25 |  7388465 |  6651898 |     1214  13458 |        0 |        0
849.60/849.84	c  849s |      25 |  7404367 |  6666698 |     1214  13482 |        0 |        0
851.60/851.84	c  851s |      25 |  7420505 |  6681398 |     1214  13505 |        0 |        0
853.61/853.85	c  853s |      25 |  7436911 |  6696398 |     1214  13529 |        0 |        0
855.60/855.86	c  855s |      25 |  7453560 |  6711098 |     1214  13553 |        0 |        0
857.60/857.86	c  857s |      25 |  7469543 |  6725898 |     1214  13576 |        0 |        0
859.60/859.86	c  859s |      25 |  7485493 |  6740698 |     1214  13600 |        0 |        0
861.60/861.88	c  861s |      25 |  7501956 |  6755698 |     1214  13624 |        0 |        0
863.61/863.89	c  863s |      25 |  7517930 |  6770798 |     1214  13648 |        0 |        0
865.60/865.89	c  865s |      25 |  7533995 |  6785798 |     1214  13672 |        0 |        0
867.70/867.90	c  867s |      25 |  7550986 |  6800998 |     1214  13696 |        0 |        0
869.70/869.90	c  869s |      25 |  7567625 |  6815798 |     1214  13720 |        0 |        0
871.70/871.92	c  871s |      25 |  7583923 |  6830798 |     1214  13744 |        0 |        0
873.70/873.92	c  873s |      25 |  7600224 |  6845898 |     1214  13768 |        0 |        0
875.69/875.92	c  875s |      25 |  7616876 |  6860698 |     1214  13792 |        0 |        0
877.69/877.93	c  877s |      25 |  7633543 |  6875598 |     1214  13815 |        0 |        0
879.69/879.93	c  879s |      25 |  7651055 |  6890598 |     1214  13839 |        0 |        0
881.69/881.94	c  881s |      25 |  7667857 |  6905698 |     1214  13863 |        0 |        0
883.68/883.96	c  883s |      25 |  7684483 |  6920398 |     1214  13887 |        0 |        0
885.68/885.96	c  885s |      25 |  7700945 |  6935398 |     1214  13911 |        0 |        0
887.68/887.96	c  887s |      25 |  7717671 |  6950398 |     1214  13935 |        0 |        0
889.68/889.96	c  889s |      25 |  7733882 |  6965398 |     1214  13959 |        0 |        0
891.68/891.97	c  891s |      25 |  7750138 |  6980398 |     1214  13983 |        0 |        0
893.68/893.98	c  893s |      25 |  7766591 |  6995298 |     1214  14007 |        0 |        0
895.68/895.99	c  895s |      25 |  7782822 |  7010198 |     1214  14030 |        0 |        0
897.78/898.00	c  897s |      25 |  7799377 |  7024498 |     1214  14053 |        0 |        0
899.78/900.01	c  900s |      25 |  7815438 |  7039098 |     1214  14076 |        0 |        0
901.78/902.01	c  902s |      25 |  7831669 |  7053498 |     1214  14099 |        0 |        0
903.78/904.02	c  904s |      25 |  7848272 |  7068098 |     1214  14123 |        0 |        0
905.77/906.02	c  906s |      25 |  7864189 |  7082598 |     1214  14146 |        0 |        0
907.77/908.03	c  908s |      25 |  7879941 |  7097298 |     1214  14169 |        0 |        0
909.78/910.03	c  910s |      25 |  7896757 |  7112298 |     1214  14193 |        0 |        0
911.77/912.04	c  912s |      25 |  7912824 |  7127198 |     1214  14217 |        0 |        0
913.77/914.04	c  914s |      25 |  7928941 |  7142198 |     1214  14240 |        0 |        0
915.76/916.04	c  916s |      25 |  7944705 |  7156998 |     1214  14264 |        0 |        0
917.76/918.04	c  918s |      25 |  7960518 |  7171498 |     1214  14287 |        0 |        0
919.76/920.05	c  920s |      25 |  7976304 |  7186198 |     1214  14311 |        0 |        0
921.77/922.06	c  922s |      25 |  7992999 |  7201098 |     1214  14335 |        0 |        0
923.76/924.07	c  924s |      25 |  8008904 |  7215998 |     1214  14358 |        0 |        0
925.76/926.07	c  926s |      25 |  8024785 |  7230998 |     1214  14382 |        0 |        0
927.76/928.08	c  928s |      25 |  8040501 |  7245998 |     1214  14406 |        0 |        0
929.76/930.08	c  930s |      25 |  8056695 |  7260898 |     1214  14430 |        0 |        0
931.76/932.09	c  932s |      25 |  8072792 |  7275898 |     1214  14454 |        0 |        0
933.76/934.10	c  934s |      25 |  8089288 |  7290798 |     1214  14478 |        0 |        0
935.86/936.10	c  936s |      25 |  8105687 |  7305598 |     1214  14501 |        0 |        0
937.85/938.11	c  938s |      25 |  8121840 |  7320198 |     1214  14525 |        0 |        0
939.85/940.11	c  940s |      25 |  8137855 |  7334898 |     1214  14548 |        0 |        0
941.85/942.11	c  942s |      25 |  8154389 |  7349798 |     1214  14572 |        0 |        0
943.86/944.12	c  944s |      25 |  8170619 |  7364798 |     1214  14596 |        0 |        0
945.85/946.12	c  946s |      25 |  8186391 |  7379498 |     1214  14619 |        0 |        0
947.85/948.13	c  948s |      25 |  8203485 |  7394398 |     1214  14643 |        0 |        0
949.85/950.14	c  950s |      25 |  8220151 |  7409498 |     1214  14667 |        0 |        0
951.85/952.14	c  952s |      25 |  8236154 |  7424398 |     1214  14691 |        0 |        0
953.85/954.15	c  954s |      25 |  8252725 |  7439398 |     1214  14715 |        0 |        0
955.85/956.16	c  956s |      25 |  8269189 |  7454598 |     1214  14740 |        0 |        0
957.85/958.17	c  958s |      25 |  8285631 |  7469698 |     1214  14764 |        0 |        0
959.85/960.18	c  960s |      25 |  8302007 |  7484698 |     1214  14788 |        0 |        0
961.85/962.19	c  962s |      25 |  8318753 |  7499698 |     1214  14812 |        0 |        0
963.95/964.20	c  964s |      25 |  8334745 |  7514698 |     1214  14836 |        0 |        0
965.95/966.21	c  966s |      25 |  8350554 |  7529598 |     1214  14859 |        0 |        0
967.95/968.22	c  968s |      25 |  8366728 |  7544498 |     1336  14883 |        0 |        0
969.94/970.23	c  970s |      25 |  8382089 |  7558898 |     1336  14904 |        0 |        0
971.94/972.25	c  972s |      25 |  8397857 |  7573798 |     1336  14926 |        0 |        0
973.94/974.26	c  974s |      25 |  8414493 |  7588798 |     1336  14947 |        0 |        0
975.14/975.46	c  975s |      26 |  8424159 |  7597752 |     1336  14960 |        0 |        0
977.13/977.47	c  977s |      26 |  8439644 |  7611752 |     1336  14981 |        0 |        0
979.13/979.47	c  979s |      26 |  8455059 |  7625752 |     1336  15001 |        0 |        0
981.14/981.48	c  981s |      26 |  8470356 |  7639652 |     1336  15021 |        0 |        0
983.13/983.48	c  983s |      26 |  8486074 |  7653652 |     1336  15042 |        0 |        0
985.13/985.48	c  985s |      26 |  8501088 |  7667252 |     1336  15061 |        0 |        0
987.23/987.50	c  987s |      26 |  8517151 |  7681252 |     1336  15082 |        0 |        0
989.23/989.50	c  989s |      26 |  8533317 |  7695352 |     1336  15102 |        0 |        0
991.23/991.51	c  991s |      26 |  8549458 |  7709352 |     1336  15122 |        0 |        0
993.24/993.52	c  993s |      26 |  8565820 |  7723452 |     1336  15143 |        0 |        0
995.22/995.52	c  995s |      26 |  8581620 |  7737752 |     1336  15164 |        0 |        0
997.22/997.53	c  997s |      26 |  8597308 |  7751852 |     1336  15184 |        0 |        0
999.22/999.54	c  999s |      26 |  8613635 |  7766052 |     1336  15205 |        0 |        0
1001.22/1001.54	c 1001s |      26 |  8629361 |  7780152 |     1336  15225 |        0 |        0
1003.23/1003.54	c 1003s |      26 |  8644883 |  7794052 |     1336  15245 |        0 |        0
1005.22/1005.55	c 1005s |      26 |  8660656 |  7808252 |     1336  15266 |        0 |        0
1007.22/1007.56	c 1007s |      26 |  8676209 |  7822152 |     1336  15286 |        0 |        0
1009.22/1009.57	c 1009s |      26 |  8691777 |  7836052 |     1336  15306 |        0 |        0
1011.22/1011.58	c 1011s |      26 |  8707896 |  7850052 |     1336  15327 |        0 |        0
1013.22/1013.58	c 1013s |      26 |  8723511 |  7864152 |     1336  15347 |        0 |        0
1015.23/1015.59	c 1015s |      26 |  8738683 |  7878152 |     1336  15367 |        0 |        0
1017.22/1017.59	c 1017s |      26 |  8753994 |  7892152 |     1336  15388 |        0 |        0
1019.32/1019.60	c 1019s |      26 |  8769406 |  7906052 |     1336  15408 |        0 |        0
1021.32/1021.61	c 1021s |      26 |  8784815 |  7920052 |     1336  15428 |        0 |        0
1023.32/1023.62	c 1023s |      26 |  8799815 |  7933452 |     1336  15448 |        0 |        0
1025.32/1025.62	c 1025s |      26 |  8815423 |  7947352 |     1336  15468 |        0 |        0
1027.32/1027.63	c 1027s |      26 |  8830906 |  7960952 |     1336  15488 |        0 |        0
1029.31/1029.63	c 1029s |      26 |  8847053 |  7974552 |     1336  15507 |        0 |        0
1031.31/1031.63	c 1031s |      26 |  8862235 |  7988552 |     1336  15528 |        0 |        0
1033.31/1033.63	c 1033s |      26 |  8877440 |  8002452 |     1336  15548 |        0 |        0
1035.31/1035.65	c 1035s |      26 |  8893659 |  8016352 |     1336  15568 |        0 |        0
1037.31/1037.65	c 1037s |      26 |  8909918 |  8030452 |     1336  15588 |        0 |        0
1039.30/1039.65	c 1039s |      26 |  8924882 |  8044352 |     1336  15609 |        0 |        0
1041.30/1041.66	c 1041s |      26 |  8940393 |  8058552 |     1336  15629 |        0 |        0
1043.30/1043.67	c 1043s |      26 |  8955741 |  8072552 |     1336  15650 |        0 |        0
1045.30/1045.67	c 1045s |      26 |  8971291 |  8086552 |     1336  15670 |        0 |        0
1047.30/1047.68	c 1047s |      26 |  8986342 |  8100552 |     1336  15690 |        0 |        0
1049.30/1049.68	c 1049s |      26 |  9001911 |  8114652 |     1336  15711 |        0 |        0
1051.31/1051.68	c 1051s |      26 |  9017432 |  8128952 |     1336  15732 |        0 |        0
1053.31/1053.69	c 1053s |      26 |  9033474 |  8143252 |     1336  15752 |        0 |        0
1055.40/1055.70	c 1055s |      26 |  9049029 |  8157352 |     1336  15773 |        0 |        0
1057.40/1057.72	c 1057s |      26 |  9064413 |  8171552 |     1336  15793 |        0 |        0
1059.40/1059.72	c 1059s |      26 |  9079722 |  8185752 |     1336  15814 |        0 |        0
1061.41/1061.73	c 1061s |      26 |  9095032 |  8200052 |     1336  15835 |        0 |        0
1063.40/1063.74	c 1063s |      26 |  9110883 |  8214252 |     1336  15856 |        0 |        0
1065.39/1065.75	c 1065s |      26 |  9126548 |  8228352 |     1336  15876 |        0 |        0
1067.39/1067.76	c 1067s |      26 |  9141764 |  8242452 |     1336  15897 |        0 |        0
1069.39/1069.77	c 1069s |      26 |  9157505 |  8256652 |     1336  15917 |        0 |        0
1071.40/1071.77	c 1071s |      26 |  9172922 |  8270752 |     1336  15938 |        0 |        0
1073.39/1073.79	c 1073s |      26 |  9188686 |  8284952 |     1336  15958 |        0 |        0
1075.38/1075.79	c 1075s |      26 |  9204313 |  8298952 |     1336  15979 |        0 |        0
1077.38/1077.80	c 1077s |      26 |  9220356 |  8313352 |     1336  16000 |        0 |        0
1079.48/1079.80	c 1079s |      26 |  9237046 |  8327952 |     1336  16021 |        0 |        0
1081.48/1081.81	c 1081s |      26 |  9253628 |  8342252 |     1336  16042 |        0 |        0
1083.49/1083.81	c 1083s |      26 |  9269841 |  8356552 |     1336  16062 |        0 |        0
1085.47/1085.82	c 1085s |      26 |  9285247 |  8370852 |     1336  16083 |        0 |        0
1087.47/1087.83	c 1087s |      26 |  9301114 |  8385452 |     1336  16105 |        0 |        0
1089.47/1089.84	c 1089s |      26 |  9316860 |  8399952 |     1336  16126 |        0 |        0
1091.47/1091.84	c 1091s |      26 |  9332525 |  8414152 |     1336  16146 |        0 |        0
1093.48/1093.85	c 1093s |      26 |  9348274 |  8428752 |     1336  16168 |        0 |        0
1095.48/1095.85	c 1095s |      26 |  9363914 |  8443252 |     1336  16189 |        0 |        0
1097.48/1097.87	c 1097s |      26 |  9379236 |  8457652 |     1336  16210 |        0 |        0
1099.47/1099.88	c 1099s |      26 |  9395244 |  8472052 |     1336  16231 |        0 |        0
1101.47/1101.89	c 1101s |      26 |  9410981 |  8486552 |     1336  16252 |        0 |        0
1103.57/1103.90	c 1103s |      26 |  9427135 |  8501152 |     1336  16273 |        0 |        0
1105.57/1105.91	c 1105s |      26 |  9443556 |  8515952 |     1336  16295 |        0 |        0
1107.57/1107.92	c 1107s |      26 |  9459185 |  8530452 |     1336  16316 |        0 |        0
1109.57/1109.93	c 1109s |      26 |  9474724 |  8545052 |     1336  16337 |        0 |        0
1111.57/1111.95	c 1111s |      26 |  9490695 |  8559352 |     1336  16358 |        0 |        0
1113.57/1113.95	c 1113s |      26 |  9506445 |  8574052 |     1336  16379 |        0 |        0
1115.56/1115.96	c 1115s |      26 |  9522320 |  8588552 |     1336  16401 |        0 |        0
1117.57/1117.96	c 1117s |      26 |  9537967 |  8602952 |     1336  16422 |        0 |        0
1119.56/1119.98	c 1119s |      26 |  9553628 |  8617352 |     1336  16443 |        0 |        0
1121.56/1121.98	c 1121s |      26 |  9570005 |  8631852 |     1336  16464 |        0 |        0
1123.56/1123.99	c 1123s |      26 |  9586496 |  8646452 |     1336  16485 |        0 |        0
1125.65/1126.00	c 1125s |      26 |  9602313 |  8660752 |     1336  16506 |        0 |        0
1127.65/1128.01	c 1127s |      26 |  9617785 |  8674952 |     1336  16527 |        0 |        0
1129.66/1130.02	c 1130s |      26 |  9633378 |  8689252 |     1336  16547 |        0 |        0
1131.65/1132.02	c 1132s |      26 |  9649373 |  8703552 |     1336  16568 |        0 |        0
1133.65/1134.03	c 1134s |      26 |  9665347 |  8718152 |     1336  16590 |        0 |        0
1135.65/1136.04	c 1136s |      26 |  9680800 |  8732552 |     1336  16610 |        0 |        0
1137.65/1138.05	c 1138s |      26 |  9696084 |  8746452 |     1336  16631 |        0 |        0
1139.65/1140.05	c 1140s |      26 |  9711823 |  8760652 |     1336  16651 |        0 |        0
1141.66/1142.06	c 1142s |      26 |  9726998 |  8774752 |     1336  16672 |        0 |        0
1143.65/1144.07	c 1144s |      26 |  9742642 |  8788952 |     1336  16692 |        0 |        0
1145.64/1146.08	c 1146s |      26 |  9758138 |  8803152 |     1336  16713 |        0 |        0
1147.64/1148.08	c 1148s |      26 |  9773663 |  8817452 |     1336  16734 |        0 |        0
1149.64/1150.09	c 1150s |      26 |  9788709 |  8831552 |     1336  16754 |        0 |        0
1151.65/1152.09	c 1152s |      26 |  9803995 |  8845852 |     1336  16775 |        0 |        0
1153.64/1154.09	c 1154s |      26 |  9819332 |  8859852 |     1336  16796 |        0 |        0
1155.74/1156.10	c 1156s |      26 |  9834802 |  8874152 |     1336  16816 |        0 |        0
1157.74/1158.11	c 1158s |      26 |  9850359 |  8888552 |     1336  16837 |        0 |        0
1159.73/1160.12	c 1160s |      26 |  9865856 |  8902952 |     1336  16858 |        0 |        0
1161.74/1162.12	c 1162s |      26 |  9880950 |  8917452 |     1336  16880 |        0 |        0
1163.75/1164.13	c 1164s |      26 |  9896113 |  8931552 |     1336  16900 |        0 |        0
1165.74/1166.15	c 1166s |      26 |  9911174 |  8945552 |     1336  16921 |        0 |        0
1167.74/1168.15	c 1168s |      26 |  9926818 |  8959752 |     1336  16941 |        0 |        0
1169.73/1170.15	c 1170s |      26 |  9942154 |  8973952 |     1336  16962 |        0 |        0
1171.73/1172.17	c 1172s |      26 |  9957279 |  8987652 |     1336  16982 |        0 |        0
1173.73/1174.18	c 1174s |      26 |  9972666 |  9001152 |     1336  17002 |        0 |        0
1175.73/1176.19	c 1176s |      26 |  9988324 |  9014952 |     1336  17022 |        0 |        0
1177.73/1178.19	c 1178s |      26 | 10003852 |  9028952 |     1336  17042 |        0 |        0
1179.83/1180.20	c 1180s |      26 | 10019751 |  9043452 |     1336  17063 |        0 |        0
1181.83/1182.21	c 1182s |      26 | 10035701 |  9057352 |     1336  17083 |        0 |        0
1183.83/1184.22	c 1184s |      26 | 10051045 |  9071252 |     1336  17104 |        0 |        0
1185.82/1186.23	c 1186s |      26 | 10067216 |  9085352 |     1336  17124 |        0 |        0
1187.83/1188.24	c 1188s |      26 | 10083656 |  9099652 |     1336  17145 |        0 |        0
1189.82/1190.25	c 1190s |      26 | 10099369 |  9113752 |     1336  17166 |        0 |        0
1191.82/1192.26	c 1192s |      26 | 10115165 |  9127852 |     1336  17186 |        0 |        0
1193.82/1194.27	c 1194s |      26 | 10131369 |  9142252 |     1336  17207 |        0 |        0
1195.82/1196.28	c 1196s |      26 | 10147636 |  9156752 |     1336  17229 |        0 |        0
1197.83/1198.29	c 1198s |      26 | 10163725 |  9170852 |     1336  17249 |        0 |        0
1199.82/1200.30	c 1200s |      26 | 10179008 |  9185052 |     1336  17270 |        0 |        0
1201.92/1202.31	c 1202s |      26 | 10194727 |  9199352 |     1336  17291 |        0 |        0
1203.92/1204.31	c 1204s |      26 | 10209906 |  9213552 |     1336  17311 |        0 |        0
1205.91/1206.31	c 1206s |      26 | 10225633 |  9227552 |     1336  17332 |        0 |        0
1207.91/1208.32	c 1208s |      26 | 10240871 |  9241252 |     1336  17352 |        0 |        0
1209.92/1210.33	c 1210s |      26 | 10257430 |  9255352 |     1336  17372 |        0 |        0
1211.91/1212.34	c 1212s |      26 | 10272726 |  9269352 |     1336  17393 |        0 |        0
1213.91/1214.34	c 1214s |      26 | 10288497 |  9283352 |     1336  17413 |        0 |        0
1215.91/1216.36	c 1216s |      26 | 10304491 |  9297552 |     1336  17434 |        0 |        0
1217.90/1218.37	c 1218s |      26 | 10320348 |  9311752 |     1336  17454 |        0 |        0
1219.90/1220.38	c 1220s |      26 | 10336438 |  9325952 |     1336  17475 |        0 |        0
1221.91/1222.39	c 1222s |      26 | 10352225 |  9339952 |     1336  17495 |        0 |        0
1223.90/1224.39	c 1224s |      26 | 10368197 |  9353752 |     1336  17515 |        0 |        0
1226.00/1226.40	c 1226s |      26 | 10383983 |  9367552 |     1336  17535 |        0 |        0
1228.00/1228.40	c 1228s |      26 | 10398729 |  9381152 |     1336  17555 |        0 |        0
1230.00/1230.41	c 1230s |      26 | 10413677 |  9394952 |     1336  17575 |        0 |        0
1232.00/1232.41	c 1232s |      26 | 10428616 |  9408752 |     1336  17595 |        0 |        0
1234.00/1234.42	c 1234s |      26 | 10445112 |  9423052 |     1336  17616 |        0 |        0
1235.99/1236.43	c 1236s |      26 | 10460952 |  9437052 |     1336  17636 |        0 |        0
1237.99/1238.44	c 1238s |      26 | 10476624 |  9450952 |     1336  17657 |        0 |        0
1240.00/1240.44	c 1240s |      26 | 10492285 |  9465052 |     1336  17677 |        0 |        0
1242.00/1242.44	c 1242s |      26 | 10507887 |  9478952 |     1336  17697 |        0 |        0
1244.01/1244.46	c 1244s |      26 | 10523112 |  9492552 |     1336  17717 |        0 |        0
1246.00/1246.48	c 1246s |      26 | 10538215 |  9506052 |     1336  17737 |        0 |        0
1248.00/1248.49	c 1248s |      26 | 10553686 |  9519652 |     1336  17756 |        0 |        0
1250.00/1250.49	c 1250s |      26 | 10569243 |  9533352 |     1336  17776 |        0 |        0
1252.00/1252.50	c 1252s |      26 | 10584886 |  9546952 |     1336  17796 |        0 |        0
1254.10/1254.50	c 1254s |      26 | 10600130 |  9560552 |     1336  17816 |        0 |        0
1256.10/1256.51	c 1256s |      26 | 10615422 |  9574152 |     1336  17836 |        0 |        0
1258.09/1258.51	c 1258s |      26 | 10631401 |  9588152 |     1336  17856 |        0 |        0
1260.09/1260.52	c 1260s |      26 | 10646888 |  9602052 |     1336  17876 |        0 |        0
1262.09/1262.53	c 1262s |      26 | 10662046 |  9615552 |     1336  17896 |        0 |        0
1264.09/1264.54	c 1264s |      26 | 10677215 |  9628952 |     1336  17916 |        0 |        0
1266.09/1266.54	c 1266s |      26 | 10692122 |  9642152 |     1336  17935 |        0 |        0
1268.09/1268.55	c 1268s |      26 | 10707790 |  9655752 |     1336  17955 |        0 |        0
1270.08/1270.56	c 1270s |      26 | 10723588 |  9669852 |     1336  17975 |        0 |        0
1272.08/1272.57	c 1272s |      26 | 10739574 |  9683952 |     1336  17996 |        0 |        0
1274.08/1274.57	c 1274s |      26 | 10755847 |  9698352 |     1336  18017 |        0 |        0
1276.08/1276.58	c 1276s |      26 | 10771983 |  9712452 |     1336  18037 |        0 |        0
1278.18/1278.60	c 1278s |      26 | 10787870 |  9726452 |     1336  18058 |        0 |        0
1280.08/1280.60	c 1280s |      26 | 10803929 |  9740652 |     1336  18078 |        0 |        0
1282.18/1282.61	c 1282s |      26 | 10819664 |  9754952 |     1336  18099 |        0 |        0
1284.18/1284.61	c 1284s |      26 | 10835154 |  9768852 |     1336  18119 |        0 |        0
1286.18/1286.63	c 1286s |      26 | 10851401 |  9782752 |     1336  18140 |        0 |        0
1288.17/1288.63	c 1288s |      26 | 10867234 |  9796852 |     1336  18160 |        0 |        0
1290.18/1290.64	c 1290s |      26 | 10882707 |  9810852 |     1336  18181 |        0 |        0
1292.17/1292.65	c 1292s |      26 | 10898419 |  9824852 |     1336  18201 |        0 |        0
1294.18/1294.65	c 1294s |      26 | 10914512 |  9838952 |     1336  18222 |        0 |        0
1296.18/1296.66	c 1296s |      26 | 10930502 |  9852952 |     1336  18242 |        0 |        0
1298.18/1298.67	c 1298s |      26 | 10946167 |  9866752 |     1336  18262 |        0 |        0
1300.18/1300.68	c 1300s |      26 | 10961796 |  9880452 |     1336  18282 |        0 |        0
1302.18/1302.69	c 1302s |      26 | 10977221 |  9894652 |     1336  18303 |        0 |        0
1304.18/1304.69	c 1304s |      26 | 10992391 |  9908652 |     1336  18323 |        0 |        0
1306.27/1306.70	c 1306s |      26 | 11007247 |  9922652 |     1336  18344 |        0 |        0
1308.27/1308.71	c 1308s |      26 | 11022840 |  9936852 |     1336  18364 |        0 |        0
1310.27/1310.72	c 1310s |      26 | 11038117 |  9950552 |     1336  18384 |        0 |        0
1312.27/1312.72	c 1312s |      26 | 11053852 |  9964452 |     1336  18405 |        0 |        0
1314.28/1314.73	c 1314s |      26 | 11069055 |  9978352 |     1336  18425 |        0 |        0
1316.26/1316.73	c 1316s |      26 | 11084389 |  9992152 |     1336  18445 |        0 |        0
1318.26/1318.74	c 1318s |      26 | 11099984 | 10006052 |     1336  18465 |        0 |        0
1320.26/1320.75	c 1320s |      26 | 11114785 | 10019852 |     1336  18486 |        0 |        0
1322.26/1322.76	c 1322s |      26 | 11129898 | 10033852 |     1336  18506 |        0 |        0
1324.27/1324.76	c 1324s |      26 | 11145179 | 10047652 |     1336  18526 |        0 |        0
1326.26/1326.76	c 1326s |      26 | 11160724 | 10061552 |     1336  18547 |        0 |        0
1328.26/1328.77	c 1328s |      26 | 11177108 | 10075552 |     1336  18567 |        0 |        0
1330.25/1330.78	c 1330s |      26 | 11192535 | 10089152 |     1336  18587 |        0 |        0
1332.25/1332.79	c 1332s |      26 | 11207304 | 10102452 |     1336  18606 |        0 |        0
1334.35/1334.80	c 1334s |      26 | 11222521 | 10116052 |     1336  18626 |        0 |        0
1336.36/1336.80	c 1336s |      26 | 11238117 | 10129952 |     1336  18646 |        0 |        0
1338.35/1338.82	c 1338s |      26 | 11253635 | 10143952 |     1336  18667 |        0 |        0
1340.35/1340.83	c 1340s |      26 | 11268970 | 10158052 |     1336  18687 |        0 |        0
1342.35/1342.83	c 1342s |      26 | 11283998 | 10171952 |     1336  18707 |        0 |        0
1344.35/1344.83	c 1344s |      26 | 11299016 | 10185752 |     1336  18728 |        0 |        0
1346.34/1346.84	c 1346s |      26 | 11314867 | 10199552 |     1336  18748 |        0 |        0
1348.35/1348.85	c 1348s |      26 | 11330623 | 10213352 |     1336  18768 |        0 |        0
1350.34/1350.85	c 1350s |      26 | 11345893 | 10226752 |     1336  18788 |        0 |        0
1352.34/1352.86	c 1352s |      26 | 11361074 | 10240452 |     1336  18807 |        0 |        0
1354.34/1354.88	c 1354s |      26 | 11376798 | 10254252 |     1336  18828 |        0 |        0
1356.34/1356.89	c 1356s |      26 | 11391905 | 10268052 |     1336  18848 |        0 |        0
1358.44/1358.90	c 1358s |      26 | 11406769 | 10281752 |     1336  18868 |        0 |        0
1360.34/1360.90	c 1360s |      26 | 11421971 | 10295352 |     1336  18887 |        0 |        0
1362.44/1362.91	c 1362s |      26 | 11436862 | 10308752 |     1336  18907 |        0 |        0
1364.44/1364.92	c 1364s |      26 | 11452079 | 10322252 |     1336  18926 |        0 |        0
1366.45/1366.93	c 1366s |      26 | 11466736 | 10335652 |     1336  18946 |        0 |        0
1368.45/1368.93	c 1368s |      26 | 11482291 | 10349252 |     1336  18965 |        0 |        0
1370.45/1370.93	c 1370s |      26 | 11497704 | 10362752 |     1336  18985 |        0 |        0
1372.44/1372.94	c 1372s |      26 | 11512100 | 10376052 |     1336  19004 |        0 |        0
1374.44/1374.95	c 1374s |      26 | 11527167 | 10389552 |     1336  19024 |        0 |        0
1376.44/1376.96	c 1376s |      26 | 11542324 | 10403052 |     1336  19044 |        0 |        0
1378.44/1378.96	c 1378s |      26 | 11557152 | 10416252 |     1336  19063 |        0 |        0
1380.44/1380.97	c 1380s |      26 | 11572165 | 10429552 |     1336  19082 |        0 |        0
1382.44/1382.97	c 1382s |      26 | 11587515 | 10443052 |     1336  19102 |        0 |        0
1384.43/1384.98	c 1384s |      26 | 11603330 | 10456852 |     1336  19122 |        0 |        0
1386.43/1386.98	c 1386s |      26 | 11618113 | 10470452 |     1336  19141 |        0 |        0
1388.43/1388.99	c 1388s |      26 | 11632465 | 10483952 |     1336  19161 |        0 |        0
1390.53/1391.00	c 1390s |      26 | 11647461 | 10497452 |     1336  19181 |        0 |        0
1392.54/1393.01	c 1393s |      26 | 11662843 | 10511052 |     1336  19200 |        0 |        0
1394.55/1395.02	c 1395s |      26 | 11677626 | 10524252 |     1336  19220 |        0 |        0
1396.54/1397.03	c 1397s |      26 | 11692457 | 10537752 |     1336  19239 |        0 |        0
1398.54/1399.05	c 1399s |      26 | 11707142 | 10551152 |     1336  19259 |        0 |        0
1400.54/1401.06	c 1401s |      26 | 11722320 | 10564652 |     1336  19278 |        0 |        0
1402.54/1403.07	c 1403s |      26 | 11738060 | 10578252 |     1336  19298 |        0 |        0
1404.54/1405.07	c 1405s |      26 | 11752840 | 10591552 |     1336  19317 |        0 |        0
1406.54/1407.07	c 1407s |      26 | 11767759 | 10605052 |     1336  19337 |        0 |        0
1408.53/1409.08	c 1409s |      26 | 11783478 | 10618552 |     1336  19357 |        0 |        0
1410.53/1411.09	c 1411s |      26 | 11798502 | 10631952 |     1336  19376 |        0 |        0
1412.53/1413.09	c 1413s |      26 | 11813199 | 10645152 |     1336  19395 |        0 |        0
1414.53/1415.09	c 1415s |      26 | 11827753 | 10658452 |     1336  19414 |        0 |        0
1416.54/1417.10	c 1417s |      26 | 11841844 | 10671752 |     1336  19434 |        0 |        0
1418.63/1419.11	c 1419s |      26 | 11856828 | 10685152 |     1336  19453 |        0 |        0
1420.63/1421.12	c 1421s |      26 | 11871260 | 10698652 |     1336  19473 |        0 |        0
1422.63/1423.12	c 1423s |      26 | 11885736 | 10712052 |     1336  19492 |        0 |        0
1424.63/1425.13	c 1425s |      26 | 11900178 | 10725352 |     1336  19512 |        0 |        0
1426.63/1427.14	c 1427s |      26 | 11914688 | 10738952 |     1336  19532 |        0 |        0
1428.64/1429.16	c 1429s |      26 | 11929882 | 10752752 |     1336  19552 |        0 |        0
1430.63/1431.17	c 1431s |      26 | 11945115 | 10766752 |     1336  19572 |        0 |        0
1432.63/1433.18	c 1433s |      26 | 11959833 | 10780552 |     1336  19592 |        0 |        0
1434.63/1435.18	c 1435s |      26 | 11974423 | 10794252 |     1336  19612 |        0 |        0
1436.63/1437.18	c 1437s |      26 | 11989838 | 10807952 |     1336  19632 |        0 |        0
1438.63/1439.19	c 1439s |      26 | 12005196 | 10821652 |     1336  19652 |        0 |        0
1440.63/1441.20	c 1441s |      26 | 12019713 | 10835152 |     1336  19672 |        0 |        0
1442.72/1443.20	c 1443s |      26 | 12034335 | 10848552 |     1336  19691 |        0 |        0
1444.72/1445.21	c 1445s |      26 | 12049089 | 10862352 |     1336  19711 |        0 |        0
1446.72/1447.21	c 1447s |      26 | 12064188 | 10876252 |     1336  19732 |        0 |        0
1448.72/1449.21	c 1449s |      26 | 12079828 | 10890252 |     1336  19752 |        0 |        0
1450.73/1451.23	c 1451s |      26 | 12094985 | 10904152 |     1336  19773 |        0 |        0
1452.72/1453.23	c 1453s |      26 | 12110437 | 10918252 |     1336  19793 |        0 |        0
1454.72/1455.25	c 1455s |      26 | 12125928 | 10932152 |     1336  19813 |        0 |        0
1456.73/1457.27	c 1457s |      26 | 12140716 | 10945952 |     1336  19834 |        0 |        0
1458.73/1459.28	c 1459s |      26 | 12155449 | 10959752 |     1336  19854 |        0 |        0
1460.73/1461.29	c 1461s |      26 | 12170437 | 10973052 |     1336  19873 |        0 |        0
1462.74/1463.29	c 1463s |      26 | 12185519 | 10986352 |     1336  19892 |        0 |        0
1464.73/1465.29	c 1465s |      26 | 12201033 | 10999952 |     1336  19912 |        0 |        0
1466.83/1467.30	c 1467s |      26 | 12215979 | 11013452 |     1336  19932 |        0 |        0
1468.83/1469.30	c 1469s |      26 | 12231752 | 11027352 |     1336  19952 |        0 |        0
1470.83/1471.31	c 1471s |      26 | 12247519 | 11041352 |     1336  19972 |        0 |        0
1472.83/1473.31	c 1473s |      26 | 12263264 | 11055252 |     1336  19993 |        0 |        0
1474.83/1475.32	c 1475s |      26 | 12278479 | 11069152 |     1336  20013 |        0 |        0
1476.83/1477.32	c 1477s |      26 | 12293305 | 11082952 |     1336  20033 |        0 |        0
1478.83/1479.33	c 1479s |      26 | 12308441 | 11096552 |     1336  20053 |        0 |        0
1480.83/1481.34	c 1481s |      26 | 12323176 | 11109852 |     1336  20072 |        0 |        0
1482.83/1483.35	c 1483s |      26 | 12337916 | 11123352 |     1336  20092 |        0 |        0
1484.83/1485.36	c 1485s |      26 | 12353503 | 11137352 |     1336  20112 |        0 |        0
1486.82/1487.37	c 1487s |      26 | 12368801 | 11151152 |     1336  20133 |        0 |        0
1488.82/1489.37	c 1489s |      26 | 12384088 | 11164752 |     1336  20152 |        0 |        0
1490.82/1491.38	c 1491s |      26 | 12398617 | 11178152 |     1336  20172 |        0 |        0
1492.82/1493.38	c 1493s |      26 | 12414424 | 11191752 |     1336  20192 |        0 |        0
1494.82/1495.39	c 1495s |      26 | 12429587 | 11205552 |     1336  20212 |        0 |        0
1496.83/1497.40	c 1497s |      26 | 12445006 | 11219252 |     1336  20232 |        0 |        0
1498.92/1499.41	c 1499s |      26 | 12460257 | 11232852 |     1336  20252 |        0 |        0
1500.92/1501.41	c 1501s |      26 | 12475907 | 11246452 |     1336  20271 |        0 |        0
1502.92/1503.42	c 1503s |      26 | 12491764 | 11260052 |     1336  20291 |        0 |        0
1504.92/1505.43	c 1505s |      26 | 12507636 | 11273652 |     1336  20311 |        0 |        0
1506.92/1507.44	c 1507s |      26 | 12522726 | 11287452 |     1336  20331 |        0 |        0
1508.92/1509.45	c 1509s |      26 | 12538128 | 11301052 |     1336  20351 |        0 |        0
1510.92/1511.45	c 1511s |      26 | 12553298 | 11314852 |     1336  20371 |        0 |        0
1512.92/1513.45	c 1513s |      26 | 12567988 | 11328552 |     1470  20389 |        0 |        0
1514.92/1515.45	c 1515s |      26 | 12583046 | 11341852 |     1470  20407 |        0 |        0
1516.92/1517.46	c 1517s |      26 | 12598088 | 11355452 |     1470  20425 |        0 |        0
1518.93/1519.46	c 1519s |      26 | 12613965 | 11369352 |     1470  20443 |        0 |        0
1520.92/1521.47	c 1521s |      26 | 12629516 | 11383052 |     1470  20461 |        0 |        0
1522.92/1523.48	c 1523s |      26 | 12644164 | 11396152 |     1470  20478 |        0 |        0
1523.02/1523.58	c 1523s |      27 | 12644806 | 11396733 |     1470  20479 |        0 |        0
1525.02/1525.59	c 1525s |      27 | 12660036 | 11410333 |     1470  20497 |        0 |        0
1527.12/1527.60	c 1527s |      27 | 12674858 | 11423733 |     1470  20515 |        0 |        0
1529.12/1529.61	c 1529s |      27 | 12689990 | 11437333 |     1470  20533 |        0 |        0
1531.12/1531.62	c 1531s |      27 | 12704531 | 11450733 |     1470  20550 |        0 |        0
1533.13/1533.62	c 1533s |      27 | 12719053 | 11463933 |     1470  20568 |        0 |        0
1535.12/1535.63	c 1535s |      27 | 12733521 | 11477133 |     1470  20585 |        0 |        0
1537.12/1537.64	c 1537s |      27 | 12748775 | 11490233 |     1470  20602 |        0 |        0
1539.12/1539.64	c 1539s |      27 | 12762987 | 11503133 |     1470  20619 |        0 |        0
1541.12/1541.65	c 1541s |      27 | 12777910 | 11516633 |     1470  20637 |        0 |        0
1543.12/1543.66	c 1543s |      27 | 12792864 | 11530033 |     1470  20655 |        0 |        0
1545.12/1545.67	c 1545s |      27 | 12807437 | 11543533 |     1470  20673 |        0 |        0
1547.11/1547.68	c 1547s |      27 | 12822048 | 11556433 |     1470  20690 |        0 |        0
1549.11/1549.69	c 1549s |      27 | 12836711 | 11569133 |     1470  20706 |        0 |        0
1551.21/1551.70	c 1551s |      27 | 12851437 | 11582133 |     1470  20724 |        0 |        0
1553.21/1553.71	c 1553s |      27 | 12865932 | 11594933 |     1470  20741 |        0 |        0
1555.22/1555.72	c 1555s |      27 | 12880750 | 11608433 |     1470  20758 |        0 |        0
1557.21/1557.72	c 1557s |      27 | 12895439 | 11622033 |     1470  20776 |        0 |        0
1559.21/1559.72	c 1559s |      27 | 12910267 | 11635633 |     1470  20794 |        0 |        0
1561.21/1561.73	c 1561s |      27 | 12925484 | 11649033 |     1470  20812 |        0 |        0
1563.21/1563.73	c 1563s |      27 | 12940469 | 11662633 |     1470  20830 |        0 |        0
1565.21/1565.74	c 1565s |      27 | 12954665 | 11675433 |     1470  20847 |        0 |        0
1567.22/1567.74	c 1567s |      27 | 12969414 | 11688533 |     1470  20864 |        0 |        0
1569.21/1569.75	c 1569s |      27 | 12983794 | 11701633 |     1470  20882 |        0 |        0
1571.21/1571.75	c 1571s |      27 | 12998475 | 11714533 |     1470  20899 |        0 |        0
1573.21/1573.76	c 1573s |      27 | 13013344 | 11728333 |     1470  20917 |        0 |        0
1575.21/1575.76	c 1575s |      27 | 13028802 | 11741933 |     1470  20935 |        0 |        0
1577.21/1577.77	c 1577s |      27 | 13044329 | 11755733 |     1470  20953 |        0 |        0
1579.21/1579.77	c 1579s |      27 | 13058554 | 11769033 |     1470  20971 |        0 |        0
1581.21/1581.77	c 1581s |      27 | 13073596 | 11782433 |     1470  20988 |        0 |        0
1583.21/1583.78	c 1583s |      27 | 13088198 | 11795633 |     1470  21006 |        0 |        0
1585.21/1585.79	c 1585s |      27 | 13103073 | 11809133 |     1470  21024 |        0 |        0
1587.20/1587.80	c 1587s |      27 | 13117956 | 11822833 |     1470  21042 |        0 |        0
1589.21/1589.80	c 1589s |      27 | 13132796 | 11836533 |     1470  21060 |        0 |        0
1591.30/1591.81	c 1591s |      27 | 13148050 | 11850233 |     1470  21078 |        0 |        0
1593.30/1593.82	c 1593s |      27 | 13162905 | 11864133 |     1470  21096 |        0 |        0
1595.30/1595.83	c 1595s |      27 | 13178993 | 11877433 |     1470  21114 |        0 |        0
1597.30/1597.84	c 1597s |      27 | 13194951 | 11890733 |     1470  21132 |        0 |        0
1599.30/1599.85	c 1599s |      27 | 13210172 | 11904233 |     1470  21149 |        0 |        0
1601.31/1601.86	c 1601s |      27 | 13225307 | 11917433 |     1470  21167 |        0 |        0
1603.30/1603.87	c 1603s |      27 | 13241027 | 11930633 |     1470  21184 |        0 |        0
1605.31/1605.88	c 1605s |      27 | 13256468 | 11943933 |     1470  21202 |        0 |        0
1607.31/1607.88	c 1607s |      27 | 13271676 | 11957133 |     1470  21219 |        0 |        0
1609.41/1609.90	c 1609s |      27 | 13287215 | 11970233 |     1470  21236 |        0 |        0
1611.41/1611.91	c 1611s |      27 | 13301146 | 11982833 |     1470  21253 |        0 |        0
1613.41/1613.91	c 1613s |      27 | 13315897 | 11995933 |     1470  21270 |        0 |        0
1615.40/1615.92	c 1615s |      27 | 13330795 | 12008933 |     1470  21287 |        0 |        0
1617.40/1617.92	c 1617s |      27 | 13346223 | 12022233 |     1470  21305 |        0 |        0
1619.40/1619.93	c 1619s |      27 | 13361174 | 12035133 |     1470  21322 |        0 |        0
1621.40/1621.94	c 1621s |      27 | 13376179 | 12048133 |     1470  21339 |        0 |        0
1623.41/1623.95	c 1623s |      27 | 13391544 | 12061333 |     1470  21356 |        0 |        0
1625.40/1625.95	c 1625s |      27 | 13408132 | 12074733 |     1470  21374 |        0 |        0
1627.40/1627.95	c 1627s |      27 | 13423373 | 12088233 |     1470  21392 |        0 |        0
1629.40/1629.96	c 1629s |      27 | 13439126 | 12101533 |     1470  21410 |        0 |        0
1631.40/1631.97	c 1631s |      27 | 13454372 | 12114933 |     1470  21427 |        0 |        0
1633.40/1633.98	c 1633s |      27 | 13469689 | 12128233 |     1470  21445 |        0 |        0
1635.41/1635.98	c 1635s |      27 | 13485449 | 12141633 |     1470  21462 |        0 |        0
1637.40/1637.99	c 1637s |      27 | 13501501 | 12155133 |     1470  21480 |        0 |        0
1639.50/1640.00	c 1639s |      27 | 13517311 | 12168833 |     1470  21498 |        0 |        0
1641.50/1642.01	c 1641s |      27 | 13533025 | 12182133 |     1470  21516 |        0 |        0
1643.50/1644.02	c 1644s |      27 | 13548268 | 12195633 |     1470  21534 |        0 |        0
1645.50/1646.02	c 1646s |      27 | 13563379 | 12208733 |     1470  21551 |        0 |        0
1647.50/1648.03	c 1648s |      27 | 13578649 | 12221933 |     1470  21569 |        0 |        0
1649.50/1650.04	c 1650s |      27 | 13594385 | 12235433 |     1470  21586 |        0 |        0
1651.50/1652.05	c 1652s |      27 | 13609378 | 12248733 |     1470  21604 |        0 |        0
1653.49/1654.05	c 1654s |      27 | 13624585 | 12262233 |     1470  21622 |        0 |        0
1655.49/1656.05	c 1656s |      27 | 13639337 | 12275733 |     1470  21640 |        0 |        0
1657.50/1658.07	c 1658s |      27 | 13654015 | 12289233 |     1470  21657 |        0 |        0
1659.50/1660.07	c 1660s |      27 | 13669280 | 12302633 |     1470  21675 |        0 |        0
1661.50/1662.08	c 1662s |      27 | 13684508 | 12316333 |     1470  21693 |        0 |        0
1663.50/1664.09	c 1664s |      27 | 13700111 | 12329933 |     1470  21711 |        0 |        0
1665.60/1666.10	c 1666s |      27 | 13716208 | 12343633 |     1470  21730 |        0 |        0
1667.60/1668.10	c 1668s |      27 | 13731458 | 12357133 |     1470  21748 |        0 |        0
1669.61/1670.11	c 1670s |      27 | 13746150 | 12369933 |     1470  21765 |        0 |        0
1671.60/1672.12	c 1672s |      27 | 13761414 | 12383633 |     1470  21783 |        0 |        0
1673.60/1674.13	c 1674s |      27 | 13776308 | 12396833 |     1470  21800 |        0 |        0
1675.60/1676.13	c 1676s |      27 | 13791326 | 12409933 |     1470  21817 |        0 |        0
1677.60/1678.14	c 1678s |      27 | 13806734 | 12423533 |     1470  21836 |        0 |        0
1679.60/1680.15	c 1680s |      27 | 13821147 | 12436733 |     1470  21853 |        0 |        0
1681.60/1682.15	c 1682s |      27 | 13836004 | 12449633 |     1470  21870 |        0 |        0
1683.59/1684.16	c 1684s |      27 | 13850783 | 12462933 |     1470  21887 |        0 |        0
1685.59/1686.17	c 1686s |      27 | 13865955 | 12476433 |     1470  21905 |        0 |        0
1687.59/1688.18	c 1688s |      27 | 13880874 | 12489633 |     1470  21923 |        0 |        0
1689.69/1690.20	c 1690s |      27 | 13895489 | 12502533 |     1470  21940 |        0 |        0
1691.69/1692.22	c 1692s |      27 | 13910122 | 12515933 |     1470  21958 |        0 |        0
1693.70/1694.23	c 1694s |      27 | 13924631 | 12529433 |     1470  21975 |        0 |        0
1695.69/1696.24	c 1696s |      27 | 13939383 | 12542733 |     1470  21993 |        0 |        0
1697.69/1698.25	c 1698s |      27 | 13954110 | 12556133 |     1470  22011 |        0 |        0
1699.69/1700.26	c 1700s |      27 | 13969583 | 12569533 |     1470  22028 |        0 |        0
1701.69/1702.26	c 1702s |      27 | 13984450 | 12582333 |     1470  22045 |        0 |        0
1703.69/1704.27	c 1704s |      27 | 13999923 | 12595833 |     1470  22063 |        0 |        0
1705.68/1706.27	c 1706s |      27 | 14015442 | 12609333 |     1470  22081 |        0 |        0
1707.68/1708.28	c 1708s |      27 | 14031422 | 12623133 |     1470  22100 |        0 |        0
1709.68/1710.28	c 1710s |      27 | 14046724 | 12636233 |     1470  22117 |        0 |        0
1711.69/1712.28	c 1712s |      27 | 14062111 | 12649633 |     1470  22135 |        0 |        0
1713.69/1714.29	c 1714s |      27 | 14077501 | 12663133 |     1470  22152 |        0 |        0
1715.70/1716.30	c 1716s |      27 | 14092646 | 12676433 |     1470  22170 |        0 |        0
1717.79/1718.31	c 1718s |      27 | 14108016 | 12689733 |     1470  22187 |        0 |        0
1719.79/1720.32	c 1720s |      27 | 14123477 | 12703533 |     1470  22206 |        0 |        0
1721.79/1722.33	c 1722s |      27 | 14139208 | 12717233 |     1470  22224 |        0 |        0
1723.79/1724.34	c 1724s |      27 | 14155100 | 12730733 |     1470  22242 |        0 |        0
1725.79/1726.35	c 1726s |      27 | 14170315 | 12744233 |     1470  22260 |        0 |        0
1727.79/1728.36	c 1728s |      27 | 14185999 | 12757933 |     1470  22278 |        0 |        0
1729.79/1730.37	c 1730s |      27 | 14201619 | 12771633 |     1470  22296 |        0 |        0
1731.79/1732.38	c 1732s |      27 | 14217019 | 12785033 |     1470  22314 |        0 |        0
1733.79/1734.38	c 1734s |      27 | 14232840 | 12798833 |     1470  22332 |        0 |        0
1735.79/1736.39	c 1736s |      27 | 14248582 | 12812533 |     1470  22350 |        0 |        0
1737.79/1738.39	c 1738s |      27 | 14263686 | 12825633 |     1470  22367 |        0 |        0
1739.78/1740.40	c 1740s |      27 | 14279318 | 12839133 |     1470  22385 |        0 |        0
1741.88/1742.41	c 1742s |      27 | 14295290 | 12852633 |     1470  22403 |        0 |        0
1743.88/1744.42	c 1744s |      27 | 14311138 | 12866333 |     1470  22421 |        0 |        0
1745.88/1746.43	c 1746s |      27 | 14326856 | 12880233 |     1470  22440 |        0 |        0
1747.88/1748.44	c 1748s |      27 | 14341465 | 12893833 |     1470  22458 |        0 |        0
1749.89/1750.45	c 1750s |      27 | 14356291 | 12906933 |     1470  22475 |        0 |        0
1751.88/1752.46	c 1752s |      27 | 14371085 | 12920333 |     1470  22493 |        0 |        0
1753.88/1754.47	c 1754s |      27 | 14385764 | 12933633 |     1470  22510 |        0 |        0
1755.88/1756.49	c 1756s |      27 | 14400037 | 12946733 |     1470  22527 |        0 |        0
1757.89/1758.49	c 1758s |      27 | 14414578 | 12959733 |     1470  22545 |        0 |        0
1759.89/1760.50	c 1760s |      27 | 14429902 | 12972833 |     1470  22562 |        0 |        0
1761.99/1762.51	c 1762s |      27 | 14444140 | 12985733 |     1470  22579 |        0 |        0
1763.98/1764.52	c 1764s |      27 | 14458729 | 12998733 |     1470  22596 |        0 |        0
1765.98/1766.53	c 1766s |      27 | 14473308 | 13012133 |     1470  22614 |        0 |        0
1767.98/1768.53	c 1768s |      27 | 14488225 | 13025633 |     1470  22632 |        0 |        0
1769.98/1770.53	c 1770s |      27 | 14502752 | 13038933 |     1470  22649 |        0 |        0
1771.98/1772.55	c 1772s |      27 | 14517485 | 13052233 |     1470  22667 |        0 |        0
1773.99/1774.55	c 1774s |      27 | 14532011 | 13065333 |     1470  22684 |        0 |        0
1775.98/1776.56	c 1776s |      27 | 14546740 | 13078733 |     1470  22701 |        0 |        0
1777.98/1778.57	c 1778s |      27 | 14561386 | 13092133 |     1470  22719 |        0 |        0
1779.98/1780.58	c 1780s |      27 | 14576098 | 13105433 |     1470  22737 |        0 |        0
1781.98/1782.59	c 1782s |      27 | 14590668 | 13119033 |     1470  22755 |        0 |        0
1784.08/1784.60	c 1784s |      27 | 14605417 | 13132533 |     1470  22773 |        0 |        0
1786.08/1786.60	c 1786s |      27 | 14619797 | 13146133 |     1470  22791 |        0 |        0
1788.08/1788.61	c 1788s |      27 | 14634298 | 13159833 |     1470  22809 |        0 |        0
1790.07/1790.63	c 1790s |      27 | 14648601 | 13173333 |     1470  22827 |        0 |        0
1792.07/1792.64	c 1792s |      27 | 14663016 | 13186733 |     1470  22844 |        0 |        0
1794.07/1794.64	c 1794s |      27 | 14677399 | 13200233 |     1470  22862 |        0 |        0
1796.08/1796.64	c 1796s |      27 | 14692302 | 13213933 |     1470  22880 |        0 |        0
1798.07/1798.64	c 1798s |      27 | 14706971 | 13227433 |     1470  22898 |        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-4089148-1466022137/watcher-4089148-1466022137 -o /tmp/evaluation-result-4089148-1466022137/solver-4089148-1466022137 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089148-1466022137.opb 

pid=7197
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.01 2.03 2.03 3/179 7200
/proc/meminfo: memFree=30432956/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 2943 0 0 0 0 0 0 0 20 0 4 0 4263817 804712448 2794 33554432000 4194304 16246674 140735062870576 140735062870000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 197231 2802 441 2943 0 194125 0
[pid=7200/tid=7201] ppid=7197 vsize=803260 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 822538240 2862 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=808380 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 827781120 2881 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4263817 831975424 2897 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100133 s]
/proc/loadavg: 2.01 2.03 2.03 3/179 7200
/proc/meminfo: memFree=30432956/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 29882 0 0 0 6 3 0 0 20 0 4 0 4263817 1247350784 29721 33554432000 4194304 16246674 140735062870576 140735062870000 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 304529 29738 710 2943 0 301423 0
[pid=7200/tid=7201] ppid=7197 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1247350784 29746 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1247350784 29751 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4263817 1247350784 29759 33554432000 4194304 16246674 140735062870576 140460241702064 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.200544 s]
/proc/loadavg: 2.01 2.03 2.03 3/179 7200
/proc/meminfo: memFree=30432956/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1218116 CPUtime=0.2 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 58846 0 0 0 12 8 0 0 20 0 4 0 4263817 1247350784 58686 33554432000 4194304 16246674 140735062870576 140735062870000 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 304529 58703 710 2943 0 301423 0
[pid=7200/tid=7201] ppid=7197 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1247350784 58709 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1247350784 58715 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4263817 1247350784 58725 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 1218116

[startup+0.300496 s]
/proc/loadavg: 2.01 2.03 2.03 3/179 7200
/proc/meminfo: memFree=30432956/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 87524 0 0 0 18 11 0 0 20 0 4 0 4263817 1247350784 87363 33554432000 4194304 16246674 140735062870576 140735062870000 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 304529 87374 710 2943 0 301423 0
[pid=7200/tid=7201] ppid=7197 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1247350784 87381 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1247350784 87393 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4263817 1247350784 87402 33554432000 4194304 16246674 140735062870576 140460241702064 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.700407 s]
/proc/loadavg: 2.01 2.03 2.03 3/179 7200
/proc/meminfo: memFree=30432956/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 202945 0 0 0 43 26 0 0 20 0 4 0 4263817 1247350784 202784 33554432000 4194304 16246674 140735062870576 140735062852480 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 304529 202798 711 2943 0 301423 0
[pid=7200/tid=7201] ppid=7197 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1247350784 202803 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1247350784 202811 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4263817 1247350784 202822 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.01 2.03 2.03 3/183 7204
/proc/meminfo: memFree=29452316/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 267266 0 0 0 115 34 0 0 20 0 4 0 4263817 1336479744 267085 33554432000 4194304 16246674 140735062870576 140735062869888 5653044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 326289 267085 787 2943 0 323183 0
[pid=7200/tid=7201] ppid=7197 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1336479744 267085 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1336479744 267085 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1336479744 267085 33554432000 4194304 16246674 140735062870576 140460241702064 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) 1305156

[startup+3.1004 s]
/proc/loadavg: 2.01 2.03 2.03 3/183 7204
/proc/meminfo: memFree=29364028/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 267405 0 0 0 275 34 0 0 20 0 4 0 4263817 1337528320 267224 33554432000 4194304 16246674 140735062870576 140735062852480 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 326545 267224 787 2943 0 323439 0
[pid=7200/tid=7201] ppid=7197 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1337528320 267224 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1337528320 267224 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1337528320 267224 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 2.01 2.03 2.03 3/183 7204
/proc/meminfo: memFree=29363796/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 267498 0 0 0 595 34 0 0 20 0 4 0 4263817 1337528320 267317 33554432000 4194304 16246674 140735062870576 140735062852480 13192157 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 326545 267317 787 2943 0 323439 0
[pid=7200/tid=7201] ppid=7197 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1337528320 267317 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1337528320 267317 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1337528320 267317 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.01 2.03 2.03 3/183 7204
/proc/meminfo: memFree=29363708/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 267501 0 0 0 1234 35 0 0 20 0 4 0 4263817 1337528320 267320 33554432000 4194304 16246674 140735062870576 140735062852480 13815568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 326545 267320 789 2943 0 323439 0
[pid=7200/tid=7201] ppid=7197 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1337528320 267320 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1337528320 267320 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1337528320 267320 33554432000 4194304 16246674 140735062870576 140460241702064 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) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.01 2.03 2.03 3/183 7204
/proc/meminfo: memFree=29362488/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 267502 0 0 0 2514 35 0 0 20 0 4 0 4263817 1337528320 267321 33554432000 4194304 16246674 140735062870576 140735062853576 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 326545 267321 789 2943 0 323439 0
[pid=7200/tid=7201] ppid=7197 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1337528320 267321 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1337528320 267321 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1337528320 267321 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.00 2.03 2.03 3/183 7204
/proc/meminfo: memFree=29361092/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 267775 0 0 0 5073 35 0 0 20 0 4 0 4263817 1338576896 267594 33554432000 4194304 16246674 140735062870576 140735062852480 12483215 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 326801 267594 790 2943 0 323695 0
[pid=7200/tid=7201] ppid=7197 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1338576896 267594 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1338576896 267594 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1338576896 267594 33554432000 4194304 16246674 140735062870576 140460241702064 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) 1307204

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/183 7205
/proc/meminfo: memFree=29359020/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 267829 0 0 0 10191 36 0 0 20 0 4 0 4263817 1338576896 267648 33554432000 4194304 16246674 140735062870576 140735062852480 12478249 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 326801 267648 791 2943 0 323695 0
[pid=7200/tid=7201] ppid=7197 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1338576896 267648 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1338576896 267648 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1338576896 267648 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1344868352 269441 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 1313348

[startup+1302.3 s]
/proc/loadavg: 2.18 2.12 2.03 3/183 7235
/proc/meminfo: memFree=29339588/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1315396 CPUtime=1301.88 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 270248 0 0 0 130126 62 0 0 20 0 4 0 4263817 1346965504 269926 33554432000 4194304 16246674 140735062870576 140735062852480 6836561 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 328849 269926 792 2943 0 325743 0
[pid=7200/tid=7201] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269926 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269926 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269926 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.28 2.16 2.05 3/183 7236
/proc/meminfo: memFree=29339476/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1315396 CPUtime=1361.84 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 270315 0 0 0 136122 62 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140735062852480 5808492 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 328849 269953 792 2943 0 325743 0
[pid=7200/tid=7201] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.10 2.13 2.04 3/183 7237
/proc/meminfo: memFree=29340180/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1315396 CPUtime=1421.83 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 270315 0 0 0 142119 64 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140735062852480 13191844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 328849 269953 792 2943 0 325743 0
[pid=7200/tid=7201] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.16 2.13 2.05 3/183 7238
/proc/meminfo: memFree=29339924/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1315396 CPUtime=1481.83 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 270315 0 0 0 148118 65 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140735062852480 12483337 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 328849 269953 792 2943 0 325743 0
[pid=7200/tid=7201] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1315396

[startup+1542.3 s]
/proc/loadavg: 2.30 2.17 2.06 3/183 7240
/proc/meminfo: memFree=29340044/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1315396 CPUtime=1541.82 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 270315 0 0 0 154116 66 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140735062852480 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 328849 269953 792 2943 0 325743 0
[pid=7200/tid=7201] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.16 2.15 2.06 4/183 7290
/proc/meminfo: memFree=29347880/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1315396 CPUtime=1601.8 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 270315 0 0 0 160114 66 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140735062853576 6012096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 328849 269953 792 2943 0 325743 0
[pid=7200/tid=7201] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.15 2.15 2.07 4/183 7291
/proc/meminfo: memFree=29346888/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1315396 CPUtime=1661.81 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 270315 0 0 0 166113 68 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140735062853576 5808212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 328849 269953 792 2943 0 325743 0
[pid=7200/tid=7201] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1346965504 269953 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.30 2.18 2.08 4/184 7295
/proc/meminfo: memFree=29344940/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1316420 CPUtime=1721.79 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 270571 0 0 0 172110 69 0 0 20 0 4 0 4263817 1348014080 270209 33554432000 4194304 16246674 140735062870576 140735062852480 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 329105 270209 792 2943 0 325999 0
[pid=7200/tid=7201] ppid=7197 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1348014080 270209 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1348014080 270209 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1348014080 270209 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1316420

[startup+1782.31 s]
/proc/loadavg: 2.21 2.18 2.09 4/183 7296
/proc/meminfo: memFree=29344388/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1316420 CPUtime=1781.79 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 270571 0 0 0 178109 70 0 0 20 0 4 0 4263817 1348014080 270209 33554432000 4194304 16246674 140735062870576 140735062853576 6022670 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 329105 270209 792 2943 0 325999 0
[pid=7200/tid=7201] ppid=7197 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1348014080 270209 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1348014080 270209 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1348014080 270209 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.16 2.17 2.09 4/183 7296
/proc/meminfo: memFree=29344640/32872528 swapFree=524788/557492
[pid=7200] ppid=7197 vsize=1316420 CPUtime=1800.07 cores=1,3,5,7
/proc/7200/stat : 7200 (toysat) R 7197 7200 5756 0 -1 4202496 270571 0 0 0 179937 70 0 0 20 0 4 0 4263817 1348014080 270209 33554432000 4194304 16246674 140735062870576 140735062853576 5723599 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7200/statm: 329105 270209 792 2943 0 325999 0
[pid=7200/tid=7201] ppid=7197 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7201/stat : 7201 (toysat) S 7197 7200 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4263817 1348014080 270209 33554432000 4194304 16246674 140735062870576 140460262665456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7200/tid=7202] ppid=7197 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7202/stat : 7202 (toysat) S 7197 7200 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4263817 1348014080 270209 33554432000 4194304 16246674 140735062870576 140460252175600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7200/tid=7203] ppid=7197 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/7200/task/7203/stat : 7203 (toysat) S 7197 7200 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4263817 1348014080 270209 33554432000 4194304 16246674 140735062870576 140460241702064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1316420

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7200 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.09
CPU user time (s): 1799.38
CPU system time (s): 0.707892
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.707892
maximum resident set size= 1080836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270571
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= 450
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47432 second user time and 7.04793 second system time

The end

Begin job on node106 at 2016-06-15 22:22:17
IDJOB=4089148
IDBENCH=107365
IDSOLVER=2542
FILE ID=node106/4089148-1466022137
RUNJOBID= node106-1466012020-5773
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid4x27-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089148-1466022137/watcher-4089148-1466022137 -o /tmp/evaluation-result-4089148-1466022137/solver-4089148-1466022137 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089148-1466022137.opb

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

MD5SUM BENCH= 084a2cfc103db362b3fc7553d38ba23d
RANDOM SEED=1079967991

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30433336 kB
Buffers:           24640 kB
Cached:            73768 kB
SwapCached:         1480 kB
Active:          1139740 kB
Inactive:          32004 kB
Active(anon):    1074380 kB
Inactive(anon):     1188 kB
Active(file):      65360 kB
Inactive(file):    30816 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       1629768 kB
Mapped:            10400 kB
Shmem:                 0 kB
Slab:             576552 kB
SReclaimable:      20656 kB
SUnreclaim:       555896 kB
KernelStack:        1520 kB
PageTables:         7464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1775672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node106 at 2016-06-15 22:52:18