0.00/0.00	c 2016-06-16T19:22:19+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-4095847-1466097739.opb"]
0.00/0.01	c use --random-gen="2364132315 1709459031 1893162360 1666871731 3687371570 4120305641 2110787009 4234648400 4082826773 4279282008 3669821653 723434594 1209213598 4292046892 855977266 3934566190 2321478466 2299499652 1206627462 1423788802 514065673 953778019 2552048415 1668682546 1571962515 416667574 1636647821 437751213 1357865190 3101332928 3195571031 203000870 993720960 1582294474 1695522553 574684868 3023565385 2625706525 1094047815 3174628903 2214232493 4248611143 3982531329 725586497 1742807654 886217750 3789818717 318929875 769354828 2034935848 2488461110 808402263 3196740037 4057382986 3313214425 539653308 3338054894 880151428 2361282662 791183086 978025872 3245035147 2050943925 3835055862 302040869 624662597 2059465393 756360954 816895361 1328836013 2268896531 1203991976 3939066235 3281487173 1404961540 3869480762 1415183099 1986079614 3170998137 1118409235 2276618718 3971507425 2968931316 4229011901 433195652 2793422798 3405676303 1069133616 2911034594 1638771356 2953198347 3245553789 3360541589 4264266971 459705368 1417526649 3717459999 971833253 1873640735 2167216798 2640611242 153314957 1060389586 3121593227 762105545 2183083616 375926727 1007375012 4056702510 1530638123 3420917963 3062875093 3719342727 2126049071 1067897496 1553843817 3007628509 1158351788 596051353 3922567913 1650431873 4214517164 3162935165 3077546407 2758165673 3279924403 2112974859 67078639 269912262 2475433012 3181877009 703796632 222252980 3083961156 951262587 4018351452 1097367795 1157505655 930191326 883147229 2048218796 595519406 1748052187 1377731448 56798740 1726882636 3433188355 103315336 2402813860 310926545 3242185081 2817965383 3962542406 712112702 1240069396 2661757543 4250399315 1625150971 2791247952 1814084836 2923067194 2457904313 405586671 760597765 1051727752 1810843574 1884427850 987646742 1915416896 3643999076 3976443794 4210492550 1782847243 1788448638 1413549167 1723635402 338571070 940447961 2893629785 3838821690 885594561 849514838 2080504534 1029712523 3418016238 1735403488 3333674097 2835817437 3015748713 3023610339 4193099768 3952468205 2840749667 1093994121 3158106853 445203338 4267354378 1610066716 1400051874 4242535866 4165736451 900006473 3902257010 3609339779 1601179320 1467638996 602684492 1322337000 1627871784 614352952 1708016390 3183859435 975195938 1655420841 3385747146 2461245203 3807534014 2225759939 2851413688 4109414762 2003040703 2615093380 3279423138 2612855170 2995858413 1521592350 2280648187 847646300 4156532722 724166072 3321079291 756102389 1083889696 518027424 173924631 3206417598 300697421 3821528993 3671153020 3839001418 1656633923 1804996282 3598042947 588158355 3826415937 2036420877 1675059201 3138019309 4081993514 3848629501 801361604 570496025 2251885755 721958949 2005862761 910586 255 362436" option to reproduce the execution
0.00/0.01	c #vars 221
0.00/0.01	c #constraints 110
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 |      110      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      171 |      100 |      110      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      432 |      250 |      122      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      819 |      475 |      135      3 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1345 |      813 |      149      5 |        0 |        0
0.09/0.15	c  0.1s |       5 |     2206 |     1320 |      164      9 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3251 |     2081 |      200     14 |        0 |        0
0.29/0.34	c  0.3s |       7 |     4952 |     3223 |      221     21 |        0 |        0
0.39/0.49	c  0.5s |       8 |     7246 |     4936 |      244     31 |        0 |        0
0.69/0.75	c  0.7s |       9 |    10790 |     7506 |      269     45 |        0 |        0
1.10/1.12	c  1.1s |      10 |    15872 |    11361 |      296     64 |        0 |        0
1.49/1.54	c  1.5s |      11 |    24501 |    17144 |      326     91 |        0 |        0
2.20/2.23	c  2.2s |      12 |    35942 |    25819 |      359    130 |        0 |        0
3.09/3.17	c  3.2s |      13 |    54529 |    38832 |      395    190 |        0 |        0
4.59/4.61	c  4.6s |      14 |    81164 |    58352 |      435    267 |        0 |        0
6.60/6.61	c  6.6s |      14 |   118415 |    83952 |      435    365 |        0 |        0
6.89/6.90	c  6.9s |      15 |   124046 |    87632 |      479    380 |        0 |        0
8.89/8.91	c  8.9s |      15 |   158157 |   112232 |      479    464 |        0 |        0
10.49/10.56	c 10.6s |      16 |   186622 |   131552 |      527    531 |        0 |        0
12.49/12.57	c 12.6s |      16 |   222701 |   155052 |      527    608 |        0 |        0
14.48/14.58	c 14.6s |      16 |   260995 |   179352 |      527    688 |        0 |        0
15.88/15.97	c 16.0s |      17 |   287054 |   197432 |      580    748 |        0 |        0
17.89/17.97	c 18.0s |      17 |   323365 |   221032 |      580    820 |        0 |        0
19.90/19.97	c 20.0s |      17 |   357420 |   244232 |      580    890 |        0 |        0
21.89/21.98	c 22.0s |      17 |   394958 |   268232 |      580    962 |        0 |        0
23.89/23.98	c 24.0s |      17 |   430344 |   291932 |      580   1033 |        0 |        0
24.29/24.36	c 24.3s |      18 |   436958 |   296252 |      638   1045 |        0 |        0
26.29/26.36	c 26.3s |      18 |   470811 |   320352 |      638   1109 |        0 |        0
28.28/28.36	c 28.3s |      18 |   502686 |   343052 |      638   1171 |        0 |        0
30.28/30.36	c 30.4s |      18 |   536252 |   368352 |      638   1239 |        0 |        0
32.28/32.37	c 32.4s |      18 |   568848 |   392852 |      638   1307 |        0 |        0
34.28/34.37	c 34.4s |      18 |   602968 |   418352 |      638   1377 |        0 |        0
36.29/36.38	c 36.4s |      18 |   634376 |   441952 |      702   1442 |        0 |        0
36.58/36.60	c 36.6s |      19 |   637690 |   444482 |      702   1448 |        0 |        0
38.59/38.60	c 38.6s |      19 |   666355 |   466382 |      702   1501 |        0 |        0
40.58/40.61	c 40.6s |      19 |   699460 |   491182 |      702   1562 |        0 |        0
42.59/42.62	c 42.6s |      19 |   729018 |   513882 |      702   1620 |        0 |        0
44.59/44.62	c 44.6s |      19 |   761028 |   537482 |      702   1680 |        0 |        0
46.59/46.62	c 46.6s |      19 |   792877 |   561482 |      702   1743 |        0 |        0
48.59/48.63	c 48.6s |      19 |   827164 |   587182 |      702   1810 |        0 |        0
50.59/50.64	c 50.6s |      19 |   859292 |   609882 |      702   1871 |        0 |        0
52.58/52.64	c 52.6s |      19 |   890137 |   632782 |      702   1930 |        0 |        0
54.58/54.64	c 54.6s |      19 |   922288 |   655682 |      702   1991 |        0 |        0
55.58/55.68	c 55.7s |      20 |   936767 |   666827 |      773   2019 |        0 |        0
57.58/57.68	c 57.7s |      20 |   966629 |   689727 |      773   2070 |        0 |        0
59.58/59.68	c 59.7s |      20 |   996584 |   712227 |      773   2121 |        0 |        0
61.58/61.68	c 61.7s |      20 |  1023541 |   733127 |      773   2170 |        0 |        0
63.58/63.68	c 63.7s |      20 |  1050875 |   754227 |      773   2221 |        0 |        0
65.58/65.68	c 65.7s |      20 |  1078282 |   775327 |      773   2272 |        0 |        0
67.58/67.69	c 67.7s |      20 |  1106189 |   796327 |      773   2323 |        0 |        0
69.58/69.69	c 69.7s |      20 |  1136215 |   818527 |      773   2376 |        0 |        0
71.58/71.69	c 71.7s |      20 |  1167888 |   842427 |      773   2434 |        0 |        0
73.58/73.70	c 73.7s |      20 |  1199261 |   866027 |      773   2490 |        0 |        0
75.68/75.71	c 75.7s |      20 |  1229838 |   889527 |      773   2548 |        0 |        0
77.68/77.71	c 77.7s |      20 |  1262655 |   913727 |      773   2607 |        0 |        0
79.68/79.71	c 79.7s |      20 |  1293710 |   936927 |      773   2663 |        0 |        0
81.68/81.72	c 81.7s |      20 |  1321228 |   957627 |      773   2714 |        0 |        0
83.69/83.72	c 83.7s |      20 |  1353366 |   980327 |      773   2769 |        0 |        0
85.58/85.62	c 85.6s |      21 |  1381092 |  1000345 |      851   2817 |        0 |        0
87.58/87.62	c 87.6s |      21 |  1409484 |  1022545 |      851   2865 |        0 |        0
89.58/89.62	c 89.6s |      21 |  1435315 |  1042545 |      851   2909 |        0 |        0
91.58/91.62	c 91.6s |      21 |  1463364 |  1063945 |      851   2956 |        0 |        0
93.59/93.63	c 93.6s |      21 |  1491727 |  1084745 |      851   3002 |        0 |        0
95.58/95.63	c 95.6s |      21 |  1518125 |  1104545 |      851   3046 |        0 |        0
97.58/97.64	c 97.6s |      21 |  1545177 |  1124645 |      851   3090 |        0 |        0
99.58/99.64	c 99.6s |      21 |  1571483 |  1144845 |      851   3135 |        0 |        0
101.57/101.65	c  101s |      21 |  1602464 |  1166845 |      851   3184 |        0 |        0
103.57/103.65	c  103s |      21 |  1631369 |  1188345 |      851   3232 |        0 |        0
105.58/105.65	c  105s |      21 |  1661115 |  1210545 |      851   3281 |        0 |        0
107.57/107.66	c  107s |      21 |  1690345 |  1232845 |      851   3330 |        0 |        0
109.57/109.66	c  109s |      21 |  1718694 |  1254345 |      851   3378 |        0 |        0
111.57/111.67	c  111s |      21 |  1748053 |  1276345 |      851   3426 |        0 |        0
113.57/113.67	c  113s |      21 |  1777934 |  1298045 |      851   3475 |        0 |        0
115.58/115.67	c  115s |      21 |  1806520 |  1319545 |      851   3522 |        0 |        0
117.57/117.68	c  117s |      21 |  1834767 |  1340745 |      851   3569 |        0 |        0
119.57/119.68	c  119s |      21 |  1863381 |  1362445 |      851   3617 |        0 |        0
121.57/121.68	c  121s |      21 |  1893297 |  1383845 |      851   3665 |        0 |        0
123.57/123.69	c  123s |      21 |  1923251 |  1405245 |      851   3712 |        0 |        0
125.57/125.69	c  125s |      21 |  1951266 |  1426345 |      851   3758 |        0 |        0
127.57/127.70	c  127s |      21 |  1979907 |  1447945 |      851   3805 |        0 |        0
129.67/129.71	c  129s |      21 |  2010258 |  1469845 |      851   3854 |        0 |        0
131.67/131.71	c  131s |      21 |  2039671 |  1491645 |      937   3901 |        0 |        0
132.57/132.60	c  132s |      22 |  2051624 |  1500622 |      937   3920 |        0 |        0
134.57/134.60	c  134s |      22 |  2079755 |  1521722 |      937   3960 |        0 |        0
136.57/136.60	c  136s |      22 |  2109938 |  1543822 |      937   4003 |        0 |        0
138.58/138.61	c  138s |      22 |  2136979 |  1564422 |      937   4044 |        0 |        0
140.57/140.62	c  140s |      22 |  2165733 |  1585422 |      937   4084 |        0 |        0
142.57/142.63	c  142s |      22 |  2195622 |  1606622 |      937   4127 |        0 |        0
144.57/144.64	c  144s |      22 |  2225663 |  1627722 |      937   4169 |        0 |        0
146.57/146.64	c  146s |      22 |  2252469 |  1647222 |      937   4209 |        0 |        0
148.58/148.65	c  148s |      22 |  2282551 |  1669022 |      937   4253 |        0 |        0
150.57/150.66	c  150s |      22 |  2309591 |  1689522 |      937   4293 |        0 |        0
152.57/152.67	c  152s |      22 |  2337827 |  1710522 |      937   4336 |        0 |        0
154.57/154.67	c  154s |      22 |  2364078 |  1730522 |      937   4376 |        0 |        0
156.57/156.67	c  156s |      22 |  2390689 |  1750522 |      937   4416 |        0 |        0
158.56/158.68	c  158s |      22 |  2418085 |  1771222 |      937   4457 |        0 |        0
160.57/160.68	c  160s |      22 |  2446960 |  1792122 |      937   4499 |        0 |        0
162.56/162.69	c  162s |      22 |  2473863 |  1811922 |      937   4540 |        0 |        0
164.56/164.69	c  164s |      22 |  2501161 |  1831722 |      937   4580 |        0 |        0
166.66/166.70	c  166s |      22 |  2530926 |  1852922 |      937   4622 |        0 |        0
168.66/168.71	c  168s |      22 |  2558153 |  1872622 |      937   4662 |        0 |        0
170.67/170.71	c  170s |      22 |  2588392 |  1893922 |      937   4705 |        0 |        0
172.68/172.72	c  172s |      22 |  2619140 |  1915522 |      937   4749 |        0 |        0
174.67/174.72	c  174s |      22 |  2646133 |  1935822 |      937   4789 |        0 |        0
176.67/176.72	c  176s |      22 |  2675246 |  1957422 |      937   4833 |        0 |        0
178.67/178.73	c  178s |      22 |  2706132 |  1979122 |      937   4877 |        0 |        0
180.67/180.73	c  180s |      22 |  2735387 |  2000622 |      937   4920 |        0 |        0
182.67/182.74	c  182s |      22 |  2761887 |  2020922 |      937   4961 |        0 |        0
184.66/184.74	c  184s |      22 |  2788818 |  2041522 |      937   5001 |        0 |        0
186.66/186.75	c  186s |      22 |  2818972 |  2063122 |      937   5045 |        0 |        0
188.66/188.75	c  188s |      22 |  2845647 |  2083422 |      937   5086 |        0 |        0
190.66/190.76	c  190s |      22 |  2876578 |  2105022 |      937   5129 |        0 |        0
192.66/192.76	c  192s |      22 |  2906342 |  2125122 |      937   5169 |        0 |        0
194.67/194.77	c  194s |      22 |  2938715 |  2146922 |      937   5212 |        0 |        0
196.66/196.78	c  196s |      22 |  2968839 |  2167422 |      937   5254 |        0 |        0
198.66/198.79	c  198s |      22 |  3001515 |  2189422 |      937   5299 |        0 |        0
200.66/200.79	c  200s |      22 |  3031174 |  2210422 |      937   5341 |        0 |        0
202.66/202.79	c  202s |      22 |  3063917 |  2231422 |      937   5383 |        0 |        0
204.56/204.64	c  204s |      23 |  3096072 |  2251038 |     1031   5420 |        0 |        0
206.56/206.65	c  206s |      23 |  3124377 |  2271538 |     1031   5456 |        0 |        0
208.56/208.65	c  208s |      23 |  3150264 |  2291038 |     1031   5491 |        0 |        0
210.56/210.66	c  210s |      23 |  3176260 |  2310538 |     1031   5525 |        0 |        0
212.56/212.66	c  212s |      23 |  3202160 |  2329538 |     1031   5559 |        0 |        0
214.56/214.66	c  214s |      23 |  3228880 |  2348838 |     1031   5593 |        0 |        0
216.56/216.67	c  216s |      23 |  3253865 |  2367538 |     1031   5626 |        0 |        0
218.55/218.68	c  218s |      23 |  3279195 |  2386138 |     1031   5659 |        0 |        0
220.55/220.69	c  220s |      23 |  3304280 |  2405038 |     1031   5693 |        0 |        0
222.55/222.69	c  222s |      23 |  3330281 |  2424938 |     1031   5728 |        0 |        0
224.55/224.69	c  224s |      23 |  3358211 |  2445138 |     1031   5764 |        0 |        0
226.56/226.69	c  226s |      23 |  3385821 |  2465338 |     1031   5800 |        0 |        0
228.56/228.69	c  228s |      23 |  3409935 |  2484138 |     1031   5834 |        0 |        0
230.56/230.69	c  230s |      23 |  3436482 |  2503838 |     1031   5869 |        0 |        0
232.66/232.70	c  232s |      23 |  3464592 |  2524438 |     1031   5906 |        0 |        0
234.66/234.70	c  234s |      23 |  3492657 |  2545938 |     1031   5946 |        0 |        0
236.66/236.71	c  236s |      23 |  3522209 |  2567038 |     1031   5984 |        0 |        0
238.66/238.71	c  238s |      23 |  3548278 |  2586838 |     1031   6020 |        0 |        0
240.66/240.72	c  240s |      23 |  3574610 |  2605938 |     1031   6056 |        0 |        0
242.66/242.73	c  242s |      23 |  3601082 |  2625538 |     1031   6092 |        0 |        0
244.66/244.73	c  244s |      23 |  3628300 |  2645338 |     1031   6128 |        0 |        0
246.66/246.73	c  246s |      23 |  3655061 |  2664538 |     1031   6164 |        0 |        0
248.66/248.73	c  248s |      23 |  3679595 |  2682938 |     1031   6198 |        0 |        0
250.65/250.74	c  250s |      23 |  3705203 |  2701838 |     1031   6233 |        0 |        0
252.65/252.74	c  252s |      23 |  3731287 |  2721138 |     1031   6268 |        0 |        0
254.65/254.75	c  254s |      23 |  3756954 |  2740238 |     1031   6304 |        0 |        0
256.65/256.76	c  256s |      23 |  3785469 |  2760538 |     1031   6341 |        0 |        0
258.65/258.77	c  258s |      23 |  3811572 |  2780138 |     1031   6377 |        0 |        0
260.66/260.77	c  260s |      23 |  3835844 |  2799138 |     1031   6411 |        0 |        0
262.65/262.77	c  262s |      23 |  3860382 |  2817538 |     1031   6445 |        0 |        0
264.65/264.78	c  264s |      23 |  3883581 |  2835438 |     1031   6478 |        0 |        0
266.65/266.78	c  266s |      23 |  3908177 |  2853638 |     1031   6511 |        0 |        0
268.65/268.78	c  268s |      23 |  3934842 |  2873538 |     1031   6547 |        0 |        0
270.65/270.79	c  270s |      23 |  3960584 |  2893038 |     1031   6582 |        0 |        0
272.64/272.80	c  272s |      23 |  3986361 |  2912838 |     1031   6617 |        0 |        0
274.74/274.80	c  274s |      23 |  4009586 |  2930838 |     1031   6650 |        0 |        0
276.74/276.81	c  276s |      23 |  4036176 |  2950938 |     1031   6686 |        0 |        0
278.75/278.81	c  278s |      23 |  4063468 |  2971138 |     1031   6723 |        0 |        0
280.75/280.82	c  280s |      23 |  4091067 |  2991338 |     1031   6760 |        0 |        0
282.76/282.83	c  282s |      23 |  4116356 |  3010738 |     1031   6796 |        0 |        0
284.75/284.83	c  284s |      23 |  4141063 |  3029638 |     1031   6830 |        0 |        0
286.75/286.83	c  286s |      23 |  4166369 |  3049038 |     1031   6866 |        0 |        0
288.75/288.84	c  288s |      23 |  4191436 |  3068438 |     1031   6901 |        0 |        0
290.75/290.84	c  290s |      23 |  4216973 |  3087438 |     1031   6936 |        0 |        0
292.75/292.85	c  292s |      23 |  4242550 |  3106938 |     1031   6972 |        0 |        0
294.75/294.85	c  294s |      23 |  4268956 |  3126538 |     1031   7008 |        0 |        0
296.74/296.87	c  296s |      23 |  4294454 |  3145638 |     1031   7043 |        0 |        0
298.74/298.87	c  298s |      23 |  4319575 |  3164538 |     1031   7077 |        0 |        0
300.74/300.88	c  300s |      23 |  4343670 |  3182638 |     1031   7111 |        0 |        0
302.74/302.89	c  302s |      23 |  4368604 |  3201738 |     1031   7146 |        0 |        0
304.75/304.89	c  304s |      23 |  4394590 |  3220438 |     1031   7181 |        0 |        0
306.74/306.90	c  306s |      23 |  4421447 |  3240338 |     1031   7218 |        0 |        0
308.84/308.90	c  308s |      23 |  4445892 |  3258538 |     1031   7251 |        0 |        0
310.84/310.90	c  310s |      23 |  4470551 |  3277338 |     1031   7286 |        0 |        0
312.84/312.91	c  312s |      23 |  4496049 |  3296238 |     1031   7322 |        0 |        0
314.85/314.92	c  314s |      23 |  4521848 |  3314738 |     1031   7356 |        0 |        0
316.85/316.93	c  316s |      23 |  4547663 |  3334438 |     1031   7393 |        0 |        0
318.85/318.93	c  318s |      23 |  4573673 |  3354138 |     1135   7429 |        0 |        0
320.85/320.94	c  320s |      23 |  4599101 |  3372638 |     1135   7460 |        0 |        0
321.25/321.34	c  321s |      24 |  4604563 |  3376662 |     1135   7467 |        0 |        0
323.24/323.34	c  323s |      24 |  4626755 |  3394862 |     1135   7496 |        0 |        0
325.24/325.34	c  325s |      24 |  4651133 |  3413462 |     1135   7526 |        0 |        0
327.24/327.34	c  327s |      24 |  4675786 |  3432362 |     1135   7557 |        0 |        0
329.24/329.34	c  329s |      24 |  4700822 |  3451262 |     1135   7587 |        0 |        0
331.24/331.35	c  331s |      24 |  4726224 |  3470462 |     1135   7618 |        0 |        0
333.25/333.36	c  333s |      24 |  4751890 |  3490162 |     1135   7650 |        0 |        0
335.24/335.36	c  335s |      24 |  4776368 |  3509162 |     1135   7682 |        0 |        0
337.24/337.37	c  337s |      24 |  4801438 |  3528462 |     1135   7713 |        0 |        0
339.24/339.37	c  339s |      24 |  4827410 |  3548062 |     1135   7745 |        0 |        0
341.24/341.39	c  341s |      24 |  4853242 |  3567662 |     1135   7778 |        0 |        0
343.25/343.39	c  343s |      24 |  4877973 |  3586162 |     1135   7808 |        0 |        0
345.24/345.39	c  345s |      24 |  4902362 |  3604762 |     1135   7839 |        0 |        0
347.24/347.39	c  347s |      24 |  4925047 |  3622662 |     1135   7868 |        0 |        0
349.24/349.40	c  349s |      24 |  4949909 |  3641462 |     1135   7898 |        0 |        0
351.34/351.41	c  351s |      24 |  4975978 |  3661362 |     1135   7930 |        0 |        0
353.34/353.41	c  353s |      24 |  5000334 |  3680262 |     1135   7962 |        0 |        0
355.34/355.42	c  355s |      24 |  5025413 |  3699162 |     1135   7993 |        0 |        0
357.34/357.42	c  357s |      24 |  5050703 |  3718262 |     1135   8026 |        0 |        0
359.33/359.43	c  359s |      24 |  5075710 |  3737262 |     1135   8057 |        0 |        0
361.33/361.44	c  361s |      24 |  5100229 |  3755962 |     1135   8089 |        0 |        0
363.33/363.44	c  363s |      24 |  5124335 |  3774562 |     1135   8119 |        0 |        0
365.33/365.45	c  365s |      24 |  5148648 |  3793162 |     1135   8150 |        0 |        0
367.34/367.47	c  367s |      24 |  5171621 |  3811262 |     1135   8179 |        0 |        0
369.33/369.47	c  369s |      24 |  5197227 |  3830362 |     1135   8210 |        0 |        0
371.33/371.48	c  371s |      24 |  5220855 |  3848262 |     1135   8239 |        0 |        0
373.33/373.48	c  373s |      24 |  5244531 |  3866362 |     1135   8269 |        0 |        0
375.33/375.49	c  375s |      24 |  5269698 |  3885862 |     1135   8301 |        0 |        0
377.43/377.50	c  377s |      24 |  5293961 |  3904362 |     1135   8331 |        0 |        0
379.33/379.50	c  379s |      24 |  5317773 |  3922162 |     1135   8361 |        0 |        0
381.43/381.51	c  381s |      24 |  5342392 |  3941062 |     1135   8392 |        0 |        0
383.43/383.52	c  383s |      24 |  5365620 |  3959062 |     1135   8422 |        0 |        0
385.43/385.52	c  385s |      24 |  5389325 |  3977262 |     1135   8452 |        0 |        0
387.43/387.53	c  387s |      24 |  5412072 |  3995162 |     1135   8480 |        0 |        0
389.43/389.54	c  389s |      24 |  5437178 |  4013862 |     1135   8511 |        0 |        0
391.43/391.54	c  391s |      24 |  5460020 |  4031662 |     1135   8540 |        0 |        0
393.44/393.54	c  393s |      24 |  5485178 |  4050862 |     1135   8571 |        0 |        0
395.43/395.54	c  395s |      24 |  5509819 |  4069362 |     1135   8601 |        0 |        0
397.43/397.55	c  397s |      24 |  5532591 |  4086562 |     1135   8629 |        0 |        0
399.43/399.56	c  399s |      24 |  5553882 |  4103262 |     1135   8656 |        0 |        0
401.44/401.57	c  401s |      24 |  5577461 |  4121462 |     1135   8686 |        0 |        0
403.43/403.57	c  403s |      24 |  5601189 |  4139262 |     1135   8715 |        0 |        0
405.43/405.57	c  405s |      24 |  5625669 |  4157362 |     1135   8745 |        0 |        0
407.43/407.58	c  407s |      24 |  5652220 |  4176262 |     1135   8776 |        0 |        0
409.43/409.58	c  409s |      24 |  5677110 |  4194962 |     1135   8806 |        0 |        0
411.44/411.59	c  411s |      24 |  5702122 |  4213062 |     1135   8837 |        0 |        0
413.43/413.60	c  413s |      24 |  5724691 |  4229662 |     1135   8865 |        0 |        0
415.53/415.61	c  415s |      24 |  5747212 |  4246262 |     1135   8894 |        0 |        0
417.53/417.62	c  417s |      24 |  5772055 |  4264562 |     1135   8924 |        0 |        0
419.53/419.62	c  419s |      24 |  5798774 |  4284762 |     1135   8958 |        0 |        0
421.53/421.63	c  421s |      24 |  5824968 |  4304562 |     1135   8990 |        0 |        0
423.53/423.64	c  423s |      24 |  5849691 |  4323562 |     1135   9021 |        0 |        0
425.53/425.64	c  425s |      24 |  5873130 |  4341262 |     1135   9051 |        0 |        0
427.53/427.65	c  427s |      24 |  5896468 |  4358462 |     1135   9080 |        0 |        0
429.52/429.65	c  429s |      24 |  5922067 |  4377262 |     1135   9111 |        0 |        0
431.52/431.65	c  431s |      24 |  5945758 |  4395062 |     1135   9141 |        0 |        0
433.52/433.66	c  433s |      24 |  5970076 |  4413262 |     1135   9171 |        0 |        0
435.53/435.66	c  435s |      24 |  5995567 |  4432562 |     1135   9204 |        0 |        0
437.52/437.67	c  437s |      24 |  6020762 |  4451362 |     1135   9235 |        0 |        0
439.52/439.67	c  439s |      24 |  6045407 |  4469562 |     1135   9265 |        0 |        0
441.52/441.68	c  441s |      24 |  6066754 |  4485962 |     1135   9292 |        0 |        0
443.53/443.69	c  443s |      24 |  6089525 |  4502662 |     1135   9320 |        0 |        0
445.53/445.69	c  445s |      24 |  6111583 |  4519362 |     1135   9348 |        0 |        0
447.63/447.70	c  447s |      24 |  6134814 |  4536562 |     1135   9377 |        0 |        0
449.62/449.71	c  449s |      24 |  6157824 |  4554362 |     1135   9407 |        0 |        0
451.62/451.72	c  451s |      24 |  6181697 |  4572362 |     1135   9438 |        0 |        0
453.62/453.73	c  453s |      24 |  6203066 |  4589562 |     1135   9467 |        0 |        0
455.62/455.73	c  455s |      24 |  6228140 |  4608262 |     1135   9499 |        0 |        0
457.63/457.74	c  457s |      24 |  6251047 |  4626062 |     1135   9528 |        0 |        0
459.62/459.74	c  459s |      24 |  6276366 |  4644962 |     1135   9560 |        0 |        0
461.62/461.75	c  461s |      24 |  6301210 |  4663862 |     1135   9591 |        0 |        0
463.62/463.76	c  463s |      24 |  6327218 |  4683262 |     1135   9623 |        0 |        0
465.62/465.77	c  465s |      24 |  6351795 |  4701762 |     1135   9654 |        0 |        0
467.62/467.77	c  467s |      24 |  6375128 |  4719362 |     1135   9683 |        0 |        0
469.62/469.78	c  469s |      24 |  6398699 |  4736862 |     1135   9712 |        0 |        0
471.62/471.79	c  471s |      24 |  6422386 |  4755062 |     1135   9742 |        0 |        0
473.62/473.79	c  473s |      24 |  6446611 |  4773462 |     1135   9773 |        0 |        0
475.61/475.80	c  475s |      24 |  6469986 |  4790762 |     1135   9802 |        0 |        0
477.71/477.80	c  477s |      24 |  6493897 |  4808862 |     1135   9832 |        0 |        0
479.71/479.81	c  479s |      24 |  6516896 |  4826362 |     1135   9862 |        0 |        0
481.72/481.82	c  481s |      24 |  6538865 |  4843562 |     1135   9891 |        0 |        0
483.71/483.83	c  483s |      24 |  6563030 |  4861462 |     1135   9921 |        0 |        0
485.71/485.84	c  485s |      24 |  6586539 |  4879262 |     1135   9951 |        0 |        0
487.72/487.85	c  487s |      24 |  6609392 |  4896662 |     1135   9980 |        0 |        0
489.72/489.85	c  489s |      24 |  6632695 |  4914062 |     1135  10009 |        0 |        0
491.73/491.86	c  491s |      24 |  6655664 |  4931762 |     1135  10039 |        0 |        0
493.72/493.87	c  493s |      24 |  6681074 |  4950462 |     1135  10071 |        0 |        0
495.72/495.87	c  495s |      24 |  6705984 |  4968962 |     1135  10102 |        0 |        0
497.72/497.88	c  497s |      24 |  6732418 |  4988062 |     1135  10134 |        0 |        0
499.72/499.88	c  499s |      24 |  6755673 |  5005162 |     1135  10163 |        0 |        0
501.72/501.88	c  501s |      24 |  6778270 |  5021762 |     1135  10190 |        0 |        0
503.72/503.90	c  503s |      24 |  6800069 |  5038262 |     1249  10216 |        0 |        0
505.82/505.90	c  505s |      24 |  6822523 |  5055062 |     1249  10242 |        0 |        0
506.92/507.05	c  507s |      25 |  6835701 |  5065098 |     1249  10257 |        0 |        0
508.91/509.06	c  509s |      25 |  6860095 |  5082798 |     1249  10284 |        0 |        0
510.91/511.06	c  511s |      25 |  6885283 |  5100398 |     1249  10311 |        0 |        0
512.91/513.06	c  513s |      25 |  6908868 |  5118198 |     1249  10337 |        0 |        0
514.91/515.07	c  515s |      25 |  6931124 |  5135098 |     1249  10363 |        0 |        0
516.92/517.07	c  517s |      25 |  6958251 |  5154198 |     1249  10392 |        0 |        0
518.91/519.08	c  519s |      25 |  6980810 |  5171098 |     1249  10418 |        0 |        0
520.91/521.09	c  521s |      25 |  7004656 |  5188898 |     1249  10445 |        0 |        0
523.01/523.10	c  523s |      25 |  7027112 |  5205598 |     1249  10470 |        0 |        0
525.01/525.10	c  525s |      25 |  7052456 |  5223698 |     1249  10496 |        0 |        0
527.01/527.10	c  527s |      25 |  7076869 |  5241498 |     1249  10523 |        0 |        0
528.91/529.10	c  529s |      25 |  7102221 |  5259198 |     1249  10550 |        0 |        0
531.01/531.10	c  531s |      25 |  7126831 |  5276698 |     1249  10576 |        0 |        0
533.01/533.11	c  533s |      25 |  7153023 |  5295498 |     1249  10604 |        0 |        0
535.01/535.11	c  535s |      25 |  7179498 |  5313898 |     1249  10632 |        0 |        0
537.01/537.11	c  537s |      25 |  7202319 |  5331098 |     1249  10659 |        0 |        0
539.01/539.12	c  539s |      25 |  7225332 |  5348198 |     1249  10684 |        0 |        0
541.01/541.12	c  541s |      25 |  7251552 |  5366998 |     1249  10713 |        0 |        0
543.01/543.13	c  543s |      25 |  7276265 |  5384398 |     1249  10739 |        0 |        0
545.01/545.13	c  545s |      25 |  7296566 |  5399598 |     1249  10762 |        0 |        0
547.01/547.13	c  547s |      25 |  7319987 |  5416798 |     1249  10787 |        0 |        0
549.01/549.14	c  549s |      25 |  7343551 |  5434198 |     1249  10814 |        0 |        0
551.01/551.15	c  551s |      25 |  7366417 |  5451598 |     1249  10840 |        0 |        0
553.01/553.16	c  553s |      25 |  7389942 |  5468898 |     1249  10866 |        0 |        0
555.01/555.17	c  555s |      25 |  7415042 |  5486598 |     1249  10893 |        0 |        0
557.01/557.17	c  557s |      25 |  7437345 |  5503698 |     1249  10919 |        0 |        0
559.01/559.18	c  559s |      25 |  7461161 |  5521198 |     1249  10945 |        0 |        0
561.01/561.18	c  561s |      25 |  7486895 |  5538998 |     1249  10972 |        0 |        0
563.00/563.19	c  563s |      25 |  7509034 |  5555998 |     1249  10997 |        0 |        0
565.00/565.19	c  565s |      25 |  7533535 |  5573398 |     1249  11023 |        0 |        0
567.10/567.20	c  567s |      25 |  7558009 |  5591398 |     1249  11050 |        0 |        0
569.10/569.21	c  569s |      25 |  7581734 |  5608498 |     1249  11076 |        0 |        0
571.10/571.21	c  571s |      25 |  7603698 |  5624698 |     1249  11100 |        0 |        0
573.11/573.22	c  573s |      25 |  7629158 |  5642898 |     1249  11128 |        0 |        0
575.10/575.22	c  575s |      25 |  7652530 |  5659098 |     1249  11153 |        0 |        0
577.10/577.22	c  577s |      25 |  7677734 |  5677098 |     1249  11180 |        0 |        0
579.10/579.23	c  579s |      25 |  7702559 |  5694898 |     1249  11207 |        0 |        0
581.10/581.23	c  581s |      25 |  7726761 |  5711998 |     1249  11233 |        0 |        0
583.10/583.24	c  583s |      25 |  7748824 |  5728298 |     1249  11258 |        0 |        0
585.11/585.25	c  585s |      25 |  7770495 |  5744498 |     1249  11282 |        0 |        0
587.10/587.26	c  587s |      25 |  7795952 |  5762098 |     1249  11309 |        0 |        0
589.10/589.27	c  589s |      25 |  7817595 |  5778198 |     1249  11333 |        0 |        0
591.10/591.28	c  591s |      25 |  7841427 |  5795398 |     1249  11360 |        0 |        0
593.10/593.29	c  593s |      25 |  7865767 |  5812998 |     1249  11387 |        0 |        0
595.20/595.30	c  595s |      25 |  7889655 |  5829998 |     1249  11412 |        0 |        0
597.10/597.30	c  597s |      25 |  7913631 |  5846398 |     1249  11437 |        0 |        0
599.20/599.31	c  599s |      25 |  7938003 |  5863498 |     1249  11464 |        0 |        0
601.20/601.32	c  601s |      25 |  7964030 |  5881398 |     1249  11491 |        0 |        0
603.20/603.33	c  603s |      25 |  7985790 |  5897098 |     1249  11516 |        0 |        0
605.20/605.33	c  605s |      25 |  8010800 |  5914998 |     1249  11543 |        0 |        0
607.20/607.34	c  607s |      25 |  8034092 |  5931698 |     1249  11569 |        0 |        0
609.19/609.35	c  609s |      25 |  8057894 |  5948698 |     1249  11596 |        0 |        0
611.19/611.36	c  611s |      25 |  8083268 |  5966898 |     1249  11623 |        0 |        0
613.19/613.37	c  613s |      25 |  8107698 |  5984298 |     1249  11649 |        0 |        0
615.20/615.37	c  615s |      25 |  8132286 |  6001998 |     1249  11676 |        0 |        0
617.20/617.37	c  617s |      25 |  8159714 |  6021398 |     1249  11705 |        0 |        0
619.21/619.39	c  619s |      25 |  8186253 |  6039598 |     1249  11732 |        0 |        0
621.30/621.40	c  621s |      25 |  8211428 |  6057998 |     1249  11760 |        0 |        0
623.30/623.41	c  623s |      25 |  8235540 |  6075998 |     1249  11787 |        0 |        0
625.30/625.41	c  625s |      25 |  8261370 |  6093998 |     1249  11815 |        0 |        0
627.30/627.42	c  627s |      25 |  8284938 |  6110698 |     1249  11841 |        0 |        0
629.30/629.42	c  629s |      25 |  8311688 |  6129598 |     1249  11870 |        0 |        0
631.31/631.43	c  631s |      25 |  8335169 |  6146798 |     1249  11896 |        0 |        0
633.30/633.43	c  633s |      25 |  8358873 |  6164398 |     1249  11923 |        0 |        0
635.30/635.44	c  635s |      25 |  8382782 |  6181998 |     1249  11950 |        0 |        0
637.30/637.45	c  637s |      25 |  8409369 |  6200598 |     1249  11978 |        0 |        0
639.30/639.45	c  639s |      25 |  8434129 |  6218498 |     1249  12006 |        0 |        0
641.30/641.46	c  641s |      25 |  8457960 |  6235898 |     1249  12032 |        0 |        0
643.30/643.46	c  643s |      25 |  8482051 |  6253198 |     1249  12058 |        0 |        0
645.29/645.47	c  645s |      25 |  8504937 |  6270598 |     1249  12085 |        0 |        0
647.29/647.47	c  647s |      25 |  8528601 |  6288098 |     1249  12112 |        0 |        0
649.29/649.47	c  649s |      25 |  8554409 |  6306898 |     1249  12140 |        0 |        0
651.29/651.47	c  651s |      25 |  8584975 |  6327498 |     1249  12171 |        0 |        0
653.30/653.48	c  653s |      25 |  8609249 |  6345098 |     1249  12197 |        0 |        0
655.29/655.48	c  655s |      25 |  8633039 |  6362798 |     1249  12223 |        0 |        0
657.29/657.48	c  657s |      25 |  8656295 |  6379498 |     1249  12249 |        0 |        0
659.29/659.49	c  659s |      25 |  8681789 |  6397698 |     1249  12277 |        0 |        0
661.29/661.49	c  661s |      25 |  8707002 |  6415998 |     1249  12304 |        0 |        0
663.30/663.50	c  663s |      25 |  8729698 |  6432098 |     1249  12329 |        0 |        0
665.40/665.50	c  665s |      25 |  8751430 |  6448298 |     1249  12354 |        0 |        0
667.39/667.51	c  667s |      25 |  8771693 |  6463798 |     1249  12378 |        0 |        0
669.39/669.52	c  669s |      25 |  8794211 |  6479998 |     1249  12403 |        0 |        0
671.39/671.52	c  671s |      25 |  8815590 |  6495098 |     1249  12426 |        0 |        0
673.39/673.53	c  673s |      25 |  8840218 |  6512498 |     1249  12453 |        0 |        0
675.39/675.54	c  675s |      25 |  8865918 |  6530298 |     1249  12480 |        0 |        0
677.39/677.54	c  677s |      25 |  8887833 |  6546098 |     1249  12504 |        0 |        0
679.38/679.55	c  679s |      25 |  8911917 |  6564098 |     1249  12531 |        0 |        0
681.38/681.55	c  681s |      25 |  8936993 |  6581998 |     1249  12559 |        0 |        0
683.38/683.57	c  683s |      25 |  8961833 |  6600098 |     1249  12586 |        0 |        0
685.38/685.58	c  685s |      25 |  8982762 |  6615398 |     1249  12609 |        0 |        0
687.39/687.58	c  687s |      25 |  9006626 |  6632198 |     1249  12635 |        0 |        0
689.38/689.59	c  689s |      25 |  9030090 |  6648998 |     1249  12661 |        0 |        0
691.48/691.60	c  691s |      25 |  9053016 |  6665398 |     1249  12686 |        0 |        0
693.48/693.61	c  693s |      25 |  9073357 |  6680598 |     1249  12709 |        0 |        0
695.48/695.62	c  695s |      25 |  9094873 |  6696498 |     1249  12734 |        0 |        0
697.48/697.62	c  697s |      25 |  9119146 |  6714098 |     1249  12760 |        0 |        0
699.50/699.62	c  699s |      25 |  9143834 |  6732198 |     1249  12787 |        0 |        0
701.49/701.63	c  701s |      25 |  9166582 |  6748798 |     1249  12812 |        0 |        0
703.49/703.64	c  703s |      25 |  9190752 |  6766298 |     1249  12839 |        0 |        0
705.48/705.64	c  705s |      25 |  9216778 |  6783998 |     1249  12867 |        0 |        0
707.48/707.65	c  707s |      25 |  9240159 |  6801198 |     1249  12893 |        0 |        0
709.49/709.65	c  709s |      25 |  9260317 |  6815698 |     1249  12916 |        0 |        0
711.48/711.65	c  711s |      25 |  9282213 |  6831598 |     1249  12940 |        0 |        0
713.48/713.65	c  713s |      25 |  9306286 |  6848598 |     1249  12966 |        0 |        0
715.48/715.66	c  715s |      25 |  9330789 |  6866098 |     1249  12993 |        0 |        0
717.48/717.66	c  717s |      25 |  9356020 |  6884698 |     1249  13021 |        0 |        0
719.48/719.67	c  719s |      25 |  9380127 |  6902298 |     1249  13048 |        0 |        0
721.49/721.68	c  721s |      25 |  9406207 |  6921298 |     1249  13076 |        0 |        0
723.48/723.69	c  723s |      25 |  9433985 |  6940298 |     1249  13105 |        0 |        0
725.58/725.70	c  725s |      25 |  9453038 |  6955698 |     1249  13128 |        0 |        0
727.58/727.71	c  727s |      25 |  9476461 |  6972498 |     1249  13154 |        0 |        0
729.57/729.72	c  729s |      25 |  9502190 |  6989898 |     1249  13181 |        0 |        0
731.57/731.73	c  731s |      25 |  9526420 |  7007098 |     1249  13207 |        0 |        0
733.59/733.74	c  733s |      25 |  9549855 |  7023998 |     1249  13233 |        0 |        0
735.58/735.74	c  735s |      25 |  9573029 |  7040298 |     1249  13258 |        0 |        0
737.58/737.74	c  737s |      25 |  9598056 |  7058398 |     1249  13285 |        0 |        0
739.57/739.75	c  739s |      25 |  9621009 |  7075298 |     1249  13311 |        0 |        0
741.57/741.76	c  741s |      25 |  9648236 |  7093898 |     1249  13339 |        0 |        0
743.58/743.77	c  743s |      25 |  9676107 |  7112498 |     1249  13367 |        0 |        0
745.57/745.77	c  745s |      25 |  9701665 |  7130398 |     1249  13395 |        0 |        0
747.57/747.77	c  747s |      25 |  9724054 |  7146898 |     1249  13420 |        0 |        0
749.56/749.78	c  749s |      25 |  9748480 |  7164098 |     1249  13446 |        0 |        0
751.56/751.79	c  751s |      25 |  9772779 |  7181998 |     1249  13474 |        0 |        0
753.66/753.80	c  753s |      25 |  9799551 |  7200098 |     1249  13502 |        0 |        0
755.57/755.80	c  755s |      25 |  9821309 |  7216598 |     1249  13527 |        0 |        0
757.66/757.81	c  757s |      25 |  9842604 |  7232698 |     1249  13552 |        0 |        0
759.65/759.81	c  759s |      25 |  9866136 |  7249198 |     1249  13578 |        0 |        0
761.65/761.82	c  761s |      25 |  9889431 |  7266098 |     1249  13604 |        0 |        0
763.66/763.83	c  763s |      25 |  9915742 |  7284098 |     1249  13631 |        0 |        0
765.66/765.83	c  765s |      25 |  9941055 |  7302298 |     1249  13659 |        0 |        0
767.66/767.84	c  767s |      25 |  9967020 |  7320098 |     1249  13686 |        0 |        0
769.65/769.85	c  769s |      25 |  9993040 |  7338698 |     1249  13714 |        0 |        0
771.65/771.85	c  771s |      25 | 10014446 |  7355298 |     1249  13740 |        0 |        0
773.65/773.86	c  773s |      25 | 10036436 |  7371498 |     1249  13765 |        0 |        0
775.65/775.86	c  775s |      25 | 10059730 |  7388398 |     1249  13790 |        0 |        0
777.65/777.87	c  777s |      25 | 10083236 |  7405698 |     1249  13817 |        0 |        0
779.64/779.88	c  779s |      25 | 10107461 |  7423098 |     1249  13844 |        0 |        0
781.64/781.89	c  781s |      25 | 10131756 |  7440898 |     1249  13871 |        0 |        0
783.74/783.90	c  783s |      25 | 10159134 |  7459698 |     1249  13900 |        0 |        0
785.75/785.91	c  785s |      25 | 10182249 |  7476298 |     1249  13926 |        0 |        0
787.75/787.91	c  787s |      25 | 10208515 |  7494498 |     1249  13954 |        0 |        0
789.75/789.92	c  789s |      25 | 10229962 |  7509998 |     1249  13978 |        0 |        0
791.74/791.92	c  791s |      25 | 10254511 |  7527698 |     1249  14005 |        0 |        0
793.74/793.93	c  793s |      25 | 10279139 |  7545198 |     1374  14031 |        0 |        0
795.74/795.93	c  795s |      25 | 10302735 |  7561898 |     1374  14055 |        0 |        0
797.74/797.94	c  797s |      25 | 10328536 |  7580098 |     1374  14080 |        0 |        0
799.74/799.90	c  799s |      26 | 10353564 |  7597752 |     1374  14105 |        0 |        0
801.64/801.90	c  801s |      26 | 10377384 |  7615752 |     1374  14129 |        0 |        0
803.74/803.91	c  803s |      26 | 10402708 |  7634552 |     1374  14155 |        0 |        0
805.74/805.91	c  805s |      26 | 10427456 |  7653352 |     1374  14180 |        0 |        0
807.74/807.91	c  807s |      26 | 10452400 |  7672552 |     1374  14207 |        0 |        0
809.73/809.92	c  809s |      26 | 10476785 |  7690452 |     1374  14231 |        0 |        0
811.73/811.92	c  811s |      26 | 10499346 |  7708252 |     1374  14255 |        0 |        0
813.73/813.93	c  813s |      26 | 10521113 |  7725552 |     1374  14279 |        0 |        0
815.73/815.93	c  815s |      26 | 10543941 |  7742852 |     1374  14302 |        0 |        0
817.72/817.94	c  817s |      26 | 10567635 |  7760652 |     1374  14327 |        0 |        0
819.72/819.95	c  819s |      26 | 10589275 |  7777252 |     1374  14349 |        0 |        0
821.72/821.96	c  821s |      26 | 10612440 |  7794952 |     1374  14374 |        0 |        0
823.72/823.96	c  823s |      26 | 10634648 |  7812352 |     1374  14397 |        0 |        0
825.72/825.97	c  825s |      26 | 10655926 |  7828852 |     1374  14420 |        0 |        0
827.71/827.98	c  827s |      26 | 10677174 |  7845452 |     1374  14443 |        0 |        0
829.71/829.99	c  829s |      26 | 10699186 |  7862152 |     1374  14465 |        0 |        0
831.71/831.99	c  831s |      26 | 10720989 |  7878852 |     1374  14488 |        0 |        0
833.73/833.99	c  833s |      26 | 10743192 |  7895852 |     1374  14511 |        0 |        0
835.72/835.99	c  835s |      26 | 10766089 |  7913352 |     1374  14535 |        0 |        0
837.72/838.00	c  837s |      26 | 10787579 |  7929952 |     1374  14558 |        0 |        0
839.81/840.00	c  839s |      26 | 10810090 |  7946652 |     1374  14580 |        0 |        0
841.81/842.01	c  842s |      26 | 10831121 |  7962652 |     1374  14602 |        0 |        0
843.81/844.02	c  844s |      26 | 10852005 |  7979552 |     1374  14625 |        0 |        0
845.82/846.02	c  846s |      26 | 10875003 |  7996852 |     1374  14649 |        0 |        0
847.81/848.03	c  848s |      26 | 10897187 |  8014052 |     1374  14672 |        0 |        0
849.81/850.04	c  850s |      26 | 10919546 |  8031352 |     1374  14696 |        0 |        0
851.81/852.05	c  852s |      26 | 10942839 |  8049052 |     1374  14720 |        0 |        0
853.81/854.06	c  854s |      26 | 10965474 |  8066052 |     1374  14743 |        0 |        0
855.81/856.06	c  856s |      26 | 10987106 |  8082752 |     1374  14766 |        0 |        0
857.81/858.07	c  858s |      26 | 11008325 |  8099152 |     1374  14789 |        0 |        0
859.80/860.07	c  860s |      26 | 11029778 |  8115652 |     1374  14811 |        0 |        0
861.80/862.08	c  862s |      26 | 11050301 |  8131952 |     1374  14833 |        0 |        0
863.80/864.09	c  864s |      26 | 11072351 |  8148852 |     1374  14857 |        0 |        0
865.90/866.10	c  866s |      26 | 11092271 |  8164652 |     1374  14878 |        0 |        0
867.90/868.10	c  868s |      26 | 11114015 |  8181252 |     1374  14901 |        0 |        0
869.91/870.11	c  870s |      26 | 11137346 |  8198552 |     1374  14924 |        0 |        0
871.90/872.12	c  872s |      26 | 11159842 |  8215352 |     1374  14947 |        0 |        0
873.90/874.12	c  874s |      26 | 11181842 |  8232452 |     1374  14971 |        0 |        0
875.90/876.13	c  876s |      26 | 11203482 |  8248752 |     1374  14993 |        0 |        0
877.89/878.13	c  878s |      26 | 11224407 |  8265152 |     1374  15015 |        0 |        0
879.90/880.13	c  880s |      26 | 11246737 |  8282052 |     1374  15039 |        0 |        0
881.89/882.14	c  882s |      26 | 11269415 |  8299352 |     1374  15062 |        0 |        0
883.89/884.15	c  884s |      26 | 11291584 |  8316252 |     1374  15085 |        0 |        0
885.90/886.15	c  886s |      26 | 11313871 |  8332952 |     1374  15108 |        0 |        0
887.90/888.16	c  888s |      26 | 11335479 |  8349252 |     1374  15131 |        0 |        0
889.89/890.16	c  890s |      26 | 11356805 |  8365852 |     1374  15153 |        0 |        0
891.90/892.16	c  892s |      26 | 11379433 |  8382552 |     1374  15176 |        0 |        0
893.89/894.16	c  894s |      26 | 11401784 |  8399552 |     1374  15200 |        0 |        0
895.89/896.16	c  896s |      26 | 11424369 |  8416852 |     1374  15223 |        0 |        0
897.89/898.17	c  898s |      26 | 11445936 |  8433552 |     1374  15246 |        0 |        0
899.88/900.19	c  900s |      26 | 11469516 |  8451752 |     1374  15271 |        0 |        0
901.89/902.19	c  902s |      26 | 11491939 |  8468752 |     1374  15295 |        0 |        0
903.88/904.20	c  904s |      26 | 11515551 |  8486152 |     1374  15319 |        0 |        0
905.98/906.20	c  906s |      26 | 11539073 |  8503552 |     1374  15343 |        0 |        0
907.98/908.21	c  908s |      26 | 11561645 |  8520852 |     1374  15367 |        0 |        0
909.98/910.21	c  910s |      26 | 11584258 |  8538052 |     1374  15391 |        0 |        0
911.98/912.21	c  912s |      26 | 11608361 |  8556052 |     1374  15416 |        0 |        0
913.99/914.22	c  914s |      26 | 11629125 |  8572652 |     1374  15439 |        0 |        0
915.98/916.22	c  916s |      26 | 11651974 |  8590052 |     1374  15463 |        0 |        0
917.98/918.23	c  918s |      26 | 11676524 |  8608652 |     1374  15488 |        0 |        0
919.97/920.24	c  920s |      26 | 11698431 |  8626252 |     1374  15513 |        0 |        0
921.97/922.25	c  922s |      26 | 11721287 |  8643652 |     1374  15537 |        0 |        0
923.97/924.25	c  924s |      26 | 11740032 |  8658752 |     1374  15557 |        0 |        0
925.98/926.26	c  926s |      26 | 11760031 |  8674752 |     1374  15579 |        0 |        0
927.97/928.27	c  928s |      26 | 11781577 |  8691152 |     1374  15602 |        0 |        0
929.96/930.27	c  930s |      26 | 11802393 |  8707252 |     1374  15624 |        0 |        0
931.96/932.28	c  932s |      26 | 11821857 |  8722952 |     1374  15646 |        0 |        0
934.06/934.30	c  934s |      26 | 11841100 |  8738452 |     1374  15668 |        0 |        0
936.07/936.30	c  936s |      26 | 11865306 |  8757052 |     1374  15693 |        0 |        0
938.08/938.31	c  938s |      26 | 11884158 |  8772552 |     1374  15715 |        0 |        0
940.07/940.32	c  940s |      26 | 11906028 |  8789452 |     1374  15738 |        0 |        0
942.06/942.32	c  942s |      26 | 11926710 |  8806052 |     1374  15761 |        0 |        0
944.06/944.32	c  944s |      26 | 11947576 |  8822652 |     1374  15784 |        0 |        0
946.06/946.33	c  946s |      26 | 11967238 |  8838952 |     1374  15806 |        0 |        0
948.07/948.33	c  948s |      26 | 11987671 |  8855752 |     1374  15829 |        0 |        0
950.06/950.33	c  950s |      26 | 12009135 |  8872852 |     1374  15853 |        0 |        0
952.06/952.34	c  952s |      26 | 12030052 |  8889952 |     1374  15877 |        0 |        0
954.06/954.34	c  954s |      26 | 12052213 |  8906952 |     1374  15900 |        0 |        0
956.06/956.34	c  956s |      26 | 12071399 |  8922552 |     1374  15922 |        0 |        0
958.06/958.34	c  958s |      26 | 12091700 |  8938652 |     1374  15944 |        0 |        0
960.06/960.35	c  960s |      26 | 12112530 |  8955052 |     1374  15967 |        0 |        0
962.05/962.36	c  962s |      26 | 12134192 |  8972052 |     1374  15990 |        0 |        0
964.05/964.36	c  964s |      26 | 12156300 |  8989252 |     1374  16014 |        0 |        0
966.05/966.37	c  966s |      26 | 12179105 |  9006552 |     1374  16038 |        0 |        0
968.05/968.37	c  968s |      26 | 12201268 |  9023452 |     1374  16061 |        0 |        0
970.05/970.37	c  970s |      26 | 12223614 |  9040352 |     1374  16085 |        0 |        0
972.04/972.37	c  972s |      26 | 12245507 |  9057352 |     1374  16108 |        0 |        0
974.04/974.38	c  974s |      26 | 12269927 |  9075352 |     1374  16133 |        0 |        0
976.04/976.38	c  976s |      26 | 12292450 |  9092252 |     1374  16156 |        0 |        0
978.04/978.39	c  978s |      26 | 12314051 |  9109452 |     1374  16180 |        0 |        0
980.04/980.39	c  980s |      26 | 12333746 |  9125052 |     1374  16202 |        0 |        0
982.04/982.40	c  982s |      26 | 12355749 |  9141652 |     1374  16225 |        0 |        0
984.13/984.41	c  984s |      26 | 12377776 |  9158652 |     1374  16249 |        0 |        0
986.13/986.41	c  986s |      26 | 12400032 |  9175652 |     1374  16272 |        0 |        0
988.13/988.41	c  988s |      26 | 12423241 |  9193452 |     1374  16297 |        0 |        0
990.13/990.42	c  990s |      26 | 12446562 |  9211552 |     1374  16322 |        0 |        0
992.13/992.42	c  992s |      26 | 12472404 |  9230652 |     1374  16349 |        0 |        0
994.13/994.43	c  994s |      26 | 12497984 |  9249852 |     1374  16376 |        0 |        0
996.13/996.44	c  996s |      26 | 12523473 |  9268652 |     1374  16402 |        0 |        0
998.13/998.44	c  998s |      26 | 12547157 |  9286752 |     1374  16427 |        0 |        0
1000.13/1000.44	c 1000s |      26 | 12568941 |  9303652 |     1374  16451 |        0 |        0
1002.13/1002.45	c 1002s |      26 | 12590381 |  9319652 |     1374  16473 |        0 |        0
1004.14/1004.47	c 1004s |      26 | 12610434 |  9334952 |     1374  16495 |        0 |        0
1006.13/1006.47	c 1006s |      26 | 12630097 |  9350252 |     1374  16516 |        0 |        0
1008.13/1008.47	c 1008s |      26 | 12649253 |  9365252 |     1374  16537 |        0 |        0
1010.12/1010.48	c 1010s |      26 | 12672669 |  9383052 |     1374  16562 |        0 |        0
1012.12/1012.49	c 1012s |      26 | 12697036 |  9401452 |     1374  16588 |        0 |        0
1014.12/1014.50	c 1014s |      26 | 12720291 |  9419352 |     1374  16613 |        0 |        0
1016.13/1016.50	c 1016s |      26 | 12746681 |  9438352 |     1374  16639 |        0 |        0
1018.22/1018.50	c 1018s |      26 | 12769334 |  9456152 |     1374  16664 |        0 |        0
1020.21/1020.50	c 1020s |      26 | 12791779 |  9473852 |     1374  16689 |        0 |        0
1022.21/1022.51	c 1022s |      26 | 12815207 |  9491452 |     1374  16713 |        0 |        0
1024.21/1024.52	c 1024s |      26 | 12837856 |  9508752 |     1374  16737 |        0 |        0
1026.21/1026.52	c 1026s |      26 | 12860253 |  9526152 |     1374  16762 |        0 |        0
1028.22/1028.53	c 1028s |      26 | 12882092 |  9543152 |     1374  16785 |        0 |        0
1030.21/1030.53	c 1030s |      26 | 12906511 |  9562152 |     1374  16812 |        0 |        0
1032.21/1032.54	c 1032s |      26 | 12930529 |  9580752 |     1374  16837 |        0 |        0
1034.20/1034.54	c 1034s |      26 | 12954002 |  9598352 |     1374  16862 |        0 |        0
1036.20/1036.54	c 1036s |      26 | 12977027 |  9615852 |     1374  16886 |        0 |        0
1038.21/1038.55	c 1038s |      26 | 13000485 |  9633152 |     1374  16910 |        0 |        0
1040.20/1040.56	c 1040s |      26 | 13022796 |  9650952 |     1374  16935 |        0 |        0
1042.20/1042.56	c 1042s |      26 | 13046320 |  9668552 |     1374  16960 |        0 |        0
1044.20/1044.57	c 1044s |      26 | 13069403 |  9686252 |     1374  16984 |        0 |        0
1046.21/1046.57	c 1046s |      26 | 13092616 |  9704052 |     1374  17009 |        0 |        0
1048.21/1048.58	c 1048s |      26 | 13113589 |  9720752 |     1374  17032 |        0 |        0
1050.21/1050.59	c 1050s |      26 | 13136419 |  9738152 |     1374  17057 |        0 |        0
1052.30/1052.60	c 1052s |      26 | 13160038 |  9756452 |     1374  17082 |        0 |        0
1054.30/1054.60	c 1054s |      26 | 13185473 |  9775052 |     1374  17108 |        0 |        0
1056.30/1056.60	c 1056s |      26 | 13210571 |  9793352 |     1374  17133 |        0 |        0
1058.30/1058.61	c 1058s |      26 | 13235175 |  9811952 |     1374  17159 |        0 |        0
1060.29/1060.61	c 1060s |      26 | 13256297 |  9828552 |     1374  17182 |        0 |        0
1062.30/1062.62	c 1062s |      26 | 13278918 |  9846152 |     1374  17207 |        0 |        0
1064.29/1064.63	c 1064s |      26 | 13301289 |  9863252 |     1374  17230 |        0 |        0
1066.29/1066.63	c 1066s |      26 | 13321623 |  9879652 |     1374  17253 |        0 |        0
1068.30/1068.64	c 1068s |      26 | 13344013 |  9896152 |     1374  17276 |        0 |        0
1070.29/1070.64	c 1070s |      26 | 13365759 |  9912552 |     1374  17299 |        0 |        0
1072.30/1072.64	c 1072s |      26 | 13388207 |  9930252 |     1374  17323 |        0 |        0
1074.29/1074.64	c 1074s |      26 | 13412319 |  9948252 |     1374  17348 |        0 |        0
1076.29/1076.65	c 1076s |      26 | 13436416 |  9966552 |     1374  17374 |        0 |        0
1078.29/1078.66	c 1078s |      26 | 13458418 |  9983652 |     1374  17397 |        0 |        0
1080.28/1080.66	c 1080s |      26 | 13482977 | 10002152 |     1374  17423 |        0 |        0
1082.28/1082.68	c 1082s |      26 | 13505111 | 10019152 |     1374  17447 |        0 |        0
1084.29/1084.68	c 1084s |      26 | 13526753 | 10035952 |     1374  17470 |        0 |        0
1086.28/1086.69	c 1086s |      26 | 13549835 | 10053552 |     1374  17495 |        0 |        0
1088.28/1088.70	c 1088s |      26 | 13571557 | 10070352 |     1374  17518 |        0 |        0
1090.37/1090.70	c 1090s |      26 | 13597994 | 10090152 |     1374  17546 |        0 |        0
1092.37/1092.70	c 1092s |      26 | 13622981 | 10108852 |     1374  17572 |        0 |        0
1094.37/1094.71	c 1094s |      26 | 13648025 | 10127552 |     1374  17598 |        0 |        0
1096.38/1096.72	c 1096s |      26 | 13672215 | 10146152 |     1374  17624 |        0 |        0
1098.37/1098.72	c 1098s |      26 | 13695150 | 10163852 |     1374  17648 |        0 |        0
1100.37/1100.73	c 1100s |      26 | 13718611 | 10181952 |     1374  17673 |        0 |        0
1102.37/1102.73	c 1102s |      26 | 13741568 | 10199352 |     1374  17698 |        0 |        0
1104.37/1104.74	c 1104s |      26 | 13763494 | 10216052 |     1374  17721 |        0 |        0
1106.38/1106.74	c 1106s |      26 | 13783485 | 10231852 |     1374  17743 |        0 |        0
1108.37/1108.75	c 1108s |      26 | 13803591 | 10247752 |     1374  17765 |        0 |        0
1110.37/1110.76	c 1110s |      26 | 13825531 | 10264052 |     1374  17788 |        0 |        0
1112.37/1112.77	c 1112s |      26 | 13846353 | 10280352 |     1374  17811 |        0 |        0
1114.37/1114.77	c 1114s |      26 | 13868944 | 10297652 |     1374  17836 |        0 |        0
1116.36/1116.77	c 1116s |      26 | 13891752 | 10314752 |     1374  17860 |        0 |        0
1118.37/1118.78	c 1118s |      26 | 13915234 | 10332452 |     1374  17884 |        0 |        0
1120.36/1120.79	c 1120s |      26 | 13939292 | 10350652 |     1374  17910 |        0 |        0
1122.36/1122.79	c 1122s |      26 | 13964628 | 10369452 |     1374  17936 |        0 |        0
1124.36/1124.79	c 1124s |      26 | 13989393 | 10387452 |     1374  17961 |        0 |        0
1126.46/1126.80	c 1126s |      26 | 14014520 | 10405852 |     1374  17987 |        0 |        0
1128.46/1128.80	c 1128s |      26 | 14039646 | 10425152 |     1374  18014 |        0 |        0
1130.45/1130.80	c 1130s |      26 | 14063424 | 10443052 |     1374  18039 |        0 |        0
1132.44/1132.81	c 1132s |      26 | 14085624 | 10459752 |     1374  18062 |        0 |        0
1134.44/1134.82	c 1134s |      26 | 14108910 | 10477052 |     1374  18087 |        0 |        0
1136.44/1136.82	c 1136s |      26 | 14132386 | 10494452 |     1374  18111 |        0 |        0
1138.44/1138.83	c 1138s |      26 | 14155330 | 10512052 |     1374  18136 |        0 |        0
1140.44/1140.83	c 1140s |      26 | 14178326 | 10529452 |     1374  18160 |        0 |        0
1142.44/1142.84	c 1142s |      26 | 14202622 | 10547352 |     1374  18185 |        0 |        0
1144.44/1144.84	c 1144s |      26 | 14227331 | 10565652 |     1374  18211 |        0 |        0
1146.44/1146.84	c 1146s |      26 | 14251564 | 10583752 |     1374  18236 |        0 |        0
1148.43/1148.85	c 1148s |      26 | 14272538 | 10599852 |     1374  18259 |        0 |        0
1150.43/1150.86	c 1150s |      26 | 14293116 | 10615552 |     1374  18281 |        0 |        0
1152.45/1152.86	c 1152s |      26 | 14313369 | 10631152 |     1374  18303 |        0 |        0
1154.44/1154.86	c 1154s |      26 | 14337363 | 10648452 |     1374  18327 |        0 |        0
1156.44/1156.87	c 1156s |      26 | 14360295 | 10665452 |     1374  18351 |        0 |        0
1158.44/1158.88	c 1158s |      26 | 14381673 | 10682352 |     1374  18374 |        0 |        0
1160.43/1160.89	c 1160s |      26 | 14403409 | 10699152 |     1374  18397 |        0 |        0
1162.44/1162.89	c 1162s |      26 | 14425519 | 10716252 |     1374  18421 |        0 |        0
1164.43/1164.90	c 1164s |      26 | 14447287 | 10733152 |     1374  18445 |        0 |        0
1166.53/1166.90	c 1166s |      26 | 14469229 | 10750152 |     1374  18469 |        0 |        0
1168.53/1168.90	c 1168s |      26 | 14491980 | 10767352 |     1374  18493 |        0 |        0
1170.53/1170.91	c 1170s |      26 | 14512995 | 10784252 |     1374  18516 |        0 |        0
1172.53/1172.92	c 1172s |      26 | 14534437 | 10800852 |     1374  18539 |        0 |        0
1174.53/1174.93	c 1174s |      26 | 14555206 | 10817152 |     1374  18561 |        0 |        0
1176.52/1176.94	c 1176s |      26 | 14580241 | 10835552 |     1374  18587 |        0 |        0
1178.52/1178.94	c 1178s |      26 | 14604363 | 10853552 |     1374  18612 |        0 |        0
1180.52/1180.95	c 1180s |      26 | 14626523 | 10870752 |     1374  18637 |        0 |        0
1182.52/1182.95	c 1182s |      26 | 14648530 | 10887252 |     1374  18660 |        0 |        0
1184.52/1184.95	c 1184s |      26 | 14669539 | 10903352 |     1374  18682 |        0 |        0
1186.52/1186.96	c 1186s |      26 | 14690559 | 10919752 |     1374  18705 |        0 |        0
1188.52/1188.96	c 1188s |      26 | 14712796 | 10936752 |     1374  18729 |        0 |        0
1190.51/1190.97	c 1190s |      26 | 14735341 | 10954352 |     1374  18754 |        0 |        0
1192.52/1192.98	c 1192s |      26 | 14756431 | 10970552 |     1374  18776 |        0 |        0
1194.52/1194.99	c 1194s |      26 | 14776484 | 10986052 |     1374  18798 |        0 |        0
1196.52/1196.99	c 1196s |      26 | 14796229 | 11001152 |     1374  18819 |        0 |        0
1198.52/1199.00	c 1198s |      26 | 14817149 | 11017252 |     1374  18842 |        0 |        0
1200.61/1201.00	c 1200s |      26 | 14839057 | 11033752 |     1374  18865 |        0 |        0
1202.61/1203.00	c 1202s |      26 | 14861935 | 11051052 |     1374  18890 |        0 |        0
1204.61/1205.00	c 1204s |      26 | 14884014 | 11068152 |     1374  18914 |        0 |        0
1206.61/1207.02	c 1207s |      26 | 14908093 | 11085952 |     1374  18939 |        0 |        0
1208.62/1209.02	c 1209s |      26 | 14930282 | 11103152 |     1374  18963 |        0 |        0
1210.60/1211.03	c 1211s |      26 | 14953005 | 11120452 |     1374  18987 |        0 |        0
1212.60/1213.04	c 1213s |      26 | 14975381 | 11137452 |     1374  19011 |        0 |        0
1214.60/1215.04	c 1215s |      26 | 14997039 | 11154252 |     1374  19035 |        0 |        0
1216.60/1217.04	c 1217s |      26 | 15018155 | 11170652 |     1374  19058 |        0 |        0
1218.60/1219.05	c 1219s |      26 | 15041792 | 11187752 |     1374  19082 |        0 |        0
1220.60/1221.05	c 1221s |      26 | 15063123 | 11203952 |     1374  19104 |        0 |        0
1222.59/1223.06	c 1223s |      26 | 15080164 | 11217652 |     1374  19123 |        0 |        0
1224.59/1225.07	c 1225s |      26 | 15100150 | 11233252 |     1374  19145 |        0 |        0
1226.59/1227.07	c 1227s |      26 | 15123166 | 11250052 |     1374  19169 |        0 |        0
1228.59/1229.07	c 1229s |      26 | 15145527 | 11266652 |     1374  19192 |        0 |        0
1230.60/1231.07	c 1231s |      26 | 15167030 | 11283252 |     1374  19216 |        0 |        0
1232.60/1233.08	c 1233s |      26 | 15189785 | 11300052 |     1374  19239 |        0 |        0
1234.60/1235.09	c 1235s |      26 | 15212259 | 11316952 |     1512  19263 |        0 |        0
1236.70/1237.10	c 1237s |      26 | 15233882 | 11333452 |     1512  19284 |        0 |        0
1238.69/1239.10	c 1239s |      26 | 15253586 | 11348852 |     1512  19304 |        0 |        0
1240.69/1241.11	c 1241s |      26 | 15275335 | 11365352 |     1512  19325 |        0 |        0
1242.70/1243.11	c 1243s |      26 | 15297082 | 11381652 |     1512  19346 |        0 |        0
1244.49/1244.96	c 1244s |      27 | 15317179 | 11396733 |     1512  19365 |        0 |        0
1246.49/1246.96	c 1246s |      27 | 15339516 | 11413833 |     1512  19386 |        0 |        0
1248.49/1248.97	c 1248s |      27 | 15359216 | 11430033 |     1512  19407 |        0 |        0
1250.48/1250.97	c 1250s |      27 | 15382297 | 11447433 |     1512  19429 |        0 |        0
1252.49/1252.97	c 1252s |      27 | 15405826 | 11464733 |     1512  19451 |        0 |        0
1254.48/1254.98	c 1254s |      27 | 15427904 | 11481133 |     1512  19472 |        0 |        0
1256.48/1256.98	c 1256s |      27 | 15448824 | 11497533 |     1512  19492 |        0 |        0
1258.48/1258.99	c 1258s |      27 | 15469210 | 11513533 |     1512  19513 |        0 |        0
1260.48/1260.99	c 1260s |      27 | 15490866 | 11530133 |     1512  19534 |        0 |        0
1262.57/1263.00	c 1262s |      27 | 15514606 | 11547833 |     1512  19556 |        0 |        0
1264.58/1265.01	c 1264s |      27 | 15535997 | 11564533 |     1512  19577 |        0 |        0
1266.57/1267.02	c 1267s |      27 | 15558183 | 11581233 |     1512  19598 |        0 |        0
1268.57/1269.02	c 1269s |      27 | 15580577 | 11598133 |     1512  19620 |        0 |        0
1270.57/1271.03	c 1271s |      27 | 15604280 | 11615633 |     1512  19642 |        0 |        0
1272.57/1273.04	c 1273s |      27 | 15628415 | 11633333 |     1512  19665 |        0 |        0
1274.57/1275.04	c 1275s |      27 | 15652606 | 11651333 |     1512  19688 |        0 |        0
1276.57/1277.05	c 1277s |      27 | 15673727 | 11667633 |     1512  19708 |        0 |        0
1278.56/1279.05	c 1279s |      27 | 15698971 | 11685833 |     1512  19731 |        0 |        0
1280.56/1281.06	c 1281s |      27 | 15722393 | 11703333 |     1512  19754 |        0 |        0
1282.56/1283.07	c 1283s |      27 | 15746652 | 11720633 |     1512  19776 |        0 |        0
1284.56/1285.08	c 1285s |      27 | 15770992 | 11738533 |     1512  19798 |        0 |        0
1286.56/1287.08	c 1287s |      27 | 15794428 | 11755633 |     1512  19820 |        0 |        0
1288.56/1289.09	c 1289s |      27 | 15817579 | 11772933 |     1512  19842 |        0 |        0
1290.55/1291.10	c 1291s |      27 | 15841672 | 11790633 |     1512  19864 |        0 |        0
1292.66/1293.10	c 1293s |      27 | 15864858 | 11808133 |     1512  19886 |        0 |        0
1294.66/1295.11	c 1295s |      27 | 15889482 | 11826133 |     1512  19909 |        0 |        0
1296.66/1297.11	c 1297s |      27 | 15910974 | 11842633 |     1512  19930 |        0 |        0
1298.67/1299.12	c 1299s |      27 | 15933616 | 11859233 |     1512  19951 |        0 |        0
1300.65/1301.12	c 1301s |      27 | 15954954 | 11875333 |     1512  19972 |        0 |        0
1302.65/1303.12	c 1303s |      27 | 15979351 | 11893433 |     1512  19995 |        0 |        0
1304.65/1305.13	c 1305s |      27 | 16003506 | 11911433 |     1512  20018 |        0 |        0
1306.65/1307.14	c 1307s |      27 | 16026753 | 11928633 |     1512  20040 |        0 |        0
1308.66/1309.15	c 1309s |      27 | 16050190 | 11945933 |     1512  20062 |        0 |        0
1310.64/1311.16	c 1311s |      27 | 16072799 | 11963033 |     1512  20083 |        0 |        0
1312.64/1313.16	c 1313s |      27 | 16095203 | 11979633 |     1512  20104 |        0 |        0
1314.64/1315.17	c 1315s |      27 | 16118352 | 11996633 |     1512  20126 |        0 |        0
1316.64/1317.18	c 1317s |      27 | 16139778 | 12012633 |     1512  20146 |        0 |        0
1318.64/1319.18	c 1319s |      27 | 16161414 | 12028933 |     1512  20166 |        0 |        0
1320.64/1321.18	c 1321s |      27 | 16182522 | 12044933 |     1512  20187 |        0 |        0
1322.64/1323.19	c 1323s |      27 | 16204008 | 12060533 |     1512  20206 |        0 |        0
1324.74/1325.20	c 1325s |      27 | 16224896 | 12076233 |     1512  20226 |        0 |        0
1326.74/1327.21	c 1327s |      27 | 16245284 | 12091733 |     1512  20246 |        0 |        0
1328.74/1329.21	c 1329s |      27 | 16266305 | 12107533 |     1512  20266 |        0 |        0
1330.73/1331.21	c 1331s |      27 | 16287295 | 12123133 |     1512  20286 |        0 |        0
1332.74/1333.21	c 1333s |      27 | 16308613 | 12138733 |     1512  20306 |        0 |        0
1334.73/1335.22	c 1335s |      27 | 16330006 | 12154233 |     1512  20325 |        0 |        0
1336.73/1337.22	c 1337s |      27 | 16351652 | 12170433 |     1512  20346 |        0 |        0
1338.73/1339.23	c 1339s |      27 | 16373080 | 12186733 |     1512  20367 |        0 |        0
1340.73/1341.24	c 1341s |      27 | 16395114 | 12202833 |     1512  20387 |        0 |        0
1342.73/1343.24	c 1343s |      27 | 16414155 | 12217533 |     1512  20406 |        0 |        0
1344.72/1345.25	c 1345s |      27 | 16434879 | 12233533 |     1512  20426 |        0 |        0
1346.72/1347.25	c 1347s |      27 | 16458464 | 12250733 |     1512  20448 |        0 |        0
1348.72/1349.26	c 1349s |      27 | 16481151 | 12267633 |     1512  20470 |        0 |        0
1350.71/1351.26	c 1351s |      27 | 16503035 | 12284033 |     1512  20490 |        0 |        0
1352.71/1353.27	c 1353s |      27 | 16524732 | 12300533 |     1512  20511 |        0 |        0
1354.72/1355.28	c 1355s |      27 | 16546805 | 12316833 |     1512  20532 |        0 |        0
1356.71/1357.29	c 1357s |      27 | 16568857 | 12333433 |     1512  20553 |        0 |        0
1358.81/1359.30	c 1359s |      27 | 16589018 | 12349033 |     1512  20573 |        0 |        0
1360.81/1361.32	c 1361s |      27 | 16609078 | 12364433 |     1512  20593 |        0 |        0
1362.81/1363.32	c 1363s |      27 | 16631878 | 12381033 |     1512  20614 |        0 |        0
1364.81/1365.32	c 1365s |      27 | 16652302 | 12397233 |     1512  20634 |        0 |        0
1366.81/1367.33	c 1367s |      27 | 16673091 | 12413033 |     1512  20654 |        0 |        0
1368.81/1369.34	c 1369s |      27 | 16692616 | 12428133 |     1512  20674 |        0 |        0
1370.81/1371.34	c 1371s |      27 | 16716371 | 12445033 |     1512  20695 |        0 |        0
1372.80/1373.36	c 1373s |      27 | 16736296 | 12460533 |     1512  20715 |        0 |        0
1374.80/1375.36	c 1375s |      27 | 16759171 | 12477233 |     1512  20736 |        0 |        0
1376.81/1377.37	c 1377s |      27 | 16781383 | 12493833 |     1512  20758 |        0 |        0
1378.80/1379.37	c 1379s |      27 | 16802996 | 12510533 |     1512  20779 |        0 |        0
1380.80/1381.38	c 1381s |      27 | 16823633 | 12526733 |     1512  20799 |        0 |        0
1382.80/1383.39	c 1383s |      27 | 16843780 | 12542033 |     1512  20819 |        0 |        0
1384.90/1385.40	c 1385s |      27 | 16862650 | 12556433 |     1512  20838 |        0 |        0
1386.90/1387.41	c 1387s |      27 | 16882917 | 12572433 |     1512  20858 |        0 |        0
1388.91/1389.41	c 1389s |      27 | 16902004 | 12587233 |     1512  20877 |        0 |        0
1390.90/1391.42	c 1391s |      27 | 16921638 | 12602233 |     1512  20896 |        0 |        0
1392.90/1393.42	c 1393s |      27 | 16941903 | 12617433 |     1512  20915 |        0 |        0
1394.90/1395.44	c 1395s |      27 | 16961884 | 12632633 |     1512  20934 |        0 |        0
1396.90/1397.44	c 1397s |      27 | 16981940 | 12647933 |     1512  20954 |        0 |        0
1398.91/1399.45	c 1399s |      27 | 17001544 | 12662833 |     1512  20973 |        0 |        0
1400.92/1401.46	c 1401s |      27 | 17022236 | 12678533 |     1512  20993 |        0 |        0
1402.91/1403.47	c 1403s |      27 | 17043677 | 12694533 |     1512  21014 |        0 |        0
1404.91/1405.47	c 1405s |      27 | 17063894 | 12710033 |     1512  21033 |        0 |        0
1406.90/1407.47	c 1407s |      27 | 17084994 | 12726133 |     1512  21054 |        0 |        0
1408.90/1409.47	c 1409s |      27 | 17105366 | 12741633 |     1512  21073 |        0 |        0
1410.91/1411.48	c 1411s |      27 | 17125397 | 12756733 |     1512  21092 |        0 |        0
1412.90/1413.49	c 1413s |      27 | 17144905 | 12771833 |     1512  21112 |        0 |        0
1414.90/1415.49	c 1415s |      27 | 17166495 | 12788033 |     1512  21132 |        0 |        0
1416.90/1417.49	c 1417s |      27 | 17186967 | 12804133 |     1512  21153 |        0 |        0
1419.00/1419.50	c 1419s |      27 | 17209162 | 12820633 |     1512  21174 |        0 |        0
1421.00/1421.50	c 1421s |      27 | 17231615 | 12837233 |     1512  21195 |        0 |        0
1423.01/1423.51	c 1423s |      27 | 17253222 | 12853333 |     1512  21216 |        0 |        0
1425.00/1425.52	c 1425s |      27 | 17273423 | 12868633 |     1512  21235 |        0 |        0
1427.00/1427.53	c 1427s |      27 | 17294546 | 12884433 |     1512  21255 |        0 |        0
1429.00/1429.53	c 1429s |      27 | 17316899 | 12901233 |     1512  21277 |        0 |        0
1431.00/1431.54	c 1431s |      27 | 17338699 | 12917533 |     1512  21297 |        0 |        0
1433.00/1433.55	c 1433s |      27 | 17360162 | 12933933 |     1512  21318 |        0 |        0
1435.01/1435.56	c 1435s |      27 | 17382227 | 12950233 |     1512  21339 |        0 |        0
1437.00/1437.57	c 1437s |      27 | 17404220 | 12966733 |     1512  21360 |        0 |        0
1439.00/1439.57	c 1439s |      27 | 17425636 | 12982933 |     1512  21381 |        0 |        0
1441.00/1441.58	c 1441s |      27 | 17446057 | 12998533 |     1512  21401 |        0 |        0
1442.99/1443.59	c 1443s |      27 | 17465500 | 13013433 |     1512  21420 |        0 |        0
1445.09/1445.61	c 1445s |      27 | 17483655 | 13028033 |     1512  21439 |        0 |        0
1447.10/1447.62	c 1447s |      27 | 17503382 | 13043233 |     1512  21458 |        0 |        0
1449.09/1449.62	c 1449s |      27 | 17523540 | 13058833 |     1512  21478 |        0 |        0
1451.09/1451.62	c 1451s |      27 | 17543012 | 13074333 |     1512  21498 |        0 |        0
1453.09/1453.63	c 1453s |      27 | 17563143 | 13089533 |     1512  21517 |        0 |        0
1455.10/1455.64	c 1455s |      27 | 17582601 | 13104633 |     1512  21536 |        0 |        0
1457.11/1457.64	c 1457s |      27 | 17603114 | 13120433 |     1512  21557 |        0 |        0
1459.10/1459.66	c 1459s |      27 | 17623236 | 13136233 |     1512  21577 |        0 |        0
1461.10/1461.66	c 1461s |      27 | 17643736 | 13151933 |     1512  21597 |        0 |        0
1463.10/1463.67	c 1463s |      27 | 17664201 | 13167833 |     1512  21617 |        0 |        0
1465.10/1465.68	c 1465s |      27 | 17686558 | 13184333 |     1512  21638 |        0 |        0
1467.10/1467.69	c 1467s |      27 | 17709073 | 13201133 |     1512  21660 |        0 |        0
1469.10/1469.69	c 1469s |      27 | 17731980 | 13217933 |     1512  21681 |        0 |        0
1471.20/1471.70	c 1471s |      27 | 17753785 | 13234233 |     1512  21702 |        0 |        0
1473.20/1473.70	c 1473s |      27 | 17774192 | 13249933 |     1512  21722 |        0 |        0
1475.20/1475.71	c 1475s |      27 | 17795811 | 13266533 |     1512  21743 |        0 |        0
1477.20/1477.72	c 1477s |      27 | 17816579 | 13282533 |     1512  21763 |        0 |        0
1479.20/1479.73	c 1479s |      27 | 17836479 | 13297733 |     1512  21782 |        0 |        0
1481.20/1481.73	c 1481s |      27 | 17858026 | 13313633 |     1512  21803 |        0 |        0
1483.19/1483.74	c 1483s |      27 | 17878265 | 13329133 |     1512  21822 |        0 |        0
1485.19/1485.74	c 1485s |      27 | 17898145 | 13344333 |     1512  21841 |        0 |        0
1487.19/1487.75	c 1487s |      27 | 17917403 | 13359433 |     1512  21860 |        0 |        0
1489.19/1489.76	c 1489s |      27 | 17936321 | 13374333 |     1512  21879 |        0 |        0
1491.20/1491.77	c 1491s |      27 | 17955452 | 13389333 |     1512  21898 |        0 |        0
1493.19/1493.78	c 1493s |      27 | 17974378 | 13403833 |     1512  21917 |        0 |        0
1495.19/1495.79	c 1495s |      27 | 17996303 | 13419833 |     1512  21937 |        0 |        0
1497.19/1497.80	c 1497s |      27 | 18016384 | 13435433 |     1512  21957 |        0 |        0
1499.29/1499.81	c 1499s |      27 | 18035739 | 13450533 |     1512  21977 |        0 |        0
1501.29/1501.82	c 1501s |      27 | 18055303 | 13465133 |     1512  21995 |        0 |        0
1503.30/1503.82	c 1503s |      27 | 18075285 | 13480533 |     1512  22015 |        0 |        0
1505.29/1505.83	c 1505s |      27 | 18095588 | 13495433 |     1512  22034 |        0 |        0
1507.29/1507.83	c 1507s |      27 | 18116600 | 13511233 |     1512  22054 |        0 |        0
1509.29/1509.83	c 1509s |      27 | 18133817 | 13524833 |     1512  22072 |        0 |        0
1511.29/1511.83	c 1511s |      27 | 18150902 | 13538633 |     1512  22089 |        0 |        0
1513.29/1513.84	c 1513s |      27 | 18170046 | 13553133 |     1512  22108 |        0 |        0
1515.29/1515.85	c 1515s |      27 | 18191524 | 13569633 |     1512  22129 |        0 |        0
1517.28/1517.87	c 1517s |      27 | 18212340 | 13585033 |     1512  22148 |        0 |        0
1519.28/1519.88	c 1519s |      27 | 18234157 | 13600733 |     1512  22169 |        0 |        0
1521.28/1521.88	c 1521s |      27 | 18256159 | 13616933 |     1512  22189 |        0 |        0
1523.28/1523.89	c 1523s |      27 | 18277939 | 13633433 |     1512  22210 |        0 |        0
1525.29/1525.89	c 1525s |      27 | 18297762 | 13649333 |     1512  22230 |        0 |        0
1527.28/1527.90	c 1527s |      27 | 18318834 | 13665333 |     1512  22250 |        0 |        0
1529.38/1529.91	c 1529s |      27 | 18340077 | 13681733 |     1512  22271 |        0 |        0
1531.38/1531.91	c 1531s |      27 | 18359897 | 13697033 |     1512  22290 |        0 |        0
1533.38/1533.92	c 1533s |      27 | 18379437 | 13712133 |     1512  22309 |        0 |        0
1535.38/1535.93	c 1535s |      27 | 18398794 | 13727033 |     1512  22328 |        0 |        0
1537.39/1537.94	c 1537s |      27 | 18419199 | 13742433 |     1512  22347 |        0 |        0
1539.38/1539.94	c 1539s |      27 | 18439585 | 13757833 |     1512  22367 |        0 |        0
1541.38/1541.94	c 1541s |      27 | 18462147 | 13774433 |     1512  22388 |        0 |        0
1543.38/1543.94	c 1543s |      27 | 18484709 | 13791333 |     1512  22409 |        0 |        0
1545.39/1545.95	c 1545s |      27 | 18504163 | 13806333 |     1512  22428 |        0 |        0
1547.39/1547.96	c 1547s |      27 | 18523252 | 13821433 |     1512  22447 |        0 |        0
1549.39/1549.96	c 1549s |      27 | 18542925 | 13836233 |     1512  22466 |        0 |        0
1551.39/1551.98	c 1551s |      27 | 18564035 | 13851933 |     1512  22486 |        0 |        0
1553.38/1553.98	c 1553s |      27 | 18584088 | 13867033 |     1512  22506 |        0 |        0
1555.38/1555.98	c 1555s |      27 | 18603090 | 13881633 |     1512  22524 |        0 |        0
1557.38/1557.98	c 1557s |      27 | 18622503 | 13896133 |     1512  22543 |        0 |        0
1559.48/1560.00	c 1559s |      27 | 18642229 | 13910833 |     1512  22562 |        0 |        0
1561.49/1562.01	c 1562s |      27 | 18661652 | 13925833 |     1512  22581 |        0 |        0
1563.48/1564.02	c 1564s |      27 | 18680756 | 13940533 |     1512  22599 |        0 |        0
1565.48/1566.04	c 1566s |      27 | 18699835 | 13954833 |     1512  22618 |        0 |        0
1567.48/1568.04	c 1568s |      27 | 18717037 | 13968333 |     1512  22635 |        0 |        0
1569.48/1570.05	c 1570s |      27 | 18734891 | 13982333 |     1512  22652 |        0 |        0
1571.49/1572.05	c 1572s |      27 | 18754701 | 13997833 |     1512  22672 |        0 |        0
1573.48/1574.05	c 1574s |      27 | 18775366 | 14013133 |     1512  22692 |        0 |        0
1575.48/1576.06	c 1576s |      27 | 18795953 | 14028833 |     1512  22712 |        0 |        0
1577.48/1578.06	c 1578s |      27 | 18816008 | 14044133 |     1512  22731 |        0 |        0
1579.48/1580.07	c 1580s |      27 | 18836491 | 14059833 |     1512  22751 |        0 |        0
1581.48/1582.07	c 1582s |      27 | 18856783 | 14075533 |     1512  22771 |        0 |        0
1583.48/1584.08	c 1584s |      27 | 18876973 | 14090633 |     1512  22790 |        0 |        0
1585.48/1586.09	c 1586s |      27 | 18895816 | 14105433 |     1512  22809 |        0 |        0
1587.47/1588.09	c 1588s |      27 | 18917634 | 14121133 |     1512  22829 |        0 |        0
1589.57/1590.10	c 1590s |      27 | 18938599 | 14136733 |     1512  22849 |        0 |        0
1591.57/1592.10	c 1592s |      27 | 18959674 | 14152533 |     1512  22869 |        0 |        0
1593.57/1594.10	c 1594s |      27 | 18981248 | 14168833 |     1512  22890 |        0 |        0
1595.58/1596.11	c 1596s |      27 | 19001557 | 14184233 |     1512  22910 |        0 |        0
1597.57/1598.12	c 1598s |      27 | 19023087 | 14200333 |     1512  22930 |        0 |        0
1599.57/1600.13	c 1600s |      27 | 19042861 | 14215333 |     1512  22949 |        0 |        0
1601.57/1602.14	c 1602s |      27 | 19063153 | 14230233 |     1512  22968 |        0 |        0
1603.57/1604.15	c 1604s |      27 | 19085668 | 14246633 |     1512  22989 |        0 |        0
1605.58/1606.16	c 1606s |      27 | 19108380 | 14263433 |     1512  23010 |        0 |        0
1607.57/1608.17	c 1608s |      27 | 19130758 | 14279833 |     1512  23031 |        0 |        0
1609.58/1610.17	c 1610s |      27 | 19151056 | 14295533 |     1512  23051 |        0 |        0
1611.58/1612.17	c 1612s |      27 | 19172902 | 14311733 |     1512  23072 |        0 |        0
1613.57/1614.18	c 1614s |      27 | 19194302 | 14327833 |     1512  23092 |        0 |        0
1615.57/1616.18	c 1616s |      27 | 19213944 | 14342633 |     1512  23111 |        0 |        0
1617.58/1618.19	c 1618s |      27 | 19234255 | 14358433 |     1512  23131 |        0 |        0
1619.67/1620.20	c 1620s |      27 | 19255227 | 14374233 |     1512  23152 |        0 |        0
1621.67/1622.21	c 1622s |      27 | 19273742 | 14388933 |     1512  23170 |        0 |        0
1623.67/1624.22	c 1624s |      27 | 19294134 | 14404633 |     1512  23191 |        0 |        0
1625.67/1626.23	c 1626s |      27 | 19312834 | 14419233 |     1512  23209 |        0 |        0
1627.67/1628.24	c 1628s |      27 | 19333844 | 14435233 |     1512  23229 |        0 |        0
1629.67/1630.25	c 1630s |      27 | 19354429 | 14450933 |     1512  23250 |        0 |        0
1631.67/1632.25	c 1632s |      27 | 19376691 | 14467033 |     1512  23270 |        0 |        0
1633.66/1634.26	c 1634s |      27 | 19398676 | 14483633 |     1512  23291 |        0 |        0
1635.66/1636.27	c 1636s |      27 | 19419120 | 14499933 |     1512  23312 |        0 |        0
1637.66/1638.27	c 1638s |      27 | 19439930 | 14515933 |     1512  23333 |        0 |        0
1639.67/1640.28	c 1640s |      27 | 19460416 | 14531833 |     1512  23353 |        0 |        0
1641.66/1642.29	c 1642s |      27 | 19480294 | 14547233 |     1512  23373 |        0 |        0
1643.76/1644.30	c 1644s |      27 | 19501337 | 14563733 |     1512  23393 |        0 |        0
1645.76/1646.30	c 1646s |      27 | 19520975 | 14578833 |     1512  23413 |        0 |        0
1647.76/1648.31	c 1648s |      27 | 19541613 | 14594433 |     1512  23432 |        0 |        0
1649.77/1650.31	c 1650s |      27 | 19562554 | 14610333 |     1512  23452 |        0 |        0
1651.78/1652.32	c 1652s |      27 | 19581193 | 14625133 |     1512  23471 |        0 |        0
1653.77/1654.32	c 1654s |      27 | 19601567 | 14640333 |     1512  23490 |        0 |        0
1655.77/1656.33	c 1656s |      27 | 19621893 | 14655633 |     1512  23510 |        0 |        0
1657.77/1658.34	c 1658s |      27 | 19643486 | 14671633 |     1512  23530 |        0 |        0
1659.77/1660.34	c 1660s |      27 | 19663940 | 14687433 |     1512  23550 |        0 |        0
1661.77/1662.36	c 1662s |      27 | 19685281 | 14703333 |     1512  23570 |        0 |        0
1663.77/1664.37	c 1664s |      27 | 19706621 | 14719233 |     1512  23591 |        0 |        0
1665.76/1666.38	c 1666s |      27 | 19727553 | 14735033 |     1512  23611 |        0 |        0
1667.76/1668.39	c 1668s |      27 | 19747395 | 14750433 |     1512  23630 |        0 |        0
1669.76/1670.40	c 1670s |      27 | 19766422 | 14764533 |     1512  23648 |        0 |        0
1671.86/1672.40	c 1672s |      27 | 19786851 | 14779733 |     1512  23667 |        0 |        0
1673.86/1674.41	c 1674s |      27 | 19807260 | 14795233 |     1512  23687 |        0 |        0
1675.87/1676.42	c 1676s |      27 | 19828281 | 14810933 |     1512  23706 |        0 |        0
1677.86/1678.44	c 1678s |      27 | 19851286 | 14827533 |     1512  23727 |        0 |        0
1679.86/1680.44	c 1680s |      27 | 19872078 | 14843133 |     1512  23747 |        0 |        0
1681.86/1682.45	c 1682s |      27 | 19892083 | 14858133 |     1512  23766 |        0 |        0
1683.86/1684.45	c 1684s |      27 | 19911191 | 14873033 |     1512  23785 |        0 |        0
1685.87/1686.46	c 1686s |      27 | 19930324 | 14887533 |     1512  23803 |        0 |        0
1687.86/1688.48	c 1688s |      27 | 19951006 | 14902933 |     1512  23823 |        0 |        0
1689.86/1690.49	c 1690s |      27 | 19970524 | 14917633 |     1512  23842 |        0 |        0
1691.85/1692.49	c 1692s |      27 | 19991295 | 14933433 |     1512  23862 |        0 |        0
1693.95/1694.50	c 1694s |      27 | 20011465 | 14948833 |     1512  23881 |        0 |        0
1695.95/1696.52	c 1696s |      27 | 20031784 | 14964233 |     1512  23901 |        0 |        0
1697.96/1698.53	c 1698s |      27 | 20051254 | 14979233 |     1512  23920 |        0 |        0
1699.96/1700.54	c 1700s |      27 | 20069287 | 14993633 |     1512  23938 |        0 |        0
1701.96/1702.54	c 1702s |      27 | 20088729 | 15008733 |     1512  23957 |        0 |        0
1703.96/1704.54	c 1704s |      27 | 20107765 | 15023433 |     1512  23976 |        0 |        0
1705.96/1706.56	c 1706s |      27 | 20126761 | 15038233 |     1512  23995 |        0 |        0
1707.96/1708.56	c 1708s |      27 | 20146650 | 15053433 |     1512  24014 |        0 |        0
1709.97/1710.56	c 1710s |      27 | 20166821 | 15068933 |     1512  24034 |        0 |        0
1711.96/1712.57	c 1712s |      27 | 20189044 | 15085333 |     1512  24055 |        0 |        0
1713.96/1714.58	c 1714s |      27 | 20208510 | 15100833 |     1512  24074 |        0 |        0
1715.96/1716.59	c 1716s |      27 | 20226901 | 15115333 |     1512  24093 |        0 |        0
1718.06/1718.60	c 1718s |      27 | 20246592 | 15130333 |     1512  24112 |        0 |        0
1720.06/1720.61	c 1720s |      27 | 20266472 | 15146033 |     1512  24132 |        0 |        0
1722.06/1722.62	c 1722s |      27 | 20287192 | 15162333 |     1512  24152 |        0 |        0
1724.06/1724.63	c 1724s |      27 | 20308263 | 15178233 |     1512  24172 |        0 |        0
1726.06/1726.63	c 1726s |      27 | 20328049 | 15193733 |     1512  24192 |        0 |        0
1728.06/1728.63	c 1728s |      27 | 20348798 | 15209633 |     1512  24212 |        0 |        0
1730.06/1730.64	c 1730s |      27 | 20369153 | 15225233 |     1512  24232 |        0 |        0
1732.06/1732.64	c 1732s |      27 | 20389196 | 15240333 |     1512  24251 |        0 |        0
1734.05/1734.65	c 1734s |      27 | 20408709 | 15255233 |     1512  24270 |        0 |        0
1736.05/1736.65	c 1736s |      27 | 20428360 | 15270433 |     1512  24289 |        0 |        0
1738.05/1738.65	c 1738s |      27 | 20448390 | 15285733 |     1512  24309 |        0 |        0
1740.05/1740.66	c 1740s |      27 | 20468058 | 15300633 |     1512  24327 |        0 |        0
1742.05/1742.67	c 1742s |      27 | 20487574 | 15315433 |     1512  24346 |        0 |        0
1744.06/1744.67	c 1744s |      27 | 20506257 | 15329733 |     1512  24364 |        0 |        0
1746.05/1746.69	c 1746s |      27 | 20527109 | 15345233 |     1512  24384 |        0 |        0
1748.05/1748.69	c 1748s |      27 | 20546945 | 15360733 |     1512  24404 |        0 |        0
1750.05/1750.69	c 1750s |      27 | 20566929 | 15376133 |     1512  24423 |        0 |        0
1752.15/1752.70	c 1752s |      27 | 20588053 | 15392333 |     1512  24444 |        0 |        0
1754.15/1754.70	c 1754s |      27 | 20608931 | 15408333 |     1512  24464 |        0 |        0
1756.16/1756.71	c 1756s |      27 | 20631122 | 15425133 |     1512  24485 |        0 |        0
1758.15/1758.71	c 1758s |      27 | 20650867 | 15440233 |     1512  24504 |        0 |        0
1760.15/1760.72	c 1760s |      27 | 20671146 | 15456033 |     1512  24524 |        0 |        0
1762.15/1762.73	c 1762s |      27 | 20693320 | 15472033 |     1512  24545 |        0 |        0
1764.15/1764.73	c 1764s |      27 | 20713266 | 15487033 |     1512  24564 |        0 |        0
1766.16/1766.74	c 1766s |      27 | 20733478 | 15501933 |     1512  24583 |        0 |        0
1768.15/1768.75	c 1768s |      27 | 20753374 | 15516933 |     1512  24602 |        0 |        0
1770.15/1770.76	c 1770s |      27 | 20773026 | 15531733 |     1512  24621 |        0 |        0
1772.14/1772.76	c 1772s |      27 | 20792581 | 15546533 |     1512  24640 |        0 |        0
1774.14/1774.77	c 1774s |      27 | 20811688 | 15561233 |     1512  24659 |        0 |        0
1776.14/1776.77	c 1776s |      27 | 20832077 | 15576633 |     1512  24679 |        0 |        0
1778.15/1778.78	c 1778s |      27 | 20852963 | 15591933 |     1512  24698 |        0 |        0
1780.14/1780.78	c 1780s |      27 | 20873188 | 15606533 |     1512  24717 |        0 |        0
1782.14/1782.79	c 1782s |      27 | 20892822 | 15621333 |     1512  24736 |        0 |        0
1784.15/1784.79	c 1784s |      27 | 20912879 | 15636433 |     1512  24755 |        0 |        0
1786.25/1786.80	c 1786s |      27 | 20933792 | 15652333 |     1512  24776 |        0 |        0
1788.25/1788.81	c 1788s |      27 | 20954084 | 15668233 |     1512  24796 |        0 |        0
1790.26/1790.82	c 1790s |      27 | 20975032 | 15684133 |     1512  24816 |        0 |        0
1792.25/1792.83	c 1792s |      27 | 20995415 | 15700033 |     1512  24836 |        0 |        0
1794.25/1794.83	c 1794s |      27 | 21017111 | 15716233 |     1512  24857 |        0 |        0
1796.25/1796.83	c 1796s |      27 | 21039094 | 15732933 |     1512  24878 |        0 |        0
1798.25/1798.84	c 1798s |      27 | 21058933 | 15748733 |     1512  24898 |        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-4095847-1466097739/watcher-4095847-1466097739 -o /tmp/evaluation-result-4095847-1466097739/solver-4095847-1466097739 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23943 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095847-1466097739.opb 

pid=24235
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.07 2.04 2.00 3/179 24238
/proc/meminfo: memFree=30756232/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=736700 CPUtime=0 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 2747 0 0 0 0 0 0 0 20 0 4 0 11823795 754380800 3619 33554432000 4194304 16246674 140736239435328 140736239434752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 184687 3629 441 2943 0 181581 0
[pid=24238/tid=24239] ppid=24235 vsize=755132 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 773255168 3690 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 777449472 3707 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11823795 781643776 3725 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 24238
/proc/meminfo: memFree=30756232/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 25149 0 0 0 6 3 0 0 20 0 4 0 11823795 1247350784 26009 33554432000 4194304 16246674 140736239435328 140736239434752 5829366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 304529 26020 708 2943 0 301423 0
[pid=24238/tid=24239] ppid=24235 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1247350784 26031 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1247350784 26037 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11823795 1247350784 26043 33554432000 4194304 16246674 140736239435328 139920494550192 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.200517 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 24238
/proc/meminfo: memFree=30756232/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 49011 0 0 0 13 6 0 0 20 0 4 0 11823795 1247350784 49871 33554432000 4194304 16246674 140736239435328 140736239434752 6020769 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 304529 49887 708 2943 0 301423 0
[pid=24238/tid=24239] ppid=24235 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1247350784 49894 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1247350784 49899 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11823795 1247350784 49906 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300495 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 24238
/proc/meminfo: memFree=30756232/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 72182 0 0 0 19 10 0 0 20 0 4 0 11823795 1247350784 73042 33554432000 4194304 16246674 140736239435328 140736239434752 5723205 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 304529 73053 708 2943 0 301423 0
[pid=24238/tid=24239] ppid=24235 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1247350784 73060 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1247350784 73068 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11823795 1247350784 73073 33554432000 4194304 16246674 140736239435328 139920494550192 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.70041 s]
/proc/loadavg: 2.07 2.04 2.00 3/179 24238
/proc/meminfo: memFree=30756232/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 163674 0 0 0 47 22 0 0 20 0 4 0 11823795 1247350784 164535 33554432000 4194304 16246674 140736239435328 140736239434752 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 304529 164548 709 2943 0 301423 0
[pid=24238/tid=24239] ppid=24235 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1247350784 164554 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1247350784 164560 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11823795 1247350784 164567 33554432000 4194304 16246674 140736239435328 139920494550192 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.50042 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 24242
/proc/meminfo: memFree=29771504/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 245573 0 0 0 115 34 0 0 20 0 4 0 11823795 1248399360 246413 33554432000 4194304 16246674 140736239435328 140736239434640 12460232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 304785 246413 785 2943 0 301679 0
[pid=24238/tid=24239] ppid=24235 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1248399360 246413 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1248399360 246413 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1248399360 246413 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 24242
/proc/meminfo: memFree=29684332/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 267389 0 0 0 272 37 0 0 20 0 4 0 11823795 1337528320 268229 33554432000 4194304 16246674 140736239435328 140736239417216 5523247 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 326545 268229 785 2943 0 323439 0
[pid=24238/tid=24239] ppid=24235 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1337528320 268229 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1337528320 268229 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1337528320 268229 33554432000 4194304 16246674 140736239435328 139920494550192 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.30043 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 24242
/proc/meminfo: memFree=29683116/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 267468 0 0 0 592 37 0 0 20 0 4 0 11823795 1337528320 268308 33554432000 4194304 16246674 140736239435328 140736239418328 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 326545 268308 785 2943 0 323439 0
[pid=24238/tid=24239] ppid=24235 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1337528320 268308 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1337528320 268308 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1337528320 268308 33554432000 4194304 16246674 140736239435328 139920494550192 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.06 2.03 2.00 3/183 24242
/proc/meminfo: memFree=29683632/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 267477 0 0 0 1232 37 0 0 20 0 4 0 11823795 1337528320 268317 33554432000 4194304 16246674 140736239435328 140736239418328 5662594 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 326545 268317 787 2943 0 323439 0
[pid=24238/tid=24239] ppid=24235 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1337528320 268317 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1337528320 268317 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1337528320 268317 33554432000 4194304 16246674 140736239435328 139920494550192 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.5005 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 24242
/proc/meminfo: memFree=29683280/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 267482 0 0 0 2511 38 0 0 20 0 4 0 11823795 1337528320 268322 33554432000 4194304 16246674 140736239435328 140736239417216 6020879 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 326545 268322 788 2943 0 323439 0
[pid=24238/tid=24239] ppid=24235 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1337528320 268322 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1337528320 268322 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1337528320 268322 33554432000 4194304 16246674 140736239435328 139920494550192 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.1005 s]
/proc/loadavg: 2.10 2.04 2.00 3/183 24242
/proc/meminfo: memFree=29681448/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 267677 0 0 0 5069 39 0 0 20 0 4 0 11823795 1338576896 268517 33554432000 4194304 16246674 140736239435328 140736239418328 5546023 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 326801 268517 788 2943 0 323695 0
[pid=24238/tid=24239] ppid=24235 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1338576896 268517 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1338576896 268517 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1338576896 268517 33554432000 4194304 16246674 140736239435328 139920494550192 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.301 s]
/proc/loadavg: 2.17 2.07 2.01 3/183 24243
/proc/meminfo: memFree=29681124/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 267678 0 0 0 10188 40 0 0 20 0 4 0 11823795 1338576896 268518 33554432000 4194304 16246674 140736239435328 140736239417216 13195352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 326801 268518 788 2943 0 323695 0
[pid=24238/tid=24239] ppid=24235 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1338576896 268518 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1338576896 268518 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1338576896 268518 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268772 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 24273
/proc/meminfo: memFree=29672612/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1308228 CPUtime=1301.85 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 268330 0 0 0 130119 66 0 0 20 0 4 0 11823795 1339625472 268772 33554432000 4194304 16246674 140736239435328 140736239417216 13943604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 327057 268772 788 2943 0 323951 0
[pid=24238/tid=24239] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268772 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268772 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268772 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 24274
/proc/meminfo: memFree=29672264/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1308228 CPUtime=1361.81 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 268374 0 0 0 136114 67 0 0 20 0 4 0 11823795 1339625472 268772 33554432000 4194304 16246674 140736239435328 140736239418328 5754796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 327057 268772 788 2943 0 323951 0
[pid=24238/tid=24239] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268772 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268772 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268772 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24275
/proc/meminfo: memFree=29673604/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1308228 CPUtime=1421.81 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 268374 0 0 0 142113 68 0 0 20 0 4 0 11823795 1339625472 268772 33554432000 4194304 16246674 140736239435328 140736239418328 5707727 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 327057 268772 788 2943 0 323951 0
[pid=24238/tid=24239] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268772 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268772 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268772 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 24276
/proc/meminfo: memFree=29673376/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1308228 CPUtime=1481.79 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 268375 0 0 0 148110 69 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 140736239418320 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 327057 268773 789 2943 0 323951 0
[pid=24238/tid=24239] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 24278
/proc/meminfo: memFree=29669908/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1308228 CPUtime=1541.78 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 268375 0 0 0 154109 69 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 140736239417216 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 327057 268773 789 2943 0 323951 0
[pid=24238/tid=24239] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/183 24279
/proc/meminfo: memFree=29669432/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1308228 CPUtime=1601.77 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 268375 0 0 0 160107 70 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 140736239418328 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 327057 268773 789 2943 0 323951 0
[pid=24238/tid=24239] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/186 24283
/proc/meminfo: memFree=29668928/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1308228 CPUtime=1661.77 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 268375 0 0 0 166105 72 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 140736239417216 5822773 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 327057 268773 789 2943 0 323951 0
[pid=24238/tid=24239] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/184 24284
/proc/meminfo: memFree=29669268/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1308228 CPUtime=1721.76 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 268375 0 0 0 172103 73 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 140736239417216 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 327057 268773 789 2943 0 323951 0
[pid=24238/tid=24239] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/182 24334
/proc/meminfo: memFree=29681280/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1308228 CPUtime=1781.74 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 268375 0 0 0 178101 73 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 140736239417216 6050044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 327057 268773 789 2943 0 323951 0
[pid=24238/tid=24239] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.01 2.04 2.00 3/182 24335
/proc/meminfo: memFree=29681936/32872528 swapFree=162364/176672
[pid=24238] ppid=24235 vsize=1308228 CPUtime=1800.05 cores=1,3,5,7
/proc/24238/stat : 24238 (toysat) R 24235 24238 23926 0 -1 4202496 268375 0 0 0 179931 74 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 140736239417216 5667184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24238/statm: 327057 268773 789 2943 0 323951 0
[pid=24238/tid=24239] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24239/stat : 24239 (toysat) S 24235 24238 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920593104112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24238/tid=24240] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24240/stat : 24240 (toysat) S 24235 24238 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920505023728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24238/tid=24241] ppid=24235 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24238/task/24241/stat : 24241 (toysat) S 24235 24238 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11823795 1339625472 268773 33554432000 4194304 16246674 140736239435328 139920494550192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1308228

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 24238 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.06
CPU user time (s): 1799.32
CPU system time (s): 0.740887
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.740887
maximum resident set size= 1075092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268375
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= 460
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6203 second user time and 6.90295 second system time

The end

Begin job on node105 at 2016-06-16 19:22:19
IDJOB=4095847
IDBENCH=107530
IDSOLVER=2542
FILE ID=node105/4095847-1466097739
RUNJOBID= node105-1466095897-23943
PBS_JOBID= 19904031
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 007558d10083b0b52ef249a81b374f65
RANDOM SEED=1049281128

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30756652 kB
Buffers:           41596 kB
Cached:           121264 kB
SwapCached:         1480 kB
Active:          1163492 kB
Inactive:          75040 kB
Active(anon):    1076240 kB
Inactive(anon):     1660 kB
Active(file):      87252 kB
Inactive(file):    73380 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097232 kB
Dirty:             16340 kB
Writeback:             4 kB
AnonPages:       1250368 kB
Mapped:            10248 kB
Shmem:                 0 kB
Slab:             568724 kB
SReclaimable:      12512 kB
SUnreclaim:       556212 kB
KernelStack:        1512 kB
PageTables:         6448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1394960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node105 at 2016-06-16 19:52:19