0.00/0.00	c 2016-06-30T21:33:47+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-4121706-1467315227.opb"]
0.00/0.01	c use --random-gen="3129883158 2072520918 3054954239 2863762863 2300766001 3930470054 2985689532 256691679 4194212837 2149899396 3204852888 1777513415 596628350 2838145281 3856998819 1608597875 1425840831 3413728924 2418364889 2104053675 1771467819 3765694818 3133830372 1556355400 2339091066 4245002841 2167753529 1102563211 4266557097 1619810337 2159890681 727467797 2968030162 4160151372 2240273228 262879397 1461700920 762201312 1164335916 3740096224 4293629060 1004583121 1710979514 3053026612 2033626840 1432105534 3775043973 2735948765 1164470365 2894105982 135731682 1235328281 4060173887 3747230183 3363756431 2663116604 3499021502 602387315 3393906947 1416935590 1897317033 2359023746 3609198563 98367216 3078074739 1770010308 3947228156 1754139226 1745427412 1116182163 1122626486 200970227 471518928 329303236 108959722 1100628846 3727863505 542184880 4153948471 3206540388 1763708951 2019653020 2240005192 3457797084 619977647 2886479162 1274831630 1174528864 2799476832 1994193927 2009408865 2471971619 1387762415 504332002 2142499495 1325769996 2114888030 3722181847 654118638 3883983828 863121346 4188086298 1908355714 2074325613 1597245566 2445797625 3270113273 2618120949 1000229402 633340034 3641674276 2674268315 3163133659 1099009820 3392319200 1846828645 112047693 708553973 3673198208 271738794 1136394640 2606915696 2720614179 3841857319 510265547 3754949295 3150305780 2576257976 4221141551 3475682720 2924608141 3498626820 2834442139 2210751859 1345543605 4280584984 2865857634 1101788883 3482946166 2514352858 4203498816 1867690899 2985621598 2397364058 3177557756 4126192182 2304563793 211959284 3158913598 2021478523 1130105527 1836615972 1103033746 2884062045 3738932466 2261673008 962041277 1194620081 148010719 3495995267 1807482524 2797732813 2329895011 2305173391 991128797 2570835754 3633223006 3163426294 1010778368 4145389744 545263319 2070823647 3905191159 2424585362 2862451120 2663858838 2826032551 2907163107 3750573921 2095115076 667763735 4019203566 1486871171 3770114023 3535181973 1994951857 4273184817 1160010669 2675985790 2329283512 2137076630 2206081677 3662390038 2844848304 813024780 1576773091 2184454469 976962256 4164539384 3556331319 868374548 2023091315 1147176713 530176583 1308571908 3922778313 2377042315 487271595 211390270 4196965296 2034109450 4115000660 2915351614 404040881 256469142 1535719216 526081397 551267599 674610447 918134409 4007770732 2789389375 3195010732 2253493597 3419230771 3001011563 481576754 2485028572 2560427661 2852951380 3825526680 1160497512 2855115625 3635997542 1618902127 3459666282 3261474655 763391439 1255559483 7989736 565998968 3260640066 2812094131 162091960 787763049 1149546593 1902199769 1123151030 3287199976 1066675524 2070444215 2734208107 2797773381 2441444137 975596890 521028108 255 362436" option to reproduce the execution
0.00/0.01	c #vars 205
0.00/0.01	c #constraints 204
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.02	c  0.0s |       0 |        0 |        0 |      136      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      179 |      100 |      136      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      433 |      250 |      150      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      803 |      475 |      165      3 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1418 |      813 |      182      5 |        0 |        0
0.09/0.16	c  0.1s |       5 |     2255 |     1320 |      201      9 |        0 |        0
0.18/0.25	c  0.2s |       6 |     3422 |     2081 |      245     14 |        0 |        0
0.29/0.39	c  0.4s |       7 |     5033 |     3223 |      270     20 |        0 |        0
0.49/0.59	c  0.6s |       8 |     7906 |     4936 |      297     32 |        0 |        0
0.79/0.89	c  0.9s |       9 |    12160 |     7506 |      327     45 |        0 |        0
1.19/1.23	c  1.2s |      10 |    17037 |    11361 |      360     62 |        0 |        0
1.59/1.64	c  1.6s |      11 |    25181 |    17144 |      397     87 |        0 |        0
2.29/2.31	c  2.3s |      12 |    37053 |    25819 |      437    122 |        0 |        0
3.30/3.33	c  3.3s |      13 |    54851 |    38832 |      481    170 |        0 |        0
4.79/4.85	c  4.8s |      14 |    81239 |    58352 |      530    238 |        0 |        0
6.79/6.85	c  6.8s |      14 |   111269 |    81852 |      530    311 |        0 |        0
7.29/7.35	c  7.3s |      15 |   118738 |    87632 |      583    329 |        0 |        0
9.29/9.36	c  9.3s |      15 |   150689 |   111832 |      583    400 |        0 |        0
11.00/11.08	c 11.1s |      16 |   176188 |   131552 |      642    457 |        0 |        0
12.99/13.09	c 13.1s |      16 |   204190 |   153552 |      642    515 |        0 |        0
14.99/15.09	c 15.1s |      16 |   234608 |   176252 |      642    576 |        0 |        0
16.99/17.01	c 17.0s |      17 |   262650 |   197432 |      707    632 |        0 |        0
18.99/19.01	c 19.0s |      17 |   290425 |   219132 |      707    685 |        0 |        0
20.99/21.02	c 21.0s |      17 |   317300 |   240032 |      707    736 |        0 |        0
22.98/23.03	c 23.0s |      17 |   345938 |   261732 |      707    791 |        0 |        0
24.98/25.04	c 25.0s |      17 |   376222 |   285032 |      707    851 |        0 |        0
25.98/26.03	c 26.0s |      18 |   391187 |   296252 |      778    881 |        0 |        0
27.98/28.03	c 28.0s |      18 |   421625 |   319052 |      778    935 |        0 |        0
29.98/30.03	c 30.0s |      18 |   452072 |   341352 |      778    987 |        0 |        0
31.99/32.03	c 32.0s |      18 |   481961 |   363352 |      778   1038 |        0 |        0
33.99/34.03	c 34.0s |      18 |   512848 |   385752 |      778   1091 |        0 |        0
35.98/36.04	c 36.0s |      18 |   543390 |   407752 |      778   1141 |        0 |        0
37.98/38.05	c 38.0s |      18 |   573381 |   429952 |      778   1192 |        0 |        0
39.38/39.44	c 39.4s |      19 |   592073 |   444482 |      856   1225 |        0 |        0
41.38/41.44	c 41.4s |      19 |   621835 |   466782 |      856   1272 |        0 |        0
43.38/43.45	c 43.4s |      19 |   650631 |   488182 |      856   1317 |        0 |        0
45.38/45.45	c 45.4s |      19 |   678908 |   509582 |      856   1363 |        0 |        0
47.39/47.47	c 47.5s |      19 |   706129 |   530182 |      856   1407 |        0 |        0
49.38/49.47	c 49.5s |      19 |   732868 |   550582 |      856   1450 |        0 |        0
51.38/51.47	c 51.5s |      19 |   758929 |   570582 |      856   1493 |        0 |        0
53.38/53.48	c 53.5s |      19 |   786755 |   591582 |      856   1538 |        0 |        0
55.38/55.49	c 55.5s |      19 |   812732 |   611682 |      856   1581 |        0 |        0
57.38/57.49	c 57.5s |      19 |   839522 |   632182 |      856   1625 |        0 |        0
59.39/59.49	c 59.5s |      19 |   868399 |   653182 |      856   1670 |        0 |        0
60.78/60.80	c 60.8s |      20 |   887439 |   666827 |      942   1698 |        0 |        0
62.79/62.81	c 62.8s |      20 |   913948 |   686727 |      942   1736 |        0 |        0
64.78/64.82	c 64.8s |      20 |   939472 |   706327 |      942   1774 |        0 |        0
66.78/66.82	c 66.8s |      20 |   965142 |   725327 |      942   1811 |        0 |        0
68.78/68.83	c 68.8s |      20 |   992580 |   745627 |      942   1851 |        0 |        0
70.77/70.83	c 70.8s |      20 |  1020664 |   766027 |      942   1891 |        0 |        0
72.77/72.84	c 72.8s |      20 |  1048632 |   785927 |      942   1929 |        0 |        0
74.78/74.84	c 74.8s |      20 |  1076401 |   805827 |      942   1969 |        0 |        0
76.77/76.85	c 76.8s |      20 |  1104225 |   826827 |      942   2010 |        0 |        0
78.78/78.85	c 78.8s |      20 |  1130844 |   846927 |      942   2050 |        0 |        0
80.78/80.86	c 80.8s |      20 |  1157839 |   867127 |      942   2089 |        0 |        0
82.78/82.86	c 82.8s |      20 |  1184538 |   887127 |      942   2129 |        0 |        0
84.78/84.86	c 84.8s |      20 |  1213209 |   908227 |      942   2170 |        0 |        0
86.78/86.86	c 86.8s |      20 |  1239339 |   927627 |      942   2208 |        0 |        0
88.77/88.87	c 88.9s |      20 |  1265047 |   946827 |      942   2246 |        0 |        0
90.77/90.88	c 90.9s |      20 |  1291051 |   966427 |      942   2284 |        0 |        0
92.77/92.89	c 92.9s |      20 |  1317188 |   985827 |      942   2323 |        0 |        0
94.37/94.41	c 94.4s |      21 |  1336345 |  1000345 |     1037   2350 |        0 |        0
96.37/96.41	c 96.4s |      21 |  1361622 |  1019045 |     1037   2385 |        0 |        0
98.37/98.42	c 98.4s |      21 |  1387944 |  1037645 |     1037   2419 |        0 |        0
100.36/100.43	c  100s |      21 |  1415190 |  1057245 |     1037   2455 |        0 |        0
102.37/102.44	c  102s |      21 |  1442481 |  1076745 |     1037   2491 |        0 |        0
104.36/104.44	c  104s |      21 |  1465863 |  1094845 |     1037   2525 |        0 |        0
106.36/106.44	c  106s |      21 |  1492099 |  1113145 |     1037   2559 |        0 |        0
108.36/108.45	c  108s |      21 |  1518933 |  1132045 |     1037   2595 |        0 |        0
110.36/110.46	c  110s |      21 |  1546774 |  1152545 |     1037   2632 |        0 |        0
112.37/112.47	c  112s |      21 |  1574101 |  1171445 |     1037   2667 |        0 |        0
114.37/114.47	c  114s |      21 |  1601058 |  1190745 |     1037   2703 |        0 |        0
116.37/116.47	c  116s |      21 |  1626484 |  1208345 |     1037   2736 |        0 |        0
118.37/118.48	c  118s |      21 |  1652302 |  1226345 |     1037   2770 |        0 |        0
120.36/120.49	c  120s |      21 |  1680775 |  1245445 |     1037   2805 |        0 |        0
122.46/122.50	c  122s |      21 |  1709936 |  1264945 |     1037   2842 |        0 |        0
124.46/124.50	c  124s |      21 |  1738755 |  1283545 |     1037   2876 |        0 |        0
126.47/126.52	c  126s |      21 |  1767415 |  1303045 |     1037   2913 |        0 |        0
128.46/128.52	c  128s |      21 |  1794693 |  1322045 |     1037   2948 |        0 |        0
130.46/130.53	c  130s |      21 |  1819815 |  1340345 |     1037   2982 |        0 |        0
132.46/132.54	c  132s |      21 |  1844124 |  1358245 |     1037   3015 |        0 |        0
134.46/134.55	c  134s |      21 |  1868844 |  1376345 |     1037   3049 |        0 |        0
136.47/136.55	c  136s |      21 |  1891333 |  1393345 |     1037   3081 |        0 |        0
138.46/138.56	c  138s |      21 |  1919446 |  1412545 |     1037   3116 |        0 |        0
140.46/140.57	c  140s |      21 |  1947722 |  1431545 |     1037   3152 |        0 |        0
142.45/142.58	c  142s |      21 |  1975745 |  1449645 |     1037   3186 |        0 |        0
144.45/144.59	c  144s |      21 |  2000893 |  1467545 |     1037   3219 |        0 |        0
146.45/146.59	c  146s |      21 |  2026093 |  1484545 |     1037   3251 |        0 |        0
148.25/148.31	c  148s |      22 |  2047141 |  1500622 |     1141   3278 |        0 |        0
150.25/150.32	c  150s |      22 |  2072945 |  1519822 |     1141   3310 |        0 |        0
152.25/152.32	c  152s |      22 |  2099935 |  1539622 |     1141   3342 |        0 |        0
154.25/154.33	c  154s |      22 |  2127268 |  1559722 |     1141   3375 |        0 |        0
156.26/156.33	c  156s |      22 |  2152304 |  1578322 |     1141   3405 |        0 |        0
158.25/158.34	c  158s |      22 |  2178585 |  1597522 |     1141   3437 |        0 |        0
160.26/160.34	c  160s |      22 |  2202598 |  1615822 |     1141   3467 |        0 |        0
162.25/162.35	c  162s |      22 |  2229330 |  1635122 |     1141   3498 |        0 |        0
164.25/164.36	c  164s |      22 |  2255033 |  1654322 |     1141   3530 |        0 |        0
166.25/166.37	c  166s |      22 |  2280649 |  1673422 |     1141   3562 |        0 |        0
168.26/168.37	c  168s |      22 |  2304672 |  1691622 |     1141   3593 |        0 |        0
170.25/170.38	c  170s |      22 |  2329883 |  1710422 |     1141   3625 |        0 |        0
172.25/172.38	c  172s |      22 |  2354604 |  1729122 |     1141   3657 |        0 |        0
174.25/174.39	c  174s |      22 |  2380097 |  1748222 |     1141   3689 |        0 |        0
176.25/176.39	c  176s |      22 |  2406066 |  1767422 |     1141   3721 |        0 |        0
178.25/178.39	c  178s |      22 |  2432169 |  1786322 |     1141   3753 |        0 |        0
180.24/180.39	c  180s |      22 |  2457657 |  1805422 |     1141   3786 |        0 |        0
182.34/182.40	c  182s |      22 |  2484303 |  1824622 |     1141   3818 |        0 |        0
184.34/184.40	c  184s |      22 |  2511083 |  1843822 |     1141   3851 |        0 |        0
186.34/186.40	c  186s |      22 |  2537551 |  1863222 |     1141   3884 |        0 |        0
188.34/188.41	c  188s |      22 |  2564824 |  1882822 |     1141   3917 |        0 |        0
190.35/190.41	c  190s |      22 |  2591289 |  1902222 |     1141   3950 |        0 |        0
192.34/192.42	c  192s |      22 |  2618205 |  1921822 |     1141   3983 |        0 |        0
194.35/194.42	c  194s |      22 |  2644654 |  1941122 |     1141   4016 |        0 |        0
196.34/196.43	c  196s |      22 |  2671224 |  1960322 |     1141   4048 |        0 |        0
198.34/198.43	c  198s |      22 |  2697048 |  1978922 |     1141   4080 |        0 |        0
200.34/200.44	c  200s |      22 |  2722902 |  1998522 |     1141   4113 |        0 |        0
202.35/202.44	c  202s |      22 |  2748813 |  2017622 |     1141   4146 |        0 |        0
204.34/204.44	c  204s |      22 |  2774133 |  2036322 |     1141   4178 |        0 |        0
206.34/206.45	c  206s |      22 |  2800395 |  2055022 |     1141   4209 |        0 |        0
208.34/208.45	c  208s |      22 |  2825081 |  2073622 |     1141   4241 |        0 |        0
210.34/210.45	c  210s |      22 |  2851325 |  2093022 |     1141   4274 |        0 |        0
212.34/212.45	c  212s |      22 |  2877737 |  2112222 |     1141   4306 |        0 |        0
214.33/214.46	c  214s |      22 |  2903037 |  2131022 |     1141   4338 |        0 |        0
216.33/216.47	c  216s |      22 |  2927274 |  2149122 |     1141   4368 |        0 |        0
218.33/218.48	c  218s |      22 |  2951517 |  2167022 |     1141   4399 |        0 |        0
220.33/220.49	c  220s |      22 |  2974644 |  2184522 |     1141   4428 |        0 |        0
222.43/222.50	c  222s |      22 |  2999184 |  2202522 |     1141   4459 |        0 |        0
224.33/224.50	c  224s |      22 |  3021165 |  2219222 |     1141   4488 |        0 |        0
226.42/226.51	c  226s |      22 |  3045800 |  2237222 |     1256   4518 |        0 |        0
227.92/228.07	c  228s |      23 |  3063736 |  2251038 |     1256   4539 |        0 |        0
229.93/230.07	c  230s |      23 |  3085833 |  2268138 |     1256   4564 |        0 |        0
231.92/232.08	c  232s |      23 |  3108563 |  2285538 |     1256   4590 |        0 |        0
233.92/234.08	c  234s |      23 |  3131950 |  2303538 |     1256   4617 |        0 |        0
235.92/236.09	c  236s |      23 |  3155235 |  2321238 |     1256   4644 |        0 |        0
238.02/238.10	c  238s |      23 |  3179574 |  2339738 |     1256   4671 |        0 |        0
240.02/240.11	c  240s |      23 |  3203651 |  2357738 |     1256   4698 |        0 |        0
242.02/242.12	c  242s |      23 |  3227616 |  2376238 |     1256   4725 |        0 |        0
244.03/244.12	c  244s |      23 |  3252793 |  2395138 |     1256   4753 |        0 |        0
246.02/246.13	c  246s |      23 |  3277766 |  2413538 |     1256   4781 |        0 |        0
248.02/248.13	c  248s |      23 |  3302874 |  2432238 |     1256   4808 |        0 |        0
250.02/250.13	c  250s |      23 |  3328266 |  2451338 |     1256   4837 |        0 |        0
252.02/252.13	c  252s |      23 |  3353846 |  2470638 |     1256   4867 |        0 |        0
254.03/254.14	c  254s |      23 |  3376974 |  2489238 |     1256   4895 |        0 |        0
256.02/256.15	c  256s |      23 |  3399676 |  2507238 |     1256   4923 |        0 |        0
258.02/258.15	c  258s |      23 |  3424154 |  2525138 |     1256   4950 |        0 |        0
260.02/260.15	c  260s |      23 |  3447379 |  2542638 |     1256   4977 |        0 |        0
262.01/262.16	c  262s |      23 |  3472472 |  2561138 |     1256   5006 |        0 |        0
264.02/264.16	c  264s |      23 |  3496496 |  2579238 |     1256   5033 |        0 |        0
266.01/266.17	c  266s |      23 |  3519635 |  2596838 |     1256   5060 |        0 |        0
268.01/268.17	c  268s |      23 |  3543887 |  2615038 |     1256   5089 |        0 |        0
270.01/270.17	c  270s |      23 |  3568824 |  2633638 |     1256   5117 |        0 |        0
272.00/272.18	c  272s |      23 |  3593292 |  2652038 |     1256   5144 |        0 |        0
274.00/274.18	c  274s |      23 |  3617365 |  2670238 |     1256   5172 |        0 |        0
276.01/276.19	c  276s |      23 |  3640878 |  2688038 |     1256   5198 |        0 |        0
278.10/278.20	c  278s |      23 |  3665152 |  2706138 |     1256   5225 |        0 |        0
280.11/280.20	c  280s |      23 |  3690102 |  2724838 |     1256   5253 |        0 |        0
282.11/282.21	c  282s |      23 |  3714867 |  2743638 |     1256   5281 |        0 |        0
284.10/284.21	c  284s |      23 |  3739540 |  2762138 |     1256   5309 |        0 |        0
286.10/286.21	c  286s |      23 |  3763123 |  2779838 |     1256   5335 |        0 |        0
288.11/288.22	c  288s |      23 |  3788068 |  2798438 |     1256   5363 |        0 |        0
290.10/290.23	c  290s |      23 |  3812146 |  2816938 |     1256   5391 |        0 |        0
292.10/292.24	c  292s |      23 |  3834682 |  2834938 |     1256   5418 |        0 |        0
294.10/294.25	c  294s |      23 |  3860001 |  2853538 |     1256   5446 |        0 |        0
296.10/296.26	c  296s |      23 |  3883732 |  2871938 |     1256   5474 |        0 |        0
298.11/298.26	c  298s |      23 |  3906674 |  2889738 |     1256   5500 |        0 |        0
300.10/300.27	c  300s |      23 |  3931792 |  2908438 |     1256   5528 |        0 |        0
302.10/302.28	c  302s |      23 |  3954500 |  2925938 |     1256   5555 |        0 |        0
304.09/304.29	c  304s |      23 |  3979459 |  2944338 |     1256   5582 |        0 |        0
306.09/306.29	c  306s |      23 |  4003059 |  2962238 |     1256   5609 |        0 |        0
308.19/308.30	c  308s |      23 |  4026851 |  2980538 |     1256   5637 |        0 |        0
310.20/310.30	c  310s |      23 |  4051946 |  2998938 |     1256   5664 |        0 |        0
312.19/312.31	c  312s |      23 |  4074990 |  3016538 |     1256   5691 |        0 |        0
314.19/314.31	c  314s |      23 |  4096883 |  3033238 |     1256   5716 |        0 |        0
316.19/316.32	c  316s |      23 |  4118530 |  3050538 |     1256   5742 |        0 |        0
318.19/318.32	c  318s |      23 |  4142988 |  3068838 |     1256   5769 |        0 |        0
320.19/320.32	c  320s |      23 |  4167138 |  3086738 |     1256   5796 |        0 |        0
322.19/322.33	c  322s |      23 |  4189303 |  3103938 |     1256   5822 |        0 |        0
324.18/324.34	c  324s |      23 |  4212707 |  3121938 |     1256   5850 |        0 |        0
326.18/326.34	c  326s |      23 |  4235279 |  3139338 |     1256   5876 |        0 |        0
328.18/328.35	c  328s |      23 |  4258573 |  3156838 |     1256   5903 |        0 |        0
330.18/330.35	c  330s |      23 |  4281238 |  3174338 |     1256   5930 |        0 |        0
332.18/332.36	c  332s |      23 |  4306609 |  3193238 |     1256   5958 |        0 |        0
334.18/334.37	c  334s |      23 |  4330893 |  3211638 |     1256   5986 |        0 |        0
336.17/336.38	c  336s |      23 |  4355988 |  3230338 |     1256   6015 |        0 |        0
338.17/338.39	c  338s |      23 |  4381521 |  3249238 |     1256   6044 |        0 |        0
340.17/340.39	c  340s |      23 |  4406171 |  3267538 |     1256   6072 |        0 |        0
342.27/342.40	c  342s |      23 |  4429017 |  3285138 |     1256   6099 |        0 |        0
344.28/344.40	c  344s |      23 |  4452980 |  3303238 |     1256   6126 |        0 |        0
346.27/346.41	c  346s |      23 |  4477550 |  3321438 |     1256   6154 |        0 |        0
348.27/348.42	c  348s |      23 |  4501530 |  3339638 |     1256   6182 |        0 |        0
350.27/350.42	c  350s |      23 |  4525094 |  3357738 |     1382   6209 |        0 |        0
352.27/352.43	c  352s |      23 |  4547196 |  3374338 |     1382   6232 |        0 |        0
352.57/352.72	c  352s |      24 |  4550148 |  3376662 |     1382   6235 |        0 |        0
354.57/354.73	c  354s |      24 |  4575135 |  3394162 |     1382   6260 |        0 |        0
356.57/356.74	c  356s |      24 |  4598793 |  3411862 |     1382   6285 |        0 |        0
358.57/358.74	c  358s |      24 |  4623284 |  3429862 |     1382   6310 |        0 |        0
360.56/360.74	c  360s |      24 |  4647334 |  3447462 |     1382   6335 |        0 |        0
362.56/362.75	c  362s |      24 |  4669955 |  3464262 |     1382   6358 |        0 |        0
364.56/364.76	c  364s |      24 |  4694680 |  3483362 |     1382   6385 |        0 |        0
366.57/366.77	c  366s |      24 |  4720857 |  3503062 |     1382   6412 |        0 |        0
368.57/368.77	c  368s |      24 |  4744071 |  3521162 |     1382   6437 |        0 |        0
370.57/370.78	c  370s |      24 |  4769812 |  3539662 |     1382   6463 |        0 |        0
372.56/372.78	c  372s |      24 |  4792936 |  3556962 |     1382   6487 |        0 |        0
374.56/374.78	c  374s |      24 |  4815519 |  3574962 |     1382   6512 |        0 |        0
376.56/376.79	c  376s |      24 |  4841126 |  3594062 |     1382   6539 |        0 |        0
378.56/378.79	c  378s |      24 |  4864445 |  3612162 |     1382   6564 |        0 |        0
380.66/380.80	c  380s |      24 |  4889983 |  3630962 |     1382   6590 |        0 |        0
382.66/382.80	c  382s |      24 |  4909396 |  3646962 |     1382   6613 |        0 |        0
384.65/384.81	c  384s |      24 |  4931588 |  3664362 |     1382   6637 |        0 |        0
386.65/386.82	c  386s |      24 |  4954710 |  3681862 |     1382   6661 |        0 |        0
388.65/388.82	c  388s |      24 |  4978685 |  3700062 |     1382   6687 |        0 |        0
390.65/390.82	c  390s |      24 |  5003061 |  3717762 |     1382   6712 |        0 |        0
392.65/392.83	c  392s |      24 |  5026766 |  3735562 |     1382   6737 |        0 |        0
394.65/394.84	c  394s |      24 |  5052173 |  3754362 |     1382   6763 |        0 |        0
396.64/396.84	c  396s |      24 |  5077595 |  3772862 |     1382   6789 |        0 |        0
398.64/398.85	c  398s |      24 |  5101566 |  3790862 |     1382   6815 |        0 |        0
400.64/400.85	c  400s |      24 |  5125885 |  3809062 |     1382   6840 |        0 |        0
402.64/402.87	c  402s |      24 |  5151373 |  3827662 |     1382   6867 |        0 |        0
404.65/404.87	c  404s |      24 |  5177867 |  3846362 |     1382   6893 |        0 |        0
406.64/406.88	c  406s |      24 |  5202267 |  3864562 |     1382   6918 |        0 |        0
408.64/408.89	c  408s |      24 |  5226937 |  3882662 |     1382   6944 |        0 |        0
410.64/410.89	c  410s |      24 |  5251631 |  3901062 |     1382   6969 |        0 |        0
412.73/412.90	c  412s |      24 |  5276153 |  3918862 |     1382   6994 |        0 |        0
414.73/414.91	c  414s |      24 |  5299052 |  3936262 |     1382   7018 |        0 |        0
416.74/416.92	c  416s |      24 |  5322121 |  3953462 |     1382   7042 |        0 |        0
418.74/418.93	c  418s |      24 |  5348096 |  3972462 |     1382   7069 |        0 |        0
420.74/420.94	c  420s |      24 |  5373758 |  3990962 |     1382   7095 |        0 |        0
422.73/422.95	c  422s |      24 |  5396395 |  4008062 |     1382   7119 |        0 |        0
424.73/424.95	c  424s |      24 |  5420029 |  4026162 |     1382   7144 |        0 |        0
426.74/426.96	c  426s |      24 |  5441726 |  4042562 |     1382   7167 |        0 |        0
428.73/428.96	c  428s |      24 |  5462281 |  4058062 |     1382   7189 |        0 |        0
430.73/430.96	c  430s |      24 |  5483682 |  4074562 |     1382   7212 |        0 |        0
432.72/432.97	c  432s |      24 |  5506021 |  4091462 |     1382   7235 |        0 |        0
434.72/434.97	c  434s |      24 |  5529326 |  4108762 |     1382   7259 |        0 |        0
436.72/436.98	c  436s |      24 |  5550739 |  4125162 |     1382   7282 |        0 |        0
438.73/438.98	c  438s |      24 |  5572627 |  4141662 |     1382   7306 |        0 |        0
440.72/440.99	c  440s |      24 |  5594581 |  4158362 |     1382   7330 |        0 |        0
442.82/443.01	c  442s |      24 |  5615777 |  4174562 |     1382   7353 |        0 |        0
444.82/445.02	c  445s |      24 |  5633961 |  4189462 |     1382   7374 |        0 |        0
446.82/447.02	c  447s |      24 |  5650958 |  4203662 |     1382   7393 |        0 |        0
448.82/449.02	c  449s |      24 |  5670796 |  4219262 |     1382   7416 |        0 |        0
450.82/451.03	c  451s |      24 |  5692813 |  4236162 |     1382   7439 |        0 |        0
452.81/453.04	c  453s |      24 |  5713655 |  4252362 |     1382   7462 |        0 |        0
454.81/455.05	c  455s |      24 |  5734754 |  4268562 |     1382   7485 |        0 |        0
456.81/457.06	c  457s |      24 |  5757252 |  4286162 |     1382   7510 |        0 |        0
458.81/459.06	c  459s |      24 |  5781117 |  4303862 |     1382   7535 |        0 |        0
460.82/461.06	c  461s |      24 |  5804857 |  4321762 |     1382   7560 |        0 |        0
462.80/463.06	c  463s |      24 |  5827260 |  4338562 |     1382   7584 |        0 |        0
464.80/465.07	c  465s |      24 |  5849546 |  4356362 |     1382   7608 |        0 |        0
466.80/467.07	c  467s |      24 |  5873969 |  4374562 |     1382   7634 |        0 |        0
468.81/469.07	c  469s |      24 |  5898234 |  4392862 |     1382   7660 |        0 |        0
470.81/471.08	c  471s |      24 |  5922257 |  4410762 |     1382   7685 |        0 |        0
472.81/473.08	c  473s |      24 |  5946761 |  4428762 |     1382   7710 |        0 |        0
474.80/475.09	c  475s |      24 |  5974514 |  4448462 |     1382   7738 |        0 |        0
476.80/477.09	c  477s |      24 |  5997892 |  4466562 |     1382   7764 |        0 |        0
478.90/479.10	c  479s |      24 |  6019663 |  4483762 |     1382   7788 |        0 |        0
480.90/481.11	c  481s |      24 |  6043526 |  4501262 |     1382   7813 |        0 |        0
482.90/483.11	c  483s |      24 |  6064666 |  4517362 |     1382   7836 |        0 |        0
484.90/485.12	c  485s |      24 |  6085176 |  4532762 |     1382   7858 |        0 |        0
486.90/487.14	c  487s |      24 |  6110363 |  4550662 |     1382   7883 |        0 |        0
488.89/489.15	c  489s |      24 |  6133154 |  4567962 |     1382   7907 |        0 |        0
490.89/491.16	c  491s |      24 |  6154805 |  4584562 |     1382   7931 |        0 |        0
492.89/493.16	c  493s |      24 |  6178235 |  4601662 |     1382   7955 |        0 |        0
494.89/495.17	c  495s |      24 |  6200495 |  4618762 |     1382   7979 |        0 |        0
496.89/497.17	c  497s |      24 |  6224277 |  4636462 |     1382   8004 |        0 |        0
498.89/499.17	c  499s |      24 |  6250642 |  4655362 |     1382   8030 |        0 |        0
500.89/501.17	c  501s |      24 |  6273907 |  4672262 |     1382   8054 |        0 |        0
502.89/503.18	c  503s |      24 |  6297793 |  4689662 |     1382   8077 |        0 |        0
504.89/505.19	c  505s |      24 |  6320017 |  4706462 |     1382   8101 |        0 |        0
506.89/507.20	c  507s |      24 |  6339612 |  4721462 |     1382   8121 |        0 |        0
508.99/509.21	c  509s |      24 |  6360222 |  4736462 |     1382   8142 |        0 |        0
510.99/511.22	c  511s |      24 |  6381021 |  4752362 |     1382   8165 |        0 |        0
512.98/513.23	c  513s |      24 |  6404043 |  4768762 |     1382   8188 |        0 |        0
514.98/515.24	c  515s |      24 |  6429457 |  4787362 |     1382   8214 |        0 |        0
516.98/517.24	c  517s |      24 |  6453196 |  4805162 |     1382   8239 |        0 |        0
518.99/519.24	c  519s |      24 |  6474884 |  4822162 |     1382   8263 |        0 |        0
520.98/521.25	c  521s |      24 |  6498664 |  4839462 |     1382   8288 |        0 |        0
522.98/523.26	c  523s |      24 |  6523069 |  4856762 |     1382   8312 |        0 |        0
524.98/525.26	c  525s |      24 |  6547922 |  4874662 |     1382   8337 |        0 |        0
526.97/527.26	c  527s |      24 |  6572789 |  4893062 |     1382   8363 |        0 |        0
528.98/529.26	c  529s |      24 |  6597566 |  4911162 |     1382   8389 |        0 |        0
530.97/531.27	c  531s |      24 |  6621117 |  4928662 |     1382   8413 |        0 |        0
532.97/533.27	c  533s |      24 |  6644111 |  4945662 |     1382   8437 |        0 |        0
534.97/535.28	c  535s |      24 |  6665931 |  4962462 |     1382   8460 |        0 |        0
536.97/537.29	c  537s |      24 |  6687360 |  4978962 |     1382   8483 |        0 |        0
538.97/539.29	c  539s |      24 |  6709311 |  4995662 |     1382   8506 |        0 |        0
540.97/541.30	c  541s |      24 |  6731408 |  5012562 |     1382   8530 |        0 |        0
543.06/543.31	c  543s |      24 |  6752338 |  5028562 |     1382   8552 |        0 |        0
545.06/545.32	c  545s |      24 |  6773135 |  5044362 |     1521   8572 |        0 |        0
547.06/547.33	c  547s |      24 |  6793738 |  5059362 |     1521   8592 |        0 |        0
547.76/548.09	c  548s |      25 |  6801105 |  5065098 |     1521   8599 |        0 |        0
549.77/550.09	c  550s |      25 |  6821734 |  5081098 |     1521   8619 |        0 |        0
551.85/552.10	c  552s |      25 |  6845927 |  5098598 |     1521   8641 |        0 |        0
553.85/554.11	c  554s |      25 |  6870049 |  5115898 |     1521   8663 |        0 |        0
555.86/556.11	c  556s |      25 |  6893202 |  5133298 |     1521   8685 |        0 |        0
557.86/558.12	c  558s |      25 |  6915602 |  5150398 |     1521   8706 |        0 |        0
559.86/560.12	c  560s |      25 |  6938321 |  5167398 |     1521   8728 |        0 |        0
561.86/562.13	c  562s |      25 |  6956841 |  5182298 |     1521   8747 |        0 |        0
563.85/564.14	c  564s |      25 |  6976506 |  5197798 |     1521   8767 |        0 |        0
565.85/566.15	c  566s |      25 |  6996130 |  5213098 |     1521   8786 |        0 |        0
567.85/568.16	c  568s |      25 |  7015845 |  5228398 |     1521   8806 |        0 |        0
569.85/570.17	c  570s |      25 |  7036442 |  5244398 |     1521   8826 |        0 |        0
571.85/572.18	c  572s |      25 |  7056393 |  5259698 |     1521   8845 |        0 |        0
573.84/574.19	c  574s |      25 |  7079322 |  5276798 |     1521   8867 |        0 |        0
575.94/576.20	c  576s |      25 |  7102634 |  5294098 |     1521   8889 |        0 |        0
577.94/578.20	c  578s |      25 |  7125796 |  5311298 |     1521   8911 |        0 |        0
579.94/580.20	c  580s |      25 |  7148912 |  5328098 |     1521   8932 |        0 |        0
581.93/582.22	c  582s |      25 |  7171979 |  5345098 |     1521   8954 |        0 |        0
583.94/584.23	c  584s |      25 |  7194515 |  5361198 |     1521   8974 |        0 |        0
585.93/586.24	c  586s |      25 |  7210328 |  5373798 |     1521   8990 |        0 |        0
587.93/588.26	c  588s |      25 |  7226372 |  5386798 |     1521   9007 |        0 |        0
589.93/590.27	c  590s |      25 |  7243508 |  5399898 |     1521   9023 |        0 |        0
591.93/592.27	c  592s |      25 |  7261741 |  5413498 |     1521   9041 |        0 |        0
593.93/594.28	c  594s |      25 |  7281249 |  5428698 |     1521   9060 |        0 |        0
595.94/596.28	c  596s |      25 |  7302325 |  5444498 |     1521   9080 |        0 |        0
597.93/598.28	c  598s |      25 |  7323484 |  5459798 |     1521   9100 |        0 |        0
599.93/600.29	c  600s |      25 |  7345101 |  5476098 |     1521   9121 |        0 |        0
601.93/602.29	c  602s |      25 |  7366983 |  5491598 |     1521   9141 |        0 |        0
604.03/604.31	c  604s |      25 |  7388968 |  5506998 |     1521   9160 |        0 |        0
606.03/606.32	c  606s |      25 |  7409620 |  5521998 |     1521   9179 |        0 |        0
608.03/608.32	c  608s |      25 |  7430769 |  5537998 |     1521   9200 |        0 |        0
610.03/610.33	c  610s |      25 |  7452088 |  5554498 |     1521   9221 |        0 |        0
612.03/612.35	c  612s |      25 |  7474177 |  5570598 |     1521   9241 |        0 |        0
614.02/614.35	c  614s |      25 |  7492352 |  5584298 |     1521   9259 |        0 |        0
616.02/616.36	c  616s |      25 |  7510411 |  5597698 |     1521   9276 |        0 |        0
618.03/618.36	c  618s |      25 |  7527317 |  5610998 |     1521   9293 |        0 |        0
620.02/620.38	c  620s |      25 |  7545601 |  5625598 |     1521   9311 |        0 |        0
622.02/622.38	c  622s |      25 |  7564770 |  5639898 |     1521   9330 |        0 |        0
624.02/624.39	c  624s |      25 |  7582079 |  5653498 |     1521   9347 |        0 |        0
626.12/626.41	c  626s |      25 |  7602622 |  5668898 |     1521   9367 |        0 |        0
628.12/628.41	c  628s |      25 |  7622614 |  5683898 |     1521   9386 |        0 |        0
630.13/630.42	c  630s |      25 |  7645026 |  5700698 |     1521   9408 |        0 |        0
632.11/632.43	c  632s |      25 |  7667651 |  5716998 |     1521   9429 |        0 |        0
634.11/634.44	c  634s |      25 |  7687755 |  5731698 |     1521   9448 |        0 |        0
636.11/636.45	c  636s |      25 |  7707094 |  5745998 |     1521   9466 |        0 |        0
638.11/638.45	c  638s |      25 |  7727385 |  5761098 |     1521   9485 |        0 |        0
640.11/640.46	c  640s |      25 |  7747562 |  5775998 |     1521   9504 |        0 |        0
642.12/642.46	c  642s |      25 |  7768785 |  5792198 |     1521   9525 |        0 |        0
644.11/644.47	c  644s |      25 |  7790796 |  5808098 |     1521   9545 |        0 |        0
646.11/646.48	c  646s |      25 |  7808622 |  5822198 |     1521   9563 |        0 |        0
648.11/648.49	c  648s |      25 |  7829251 |  5837698 |     1521   9583 |        0 |        0
650.21/650.50	c  650s |      25 |  7850376 |  5853398 |     1521   9603 |        0 |        0
652.21/652.50	c  652s |      25 |  7872516 |  5870098 |     1521   9624 |        0 |        0
654.22/654.51	c  654s |      25 |  7893491 |  5886498 |     1521   9645 |        0 |        0
656.21/656.52	c  656s |      25 |  7916423 |  5903998 |     1521   9667 |        0 |        0
658.21/658.52	c  658s |      25 |  7939015 |  5921198 |     1521   9689 |        0 |        0
660.21/660.53	c  660s |      25 |  7962173 |  5938198 |     1521   9710 |        0 |        0
662.20/662.54	c  662s |      25 |  7986388 |  5955398 |     1521   9733 |        0 |        0
664.21/664.55	c  664s |      25 |  8004500 |  5969598 |     1521   9751 |        0 |        0
666.20/666.56	c  666s |      25 |  8024271 |  5984098 |     1521   9769 |        0 |        0
668.20/668.56	c  668s |      25 |  8047539 |  6000498 |     1521   9790 |        0 |        0
670.20/670.56	c  670s |      25 |  8068559 |  6016298 |     1521   9810 |        0 |        0
672.20/672.56	c  672s |      25 |  8089485 |  6031498 |     1521   9829 |        0 |        0
674.19/674.57	c  674s |      25 |  8111633 |  6047598 |     1521   9850 |        0 |        0
676.20/676.57	c  676s |      25 |  8131634 |  6062898 |     1521   9870 |        0 |        0
678.19/678.58	c  678s |      25 |  8151390 |  6077898 |     1521   9889 |        0 |        0
680.19/680.58	c  680s |      25 |  8172385 |  6093598 |     1521   9909 |        0 |        0
682.19/682.59	c  682s |      25 |  8195254 |  6110498 |     1521   9930 |        0 |        0
684.30/684.60	c  684s |      25 |  8218295 |  6127398 |     1521   9951 |        0 |        0
686.30/686.60	c  686s |      25 |  8240794 |  6143998 |     1521   9973 |        0 |        0
688.30/688.61	c  688s |      25 |  8264177 |  6160898 |     1521   9995 |        0 |        0
690.29/690.62	c  690s |      25 |  8286011 |  6177398 |     1521  10016 |        0 |        0
692.29/692.63	c  692s |      25 |  8308146 |  6193598 |     1521  10037 |        0 |        0
694.29/694.64	c  694s |      25 |  8327270 |  6208498 |     1521  10055 |        0 |        0
696.29/696.64	c  696s |      25 |  8347727 |  6224398 |     1521  10075 |        0 |        0
698.30/698.65	c  698s |      25 |  8370550 |  6241498 |     1521  10096 |        0 |        0
700.29/700.66	c  700s |      25 |  8392987 |  6258698 |     1521  10118 |        0 |        0
702.29/702.67	c  702s |      25 |  8415046 |  6275398 |     1521  10139 |        0 |        0
704.29/704.68	c  704s |      25 |  8436663 |  6291498 |     1521  10160 |        0 |        0
706.29/706.68	c  706s |      25 |  8457891 |  6307398 |     1521  10180 |        0 |        0
708.29/708.68	c  708s |      25 |  8479930 |  6324098 |     1521  10201 |        0 |        0
710.29/710.69	c  710s |      25 |  8500782 |  6339698 |     1521  10220 |        0 |        0
712.39/712.70	c  712s |      25 |  8521916 |  6355898 |     1521  10241 |        0 |        0
714.39/714.70	c  714s |      25 |  8544015 |  6372398 |     1521  10262 |        0 |        0
716.38/716.71	c  716s |      25 |  8566657 |  6389298 |     1521  10284 |        0 |        0
718.38/718.71	c  718s |      25 |  8588203 |  6405498 |     1521  10305 |        0 |        0
720.39/720.72	c  720s |      25 |  8609534 |  6421998 |     1521  10325 |        0 |        0
722.40/722.73	c  722s |      25 |  8631282 |  6438798 |     1521  10346 |        0 |        0
724.39/724.73	c  724s |      25 |  8653638 |  6455398 |     1521  10367 |        0 |        0
726.39/726.73	c  726s |      25 |  8675194 |  6471698 |     1521  10387 |        0 |        0
728.39/728.74	c  728s |      25 |  8696462 |  6487898 |     1521  10408 |        0 |        0
730.39/730.75	c  730s |      25 |  8716314 |  6503698 |     1521  10428 |        0 |        0
732.39/732.76	c  732s |      25 |  8736727 |  6519498 |     1521  10448 |        0 |        0
734.39/734.76	c  734s |      25 |  8758513 |  6535998 |     1521  10469 |        0 |        0
736.39/736.77	c  736s |      25 |  8779659 |  6552298 |     1521  10490 |        0 |        0
738.39/738.77	c  738s |      25 |  8801391 |  6568798 |     1521  10510 |        0 |        0
740.39/740.79	c  740s |      25 |  8821945 |  6584598 |     1521  10531 |        0 |        0
742.38/742.79	c  742s |      25 |  8843736 |  6600698 |     1521  10551 |        0 |        0
744.39/744.79	c  744s |      25 |  8863990 |  6616298 |     1521  10571 |        0 |        0
746.48/746.80	c  746s |      25 |  8885575 |  6632698 |     1521  10593 |        0 |        0
748.48/748.81	c  748s |      25 |  8908436 |  6649598 |     1521  10614 |        0 |        0
750.48/750.82	c  750s |      25 |  8930646 |  6666098 |     1521  10636 |        0 |        0
752.48/752.82	c  752s |      25 |  8950439 |  6680798 |     1521  10655 |        0 |        0
754.48/754.83	c  754s |      25 |  8968877 |  6694898 |     1521  10673 |        0 |        0
756.49/756.83	c  756s |      25 |  8987442 |  6709198 |     1521  10691 |        0 |        0
758.48/758.83	c  758s |      25 |  9008167 |  6725198 |     1521  10712 |        0 |        0
760.48/760.84	c  760s |      25 |  9029392 |  6741298 |     1521  10733 |        0 |        0
762.48/762.86	c  762s |      25 |  9049645 |  6757098 |     1521  10753 |        0 |        0
764.48/764.86	c  764s |      25 |  9068307 |  6771498 |     1521  10771 |        0 |        0
766.49/766.87	c  766s |      25 |  9087219 |  6785898 |     1521  10789 |        0 |        0
768.48/768.87	c  768s |      25 |  9107051 |  6800398 |     1521  10807 |        0 |        0
770.48/770.88	c  770s |      25 |  9129053 |  6816898 |     1521  10829 |        0 |        0
772.48/772.88	c  772s |      25 |  9149014 |  6832698 |     1521  10848 |        0 |        0
774.48/774.89	c  774s |      25 |  9169216 |  6847898 |     1521  10868 |        0 |        0
776.58/776.90	c  776s |      25 |  9187943 |  6862398 |     1521  10886 |        0 |        0
778.59/778.91	c  778s |      25 |  9207089 |  6877398 |     1521  10905 |        0 |        0
780.58/780.91	c  780s |      25 |  9227505 |  6893398 |     1521  10926 |        0 |        0
782.58/782.91	c  782s |      25 |  9248509 |  6909798 |     1521  10947 |        0 |        0
784.58/784.92	c  784s |      25 |  9270121 |  6926498 |     1521  10968 |        0 |        0
786.58/786.92	c  786s |      25 |  9291330 |  6942498 |     1521  10988 |        0 |        0
788.58/788.93	c  788s |      25 |  9312292 |  6958698 |     1521  11008 |        0 |        0
790.58/790.94	c  790s |      25 |  9333707 |  6974798 |     1521  11028 |        0 |        0
792.57/792.94	c  792s |      25 |  9353432 |  6990098 |     1521  11047 |        0 |        0
794.57/794.95	c  794s |      25 |  9373206 |  7004998 |     1521  11066 |        0 |        0
796.57/796.95	c  796s |      25 |  9394702 |  7021098 |     1521  11086 |        0 |        0
798.57/798.97	c  798s |      25 |  9415029 |  7036498 |     1521  11106 |        0 |        0
800.58/800.98	c  800s |      25 |  9435784 |  7051898 |     1521  11125 |        0 |        0
802.57/802.98	c  802s |      25 |  9457540 |  7067998 |     1521  11146 |        0 |        0
804.57/804.99	c  804s |      25 |  9476918 |  7082698 |     1521  11165 |        0 |        0
806.57/806.99	c  806s |      25 |  9497388 |  7098298 |     1521  11185 |        0 |        0
808.67/809.00	c  808s |      25 |  9517011 |  7112798 |     1521  11204 |        0 |        0
810.67/811.00	c  810s |      25 |  9537970 |  7127998 |     1521  11224 |        0 |        0
812.67/813.01	c  812s |      25 |  9557260 |  7142498 |     1521  11242 |        0 |        0
814.68/815.02	c  815s |      25 |  9579361 |  7158798 |     1521  11264 |        0 |        0
816.68/817.03	c  817s |      25 |  9601533 |  7175598 |     1521  11285 |        0 |        0
818.67/819.03	c  819s |      25 |  9623872 |  7192998 |     1521  11307 |        0 |        0
820.67/821.04	c  821s |      25 |  9644805 |  7208798 |     1521  11327 |        0 |        0
822.67/823.05	c  823s |      25 |  9665532 |  7224698 |     1521  11347 |        0 |        0
824.68/825.05	c  825s |      25 |  9686753 |  7240798 |     1521  11367 |        0 |        0
826.67/827.05	c  827s |      25 |  9707105 |  7256498 |     1521  11387 |        0 |        0
828.67/829.06	c  829s |      25 |  9728352 |  7272698 |     1521  11407 |        0 |        0
830.67/831.07	c  831s |      25 |  9749732 |  7288798 |     1521  11427 |        0 |        0
832.67/833.07	c  833s |      25 |  9769903 |  7303898 |     1521  11447 |        0 |        0
834.68/835.07	c  835s |      25 |  9791788 |  7320098 |     1521  11467 |        0 |        0
836.67/837.08	c  837s |      25 |  9812343 |  7336098 |     1521  11487 |        0 |        0
838.67/839.09	c  839s |      25 |  9833166 |  7351998 |     1521  11507 |        0 |        0
840.67/841.09	c  841s |      25 |  9853157 |  7367298 |     1521  11526 |        0 |        0
842.67/843.09	c  843s |      25 |  9872970 |  7382898 |     1521  11545 |        0 |        0
844.77/845.10	c  845s |      25 |  9894957 |  7399298 |     1521  11566 |        0 |        0
846.78/847.11	c  847s |      25 |  9916294 |  7415898 |     1521  11586 |        0 |        0
848.77/849.12	c  849s |      25 |  9938142 |  7432998 |     1521  11608 |        0 |        0
850.77/851.13	c  851s |      25 |  9961255 |  7449998 |     1521  11629 |        0 |        0
852.77/853.14	c  853s |      25 |  9984041 |  7467098 |     1521  11651 |        0 |        0
854.77/855.14	c  855s |      25 | 10006787 |  7484198 |     1521  11672 |        0 |        0
856.77/857.15	c  857s |      25 | 10029023 |  7500698 |     1521  11694 |        0 |        0
858.77/859.16	c  859s |      25 | 10051128 |  7517098 |     1521  11714 |        0 |        0
860.76/861.17	c  861s |      25 | 10071425 |  7532398 |     1521  11734 |        0 |        0
862.76/863.17	c  863s |      25 | 10093615 |  7548598 |     1674  11754 |        0 |        0
864.76/865.18	c  865s |      25 | 10114709 |  7564098 |     1674  11772 |        0 |        0
866.76/867.19	c  867s |      25 | 10130575 |  7576598 |     1674  11787 |        0 |        0
868.77/869.19	c  869s |      25 | 10150082 |  7590998 |     1674  11803 |        0 |        0
869.66/870.05	c  870s |      26 | 10159525 |  7597752 |     1674  11811 |        0 |        0
871.66/872.06	c  872s |      26 | 10182606 |  7614752 |     1674  11830 |        0 |        0
873.66/874.06	c  874s |      26 | 10204087 |  7631152 |     1674  11849 |        0 |        0
875.65/876.06	c  876s |      26 | 10221904 |  7645552 |     1674  11865 |        0 |        0
877.65/878.07	c  878s |      26 | 10241626 |  7660852 |     1674  11883 |        0 |        0
879.66/880.08	c  880s |      26 | 10262944 |  7676952 |     1674  11901 |        0 |        0
881.65/882.08	c  882s |      26 | 10282717 |  7692052 |     1674  11919 |        0 |        0
883.66/884.08	c  884s |      26 | 10302020 |  7707052 |     1674  11936 |        0 |        0
885.66/886.09	c  886s |      26 | 10320231 |  7721452 |     1674  11952 |        0 |        0
887.66/888.09	c  888s |      26 | 10338408 |  7736052 |     1674  11969 |        0 |        0
889.76/890.10	c  890s |      26 | 10356981 |  7750852 |     1674  11986 |        0 |        0
891.77/892.11	c  892s |      26 | 10375266 |  7765452 |     1674  12002 |        0 |        0
893.76/894.11	c  894s |      26 | 10395548 |  7780852 |     1674  12020 |        0 |        0
895.76/896.12	c  896s |      26 | 10415369 |  7796052 |     1674  12037 |        0 |        0
897.76/898.13	c  898s |      26 | 10436784 |  7812252 |     1674  12056 |        0 |        0
899.76/900.14	c  900s |      26 | 10457404 |  7827852 |     1674  12074 |        0 |        0
901.77/902.14	c  902s |      26 | 10476704 |  7842952 |     1674  12091 |        0 |        0
903.76/904.15	c  904s |      26 | 10497050 |  7858452 |     1674  12109 |        0 |        0
905.76/906.16	c  906s |      26 | 10516368 |  7873452 |     1674  12126 |        0 |        0
907.76/908.17	c  908s |      26 | 10535917 |  7888852 |     1674  12144 |        0 |        0
909.75/910.18	c  910s |      26 | 10555611 |  7904152 |     1674  12161 |        0 |        0
911.75/912.18	c  912s |      26 | 10575335 |  7919752 |     1674  12179 |        0 |        0
913.76/914.19	c  914s |      26 | 10595016 |  7934952 |     1674  12197 |        0 |        0
915.85/916.21	c  916s |      26 | 10615567 |  7950352 |     1674  12214 |        0 |        0
917.85/918.21	c  918s |      26 | 10634896 |  7965252 |     1674  12231 |        0 |        0
919.85/920.21	c  920s |      26 | 10654199 |  7980252 |     1674  12249 |        0 |        0
921.85/922.22	c  922s |      26 | 10672777 |  7994952 |     1674  12265 |        0 |        0
923.85/924.22	c  924s |      26 | 10692456 |  8010152 |     1674  12283 |        0 |        0
925.86/926.23	c  926s |      26 | 10711507 |  8025152 |     1674  12300 |        0 |        0
927.85/928.24	c  928s |      26 | 10731356 |  8040052 |     1674  12317 |        0 |        0
929.85/930.26	c  930s |      26 | 10752539 |  8055852 |     1674  12335 |        0 |        0
931.85/932.26	c  932s |      26 | 10773183 |  8071452 |     1674  12353 |        0 |        0
933.85/934.26	c  934s |      26 | 10793325 |  8086452 |     1674  12370 |        0 |        0
935.85/936.27	c  936s |      26 | 10812106 |  8101152 |     1674  12387 |        0 |        0
937.85/938.28	c  938s |      26 | 10831709 |  8116052 |     1674  12404 |        0 |        0
939.85/940.29	c  940s |      26 | 10851203 |  8130852 |     1674  12421 |        0 |        0
941.85/942.29	c  942s |      26 | 10870620 |  8145452 |     1674  12438 |        0 |        0
943.85/944.29	c  944s |      26 | 10889737 |  8159852 |     1674  12455 |        0 |        0
945.85/946.29	c  946s |      26 | 10910703 |  8175852 |     1674  12473 |        0 |        0
947.86/948.29	c  948s |      26 | 10930422 |  8191352 |     1674  12490 |        0 |        0
949.95/950.31	c  950s |      26 | 10950978 |  8207052 |     1674  12508 |        0 |        0
951.95/952.31	c  952s |      26 | 10972174 |  8223152 |     1674  12526 |        0 |        0
953.95/954.32	c  954s |      26 | 10990912 |  8238052 |     1674  12543 |        0 |        0
955.95/956.33	c  956s |      26 | 11010058 |  8252952 |     1674  12560 |        0 |        0
957.95/958.34	c  958s |      26 | 11029454 |  8268052 |     1674  12578 |        0 |        0
959.96/960.35	c  960s |      26 | 11049279 |  8283452 |     1674  12596 |        0 |        0
961.95/962.36	c  962s |      26 | 11068849 |  8298752 |     1674  12613 |        0 |        0
963.95/964.36	c  964s |      26 | 11088403 |  8314152 |     1674  12631 |        0 |        0
965.95/966.38	c  966s |      26 | 11108276 |  8329552 |     1674  12649 |        0 |        0
967.95/968.39	c  968s |      26 | 11126804 |  8344052 |     1674  12665 |        0 |        0
969.95/970.39	c  970s |      26 | 11145101 |  8358252 |     1674  12681 |        0 |        0
972.05/972.40	c  972s |      26 | 11164787 |  8373652 |     1674  12699 |        0 |        0
974.05/974.41	c  974s |      26 | 11185789 |  8389752 |     1674  12718 |        0 |        0
976.04/976.42	c  976s |      26 | 11206674 |  8405852 |     1674  12736 |        0 |        0
978.04/978.43	c  978s |      26 | 11226989 |  8421552 |     1674  12754 |        0 |        0
980.04/980.44	c  980s |      26 | 11247683 |  8437152 |     1674  12772 |        0 |        0
982.05/982.44	c  982s |      26 | 11268464 |  8453252 |     1674  12791 |        0 |        0
984.04/984.45	c  984s |      26 | 11289855 |  8469352 |     1674  12809 |        0 |        0
986.04/986.46	c  986s |      26 | 11310693 |  8485352 |     1674  12828 |        0 |        0
988.05/988.47	c  988s |      26 | 11331810 |  8501552 |     1674  12846 |        0 |        0
990.05/990.48	c  990s |      26 | 11351061 |  8516552 |     1674  12864 |        0 |        0
992.05/992.48	c  992s |      26 | 11369903 |  8531152 |     1674  12880 |        0 |        0
994.05/994.49	c  994s |      26 | 11387420 |  8545452 |     1674  12897 |        0 |        0
996.14/996.50	c  996s |      26 | 11407118 |  8560352 |     1674  12914 |        0 |        0
998.14/998.50	c  998s |      26 | 11425987 |  8575452 |     1674  12931 |        0 |        0
1000.14/1000.52	c 1000s |      26 | 11444726 |  8590352 |     1674  12948 |        0 |        0
1002.14/1002.52	c 1002s |      26 | 11464443 |  8605852 |     1674  12966 |        0 |        0
1004.14/1004.53	c 1004s |      26 | 11485063 |  8621652 |     1674  12984 |        0 |        0
1006.15/1006.54	c 1006s |      26 | 11507056 |  8638252 |     1674  13003 |        0 |        0
1008.14/1008.55	c 1008s |      26 | 11527762 |  8653852 |     1674  13021 |        0 |        0
1010.14/1010.56	c 1010s |      26 | 11546183 |  8668052 |     1674  13037 |        0 |        0
1012.14/1012.57	c 1012s |      26 | 11563948 |  8681952 |     1674  13053 |        0 |        0
1014.14/1014.57	c 1014s |      26 | 11582407 |  8696452 |     1674  13070 |        0 |        0
1016.14/1016.57	c 1016s |      26 | 11601267 |  8711352 |     1674  13087 |        0 |        0
1018.14/1018.58	c 1018s |      26 | 11620888 |  8726652 |     1674  13105 |        0 |        0
1020.14/1020.59	c 1020s |      26 | 11639403 |  8741352 |     1674  13122 |        0 |        0
1022.13/1022.59	c 1022s |      26 | 11660355 |  8757252 |     1674  13140 |        0 |        0
1024.23/1024.61	c 1024s |      26 | 11679850 |  8772452 |     1674  13158 |        0 |        0
1026.23/1026.62	c 1026s |      26 | 11698160 |  8787052 |     1674  13174 |        0 |        0
1028.24/1028.63	c 1028s |      26 | 11717264 |  8801852 |     1674  13191 |        0 |        0
1030.23/1030.64	c 1030s |      26 | 11736742 |  8817252 |     1674  13209 |        0 |        0
1032.24/1032.64	c 1032s |      26 | 11756442 |  8832552 |     1674  13227 |        0 |        0
1034.24/1034.65	c 1034s |      26 | 11776704 |  8848052 |     1674  13244 |        0 |        0
1036.24/1036.66	c 1036s |      26 | 11795399 |  8862652 |     1674  13261 |        0 |        0
1038.24/1038.67	c 1038s |      26 | 11813690 |  8876752 |     1674  13277 |        0 |        0
1040.24/1040.68	c 1040s |      26 | 11831084 |  8890252 |     1674  13293 |        0 |        0
1042.24/1042.69	c 1042s |      26 | 11848447 |  8904052 |     1674  13309 |        0 |        0
1044.24/1044.69	c 1044s |      26 | 11866361 |  8917652 |     1674  13325 |        0 |        0
1046.34/1046.71	c 1046s |      26 | 11885391 |  8931852 |     1674  13341 |        0 |        0
1048.33/1048.72	c 1048s |      26 | 11903439 |  8945352 |     1674  13357 |        0 |        0
1050.33/1050.73	c 1050s |      26 | 11922790 |  8960452 |     1674  13374 |        0 |        0
1052.34/1052.74	c 1052s |      26 | 11942647 |  8976252 |     1674  13393 |        0 |        0
1054.33/1054.76	c 1054s |      26 | 11963560 |  8991752 |     1674  13411 |        0 |        0
1056.33/1056.76	c 1056s |      26 | 11983811 |  9007252 |     1674  13428 |        0 |        0
1058.33/1058.76	c 1058s |      26 | 12003793 |  9022452 |     1674  13446 |        0 |        0
1060.33/1060.76	c 1060s |      26 | 12024579 |  9038352 |     1674  13464 |        0 |        0
1062.34/1062.77	c 1062s |      26 | 12047085 |  9054552 |     1674  13483 |        0 |        0
1064.33/1064.78	c 1064s |      26 | 12069817 |  9071252 |     1674  13503 |        0 |        0
1066.33/1066.78	c 1066s |      26 | 12090580 |  9086852 |     1674  13521 |        0 |        0
1068.33/1068.79	c 1068s |      26 | 12112402 |  9102852 |     1674  13539 |        0 |        0
1070.43/1070.80	c 1070s |      26 | 12135616 |  9119452 |     1674  13559 |        0 |        0
1072.43/1072.81	c 1072s |      26 | 12157757 |  9135652 |     1674  13577 |        0 |        0
1074.43/1074.82	c 1074s |      26 | 12178895 |  9151852 |     1674  13596 |        0 |        0
1076.42/1076.82	c 1076s |      26 | 12201038 |  9167952 |     1674  13615 |        0 |        0
1078.42/1078.83	c 1078s |      26 | 12221343 |  9182852 |     1674  13632 |        0 |        0
1080.42/1080.84	c 1080s |      26 | 12243311 |  9199352 |     1674  13651 |        0 |        0
1082.42/1082.84	c 1082s |      26 | 12264628 |  9215452 |     1674  13670 |        0 |        0
1084.42/1084.84	c 1084s |      26 | 12286347 |  9231852 |     1674  13689 |        0 |        0
1086.44/1086.85	c 1086s |      26 | 12306601 |  9247452 |     1674  13707 |        0 |        0
1088.43/1088.86	c 1088s |      26 | 12326485 |  9263052 |     1674  13725 |        0 |        0
1090.43/1090.86	c 1090s |      26 | 12345734 |  9278252 |     1674  13743 |        0 |        0
1092.43/1092.88	c 1092s |      26 | 12365161 |  9293452 |     1674  13760 |        0 |        0
1094.43/1094.88	c 1094s |      26 | 12384920 |  9308552 |     1674  13778 |        0 |        0
1096.43/1096.89	c 1096s |      26 | 12405137 |  9324052 |     1674  13796 |        0 |        0
1098.43/1098.89	c 1098s |      26 | 12422276 |  9337952 |     1674  13812 |        0 |        0
1100.53/1100.90	c 1100s |      26 | 12440396 |  9352652 |     1674  13829 |        0 |        0
1102.53/1102.90	c 1102s |      26 | 12459837 |  9367652 |     1674  13847 |        0 |        0
1104.53/1104.91	c 1104s |      26 | 12479324 |  9382852 |     1674  13864 |        0 |        0
1106.52/1106.91	c 1106s |      26 | 12499963 |  9398252 |     1674  13882 |        0 |        0
1108.53/1108.91	c 1108s |      26 | 12520095 |  9413852 |     1674  13900 |        0 |        0
1110.52/1110.92	c 1110s |      26 | 12540944 |  9429752 |     1674  13919 |        0 |        0
1112.52/1112.93	c 1112s |      26 | 12560719 |  9445052 |     1674  13936 |        0 |        0
1114.52/1114.93	c 1114s |      26 | 12580121 |  9460252 |     1674  13954 |        0 |        0
1116.52/1116.94	c 1116s |      26 | 12599356 |  9475152 |     1674  13971 |        0 |        0
1118.52/1118.94	c 1118s |      26 | 12619457 |  9490752 |     1674  13989 |        0 |        0
1120.53/1120.96	c 1120s |      26 | 12638662 |  9505752 |     1674  14007 |        0 |        0
1122.52/1122.96	c 1122s |      26 | 12656472 |  9519952 |     1674  14023 |        0 |        0
1124.52/1124.97	c 1124s |      26 | 12675581 |  9534752 |     1674  14041 |        0 |        0
1126.52/1126.97	c 1126s |      26 | 12694918 |  9549952 |     1674  14058 |        0 |        0
1128.52/1128.98	c 1128s |      26 | 12715226 |  9565652 |     1674  14077 |        0 |        0
1130.53/1130.99	c 1130s |      26 | 12734534 |  9580552 |     1674  14094 |        0 |        0
1132.52/1133.00	c 1132s |      26 | 12755496 |  9596552 |     1674  14112 |        0 |        0
1134.62/1135.01	c 1134s |      26 | 12776346 |  9612552 |     1674  14131 |        0 |        0
1136.62/1137.01	c 1136s |      26 | 12796520 |  9628252 |     1674  14149 |        0 |        0
1138.62/1139.02	c 1139s |      26 | 12816934 |  9643652 |     1674  14167 |        0 |        0
1140.62/1141.03	c 1141s |      26 | 12837948 |  9659852 |     1674  14186 |        0 |        0
1142.62/1143.03	c 1143s |      26 | 12857826 |  9675252 |     1674  14204 |        0 |        0
1144.62/1145.03	c 1145s |      26 | 12877477 |  9690752 |     1674  14222 |        0 |        0
1146.61/1147.04	c 1147s |      26 | 12896980 |  9705952 |     1674  14240 |        0 |        0
1148.61/1149.05	c 1149s |      26 | 12916676 |  9721052 |     1674  14257 |        0 |        0
1150.61/1151.06	c 1151s |      26 | 12935779 |  9735552 |     1674  14274 |        0 |        0
1152.61/1153.06	c 1153s |      26 | 12953861 |  9749452 |     1674  14290 |        0 |        0
1154.62/1155.07	c 1155s |      26 | 12973576 |  9764552 |     1674  14307 |        0 |        0
1156.61/1157.08	c 1157s |      26 | 12992537 |  9779352 |     1674  14324 |        0 |        0
1158.61/1159.09	c 1159s |      26 | 13011370 |  9794152 |     1674  14341 |        0 |        0
1160.71/1161.10	c 1161s |      26 | 13030823 |  9809252 |     1674  14359 |        0 |        0
1162.71/1163.11	c 1163s |      26 | 13049674 |  9824252 |     1674  14376 |        0 |        0
1164.71/1165.12	c 1165s |      26 | 13069053 |  9839252 |     1674  14394 |        0 |        0
1166.72/1167.12	c 1167s |      26 | 13088574 |  9854352 |     1674  14411 |        0 |        0
1168.72/1169.13	c 1169s |      26 | 13107289 |  9869352 |     1674  14429 |        0 |        0
1170.72/1171.14	c 1171s |      26 | 13127473 |  9884252 |     1674  14446 |        0 |        0
1172.71/1173.15	c 1173s |      26 | 13148659 |  9900252 |     1674  14464 |        0 |        0
1174.71/1175.15	c 1175s |      26 | 13168908 |  9916152 |     1674  14483 |        0 |        0
1176.72/1177.15	c 1177s |      26 | 13189407 |  9931952 |     1674  14501 |        0 |        0
1178.71/1179.16	c 1179s |      26 | 13210532 |  9947852 |     1674  14520 |        0 |        0
1180.71/1181.16	c 1181s |      26 | 13230173 |  9962752 |     1674  14537 |        0 |        0
1182.71/1183.16	c 1183s |      26 | 13250951 |  9978552 |     1674  14555 |        0 |        0
1184.71/1185.17	c 1185s |      26 | 13271069 |  9994152 |     1674  14573 |        0 |        0
1186.71/1187.17	c 1187s |      26 | 13292067 | 10009652 |     1674  14591 |        0 |        0
1188.72/1189.18	c 1189s |      26 | 13314030 | 10026152 |     1674  14611 |        0 |        0
1190.71/1191.19	c 1191s |      26 | 13333844 | 10041852 |     1674  14629 |        0 |        0
1192.81/1193.20	c 1193s |      26 | 13355455 | 10058252 |     1674  14647 |        0 |        0
1194.81/1195.21	c 1195s |      26 | 13377353 | 10074652 |     1674  14666 |        0 |        0
1196.81/1197.22	c 1197s |      26 | 13398758 | 10090952 |     1674  14685 |        0 |        0
1198.81/1199.22	c 1199s |      26 | 13419148 | 10106752 |     1674  14704 |        0 |        0
1200.81/1201.23	c 1201s |      26 | 13438875 | 10122352 |     1674  14722 |        0 |        0
1202.81/1203.24	c 1203s |      26 | 13458554 | 10137552 |     1674  14740 |        0 |        0
1204.81/1205.24	c 1205s |      26 | 13477244 | 10152452 |     1674  14757 |        0 |        0
1206.80/1207.25	c 1207s |      26 | 13495617 | 10167352 |     1674  14775 |        0 |        0
1208.80/1209.26	c 1209s |      26 | 13513035 | 10181652 |     1674  14791 |        0 |        0
1210.81/1211.26	c 1211s |      26 | 13531017 | 10195652 |     1674  14808 |        0 |        0
1212.80/1213.28	c 1213s |      26 | 13547882 | 10209052 |     1674  14823 |        0 |        0
1214.80/1215.28	c 1215s |      26 | 13566789 | 10223952 |     1674  14841 |        0 |        0
1216.80/1217.28	c 1217s |      26 | 13585395 | 10238652 |     1674  14858 |        0 |        0
1218.80/1219.29	c 1219s |      26 | 13604327 | 10253852 |     1674  14875 |        0 |        0
1220.81/1221.29	c 1221s |      26 | 13624069 | 10269152 |     1674  14893 |        0 |        0
1222.82/1223.30	c 1223s |      26 | 13643396 | 10284352 |     1674  14910 |        0 |        0
1224.91/1225.30	c 1225s |      26 | 13662749 | 10299552 |     1674  14928 |        0 |        0
1226.91/1227.31	c 1227s |      26 | 13681773 | 10314652 |     1674  14945 |        0 |        0
1228.91/1229.33	c 1229s |      26 | 13700694 | 10329352 |     1674  14963 |        0 |        0
1230.91/1231.33	c 1231s |      26 | 13719602 | 10343952 |     1674  14979 |        0 |        0
1232.90/1233.35	c 1233s |      26 | 13739522 | 10358952 |     1674  14997 |        0 |        0
1234.91/1235.35	c 1235s |      26 | 13758844 | 10373652 |     1674  15014 |        0 |        0
1236.90/1237.36	c 1237s |      26 | 13777633 | 10387852 |     1674  15030 |        0 |        0
1238.90/1239.37	c 1239s |      26 | 13796188 | 10401352 |     1674  15046 |        0 |        0
1240.90/1241.37	c 1241s |      26 | 13811285 | 10413452 |     1674  15060 |        0 |        0
1242.90/1243.38	c 1243s |      26 | 13831244 | 10428052 |     1674  15077 |        0 |        0
1244.91/1245.39	c 1245s |      26 | 13849339 | 10442252 |     1674  15094 |        0 |        0
1246.90/1247.40	c 1247s |      26 | 13868520 | 10457352 |     1674  15111 |        0 |        0
1249.00/1249.41	c 1249s |      26 | 13888355 | 10472652 |     1674  15129 |        0 |        0
1251.00/1251.41	c 1251s |      26 | 13908725 | 10487852 |     1674  15146 |        0 |        0
1253.00/1253.42	c 1253s |      26 | 13928946 | 10502952 |     1674  15164 |        0 |        0
1255.00/1255.43	c 1255s |      26 | 13946691 | 10516452 |     1674  15180 |        0 |        0
1257.00/1257.44	c 1257s |      26 | 13963114 | 10529552 |     1674  15195 |        0 |        0
1259.00/1259.45	c 1259s |      26 | 13981733 | 10544452 |     1674  15212 |        0 |        0
1261.00/1261.45	c 1261s |      26 | 14002490 | 10560152 |     1674  15230 |        0 |        0
1263.00/1263.46	c 1263s |      26 | 14021974 | 10575252 |     1674  15248 |        0 |        0
1264.99/1265.47	c 1265s |      26 | 14043791 | 10591452 |     1674  15266 |        0 |        0
1266.99/1267.47	c 1267s |      26 | 14064874 | 10607252 |     1674  15285 |        0 |        0
1269.00/1269.48	c 1269s |      26 | 14085305 | 10622352 |     1674  15302 |        0 |        0
1270.99/1271.49	c 1271s |      26 | 14104744 | 10637752 |     1674  15320 |        0 |        0
1272.99/1273.49	c 1273s |      26 | 14124018 | 10653052 |     1674  15338 |        0 |        0
1275.09/1275.50	c 1275s |      26 | 14144313 | 10668652 |     1674  15356 |        0 |        0
1277.09/1277.50	c 1277s |      26 | 14165499 | 10685152 |     1674  15375 |        0 |        0
1279.10/1279.51	c 1279s |      26 | 14185818 | 10700952 |     1674  15393 |        0 |        0
1281.11/1281.51	c 1281s |      26 | 14205268 | 10716252 |     1674  15411 |        0 |        0
1283.10/1283.51	c 1283s |      26 | 14225702 | 10731852 |     1674  15429 |        0 |        0
1285.10/1285.51	c 1285s |      26 | 14244099 | 10746152 |     1674  15445 |        0 |        0
1287.10/1287.53	c 1287s |      26 | 14262566 | 10760352 |     1674  15462 |        0 |        0
1289.10/1289.53	c 1289s |      26 | 14282662 | 10775752 |     1674  15479 |        0 |        0
1291.11/1291.53	c 1291s |      26 | 14303497 | 10791852 |     1674  15498 |        0 |        0
1293.10/1293.54	c 1293s |      26 | 14323082 | 10807252 |     1674  15516 |        0 |        0
1295.10/1295.54	c 1295s |      26 | 14343909 | 10823552 |     1674  15535 |        0 |        0
1297.10/1297.55	c 1297s |      26 | 14364727 | 10839552 |     1674  15554 |        0 |        0
1299.10/1299.55	c 1299s |      26 | 14386213 | 10855752 |     1674  15573 |        0 |        0
1301.10/1301.55	c 1301s |      26 | 14407323 | 10871752 |     1674  15592 |        0 |        0
1303.10/1303.57	c 1303s |      26 | 14427901 | 10887852 |     1674  15610 |        0 |        0
1305.09/1305.58	c 1305s |      26 | 14448182 | 10903452 |     1674  15629 |        0 |        0
1307.09/1307.58	c 1307s |      26 | 14468951 | 10919152 |     1674  15647 |        0 |        0
1309.09/1309.58	c 1309s |      26 | 14488720 | 10934452 |     1674  15665 |        0 |        0
1311.09/1311.59	c 1311s |      26 | 14508763 | 10949152 |     1674  15682 |        0 |        0
1313.19/1313.60	c 1313s |      26 | 14528835 | 10964352 |     1674  15700 |        0 |        0
1315.20/1315.61	c 1315s |      26 | 14548456 | 10979452 |     1674  15717 |        0 |        0
1317.19/1317.61	c 1317s |      26 | 14568051 | 10994352 |     1674  15735 |        0 |        0
1319.19/1319.62	c 1319s |      26 | 14589039 | 11010252 |     1674  15754 |        0 |        0
1321.19/1321.63	c 1321s |      26 | 14611043 | 11026952 |     1674  15773 |        0 |        0
1323.19/1323.64	c 1323s |      26 | 14629841 | 11042052 |     1674  15790 |        0 |        0
1325.20/1325.65	c 1325s |      26 | 14651220 | 11058252 |     1674  15809 |        0 |        0
1327.19/1327.65	c 1327s |      26 | 14672458 | 11074152 |     1674  15828 |        0 |        0
1329.19/1329.66	c 1329s |      26 | 14693053 | 11089952 |     1674  15846 |        0 |        0
1331.19/1331.67	c 1331s |      26 | 14713726 | 11105852 |     1674  15864 |        0 |        0
1333.19/1333.68	c 1333s |      26 | 14735213 | 11122252 |     1674  15883 |        0 |        0
1335.19/1335.68	c 1335s |      26 | 14756404 | 11138252 |     1674  15902 |        0 |        0
1337.19/1337.68	c 1337s |      26 | 14777194 | 11154252 |     1674  15920 |        0 |        0
1339.19/1339.69	c 1339s |      26 | 14798701 | 11170552 |     1674  15939 |        0 |        0
1341.19/1341.69	c 1341s |      26 | 14820655 | 11187152 |     1674  15959 |        0 |        0
1343.29/1343.70	c 1343s |      26 | 14842241 | 11203452 |     1674  15978 |        0 |        0
1345.29/1345.70	c 1345s |      26 | 14863167 | 11219552 |     1674  15997 |        0 |        0
1347.29/1347.70	c 1347s |      26 | 14885597 | 11236352 |     1674  16016 |        0 |        0
1349.29/1349.71	c 1349s |      26 | 14905531 | 11251952 |     1674  16034 |        0 |        0
1351.28/1351.71	c 1351s |      26 | 14923512 | 11266152 |     1674  16051 |        0 |        0
1353.28/1353.71	c 1353s |      26 | 14941666 | 11280852 |     1674  16068 |        0 |        0
1355.28/1355.72	c 1355s |      26 | 14961630 | 11296552 |     1674  16086 |        0 |        0
1357.28/1357.73	c 1357s |      26 | 14980872 | 11311752 |     1674  16104 |        0 |        0
1359.29/1359.73	c 1359s |      26 | 15000462 | 11326652 |     1842  16120 |        0 |        0
1361.28/1361.74	c 1361s |      26 | 15019666 | 11341452 |     1842  16135 |        0 |        0
1363.28/1363.75	c 1363s |      26 | 15038783 | 11356552 |     1842  16152 |        0 |        0
1365.28/1365.76	c 1365s |      26 | 15058194 | 11371652 |     1842  16168 |        0 |        0
1367.28/1367.76	c 1367s |      26 | 15076448 | 11386152 |     1842  16183 |        0 |        0
1368.78/1369.26	c 1369s |      27 | 15089801 | 11396733 |     1842  16194 |        0 |        0
1370.78/1371.27	c 1371s |      27 | 15107672 | 11411133 |     1842  16209 |        0 |        0
1372.79/1373.27	c 1373s |      27 | 15125929 | 11425333 |     1842  16224 |        0 |        0
1374.79/1375.29	c 1375s |      27 | 15145987 | 11440533 |     1842  16240 |        0 |        0
1376.79/1377.30	c 1377s |      27 | 15165812 | 11455733 |     1842  16255 |        0 |        0
1378.88/1379.32	c 1379s |      27 | 15185994 | 11471333 |     1842  16272 |        0 |        0
1380.88/1381.32	c 1381s |      27 | 15205483 | 11486533 |     1842  16287 |        0 |        0
1382.88/1383.33	c 1383s |      27 | 15225330 | 11502033 |     1842  16303 |        0 |        0
1384.88/1385.33	c 1385s |      27 | 15245848 | 11517833 |     1842  16320 |        0 |        0
1386.88/1387.33	c 1387s |      27 | 15265635 | 11533333 |     1842  16336 |        0 |        0
1388.89/1389.34	c 1389s |      27 | 15285088 | 11548533 |     1842  16352 |        0 |        0
1390.88/1391.34	c 1391s |      27 | 15304376 | 11563533 |     1842  16368 |        0 |        0
1392.88/1393.35	c 1393s |      27 | 15323029 | 11578133 |     1842  16383 |        0 |        0
1394.88/1395.36	c 1395s |      27 | 15343195 | 11593333 |     1842  16399 |        0 |        0
1396.88/1397.37	c 1397s |      27 | 15361080 | 11607333 |     1842  16414 |        0 |        0
1398.89/1399.37	c 1399s |      27 | 15379653 | 11621433 |     1842  16429 |        0 |        0
1400.88/1401.39	c 1401s |      27 | 15399066 | 11636433 |     1842  16444 |        0 |        0
1402.88/1403.39	c 1403s |      27 | 15418510 | 11651233 |     1842  16460 |        0 |        0
1404.98/1405.40	c 1405s |      27 | 15437176 | 11665933 |     1842  16475 |        0 |        0
1406.98/1407.40	c 1407s |      27 | 15456084 | 11680733 |     1842  16491 |        0 |        0
1408.98/1409.41	c 1409s |      27 | 15474942 | 11694833 |     1842  16505 |        0 |        0
1410.98/1411.41	c 1411s |      27 | 15492983 | 11708533 |     1842  16520 |        0 |        0
1412.98/1413.41	c 1413s |      27 | 15512960 | 11724033 |     1842  16536 |        0 |        0
1414.98/1415.44	c 1415s |      27 | 15531377 | 11738733 |     1842  16552 |        0 |        0
1416.98/1417.44	c 1417s |      27 | 15549710 | 11753333 |     1842  16567 |        0 |        0
1418.98/1419.45	c 1419s |      27 | 15570041 | 11768833 |     1842  16583 |        0 |        0
1420.98/1421.45	c 1421s |      27 | 15590397 | 11784533 |     1842  16600 |        0 |        0
1422.98/1423.46	c 1423s |      27 | 15611995 | 11800733 |     1842  16617 |        0 |        0
1424.97/1425.47	c 1425s |      27 | 15631753 | 11815933 |     1842  16633 |        0 |        0
1426.97/1427.47	c 1427s |      27 | 15651812 | 11831233 |     1842  16649 |        0 |        0
1428.97/1429.48	c 1429s |      27 | 15672291 | 11846933 |     1842  16665 |        0 |        0
1430.97/1431.49	c 1431s |      27 | 15690530 | 11861833 |     1842  16681 |        0 |        0
1432.98/1433.49	c 1433s |      27 | 15712087 | 11877733 |     1842  16697 |        0 |        0
1434.97/1435.50	c 1435s |      27 | 15731692 | 11892733 |     1842  16713 |        0 |        0
1437.07/1437.52	c 1437s |      27 | 15752697 | 11908633 |     1842  16730 |        0 |        0
1439.07/1439.52	c 1439s |      27 | 15772760 | 11924433 |     1842  16746 |        0 |        0
1441.07/1441.53	c 1441s |      27 | 15793256 | 11940333 |     1842  16763 |        0 |        0
1443.07/1443.53	c 1443s |      27 | 15813361 | 11955533 |     1842  16779 |        0 |        0
1445.08/1445.54	c 1445s |      27 | 15833761 | 11970933 |     1842  16795 |        0 |        0
1447.07/1447.55	c 1447s |      27 | 15852524 | 11985733 |     1842  16810 |        0 |        0
1449.07/1449.55	c 1449s |      27 | 15871078 | 12000133 |     1842  16825 |        0 |        0
1451.07/1451.55	c 1451s |      27 | 15888189 | 12013333 |     1842  16839 |        0 |        0
1453.07/1453.57	c 1453s |      27 | 15904831 | 12026533 |     1842  16853 |        0 |        0
1455.07/1455.57	c 1455s |      27 | 15923362 | 12041033 |     1842  16868 |        0 |        0
1457.07/1457.57	c 1457s |      27 | 15941874 | 12055533 |     1842  16884 |        0 |        0
1459.07/1459.58	c 1459s |      27 | 15961567 | 12070333 |     1842  16899 |        0 |        0
1461.07/1461.59	c 1461s |      27 | 15979913 | 12084633 |     1842  16914 |        0 |        0
1463.17/1463.60	c 1463s |      27 | 15998710 | 12099233 |     1842  16930 |        0 |        0
1465.17/1465.61	c 1465s |      27 | 16018995 | 12114233 |     1842  16945 |        0 |        0
1467.16/1467.62	c 1467s |      27 | 16039252 | 12129133 |     1842  16961 |        0 |        0
1469.18/1469.63	c 1469s |      27 | 16059574 | 12144333 |     1842  16977 |        0 |        0
1471.17/1471.63	c 1471s |      27 | 16080829 | 12160333 |     1842  16994 |        0 |        0
1473.17/1473.64	c 1473s |      27 | 16101299 | 12176233 |     1842  17010 |        0 |        0
1475.17/1475.65	c 1475s |      27 | 16122616 | 12192233 |     1842  17027 |        0 |        0
1477.17/1477.65	c 1477s |      27 | 16143514 | 12208133 |     1842  17044 |        0 |        0
1479.18/1479.66	c 1479s |      27 | 16163136 | 12223533 |     1842  17060 |        0 |        0
1481.17/1481.67	c 1481s |      27 | 16185018 | 12239733 |     1842  17077 |        0 |        0
1483.17/1483.67	c 1483s |      27 | 16205871 | 12255533 |     1842  17094 |        0 |        0
1485.17/1485.67	c 1485s |      27 | 16226012 | 12271233 |     1842  17110 |        0 |        0
1487.16/1487.68	c 1487s |      27 | 16245634 | 12286433 |     1842  17126 |        0 |        0
1489.16/1489.69	c 1489s |      27 | 16265097 | 12301533 |     1842  17142 |        0 |        0
1491.17/1491.69	c 1491s |      27 | 16285143 | 12316933 |     1842  17158 |        0 |        0
1493.16/1493.69	c 1493s |      27 | 16304238 | 12331733 |     1842  17173 |        0 |        0
1495.26/1495.70	c 1495s |      27 | 16323446 | 12346733 |     1842  17189 |        0 |        0
1497.26/1497.70	c 1497s |      27 | 16342402 | 12361733 |     1842  17205 |        0 |        0
1499.26/1499.70	c 1499s |      27 | 16362078 | 12376933 |     1842  17221 |        0 |        0
1501.26/1501.71	c 1501s |      27 | 16380324 | 12391333 |     1842  17236 |        0 |        0
1503.27/1503.71	c 1503s |      27 | 16399534 | 12406233 |     1842  17251 |        0 |        0
1505.26/1505.72	c 1505s |      27 | 16418873 | 12421333 |     1842  17267 |        0 |        0
1507.26/1507.72	c 1507s |      27 | 16439839 | 12437033 |     1842  17284 |        0 |        0
1509.26/1509.73	c 1509s |      27 | 16459380 | 12452433 |     1842  17300 |        0 |        0
1511.26/1511.74	c 1511s |      27 | 16478888 | 12467633 |     1842  17316 |        0 |        0
1513.27/1513.75	c 1513s |      27 | 16499298 | 12483333 |     1842  17333 |        0 |        0
1515.26/1515.76	c 1515s |      27 | 16521110 | 12499733 |     1842  17350 |        0 |        0
1517.26/1517.76	c 1517s |      27 | 16541739 | 12515633 |     1842  17367 |        0 |        0
1519.26/1519.76	c 1519s |      27 | 16562634 | 12531533 |     1842  17383 |        0 |        0
1521.26/1521.76	c 1521s |      27 | 16583250 | 12547133 |     1842  17400 |        0 |        0
1523.25/1523.76	c 1523s |      27 | 16603770 | 12562633 |     1842  17416 |        0 |        0
1525.26/1525.77	c 1525s |      27 | 16624258 | 12578333 |     1842  17432 |        0 |        0
1527.26/1527.77	c 1527s |      27 | 16644785 | 12593833 |     1842  17449 |        0 |        0
1529.26/1529.78	c 1529s |      27 | 16666895 | 12610333 |     1842  17466 |        0 |        0
1531.26/1531.78	c 1531s |      27 | 16687691 | 12626233 |     1842  17483 |        0 |        0
1533.26/1533.79	c 1533s |      27 | 16708015 | 12641933 |     1842  17500 |        0 |        0
1535.36/1535.80	c 1535s |      27 | 16729175 | 12658033 |     1842  17517 |        0 |        0
1537.36/1537.81	c 1537s |      27 | 16750761 | 12674133 |     1842  17534 |        0 |        0
1539.36/1539.81	c 1539s |      27 | 16772535 | 12690333 |     1842  17551 |        0 |        0
1541.35/1541.81	c 1541s |      27 | 16793631 | 12706133 |     1842  17567 |        0 |        0
1543.35/1543.82	c 1543s |      27 | 16813909 | 12721833 |     1842  17584 |        0 |        0
1545.35/1545.83	c 1545s |      27 | 16834220 | 12737333 |     1842  17600 |        0 |        0
1547.36/1547.84	c 1547s |      27 | 16852441 | 12751933 |     1842  17616 |        0 |        0
1549.35/1549.85	c 1549s |      27 | 16873139 | 12767733 |     1842  17632 |        0 |        0
1551.35/1551.86	c 1551s |      27 | 16894498 | 12783733 |     1842  17649 |        0 |        0
1553.35/1553.87	c 1553s |      27 | 16914736 | 12799233 |     1842  17666 |        0 |        0
1555.36/1555.88	c 1555s |      27 | 16936124 | 12815333 |     1842  17682 |        0 |        0
1557.36/1557.88	c 1557s |      27 | 16958500 | 12831833 |     1842  17700 |        0 |        0
1559.37/1559.90	c 1559s |      27 | 16979036 | 12847733 |     1842  17717 |        0 |        0
1561.46/1561.90	c 1561s |      27 | 16999015 | 12862933 |     1842  17732 |        0 |        0
1563.46/1563.90	c 1563s |      27 | 17018714 | 12878233 |     1842  17748 |        0 |        0
1565.46/1565.90	c 1565s |      27 | 17038086 | 12893533 |     1842  17765 |        0 |        0
1567.46/1567.91	c 1567s |      27 | 17056172 | 12908233 |     1842  17780 |        0 |        0
1569.46/1569.92	c 1569s |      27 | 17077312 | 12924333 |     1842  17797 |        0 |        0
1571.46/1571.93	c 1571s |      27 | 17098719 | 12940633 |     1842  17814 |        0 |        0
1573.45/1573.93	c 1573s |      27 | 17118669 | 12956233 |     1842  17830 |        0 |        0
1575.45/1575.94	c 1575s |      27 | 17139314 | 12972233 |     1842  17847 |        0 |        0
1577.45/1577.95	c 1577s |      27 | 17161008 | 12988533 |     1842  17864 |        0 |        0
1579.45/1579.95	c 1579s |      27 | 17181244 | 13004233 |     1842  17881 |        0 |        0
1581.46/1581.95	c 1581s |      27 | 17202281 | 13020133 |     1842  17897 |        0 |        0
1583.45/1583.96	c 1583s |      27 | 17224214 | 13036533 |     1842  17915 |        0 |        0
1585.45/1585.97	c 1585s |      27 | 17246522 | 13053333 |     1842  17932 |        0 |        0
1587.45/1587.98	c 1587s |      27 | 17267791 | 13069333 |     1842  17949 |        0 |        0
1589.45/1589.98	c 1589s |      27 | 17289991 | 13085833 |     1842  17966 |        0 |        0
1591.45/1591.99	c 1591s |      27 | 17310199 | 13101133 |     1842  17983 |        0 |        0
1593.45/1594.00	c 1593s |      27 | 17332475 | 13117633 |     1842  18000 |        0 |        0
1595.54/1596.01	c 1595s |      27 | 17353717 | 13133733 |     1842  18017 |        0 |        0
1597.54/1598.01	c 1597s |      27 | 17374605 | 13149433 |     1842  18033 |        0 |        0
1599.54/1600.02	c 1600s |      27 | 17394065 | 13165033 |     1842  18050 |        0 |        0
1601.55/1602.03	c 1602s |      27 | 17413027 | 13179933 |     1842  18066 |        0 |        0
1603.55/1604.04	c 1604s |      27 | 17433290 | 13195333 |     1842  18082 |        0 |        0
1605.56/1606.04	c 1606s |      27 | 17454917 | 13211333 |     1842  18098 |        0 |        0
1607.55/1608.05	c 1608s |      27 | 17475435 | 13227233 |     1842  18115 |        0 |        0
1609.55/1610.06	c 1610s |      27 | 17495097 | 13242933 |     1842  18131 |        0 |        0
1611.55/1612.06	c 1612s |      27 | 17516127 | 13258433 |     1842  18148 |        0 |        0
1613.55/1614.07	c 1614s |      27 | 17535158 | 13273133 |     1842  18163 |        0 |        0
1615.56/1616.08	c 1616s |      27 | 17555539 | 13288533 |     1842  18179 |        0 |        0
1617.55/1618.08	c 1618s |      27 | 17575203 | 13303733 |     1842  18195 |        0 |        0
1619.55/1620.08	c 1620s |      27 | 17595463 | 13319133 |     1842  18211 |        0 |        0
1621.55/1622.09	c 1622s |      27 | 17614707 | 13334033 |     1842  18227 |        0 |        0
1623.55/1624.09	c 1624s |      27 | 17635855 | 13349933 |     1842  18244 |        0 |        0
1625.54/1626.09	c 1626s |      27 | 17656239 | 13365833 |     1842  18261 |        0 |        0
1627.55/1628.10	c 1628s |      27 | 17676962 | 13381933 |     1842  18277 |        0 |        0
1629.64/1630.11	c 1630s |      27 | 17695908 | 13396733 |     1842  18293 |        0 |        0
1631.64/1632.12	c 1632s |      27 | 17715882 | 13412533 |     1842  18309 |        0 |        0
1633.64/1634.13	c 1634s |      27 | 17735908 | 13427733 |     1842  18325 |        0 |        0
1635.64/1636.13	c 1636s |      27 | 17757264 | 13443133 |     1842  18342 |        0 |        0
1637.64/1638.14	c 1638s |      27 | 17778157 | 13458933 |     1842  18358 |        0 |        0
1639.65/1640.15	c 1640s |      27 | 17798063 | 13474033 |     1842  18374 |        0 |        0
1641.64/1642.15	c 1642s |      27 | 17816772 | 13488533 |     1842  18389 |        0 |        0
1643.64/1644.16	c 1644s |      27 | 17833876 | 13502333 |     1842  18404 |        0 |        0
1645.64/1646.17	c 1646s |      27 | 17851525 | 13516533 |     1842  18419 |        0 |        0
1647.64/1648.19	c 1648s |      27 | 17873157 | 13532833 |     1842  18436 |        0 |        0
1649.64/1650.19	c 1650s |      27 | 17894184 | 13548633 |     1842  18453 |        0 |        0
1651.64/1652.20	c 1652s |      27 | 17915122 | 13565033 |     1842  18470 |        0 |        0
1653.74/1654.20	c 1654s |      27 | 17937154 | 13581633 |     1842  18488 |        0 |        0
1655.74/1656.20	c 1656s |      27 | 17956891 | 13597333 |     1842  18504 |        0 |        0
1657.74/1658.22	c 1658s |      27 | 17976789 | 13613033 |     1842  18520 |        0 |        0
1659.73/1660.22	c 1660s |      27 | 17996895 | 13628833 |     1842  18537 |        0 |        0
1661.74/1662.23	c 1662s |      27 | 18018265 | 13645033 |     1842  18554 |        0 |        0
1663.73/1664.24	c 1664s |      27 | 18039454 | 13661333 |     1842  18571 |        0 |        0
1665.73/1666.24	c 1666s |      27 | 18059667 | 13676633 |     1842  18587 |        0 |        0
1667.73/1668.25	c 1668s |      27 | 18079839 | 13691933 |     1842  18603 |        0 |        0
1669.73/1670.26	c 1670s |      27 | 18099728 | 13707233 |     1842  18620 |        0 |        0
1671.73/1672.27	c 1672s |      27 | 18119372 | 13722433 |     1842  18636 |        0 |        0
1673.74/1674.27	c 1674s |      27 | 18140761 | 13738433 |     1842  18652 |        0 |        0
1675.74/1676.28	c 1676s |      27 | 18161257 | 13754233 |     1842  18669 |        0 |        0
1677.74/1678.28	c 1678s |      27 | 18180296 | 13768933 |     1842  18684 |        0 |        0
1679.74/1680.29	c 1680s |      27 | 18199093 | 13783233 |     1842  18699 |        0 |        0
1681.74/1682.29	c 1682s |      27 | 18218080 | 13797933 |     1842  18715 |        0 |        0
1683.75/1684.29	c 1684s |      27 | 18239473 | 13814133 |     1842  18732 |        0 |        0
1685.74/1686.30	c 1686s |      27 | 18259317 | 13829833 |     1842  18749 |        0 |        0
1687.84/1688.31	c 1688s |      27 | 18280661 | 13845833 |     1842  18766 |        0 |        0
1689.84/1690.33	c 1690s |      27 | 18301411 | 13861633 |     1842  18782 |        0 |        0
1691.84/1692.33	c 1692s |      27 | 18322357 | 13877833 |     1842  18799 |        0 |        0
1693.84/1694.34	c 1694s |      27 | 18344770 | 13894833 |     1842  18817 |        0 |        0
1695.84/1696.35	c 1696s |      27 | 18366915 | 13911333 |     1842  18835 |        0 |        0
1697.83/1698.35	c 1698s |      27 | 18387011 | 13927333 |     1842  18851 |        0 |        0
1699.83/1700.35	c 1700s |      27 | 18408348 | 13943533 |     1842  18868 |        0 |        0
1701.83/1702.36	c 1702s |      27 | 18428759 | 13959033 |     1842  18885 |        0 |        0
1703.83/1704.36	c 1704s |      27 | 18449037 | 13974833 |     1842  18901 |        0 |        0
1705.83/1706.37	c 1706s |      27 | 18470370 | 13991133 |     1842  18919 |        0 |        0
1707.84/1708.38	c 1708s |      27 | 18491443 | 14007333 |     1842  18936 |        0 |        0
1709.83/1710.38	c 1710s |      27 | 18511931 | 14023133 |     1842  18952 |        0 |        0
1711.83/1712.39	c 1712s |      27 | 18533609 | 14039433 |     1842  18970 |        0 |        0
1713.83/1714.39	c 1714s |      27 | 18554607 | 14055233 |     1842  18986 |        0 |        0
1715.83/1716.39	c 1716s |      27 | 18574349 | 14070533 |     1842  19002 |        0 |        0
1717.84/1718.40	c 1718s |      27 | 18595347 | 14086333 |     1842  19019 |        0 |        0
1719.83/1720.40	c 1720s |      27 | 18615379 | 14101933 |     1842  19035 |        0 |        0
1721.93/1722.40	c 1722s |      27 | 18637517 | 14118533 |     1842  19052 |        0 |        0
1723.93/1724.41	c 1724s |      27 | 18658939 | 14134733 |     1842  19070 |        0 |        0
1725.93/1726.42	c 1726s |      27 | 18681188 | 14151433 |     1842  19087 |        0 |        0
1727.93/1728.43	c 1728s |      27 | 18701969 | 14167433 |     1842  19104 |        0 |        0
1729.93/1730.43	c 1730s |      27 | 18722915 | 14183433 |     1842  19121 |        0 |        0
1731.93/1732.43	c 1732s |      27 | 18744195 | 14199533 |     1842  19138 |        0 |        0
1733.93/1734.43	c 1734s |      27 | 18765364 | 14215533 |     1842  19155 |        0 |        0
1735.93/1736.44	c 1736s |      27 | 18783643 | 14229733 |     1842  19169 |        0 |        0
1737.93/1738.45	c 1738s |      27 | 18803876 | 14245033 |     1842  19186 |        0 |        0
1739.93/1740.45	c 1740s |      27 | 18825201 | 14261133 |     1842  19203 |        0 |        0
1741.93/1742.46	c 1742s |      27 | 18845659 | 14276533 |     1842  19219 |        0 |        0
1743.92/1744.46	c 1744s |      27 | 18865734 | 14291933 |     1842  19235 |        0 |        0
1745.92/1746.47	c 1746s |      27 | 18885153 | 14307233 |     1842  19251 |        0 |        0
1747.92/1748.48	c 1748s |      27 | 18906072 | 14322933 |     1842  19267 |        0 |        0
1749.92/1750.49	c 1750s |      27 | 18926602 | 14338233 |     1842  19284 |        0 |        0
1752.02/1752.50	c 1752s |      27 | 18946835 | 14353533 |     1842  19300 |        0 |        0
1754.03/1754.51	c 1754s |      27 | 18968974 | 14369833 |     1842  19317 |        0 |        0
1756.02/1756.51	c 1756s |      27 | 18991164 | 14387033 |     1842  19335 |        0 |        0
1758.02/1758.51	c 1758s |      27 | 19011619 | 14402633 |     1842  19351 |        0 |        0
1760.02/1760.52	c 1760s |      27 | 19032503 | 14418833 |     1842  19368 |        0 |        0
1762.02/1762.52	c 1762s |      27 | 19053961 | 14435133 |     1842  19386 |        0 |        0
1764.03/1764.53	c 1764s |      27 | 19073824 | 14450833 |     1842  19402 |        0 |        0
1766.02/1766.53	c 1766s |      27 | 19093532 | 14466333 |     1842  19418 |        0 |        0
1768.02/1768.53	c 1768s |      27 | 19113424 | 14481933 |     1842  19434 |        0 |        0
1770.02/1770.54	c 1770s |      27 | 19134551 | 14497933 |     1842  19451 |        0 |        0
1772.02/1772.55	c 1772s |      27 | 19154631 | 14512733 |     1842  19466 |        0 |        0
1774.02/1774.56	c 1774s |      27 | 19174409 | 14527933 |     1842  19482 |        0 |        0
1776.02/1776.57	c 1776s |      27 | 19192975 | 14542533 |     1842  19497 |        0 |        0
1778.02/1778.57	c 1778s |      27 | 19211335 | 14556833 |     1842  19512 |        0 |        0
1780.02/1780.58	c 1780s |      27 | 19230763 | 14571733 |     1842  19527 |        0 |        0
1782.02/1782.59	c 1782s |      27 | 19250384 | 14586633 |     1842  19543 |        0 |        0
1784.12/1784.60	c 1784s |      27 | 19270538 | 14601933 |     1842  19559 |        0 |        0
1786.12/1786.60	c 1786s |      27 | 19289917 | 14616733 |     1842  19574 |        0 |        0
1788.02/1788.60	c 1788s |      27 | 19307673 | 14630733 |     1842  19589 |        0 |        0
1790.11/1790.61	c 1790s |      27 | 19326258 | 14645033 |     1842  19603 |        0 |        0
1792.11/1792.62	c 1792s |      27 | 19344603 | 14659733 |     1842  19619 |        0 |        0
1794.11/1794.63	c 1794s |      27 | 19363421 | 14674433 |     1842  19634 |        0 |        0
1796.12/1796.63	c 1796s |      27 | 19383571 | 14689733 |     1842  19650 |        0 |        0
1798.13/1798.64	c 1798s |      27 | 19403229 | 14704633 |     1842  19666 |        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-4121706-1467315227/watcher-4121706-1467315227 -o /tmp/evaluation-result-4121706-1467315227/solver-4121706-1467315227 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1467314186-8726 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121706-1467315227.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.01 1.99 1.75 3/179 8933
/proc/meminfo: memFree=30091036/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=561596 CPUtime=0 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 2063 0 0 0 0 0 0 0 20 0 4 0 2200290 575074304 2936 33554432000 4194304 16246674 140737472944112 140737472943536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 140911 2945 441 2943 0 137805 0
[pid=8933/tid=8934] ppid=8930 vsize=580028 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 593948672 3010 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=585148 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 599191552 3028 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=589244 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2200291 603385856 3044 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100184 s]
/proc/loadavg: 2.01 1.99 1.75 3/179 8933
/proc/meminfo: memFree=30091036/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 25258 0 0 0 6 3 0 0 20 0 4 0 2200290 1247350784 26119 33554432000 4194304 16246674 140737472944112 140737472943536 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 304529 26132 708 2943 0 301423 0
[pid=8933/tid=8934] ppid=8930 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1247350784 26140 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1247350784 26146 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2200291 1247350784 26153 33554432000 4194304 16246674 140737472944112 140181011160240 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.200526 s]
/proc/loadavg: 2.01 1.99 1.75 3/179 8933
/proc/meminfo: memFree=30091036/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 48710 0 0 0 12 6 0 0 20 0 4 0 2200290 1247350784 49572 33554432000 4194304 16246674 140737472944112 140737472943536 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 304529 49583 708 2943 0 301423 0
[pid=8933/tid=8934] ppid=8930 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1247350784 49588 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1247350784 49595 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2200291 1247350784 49600 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300491 s]
/proc/loadavg: 2.01 1.99 1.75 3/179 8933
/proc/meminfo: memFree=30091036/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 72204 0 0 0 19 10 0 0 20 0 4 0 2200290 1247350784 73066 33554432000 4194304 16246674 140737472944112 140737472943536 6011022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 304529 73075 708 2943 0 301423 0
[pid=8933/tid=8934] ppid=8930 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1247350784 73081 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1247350784 73087 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2200291 1247350784 73095 33554432000 4194304 16246674 140737472944112 140181011160240 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.700409 s]
/proc/loadavg: 2.01 1.99 1.75 3/179 8933
/proc/meminfo: memFree=30091036/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 165287 0 0 0 48 21 0 0 20 0 4 0 2200290 1247350784 166149 33554432000 4194304 16246674 140737472944112 140737472943536 5707858 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 304529 166164 708 2943 0 301423 0
[pid=8933/tid=8934] ppid=8930 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1247350784 166170 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1247350784 166175 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2200291 1247350784 166184 33554432000 4194304 16246674 140737472944112 140181011160240 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.01 1.99 1.75 3/183 8937
/proc/meminfo: memFree=29106184/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 245564 0 0 0 117 32 0 0 20 0 4 0 2200290 1248399360 246405 33554432000 4194304 16246674 140737472944112 140737472943424 12483423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 304785 246405 784 2943 0 301679 0
[pid=8933/tid=8934] ppid=8930 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1248399360 246405 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1248399360 246405 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1248399360 246405 33554432000 4194304 16246674 140737472944112 140181011160240 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.01 1.99 1.75 3/183 8937
/proc/meminfo: memFree=29019136/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 267426 0 0 0 273 35 0 0 20 0 4 0 2200290 1337528320 268267 33554432000 4194304 16246674 140737472944112 140737472927112 6861676 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 326545 268267 784 2943 0 323439 0
[pid=8933/tid=8934] ppid=8930 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1337528320 268267 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1337528320 268267 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1337528320 268267 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.01 1.99 1.75 3/183 8937
/proc/meminfo: memFree=29018036/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 267465 0 0 0 593 36 0 0 20 0 4 0 2200290 1337528320 268306 33554432000 4194304 16246674 140737472944112 140737472926016 5827784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 326545 268306 784 2943 0 323439 0
[pid=8933/tid=8934] ppid=8930 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1337528320 268306 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1337528320 268306 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1337528320 268306 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.01 1.99 1.76 3/183 8937
/proc/meminfo: memFree=29017944/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 267571 0 0 0 1233 36 0 0 20 0 4 0 2200290 1338576896 268412 33554432000 4194304 16246674 140737472944112 140737472926016 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 326801 268412 785 2943 0 323695 0
[pid=8933/tid=8934] ppid=8930 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1338576896 268412 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1338576896 268412 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1338576896 268412 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.08 2.00 1.76 4/183 8937
/proc/meminfo: memFree=29017164/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 267636 0 0 0 2512 36 0 0 20 0 4 0 2200290 1338576896 268479 33554432000 4194304 16246674 140737472944112 140737472926016 13192996 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 326801 268479 785 2943 0 323695 0
[pid=8933/tid=8934] ppid=8930 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1338576896 268479 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1338576896 268479 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1338576896 268479 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.05 2.00 1.77 3/183 8937
/proc/meminfo: memFree=29016896/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 267823 0 0 0 5071 37 0 0 20 0 4 0 2200290 1338576896 268665 33554432000 4194304 16246674 140737472944112 140737472927112 5808532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 326801 268665 785 2943 0 323695 0
[pid=8933/tid=8934] ppid=8930 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1338576896 268665 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1338576896 268665 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1338576896 268665 33554432000 4194304 16246674 140737472944112 140181011160240 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.09 2.02 1.78 3/183 8938
/proc/meminfo: memFree=29016400/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 267835 0 0 0 10188 39 0 0 20 0 4 0 2200290 1338576896 268667 33554432000 4194304 16246674 140737472944112 140737472926016 6022210 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 326801 268667 787 2943 0 323695 0
[pid=8933/tid=8934] ppid=8930 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1338576896 268667 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1338576896 268667 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1338576896 268667 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1339625472 268745 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/183 9213
/proc/meminfo: memFree=29015968/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1308228 CPUtime=1361.88 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 268200 0 0 0 136124 64 0 0 20 0 4 0 2200290 1339625472 268745 33554432000 4194304 16246674 140737472944112 140737472926016 5823821 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 327057 268745 789 2943 0 323951 0
[pid=8933/tid=8934] ppid=8930 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1339625472 268745 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1339625472 268745 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1339625472 268745 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.12 2.04 1.93 3/183 9214
/proc/meminfo: memFree=29013836/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1309252 CPUtime=1421.88 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 268636 0 0 0 142123 65 0 0 20 0 4 0 2200290 1340674048 269181 33554432000 4194304 16246674 140737472944112 140737472927112 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 327313 269181 789 2943 0 324207 0
[pid=8933/tid=8934] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1309252

[startup+1482.3 s]
/proc/loadavg: 2.15 2.06 1.94 3/183 9216
/proc/meminfo: memFree=29013796/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1309252 CPUtime=1481.87 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 268636 0 0 0 148121 66 0 0 20 0 4 0 2200290 1340674048 269181 33554432000 4194304 16246674 140737472944112 140737472926016 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 327313 269181 789 2943 0 324207 0
[pid=8933/tid=8934] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1309252

[startup+1542.31 s]
/proc/loadavg: 2.34 2.12 1.97 3/183 9217
/proc/meminfo: memFree=29013572/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1309252 CPUtime=1541.86 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 268636 0 0 0 154119 67 0 0 20 0 4 0 2200290 1340674048 269181 33554432000 4194304 16246674 140737472944112 140737472926016 12477688 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 327313 269181 789 2943 0 324207 0
[pid=8933/tid=8934] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1309252

[startup+1602.3 s]
/proc/loadavg: 2.29 2.14 1.98 3/184 9221
/proc/meminfo: memFree=29012044/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1309252 CPUtime=1601.85 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 268637 0 0 0 160116 69 0 0 20 0 4 0 2200290 1340674048 269181 33554432000 4194304 16246674 140737472944112 140737472926016 5822744 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 327313 269181 789 2943 0 324207 0
[pid=8933/tid=8934] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1309252

[startup+1662.3 s]
/proc/loadavg: 2.30 2.17 2.01 3/184 9245
/proc/meminfo: memFree=29011852/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1309252 CPUtime=1661.83 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 268637 0 0 0 166114 69 0 0 20 0 4 0 2200290 1340674048 269181 33554432000 4194304 16246674 140737472944112 140737472926016 13965658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 327313 269181 789 2943 0 324207 0
[pid=8933/tid=8934] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1309252

[startup+1722.3 s]
/proc/loadavg: 2.22 2.17 2.01 3/183 9246
/proc/meminfo: memFree=29011804/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1309252 CPUtime=1721.83 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 268637 0 0 0 172113 70 0 0 20 0 4 0 2200290 1340674048 269181 33554432000 4194304 16246674 140737472944112 140737472927112 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 327313 269181 789 2943 0 324207 0
[pid=8933/tid=8934] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1309252

[startup+1782.3 s]
/proc/loadavg: 2.17 2.17 2.02 3/183 9248
/proc/meminfo: memFree=29008056/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1309252 CPUtime=1781.82 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 268637 0 0 0 178112 70 0 0 20 0 4 0 2200290 1340674048 269181 33554432000 4194304 16246674 140737472944112 140737472926016 6011784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 327313 269181 789 2943 0 324207 0
[pid=8933/tid=8934] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1309252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.16 2.01 3/183 9248
/proc/meminfo: memFree=29008492/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1309252 CPUtime=1800.02 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 268637 0 0 0 179931 71 0 0 20 0 4 0 2200290 1340674048 269181 33554432000 4194304 16246674 140737472944112 140737472927112 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 327313 269181 789 2943 0 324207 0
[pid=8933/tid=8934] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1309252

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

[startup+1800.5 s]
/proc/loadavg: 2.13 2.16 2.01 3/183 9248
/proc/meminfo: memFree=29008492/32872528 swapFree=295864/318348
[pid=8933] ppid=8930 vsize=1309252 CPUtime=1800.02 cores=1,3,5,7
/proc/8933/stat : 8933 (toysat) R 8930 8933 4291 0 -1 4202496 268637 0 0 0 179931 71 0 0 20 0 4 0 2200290 1340674048 269181 33554432000 4194304 16246674 140737472944112 140737472927112 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8933/statm: 327313 269181 789 2943 0 324207 0
[pid=8933/tid=8934] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8934/stat : 8934 (toysat) S 8930 8933 4291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181107617008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8933/tid=8935] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8935/stat : 8935 (toysat) S 8930 8933 4291 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181021633776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8933/tid=8936] ppid=8930 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/8933/task/8936/stat : 8936 (toysat) S 8930 8933 4291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2200291 1340674048 269181 33554432000 4194304 16246674 140737472944112 140181011160240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1309252

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.32
CPU system time (s): 0.710891
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.710891
maximum resident set size= 1076724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268637
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= 313
involuntary context switches= 2074

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6243 second user time and 6.90995 second system time

The end

Begin job on node128 at 2016-06-30 21:33:47
IDJOB=4121706
IDBENCH=110638
IDSOLVER=2542
FILE ID=node128/4121706-1467315227
RUNJOBID= node128-1467314186-8726
PBS_JOBID= 20005249
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 82f48f10dbb04f7d678d41ff5b9be967
RANDOM SEED=1415462455

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30091300 kB
Buffers:           73100 kB
Cached:           560264 kB
SwapCached:            0 kB
Active:          1305492 kB
Inactive:         418476 kB
Active(anon):    1093444 kB
Inactive(anon):        4 kB
Active(file):     212048 kB
Inactive(file):   418472 kB
Unevictable:      318348 kB
Mlocked:          295864 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16644 kB
Writeback:             4 kB
AnonPages:       1408720 kB
Mapped:            17068 kB
Shmem:               204 kB
Slab:             606752 kB
SReclaimable:      50212 kB
SUnreclaim:       556540 kB
KernelStack:        1464 kB
PageTables:         7348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1542072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1093632 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= 71712 MiB
End job on node128 at 2016-06-30 22:03:48