0.00/0.00	c 2016-06-15T20:04:09+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-4088721-1466013849.opb"]
0.00/0.01	c use --random-gen="3015691535 759862579 743133567 2493389225 305350099 2332412811 1654336898 1275045583 403945970 353168656 555573149 1622423074 1843604276 2436288814 4217962490 3167972300 1294798867 3842724254 1689905352 2823116056 444092745 1268412150 1738762483 72053396 1826883424 3070767125 874383865 4043318284 3394151432 4233048533 2819871224 105137210 3525638918 2109586439 91177000 1243790924 4106121596 3259180803 3891033406 1103014690 3619036778 3988939345 1211426601 800055997 677473244 1211400413 1711875263 3545818829 3833249474 190217475 3910927804 1066256227 1407596732 2617500318 3811365414 1639711225 248199943 2250908045 3262743756 2658285137 992976792 3103722206 2692298473 3485714446 4277533471 353753694 997867932 53674288 2202280877 406246832 480016848 644558392 1684977079 3005181090 2078900931 728556747 4096420745 1850266205 993517647 4156888433 4034635287 958815948 3411875532 3749424183 2016253379 3967776530 975203918 948379354 2572610120 4156310230 2310573618 3333540931 2326999125 2675362577 2859023617 3953413941 2542399776 4273770617 2198198633 918593086 190040529 1389255971 680812904 863334870 70841499 2762397336 1235713207 3528283700 1470434363 380322500 3138648990 3215161589 4269858771 1382388629 2071829234 232954766 2843922716 1011388075 2556601879 281490029 42647415 8605473 4135185069 3526040529 3487621130 483421100 1732349301 752493630 3134799766 3415573822 812595645 936355540 717346789 2410708409 1346623313 2562538170 1811547380 2392218608 1171845516 63282602 4287855483 866982943 2350798425 4160325464 1073172338 3326998472 556636136 2647310857 121550170 1597202803 1368412608 4049533375 3851920152 1217988825 4113378938 1508496313 3477616397 3183306642 3455241941 3124480292 599540727 1175124054 1833437932 2057870946 278947634 3876778408 3420768621 1498760477 1079198655 4110679909 3001826526 421984501 1421660035 3943606760 2896955093 2086815587 1126451484 1381816352 2271346053 3125748573 857929233 3324633531 307448432 2905197491 4169217897 853302572 1093642664 2071514927 269778171 3333212068 2298222600 402796684 1722912961 243144560 1111657347 3278371550 4005862336 2954270635 1920886590 901560110 541763303 774046673 4215649705 96524434 479903847 3618275435 737630165 1882562075 2486112362 2876674100 1379646324 1177959765 2774863343 1875686346 608519144 1924792455 2875331335 821135298 4223683177 4154604931 1324864011 255694476 482345276 466113982 2781303479 136253226 149088111 2810498066 2490621206 2634961113 1434307892 879068897 2367720065 858218328 2051387379 847450251 2688533742 3091002934 2443050650 2382696016 2231013846 4043242143 3515962086 4195698957 2650821493 1962881493 274747931 929898379 2843707933 3212905254 4092371185 1967602759 681105410 83494372 1804773256 60662960 255 362436" option to reproduce the execution
0.00/0.01	c #vars 401
0.00/0.01	c #constraints 201
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      267      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      290 |      100 |      267      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      620 |      250 |      294      0 |        0 |        0
0.00/0.05	c  0.0s |       3 |     1009 |      475 |      324      0 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1620 |      813 |      357      1 |        0 |        0
0.08/0.13	c  0.1s |       5 |     2551 |     1320 |      393      3 |        0 |        0
0.19/0.20	c  0.2s |       6 |     3634 |     2081 |      477      5 |        0 |        0
0.29/0.32	c  0.3s |       7 |     5239 |     3223 |      525      9 |        0 |        0
0.39/0.47	c  0.5s |       8 |     7788 |     4936 |      578     13 |        0 |        0
0.69/0.79	c  0.8s |       9 |    11027 |     7506 |      636     19 |        0 |        0
1.09/1.16	c  1.1s |      10 |    16494 |    11361 |      700     28 |        0 |        0
1.49/1.55	c  1.5s |      11 |    24440 |    17144 |      771     40 |        0 |        0
2.09/2.18	c  2.2s |      12 |    36552 |    25819 |      849     57 |        0 |        0
3.09/3.12	c  3.1s |      13 |    54514 |    38832 |      934     81 |        0 |        0
4.79/4.82	c  4.8s |      14 |    79490 |    58352 |     1028    115 |        0 |        0
6.79/6.82	c  6.8s |      14 |   109673 |    80452 |     1028    151 |        0 |        0
7.38/7.43	c  7.4s |      15 |   119661 |    87632 |     1131    162 |        0 |        0
9.38/9.44	c  9.4s |      15 |   148550 |   109332 |     1131    193 |        0 |        0
11.38/11.45	c 11.4s |      15 |   177280 |   131432 |     1245    226 |        0 |        0
11.38/11.46	c 11.4s |      16 |   177445 |   131552 |     1245    226 |        0 |        0
13.38/13.46	c 13.4s |      16 |   206641 |   153452 |     1245    256 |        0 |        0
15.39/15.47	c 15.4s |      16 |   242821 |   178752 |     1245    291 |        0 |        0
16.98/17.07	c 17.1s |      17 |   269522 |   197432 |     1370    317 |        0 |        0
18.98/19.08	c 19.1s |      17 |   296289 |   217932 |     1370    343 |        0 |        0
20.99/21.08	c 21.1s |      17 |   324523 |   238532 |     1370    369 |        0 |        0
22.98/23.08	c 23.1s |      17 |   356522 |   261832 |     1370    399 |        0 |        0
24.98/25.09	c 25.1s |      17 |   386292 |   283632 |     1370    426 |        0 |        0
26.28/26.31	c 26.3s |      18 |   402292 |   296252 |     1508    442 |        0 |        0
28.28/28.31	c 28.3s |      18 |   428279 |   316352 |     1508    466 |        0 |        0
30.29/30.32	c 30.3s |      18 |   460897 |   340152 |     1508    493 |        0 |        0
32.29/32.32	c 32.3s |      18 |   487085 |   360152 |     1508    516 |        0 |        0
34.29/34.32	c 34.3s |      18 |   518002 |   383052 |     1508    543 |        0 |        0
36.29/36.32	c 36.3s |      18 |   550507 |   406452 |     1508    571 |        0 |        0
38.28/38.33	c 38.3s |      18 |   580922 |   429052 |     1508    598 |        0 |        0
39.69/39.78	c 39.8s |      19 |   601056 |   444482 |     1659    615 |        0 |        0
41.68/41.78	c 41.8s |      19 |   627265 |   464082 |     1659    636 |        0 |        0
43.68/43.79	c 43.8s |      19 |   652276 |   483382 |     1659    656 |        0 |        0
45.78/45.80	c 45.8s |      19 |   677569 |   502682 |     1659    676 |        0 |        0
47.78/47.80	c 47.8s |      19 |   701557 |   521982 |     1659    697 |        0 |        0
49.78/49.81	c 49.8s |      19 |   729671 |   543482 |     1659    719 |        0 |        0
51.78/51.82	c 51.8s |      19 |   754729 |   562882 |     1659    740 |        0 |        0
53.78/53.82	c 53.8s |      19 |   785127 |   585482 |     1659    764 |        0 |        0
55.78/55.82	c 55.8s |      19 |   818307 |   609082 |     1659    789 |        0 |        0
57.77/57.84	c 57.8s |      19 |   849828 |   631782 |     1659    814 |        0 |        0
59.77/59.84	c 59.8s |      19 |   875442 |   651682 |     1659    836 |        0 |        0
61.08/61.14	c 61.1s |      20 |   896138 |   666827 |     1825    852 |        0 |        0
63.08/63.14	c 63.1s |      20 |   920385 |   684627 |     1825    869 |        0 |        0
65.08/65.15	c 65.1s |      20 |   946743 |   704227 |     1825    888 |        0 |        0
67.09/67.15	c 67.1s |      20 |   971522 |   723627 |     1825    907 |        0 |        0
69.08/69.17	c 69.1s |      20 |   996565 |   742727 |     1825    926 |        0 |        0
71.08/71.17	c 71.1s |      20 |  1022886 |   762527 |     1825    945 |        0 |        0
73.08/73.17	c 73.2s |      20 |  1050240 |   782627 |     1825    965 |        0 |        0
75.07/75.18	c 75.2s |      20 |  1074572 |   801927 |     1825    985 |        0 |        0
77.08/77.19	c 77.2s |      20 |  1099504 |   821127 |     1825   1005 |        0 |        0
79.07/79.20	c 79.2s |      20 |  1123939 |   840527 |     1825   1025 |        0 |        0
81.17/81.20	c 81.2s |      20 |  1149684 |   860027 |     1825   1046 |        0 |        0
83.17/83.21	c 83.2s |      20 |  1176646 |   879827 |     1825   1067 |        0 |        0
85.17/85.21	c 85.2s |      20 |  1202849 |   900127 |     1825   1088 |        0 |        0
87.17/87.22	c 87.2s |      20 |  1225558 |   918227 |     1825   1106 |        0 |        0
89.18/89.22	c 89.2s |      20 |  1252842 |   938627 |     1825   1127 |        0 |        0
91.17/91.22	c 91.2s |      20 |  1281347 |   959727 |     1825   1150 |        0 |        0
93.18/93.22	c 93.2s |      20 |  1309718 |   980827 |     1825   1172 |        0 |        0
95.18/95.23	c 95.2s |      20 |  1334164 |   999727 |     2008   1191 |        0 |        0
95.28/95.31	c 95.3s |      21 |  1334860 |  1000345 |     2008   1191 |        0 |        0
97.28/97.31	c 97.3s |      21 |  1359266 |  1018845 |     2008   1208 |        0 |        0
99.27/99.32	c 99.3s |      21 |  1389936 |  1040745 |     2008   1228 |        0 |        0
101.28/101.32	c  101s |      21 |  1418993 |  1061945 |     2008   1247 |        0 |        0
103.27/103.32	c  103s |      21 |  1449116 |  1083245 |     2008   1267 |        0 |        0
105.27/105.33	c  105s |      21 |  1476125 |  1103145 |     2008   1285 |        0 |        0
107.27/107.34	c  107s |      21 |  1501159 |  1122045 |     2008   1303 |        0 |        0
109.27/109.35	c  109s |      21 |  1528424 |  1142345 |     2008   1321 |        0 |        0
111.27/111.36	c  111s |      21 |  1555247 |  1162145 |     2008   1339 |        0 |        0
113.28/113.36	c  113s |      21 |  1581007 |  1181645 |     2008   1357 |        0 |        0
115.27/115.36	c  115s |      21 |  1608790 |  1202545 |     2008   1376 |        0 |        0
117.27/117.37	c  117s |      21 |  1632785 |  1220845 |     2008   1392 |        0 |        0
119.27/119.38	c  119s |      21 |  1658860 |  1240545 |     2008   1410 |        0 |        0
121.27/121.38	c  121s |      21 |  1685745 |  1260245 |     2008   1428 |        0 |        0
123.27/123.38	c  123s |      21 |  1713379 |  1280845 |     2008   1447 |        0 |        0
125.27/125.38	c  125s |      21 |  1738464 |  1299945 |     2008   1464 |        0 |        0
127.26/127.39	c  127s |      21 |  1765164 |  1319645 |     2008   1482 |        0 |        0
129.26/129.39	c  129s |      21 |  1794725 |  1341445 |     2008   1502 |        0 |        0
131.36/131.40	c  131s |      21 |  1822399 |  1362445 |     2008   1521 |        0 |        0
133.36/133.41	c  133s |      21 |  1849774 |  1383445 |     2008   1540 |        0 |        0
135.37/135.42	c  135s |      21 |  1868653 |  1399345 |     2008   1554 |        0 |        0
137.36/137.43	c  137s |      21 |  1895511 |  1419645 |     2008   1573 |        0 |        0
139.37/139.43	c  139s |      21 |  1924649 |  1440445 |     2008   1591 |        0 |        0
141.37/141.44	c  141s |      21 |  1948609 |  1458845 |     2008   1608 |        0 |        0
143.37/143.44	c  143s |      21 |  1976822 |  1479645 |     2008   1627 |        0 |        0
145.37/145.45	c  145s |      21 |  2003076 |  1499445 |     2209   1644 |        0 |        0
145.47/145.55	c  145s |      22 |  2004690 |  1500622 |     2209   1645 |        0 |        0
147.47/147.55	c  147s |      22 |  2023635 |  1515622 |     2209   1658 |        0 |        0
149.47/149.56	c  149s |      22 |  2046648 |  1533022 |     2209   1673 |        0 |        0
151.46/151.57	c  151s |      22 |  2068928 |  1549722 |     2209   1687 |        0 |        0
153.46/153.58	c  153s |      22 |  2094145 |  1568122 |     2209   1702 |        0 |        0
155.46/155.58	c  155s |      22 |  2115676 |  1584622 |     2209   1716 |        0 |        0
157.46/157.58	c  157s |      22 |  2143359 |  1605022 |     2209   1733 |        0 |        0
159.47/159.59	c  159s |      22 |  2170796 |  1624722 |     2209   1749 |        0 |        0
161.46/161.59	c  161s |      22 |  2197594 |  1644322 |     2209   1765 |        0 |        0
163.56/163.60	c  163s |      22 |  2225041 |  1664222 |     2209   1782 |        0 |        0
165.56/165.60	c  165s |      22 |  2245472 |  1680522 |     2209   1796 |        0 |        0
167.57/167.61	c  167s |      22 |  2272681 |  1700222 |     2209   1813 |        0 |        0
169.57/169.62	c  169s |      22 |  2296712 |  1718322 |     2209   1828 |        0 |        0
171.57/171.63	c  171s |      22 |  2321453 |  1737022 |     2209   1844 |        0 |        0
173.56/173.64	c  173s |      22 |  2347773 |  1756722 |     2209   1860 |        0 |        0
175.56/175.65	c  175s |      22 |  2375350 |  1776722 |     2209   1877 |        0 |        0
177.56/177.66	c  177s |      22 |  2405222 |  1798122 |     2209   1895 |        0 |        0
179.56/179.66	c  179s |      22 |  2431656 |  1818222 |     2209   1912 |        0 |        0
181.57/181.67	c  181s |      22 |  2455220 |  1836022 |     2209   1926 |        0 |        0
183.56/183.68	c  183s |      22 |  2475993 |  1852422 |     2209   1940 |        0 |        0
185.56/185.69	c  185s |      22 |  2495295 |  1867922 |     2209   1953 |        0 |        0
187.56/187.69	c  187s |      22 |  2519537 |  1886522 |     2209   1969 |        0 |        0
189.66/189.70	c  189s |      22 |  2542826 |  1904122 |     2209   1984 |        0 |        0
191.66/191.71	c  191s |      22 |  2564869 |  1921122 |     2209   1998 |        0 |        0
193.66/193.72	c  193s |      22 |  2591126 |  1940522 |     2209   2014 |        0 |        0
195.65/195.73	c  195s |      22 |  2615719 |  1958822 |     2209   2030 |        0 |        0
197.65/197.74	c  197s |      22 |  2637645 |  1976022 |     2209   2044 |        0 |        0
199.65/199.74	c  199s |      22 |  2662979 |  1994722 |     2209   2060 |        0 |        0
201.65/201.75	c  201s |      22 |  2688076 |  2013522 |     2209   2075 |        0 |        0
203.65/203.75	c  203s |      22 |  2712151 |  2031822 |     2209   2091 |        0 |        0
205.66/205.75	c  205s |      22 |  2735735 |  2049722 |     2209   2106 |        0 |        0
207.65/207.76	c  207s |      22 |  2759275 |  2068022 |     2209   2121 |        0 |        0
209.65/209.76	c  209s |      22 |  2776272 |  2082722 |     2209   2133 |        0 |        0
211.65/211.76	c  211s |      22 |  2798915 |  2100222 |     2209   2148 |        0 |        0
213.65/213.78	c  213s |      22 |  2823230 |  2118222 |     2209   2164 |        0 |        0
215.66/215.78	c  215s |      22 |  2848239 |  2137022 |     2209   2179 |        0 |        0
217.65/217.79	c  217s |      22 |  2873900 |  2156222 |     2209   2196 |        0 |        0
219.65/219.80	c  219s |      22 |  2900474 |  2175622 |     2209   2212 |        0 |        0
221.75/221.80	c  221s |      22 |  2924755 |  2193522 |     2209   2227 |        0 |        0
223.76/223.81	c  223s |      22 |  2946706 |  2210222 |     2209   2242 |        0 |        0
225.76/225.82	c  225s |      22 |  2966229 |  2225522 |     2209   2255 |        0 |        0
227.76/227.83	c  227s |      22 |  2986110 |  2240722 |     2430   2267 |        0 |        0
229.06/229.16	c  229s |      23 |  2999961 |  2251038 |     2430   2275 |        0 |        0
231.06/231.16	c  231s |      23 |  3022992 |  2268138 |     2430   2288 |        0 |        0
233.05/233.17	c  233s |      23 |  3046515 |  2286538 |     2430   2302 |        0 |        0
235.05/235.17	c  235s |      23 |  3067932 |  2303538 |     2430   2315 |        0 |        0
237.05/237.19	c  237s |      23 |  3091950 |  2322238 |     2430   2329 |        0 |        0
239.05/239.19	c  239s |      23 |  3112847 |  2339038 |     2430   2342 |        0 |        0
241.15/241.20	c  241s |      23 |  3139148 |  2358938 |     2430   2358 |        0 |        0
243.05/243.20	c  243s |      23 |  3158346 |  2374938 |     2430   2370 |        0 |        0
245.15/245.20	c  245s |      23 |  3180181 |  2391638 |     2430   2384 |        0 |        0
247.15/247.21	c  247s |      23 |  3204226 |  2410238 |     2430   2398 |        0 |        0
249.15/249.22	c  249s |      23 |  3222477 |  2425338 |     2430   2410 |        0 |        0
251.14/251.22	c  251s |      23 |  3249680 |  2445438 |     2430   2425 |        0 |        0
253.14/253.24	c  253s |      23 |  3273305 |  2463238 |     2430   2439 |        0 |        0
255.16/255.24	c  255s |      23 |  3293345 |  2479438 |     2430   2452 |        0 |        0
257.15/257.25	c  257s |      23 |  3318248 |  2498238 |     2430   2466 |        0 |        0
259.15/259.25	c  259s |      23 |  3342394 |  2516338 |     2430   2481 |        0 |        0
261.15/261.26	c  261s |      23 |  3366068 |  2534638 |     2430   2495 |        0 |        0
263.15/263.27	c  263s |      23 |  3392509 |  2554338 |     2430   2511 |        0 |        0
265.15/265.27	c  265s |      23 |  3411776 |  2569838 |     2430   2523 |        0 |        0
267.15/267.28	c  267s |      23 |  3431894 |  2585838 |     2430   2535 |        0 |        0
269.15/269.29	c  269s |      23 |  3456527 |  2604538 |     2430   2549 |        0 |        0
271.24/271.30	c  271s |      23 |  3482432 |  2624138 |     2430   2564 |        0 |        0
273.24/273.30	c  273s |      23 |  3509038 |  2643638 |     2430   2579 |        0 |        0
275.24/275.31	c  275s |      23 |  3536211 |  2663838 |     2430   2595 |        0 |        0
277.25/277.32	c  277s |      23 |  3560849 |  2682238 |     2430   2609 |        0 |        0
279.24/279.32	c  279s |      23 |  3580595 |  2697738 |     2430   2620 |        0 |        0
281.24/281.33	c  281s |      23 |  3604735 |  2715738 |     2430   2634 |        0 |        0
283.24/283.34	c  283s |      23 |  3629669 |  2733838 |     2430   2648 |        0 |        0
285.24/285.34	c  285s |      23 |  3654802 |  2752438 |     2430   2662 |        0 |        0
287.24/287.35	c  287s |      23 |  3679351 |  2770738 |     2430   2676 |        0 |        0
289.25/289.36	c  289s |      23 |  3698689 |  2786038 |     2430   2688 |        0 |        0
291.24/291.36	c  291s |      23 |  3720647 |  2803038 |     2430   2701 |        0 |        0
293.24/293.37	c  293s |      23 |  3738645 |  2817938 |     2430   2712 |        0 |        0
295.24/295.37	c  295s |      23 |  3765522 |  2837638 |     2430   2727 |        0 |        0
297.24/297.38	c  297s |      23 |  3790116 |  2855838 |     2430   2741 |        0 |        0
299.24/299.38	c  299s |      23 |  3816426 |  2875338 |     2430   2756 |        0 |        0
301.24/301.39	c  301s |      23 |  3843525 |  2895138 |     2430   2771 |        0 |        0
303.24/303.39	c  303s |      23 |  3868812 |  2914038 |     2430   2786 |        0 |        0
305.34/305.40	c  305s |      23 |  3894075 |  2932338 |     2430   2801 |        0 |        0
307.34/307.40	c  307s |      23 |  3922939 |  2953138 |     2430   2817 |        0 |        0
309.34/309.40	c  309s |      23 |  3943691 |  2969138 |     2430   2830 |        0 |        0
311.34/311.40	c  311s |      23 |  3965214 |  2986038 |     2430   2843 |        0 |        0
313.33/313.40	c  313s |      23 |  3986482 |  3002638 |     2430   2856 |        0 |        0
315.33/315.42	c  315s |      23 |  4005202 |  3017438 |     2430   2867 |        0 |        0
317.33/317.42	c  317s |      23 |  4027555 |  3034638 |     2430   2881 |        0 |        0
319.33/319.43	c  319s |      23 |  4049330 |  3051438 |     2430   2894 |        0 |        0
321.33/321.43	c  321s |      23 |  4075798 |  3070838 |     2430   2910 |        0 |        0
323.34/323.44	c  323s |      23 |  4101016 |  3089638 |     2430   2925 |        0 |        0
325.34/325.44	c  325s |      23 |  4127425 |  3108538 |     2430   2940 |        0 |        0
327.34/327.44	c  327s |      23 |  4151684 |  3126338 |     2430   2954 |        0 |        0
329.34/329.44	c  329s |      23 |  4177910 |  3145438 |     2430   2969 |        0 |        0
331.34/331.45	c  331s |      23 |  4199844 |  3161838 |     2430   2982 |        0 |        0
333.35/333.45	c  333s |      23 |  4227045 |  3181838 |     2430   2998 |        0 |        0
335.34/335.46	c  335s |      23 |  4255542 |  3202538 |     2430   3014 |        0 |        0
337.34/337.46	c  337s |      23 |  4284396 |  3223538 |     2430   3031 |        0 |        0
339.33/339.47	c  339s |      23 |  4313701 |  3244738 |     2430   3047 |        0 |        0
341.33/341.47	c  341s |      23 |  4342617 |  3265738 |     2430   3064 |        0 |        0
343.33/343.48	c  343s |      23 |  4362371 |  3281338 |     2430   3076 |        0 |        0
345.34/345.49	c  345s |      23 |  4385241 |  3298738 |     2430   3090 |        0 |        0
347.33/347.49	c  347s |      23 |  4410428 |  3317538 |     2430   3105 |        0 |        0
349.43/349.50	c  349s |      23 |  4436255 |  3336538 |     2430   3120 |        0 |        0
351.43/351.50	c  351s |      23 |  4463564 |  3355838 |     2673   3135 |        0 |        0
353.43/353.50	c  353s |      23 |  4486833 |  3372938 |     2673   3147 |        0 |        0
353.84/353.93	c  353s |      24 |  4491971 |  3376662 |     2673   3150 |        0 |        0
355.84/355.94	c  355s |      24 |  4512078 |  3391862 |     2673   3160 |        0 |        0
357.84/357.94	c  357s |      24 |  4530996 |  3406862 |     2673   3170 |        0 |        0
359.84/359.96	c  359s |      24 |  4550522 |  3421862 |     2673   3181 |        0 |        0
361.84/361.96	c  361s |      24 |  4574031 |  3439762 |     2673   3193 |        0 |        0
363.83/363.96	c  363s |      24 |  4599300 |  3458262 |     2673   3206 |        0 |        0
365.83/365.97	c  365s |      24 |  4620418 |  3474462 |     2673   3217 |        0 |        0
367.83/367.97	c  367s |      24 |  4642870 |  3491462 |     2673   3229 |        0 |        0
369.83/369.98	c  369s |      24 |  4661844 |  3506562 |     2673   3239 |        0 |        0
371.84/371.98	c  371s |      24 |  4684853 |  3523862 |     2673   3251 |        0 |        0
373.83/373.99	c  373s |      24 |  4710920 |  3543362 |     2673   3265 |        0 |        0
375.83/375.99	c  375s |      24 |  4736544 |  3562762 |     2673   3279 |        0 |        0
377.93/378.00	c  377s |      24 |  4762513 |  3582462 |     2673   3292 |        0 |        0
379.93/380.00	c  379s |      24 |  4788767 |  3602162 |     2673   3306 |        0 |        0
381.93/382.00	c  381s |      24 |  4814724 |  3621562 |     2673   3320 |        0 |        0
383.93/384.01	c  383s |      24 |  4841769 |  3641262 |     2673   3334 |        0 |        0
385.92/386.01	c  385s |      24 |  4865845 |  3659562 |     2673   3347 |        0 |        0
387.92/388.01	c  387s |      24 |  4889476 |  3677362 |     2673   3359 |        0 |        0
389.92/390.02	c  390s |      24 |  4913928 |  3695362 |     2673   3372 |        0 |        0
391.92/392.03	c  392s |      24 |  4938341 |  3713462 |     2673   3385 |        0 |        0
393.92/394.03	c  394s |      24 |  4961216 |  3730262 |     2673   3397 |        0 |        0
395.93/396.04	c  396s |      24 |  4981201 |  3745362 |     2673   3408 |        0 |        0
397.92/398.04	c  398s |      24 |  5002952 |  3761362 |     2673   3419 |        0 |        0
399.92/400.04	c  400s |      24 |  5024679 |  3777562 |     2673   3431 |        0 |        0
401.92/402.05	c  402s |      24 |  5048135 |  3794562 |     2673   3443 |        0 |        0
403.92/404.05	c  404s |      24 |  5073577 |  3812762 |     2673   3456 |        0 |        0
405.93/406.06	c  406s |      24 |  5097708 |  3830462 |     2673   3468 |        0 |        0
407.93/408.07	c  408s |      24 |  5121339 |  3847262 |     2673   3480 |        0 |        0
409.93/410.07	c  410s |      24 |  5144986 |  3864662 |     2673   3492 |        0 |        0
411.93/412.09	c  412s |      24 |  5170211 |  3882962 |     2673   3505 |        0 |        0
413.93/414.10	c  414s |      24 |  5195181 |  3900862 |     2673   3518 |        0 |        0
416.02/416.10	c  416s |      24 |  5219974 |  3919162 |     2673   3531 |        0 |        0
417.93/418.10	c  418s |      24 |  5244081 |  3936762 |     2673   3543 |        0 |        0
420.02/420.10	c  420s |      24 |  5269892 |  3955762 |     2673   3557 |        0 |        0
422.02/422.11	c  422s |      24 |  5292994 |  3973262 |     2673   3569 |        0 |        0
424.02/424.12	c  424s |      24 |  5316124 |  3990462 |     2673   3581 |        0 |        0
426.02/426.12	c  426s |      24 |  5338422 |  4006962 |     2673   3593 |        0 |        0
428.02/428.12	c  428s |      24 |  5361701 |  4024062 |     2673   3605 |        0 |        0
430.02/430.13	c  430s |      24 |  5384484 |  4041162 |     2673   3617 |        0 |        0
432.02/432.14	c  432s |      24 |  5410292 |  4060162 |     2673   3630 |        0 |        0
434.02/434.16	c  434s |      24 |  5432072 |  4076762 |     2673   3642 |        0 |        0
436.02/436.17	c  436s |      24 |  5457476 |  4095362 |     2673   3655 |        0 |        0
438.02/438.17	c  438s |      24 |  5480450 |  4112362 |     2673   3667 |        0 |        0
440.03/440.17	c  440s |      24 |  5504721 |  4130162 |     2673   3679 |        0 |        0
442.02/442.17	c  442s |      24 |  5523058 |  4144562 |     2673   3690 |        0 |        0
444.02/444.18	c  444s |      24 |  5544887 |  4161062 |     2673   3701 |        0 |        0
446.02/446.19	c  446s |      24 |  5565962 |  4177062 |     2673   3712 |        0 |        0
448.02/448.19	c  448s |      24 |  5586474 |  4193062 |     2673   3724 |        0 |        0
450.12/450.20	c  450s |      24 |  5608287 |  4209162 |     2673   3735 |        0 |        0
452.13/452.21	c  452s |      24 |  5625258 |  4222862 |     2673   3745 |        0 |        0
454.12/454.22	c  454s |      24 |  5648944 |  4240162 |     2673   3757 |        0 |        0
456.12/456.23	c  456s |      24 |  5672869 |  4257562 |     2673   3769 |        0 |        0
458.12/458.23	c  458s |      24 |  5694552 |  4273662 |     2673   3781 |        0 |        0
460.12/460.24	c  460s |      24 |  5717564 |  4290462 |     2673   3792 |        0 |        0
462.12/462.24	c  462s |      24 |  5743163 |  4309162 |     2673   3805 |        0 |        0
464.12/464.25	c  464s |      24 |  5764201 |  4325462 |     2673   3817 |        0 |        0
466.12/466.26	c  466s |      24 |  5788431 |  4342762 |     2673   3829 |        0 |        0
468.12/468.27	c  468s |      24 |  5811119 |  4359462 |     2673   3841 |        0 |        0
470.12/470.28	c  470s |      24 |  5830448 |  4374362 |     2673   3852 |        0 |        0
472.22/472.30	c  472s |      24 |  5851857 |  4390562 |     2673   3863 |        0 |        0
474.21/474.30	c  474s |      24 |  5874571 |  4407362 |     2673   3875 |        0 |        0
476.22/476.31	c  476s |      24 |  5896538 |  4424162 |     2673   3887 |        0 |        0
478.21/478.31	c  478s |      24 |  5918272 |  4440762 |     2673   3899 |        0 |        0
480.21/480.32	c  480s |      24 |  5935268 |  4454462 |     2673   3908 |        0 |        0
482.21/482.32	c  482s |      24 |  5955171 |  4469862 |     2673   3919 |        0 |        0
484.21/484.33	c  484s |      24 |  5975691 |  4486062 |     2673   3930 |        0 |        0
486.22/486.34	c  486s |      24 |  5995716 |  4501862 |     2673   3942 |        0 |        0
488.21/488.34	c  488s |      24 |  6013274 |  4516062 |     2673   3951 |        0 |        0
490.21/490.34	c  490s |      24 |  6033988 |  4532062 |     2673   3963 |        0 |        0
492.21/492.35	c  492s |      24 |  6057596 |  4549462 |     2673   3975 |        0 |        0
494.21/494.35	c  494s |      24 |  6078671 |  4565662 |     2673   3986 |        0 |        0
496.21/496.36	c  496s |      24 |  6101586 |  4582862 |     2673   3998 |        0 |        0
498.22/498.37	c  498s |      24 |  6124451 |  4600662 |     2673   4011 |        0 |        0
500.21/500.37	c  500s |      24 |  6147960 |  4618162 |     2673   4023 |        0 |        0
502.21/502.37	c  502s |      24 |  6174199 |  4636562 |     2673   4036 |        0 |        0
504.21/504.37	c  504s |      24 |  6197026 |  4653462 |     2673   4048 |        0 |        0
506.21/506.38	c  506s |      24 |  6223535 |  4672262 |     2673   4062 |        0 |        0
508.22/508.39	c  508s |      24 |  6247854 |  4690262 |     2673   4074 |        0 |        0
510.21/510.40	c  510s |      24 |  6271139 |  4707462 |     2673   4086 |        0 |        0
512.31/512.40	c  512s |      24 |  6295620 |  4725162 |     2673   4099 |        0 |        0
514.31/514.41	c  514s |      24 |  6322065 |  4744162 |     2673   4112 |        0 |        0
516.31/516.41	c  516s |      24 |  6343350 |  4759662 |     2673   4123 |        0 |        0
518.31/518.41	c  518s |      24 |  6370234 |  4778162 |     2673   4136 |        0 |        0
520.32/520.42	c  520s |      24 |  6394951 |  4795662 |     2673   4149 |        0 |        0
522.31/522.43	c  522s |      24 |  6418403 |  4812162 |     2673   4160 |        0 |        0
524.31/524.43	c  524s |      24 |  6443822 |  4830662 |     2673   4173 |        0 |        0
526.31/526.43	c  526s |      24 |  6469248 |  4849062 |     2673   4186 |        0 |        0
528.31/528.44	c  528s |      24 |  6493565 |  4866562 |     2673   4199 |        0 |        0
530.31/530.44	c  530s |      24 |  6515465 |  4883262 |     2673   4210 |        0 |        0
532.31/532.45	c  532s |      24 |  6535554 |  4899362 |     2673   4222 |        0 |        0
534.31/534.45	c  534s |      24 |  6554612 |  4914162 |     2673   4232 |        0 |        0
536.31/536.45	c  536s |      24 |  6574862 |  4929662 |     2673   4243 |        0 |        0
538.31/538.46	c  538s |      24 |  6597523 |  4946062 |     2673   4255 |        0 |        0
540.30/540.46	c  540s |      24 |  6622932 |  4964562 |     2673   4268 |        0 |        0
542.31/542.47	c  542s |      24 |  6648681 |  4982962 |     2673   4281 |        0 |        0
544.30/544.47	c  544s |      24 |  6672835 |  5001562 |     2673   4294 |        0 |        0
546.30/546.47	c  546s |      24 |  6698465 |  5020262 |     2673   4307 |        0 |        0
548.30/548.47	c  548s |      24 |  6724567 |  5039462 |     2941   4320 |        0 |        0
550.31/550.48	c  550s |      24 |  6749985 |  5057962 |     2941   4332 |        0 |        0
551.01/551.20	c  551s |      25 |  6760270 |  5065098 |     2941   4337 |        0 |        0
553.11/553.20	c  553s |      25 |  6778978 |  5079798 |     2941   4346 |        0 |        0
555.11/555.20	c  555s |      25 |  6798260 |  5094298 |     2941   4355 |        0 |        0
557.11/557.21	c  557s |      25 |  6819886 |  5110698 |     2941   4366 |        0 |        0
559.11/559.22	c  559s |      25 |  6838611 |  5125798 |     2941   4375 |        0 |        0
561.10/561.22	c  561s |      25 |  6858752 |  5141498 |     2941   4385 |        0 |        0
563.11/563.22	c  563s |      25 |  6879753 |  5157798 |     2941   4396 |        0 |        0
565.10/565.23	c  565s |      25 |  6900154 |  5173298 |     2941   4405 |        0 |        0
567.10/567.24	c  567s |      25 |  6916717 |  5186498 |     2941   4414 |        0 |        0
569.10/569.25	c  569s |      25 |  6934595 |  5200698 |     2941   4423 |        0 |        0
571.10/571.26	c  571s |      25 |  6954684 |  5215898 |     2941   4433 |        0 |        0
573.11/573.27	c  573s |      25 |  6975686 |  5232098 |     2941   4443 |        0 |        0
575.10/575.29	c  575s |      25 |  6996172 |  5248298 |     2941   4454 |        0 |        0
577.20/577.30	c  577s |      25 |  7021647 |  5267098 |     2941   4466 |        0 |        0
579.20/579.30	c  579s |      25 |  7047894 |  5285998 |     2941   4478 |        0 |        0
581.20/581.31	c  581s |      25 |  7071125 |  5303998 |     2941   4489 |        0 |        0
583.20/583.32	c  583s |      25 |  7094726 |  5321598 |     2941   4500 |        0 |        0
585.21/585.33	c  585s |      25 |  7119783 |  5340398 |     2941   4512 |        0 |        0
587.20/587.33	c  587s |      25 |  7143116 |  5357998 |     2941   4524 |        0 |        0
589.19/589.34	c  589s |      25 |  7170100 |  5377798 |     2941   4536 |        0 |        0
591.19/591.34	c  591s |      25 |  7193177 |  5395098 |     2941   4547 |        0 |        0
593.19/593.34	c  593s |      25 |  7217106 |  5412698 |     2941   4558 |        0 |        0
595.19/595.35	c  595s |      25 |  7239214 |  5429498 |     2941   4569 |        0 |        0
597.20/597.35	c  597s |      25 |  7263356 |  5446798 |     2941   4580 |        0 |        0
599.19/599.36	c  599s |      25 |  7287226 |  5464598 |     2941   4591 |        0 |        0
601.19/601.37	c  601s |      25 |  7310513 |  5482098 |     2941   4602 |        0 |        0
603.19/603.38	c  603s |      25 |  7325449 |  5494698 |     2941   4611 |        0 |        0
605.19/605.38	c  605s |      25 |  7342129 |  5507998 |     2941   4619 |        0 |        0
607.29/607.40	c  607s |      25 |  7363892 |  5524298 |     2941   4630 |        0 |        0
609.30/609.41	c  609s |      25 |  7383680 |  5540098 |     2941   4640 |        0 |        0
611.29/611.41	c  611s |      25 |  7406217 |  5557298 |     2941   4651 |        0 |        0
613.29/613.42	c  613s |      25 |  7429391 |  5574398 |     2941   4662 |        0 |        0
615.30/615.42	c  615s |      25 |  7448705 |  5589698 |     2941   4672 |        0 |        0
617.30/617.43	c  617s |      25 |  7470723 |  5606198 |     2941   4683 |        0 |        0
619.30/619.44	c  619s |      25 |  7495105 |  5624198 |     2941   4695 |        0 |        0
621.29/621.45	c  621s |      25 |  7519876 |  5642798 |     2941   4707 |        0 |        0
623.29/623.45	c  623s |      25 |  7541271 |  5659498 |     2941   4717 |        0 |        0
625.29/625.45	c  625s |      25 |  7562738 |  5675898 |     2941   4728 |        0 |        0
627.29/627.45	c  627s |      25 |  7586043 |  5693098 |     2941   4739 |        0 |        0
629.29/629.45	c  629s |      25 |  7609701 |  5710698 |     2941   4750 |        0 |        0
631.30/631.46	c  631s |      25 |  7632812 |  5728298 |     2941   4761 |        0 |        0
633.29/633.47	c  633s |      25 |  7654108 |  5744298 |     2941   4772 |        0 |        0
635.29/635.47	c  635s |      25 |  7679097 |  5762498 |     2941   4784 |        0 |        0
637.29/637.49	c  637s |      25 |  7702502 |  5780298 |     2941   4796 |        0 |        0
639.39/639.51	c  639s |      25 |  7724196 |  5796898 |     2941   4806 |        0 |        0
641.39/641.52	c  641s |      25 |  7744708 |  5812398 |     2941   4817 |        0 |        0
643.40/643.53	c  643s |      25 |  7768223 |  5829598 |     2941   4828 |        0 |        0
645.39/645.54	c  645s |      25 |  7791894 |  5847298 |     2941   4839 |        0 |        0
647.39/647.55	c  647s |      25 |  7809823 |  5861698 |     2941   4849 |        0 |        0
649.39/649.55	c  649s |      25 |  7826693 |  5875198 |     2941   4858 |        0 |        0
651.39/651.55	c  651s |      25 |  7849286 |  5891898 |     2941   4869 |        0 |        0
653.40/653.56	c  653s |      25 |  7874190 |  5909998 |     2941   4881 |        0 |        0
655.39/655.56	c  655s |      25 |  7897797 |  5927998 |     2941   4892 |        0 |        0
657.39/657.57	c  657s |      25 |  7920970 |  5945398 |     2941   4904 |        0 |        0
659.39/659.57	c  659s |      25 |  7944384 |  5963398 |     2941   4915 |        0 |        0
661.39/661.58	c  661s |      25 |  7972690 |  5983898 |     2941   4928 |        0 |        0
663.39/663.58	c  663s |      25 |  7997539 |  6002298 |     2941   4941 |        0 |        0
665.39/665.59	c  665s |      25 |  8022875 |  6020398 |     2941   4952 |        0 |        0
667.38/667.59	c  667s |      25 |  8048319 |  6039198 |     2941   4964 |        0 |        0
669.48/669.60	c  669s |      25 |  8075384 |  6058898 |     2941   4977 |        0 |        0
671.48/671.60	c  671s |      25 |  8099801 |  6077598 |     2941   4989 |        0 |        0
673.48/673.60	c  673s |      25 |  8126751 |  6097298 |     2941   5002 |        0 |        0
675.48/675.60	c  675s |      25 |  8152810 |  6115898 |     2941   5014 |        0 |        0
677.49/677.61	c  677s |      25 |  8181740 |  6136398 |     2941   5027 |        0 |        0
679.48/679.61	c  679s |      25 |  8205282 |  6153998 |     2941   5038 |        0 |        0
681.48/681.62	c  681s |      25 |  8228379 |  6171398 |     2941   5050 |        0 |        0
683.48/683.62	c  683s |      25 |  8252471 |  6189198 |     2941   5061 |        0 |        0
685.48/685.62	c  685s |      25 |  8276878 |  6207498 |     2941   5073 |        0 |        0
687.49/687.63	c  687s |      25 |  8296642 |  6222698 |     2941   5083 |        0 |        0
689.48/689.64	c  689s |      25 |  8316353 |  6237898 |     2941   5093 |        0 |        0
691.48/691.64	c  691s |      25 |  8341387 |  6255998 |     2941   5104 |        0 |        0
693.48/693.64	c  693s |      25 |  8363825 |  6272598 |     2941   5115 |        0 |        0
695.48/695.66	c  695s |      25 |  8382076 |  6287098 |     2941   5125 |        0 |        0
697.48/697.67	c  697s |      25 |  8402038 |  6302698 |     2941   5134 |        0 |        0
699.48/699.68	c  699s |      25 |  8420663 |  6317498 |     2941   5144 |        0 |        0
701.48/701.69	c  701s |      25 |  8439048 |  6331998 |     2941   5153 |        0 |        0
703.58/703.70	c  703s |      25 |  8460354 |  6348198 |     2941   5164 |        0 |        0
705.58/705.70	c  705s |      25 |  8478841 |  6362898 |     2941   5173 |        0 |        0
707.58/707.71	c  707s |      25 |  8497617 |  6377698 |     2941   5183 |        0 |        0
709.58/709.72	c  709s |      25 |  8515068 |  6391898 |     2941   5192 |        0 |        0
711.59/711.73	c  711s |      25 |  8535448 |  6407498 |     2941   5202 |        0 |        0
713.58/713.73	c  713s |      25 |  8552385 |  6420998 |     2941   5210 |        0 |        0
715.58/715.73	c  715s |      25 |  8573927 |  6437198 |     2941   5221 |        0 |        0
717.58/717.75	c  717s |      25 |  8595158 |  6453498 |     2941   5231 |        0 |        0
719.58/719.75	c  719s |      25 |  8616635 |  6469998 |     2941   5242 |        0 |        0
721.59/721.76	c  721s |      25 |  8638459 |  6486098 |     2941   5252 |        0 |        0
723.58/723.77	c  723s |      25 |  8659751 |  6502098 |     2941   5262 |        0 |        0
725.68/725.80	c  725s |      25 |  8679609 |  6517798 |     2941   5273 |        0 |        0
727.68/727.80	c  727s |      25 |  8700289 |  6533298 |     2941   5283 |        0 |        0
729.68/729.81	c  729s |      25 |  8723033 |  6550298 |     2941   5294 |        0 |        0
731.68/731.81	c  731s |      25 |  8746667 |  6567898 |     2941   5305 |        0 |        0
733.68/733.82	c  733s |      25 |  8769766 |  6585198 |     2941   5316 |        0 |        0
735.68/735.82	c  735s |      25 |  8792546 |  6602098 |     2941   5327 |        0 |        0
737.68/737.83	c  737s |      25 |  8813551 |  6618298 |     2941   5337 |        0 |        0
739.68/739.83	c  739s |      25 |  8834521 |  6633798 |     2941   5348 |        0 |        0
741.67/741.84	c  741s |      25 |  8855183 |  6649498 |     2941   5358 |        0 |        0
743.67/743.85	c  743s |      25 |  8874848 |  6664698 |     2941   5367 |        0 |        0
745.68/745.86	c  745s |      25 |  8896019 |  6680698 |     2941   5378 |        0 |        0
747.67/747.87	c  747s |      25 |  8912357 |  6693898 |     2941   5386 |        0 |        0
749.67/749.88	c  749s |      25 |  8933143 |  6709398 |     2941   5396 |        0 |        0
751.67/751.88	c  751s |      25 |  8950821 |  6723298 |     2941   5405 |        0 |        0
753.77/753.90	c  753s |      25 |  8971708 |  6739398 |     2941   5415 |        0 |        0
755.77/755.90	c  755s |      25 |  8993662 |  6756098 |     2941   5426 |        0 |        0
757.78/757.91	c  757s |      25 |  9014585 |  6771898 |     2941   5437 |        0 |        0
759.77/759.92	c  759s |      25 |  9042991 |  6792598 |     2941   5450 |        0 |        0
761.77/761.93	c  761s |      25 |  9067837 |  6811198 |     2941   5462 |        0 |        0
763.77/763.93	c  763s |      25 |  9094925 |  6830698 |     2941   5475 |        0 |        0
765.77/765.93	c  765s |      25 |  9121486 |  6850098 |     2941   5487 |        0 |        0
767.77/767.94	c  767s |      25 |  9147548 |  6869298 |     2941   5500 |        0 |        0
769.77/769.94	c  769s |      25 |  9173731 |  6887798 |     2941   5512 |        0 |        0
771.77/771.94	c  771s |      25 |  9198816 |  6905998 |     2941   5524 |        0 |        0
773.77/773.95	c  773s |      25 |  9224165 |  6924498 |     2941   5536 |        0 |        0
775.76/775.95	c  775s |      25 |  9248928 |  6942898 |     2941   5547 |        0 |        0
777.76/777.96	c  777s |      25 |  9276040 |  6962298 |     2941   5560 |        0 |        0
779.78/779.96	c  779s |      25 |  9302130 |  6981498 |     2941   5572 |        0 |        0
781.77/781.97	c  781s |      25 |  9328951 |  7000698 |     2941   5585 |        0 |        0
783.77/783.98	c  783s |      25 |  9354207 |  7018898 |     2941   5596 |        0 |        0
785.77/785.98	c  785s |      25 |  9378871 |  7037398 |     2941   5608 |        0 |        0
787.77/787.99	c  787s |      25 |  9400310 |  7053798 |     2941   5619 |        0 |        0
789.77/790.00	c  789s |      25 |  9424987 |  7072098 |     2941   5631 |        0 |        0
791.87/792.00	c  791s |      25 |  9453782 |  7092298 |     2941   5644 |        0 |        0
793.87/794.02	c  794s |      25 |  9480775 |  7111498 |     2941   5657 |        0 |        0
795.87/796.02	c  796s |      25 |  9504252 |  7128998 |     2941   5668 |        0 |        0
797.86/798.02	c  798s |      25 |  9531251 |  7148098 |     2941   5680 |        0 |        0
799.86/800.03	c  800s |      25 |  9558132 |  7167698 |     2941   5693 |        0 |        0
801.87/802.03	c  802s |      25 |  9584659 |  7186698 |     2941   5705 |        0 |        0
803.86/804.04	c  804s |      25 |  9602619 |  7200998 |     2941   5714 |        0 |        0
805.86/806.04	c  806s |      25 |  9627529 |  7218998 |     2941   5726 |        0 |        0
807.86/808.05	c  808s |      25 |  9656814 |  7239098 |     2941   5739 |        0 |        0
809.86/810.05	c  810s |      25 |  9681853 |  7257798 |     2941   5751 |        0 |        0
811.86/812.06	c  812s |      25 |  9707121 |  7275998 |     2941   5762 |        0 |        0
813.87/814.06	c  814s |      25 |  9731865 |  7294098 |     2941   5774 |        0 |        0
815.86/816.06	c  816s |      25 |  9758296 |  7312898 |     2941   5787 |        0 |        0
817.86/818.07	c  818s |      25 |  9776025 |  7326798 |     2941   5795 |        0 |        0
819.86/820.07	c  820s |      25 |  9795341 |  7341698 |     2941   5805 |        0 |        0
821.86/822.08	c  822s |      25 |  9822262 |  7360798 |     2941   5817 |        0 |        0
823.86/824.09	c  824s |      25 |  9849980 |  7379898 |     2941   5830 |        0 |        0
825.86/826.09	c  826s |      25 |  9874327 |  7397598 |     2941   5841 |        0 |        0
827.96/828.10	c  828s |      25 |  9895976 |  7413698 |     2941   5851 |        0 |        0
829.96/830.10	c  830s |      25 |  9919730 |  7431398 |     2941   5863 |        0 |        0
831.96/832.11	c  832s |      25 |  9942767 |  7447398 |     2941   5873 |        0 |        0
833.96/834.12	c  834s |      25 |  9967628 |  7465198 |     2941   5885 |        0 |        0
835.97/836.13	c  836s |      25 |  9991003 |  7482298 |     2941   5896 |        0 |        0
837.96/838.15	c  838s |      25 | 10011989 |  7498098 |     2941   5906 |        0 |        0
839.96/840.15	c  840s |      25 | 10031265 |  7512398 |     2941   5915 |        0 |        0
841.96/842.16	c  842s |      25 | 10054774 |  7529198 |     2941   5926 |        0 |        0
843.96/844.16	c  844s |      25 | 10075778 |  7544998 |     3236   5936 |        0 |        0
845.96/846.16	c  846s |      25 | 10093204 |  7558798 |     3236   5944 |        0 |        0
847.97/848.16	c  848s |      25 | 10112831 |  7573798 |     3236   5953 |        0 |        0
849.96/850.16	c  850s |      25 | 10137380 |  7591598 |     3236   5964 |        0 |        0
850.66/850.88	c  850s |      26 | 10145729 |  7597752 |     3236   5967 |        0 |        0
852.66/852.89	c  852s |      26 | 10166641 |  7613952 |     3236   5977 |        0 |        0
854.67/854.89	c  854s |      26 | 10187531 |  7629952 |     3236   5986 |        0 |        0
856.66/856.89	c  856s |      26 | 10210561 |  7647552 |     3236   5996 |        0 |        0
858.76/858.90	c  858s |      26 | 10232317 |  7663552 |     3236   6006 |        0 |        0
860.76/860.91	c  860s |      26 | 10255908 |  7680852 |     3236   6016 |        0 |        0
862.76/862.92	c  862s |      26 | 10278286 |  7698052 |     3236   6026 |        0 |        0
864.76/864.92	c  864s |      26 | 10302613 |  7715752 |     3236   6036 |        0 |        0
866.76/866.93	c  866s |      26 | 10323543 |  7732352 |     3236   6046 |        0 |        0
868.76/868.93	c  868s |      26 | 10341599 |  7746752 |     3236   6054 |        0 |        0
870.76/870.94	c  870s |      26 | 10364812 |  7763952 |     3236   6064 |        0 |        0
872.76/872.95	c  872s |      26 | 10389432 |  7782052 |     3236   6075 |        0 |        0
874.76/874.96	c  874s |      26 | 10413192 |  7799752 |     3236   6085 |        0 |        0
876.75/876.96	c  876s |      26 | 10436474 |  7816952 |     3236   6095 |        0 |        0
878.76/878.96	c  878s |      26 | 10457645 |  7833052 |     3236   6105 |        0 |        0
880.75/880.98	c  880s |      26 | 10482536 |  7851052 |     3236   6115 |        0 |        0
882.75/882.98	c  882s |      26 | 10500939 |  7865552 |     3236   6124 |        0 |        0
884.85/885.00	c  884s |      26 | 10519489 |  7879852 |     3236   6133 |        0 |        0
886.85/887.01	c  886s |      26 | 10538641 |  7894452 |     3236   6141 |        0 |        0
888.85/889.03	c  889s |      26 | 10557763 |  7909252 |     3236   6150 |        0 |        0
890.86/891.03	c  891s |      26 | 10578160 |  7924352 |     3236   6159 |        0 |        0
892.85/893.04	c  893s |      26 | 10594961 |  7938252 |     3236   6168 |        0 |        0
894.85/895.05	c  895s |      26 | 10615736 |  7953752 |     3236   6177 |        0 |        0
896.85/897.05	c  897s |      26 | 10636887 |  7969952 |     3236   6186 |        0 |        0
898.85/899.05	c  899s |      26 | 10663163 |  7989052 |     3236   6197 |        0 |        0
900.85/901.05	c  901s |      26 | 10690409 |  8008852 |     3236   6209 |        0 |        0
902.85/903.06	c  903s |      26 | 10714891 |  8026852 |     3236   6219 |        0 |        0
904.85/905.07	c  905s |      26 | 10737832 |  8044052 |     3236   6230 |        0 |        0
906.85/907.08	c  907s |      26 | 10757860 |  8059252 |     3236   6239 |        0 |        0
908.85/909.08	c  909s |      26 | 10781137 |  8077052 |     3236   6249 |        0 |        0
910.85/911.09	c  911s |      26 | 10802307 |  8093052 |     3236   6258 |        0 |        0
912.86/913.09	c  913s |      26 | 10826148 |  8109752 |     3236   6268 |        0 |        0
914.95/915.10	c  915s |      26 | 10847807 |  8126452 |     3236   6278 |        0 |        0
916.95/917.11	c  917s |      26 | 10868113 |  8142452 |     3236   6287 |        0 |        0
918.95/919.12	c  919s |      26 | 10891210 |  8159152 |     3236   6297 |        0 |        0
920.95/921.12	c  921s |      26 | 10914735 |  8176752 |     3236   6308 |        0 |        0
922.95/923.13	c  923s |      26 | 10937750 |  8193552 |     3236   6318 |        0 |        0
924.96/925.14	c  925s |      26 | 10963803 |  8212252 |     3236   6329 |        0 |        0
926.95/927.14	c  927s |      26 | 10985198 |  8228552 |     3236   6338 |        0 |        0
928.95/929.15	c  929s |      26 | 11008169 |  8245452 |     3236   6348 |        0 |        0
930.95/931.16	c  931s |      26 | 11028700 |  8261352 |     3236   6358 |        0 |        0
932.95/933.17	c  933s |      26 | 11054402 |  8279852 |     3236   6368 |        0 |        0
934.95/935.17	c  935s |      26 | 11071370 |  8293352 |     3236   6376 |        0 |        0
936.95/937.18	c  937s |      26 | 11086222 |  8305552 |     3236   6384 |        0 |        0
938.95/939.19	c  939s |      26 | 11105698 |  8319452 |     3236   6392 |        0 |        0
940.95/941.20	c  941s |      26 | 11126609 |  8335052 |     3236   6401 |        0 |        0
943.04/943.20	c  943s |      26 | 11150347 |  8352452 |     3236   6411 |        0 |        0
945.04/945.21	c  945s |      26 | 11168440 |  8366952 |     3236   6420 |        0 |        0
947.05/947.23	c  947s |      26 | 11188116 |  8381852 |     3236   6428 |        0 |        0
949.04/949.23	c  949s |      26 | 11209160 |  8397552 |     3236   6438 |        0 |        0
951.04/951.23	c  951s |      26 | 11230459 |  8414052 |     3236   6447 |        0 |        0
953.04/953.23	c  953s |      26 | 11256982 |  8433252 |     3236   6459 |        0 |        0
955.04/955.24	c  955s |      26 | 11280876 |  8451252 |     3236   6469 |        0 |        0
957.04/957.25	c  957s |      26 | 11303169 |  8467852 |     3236   6479 |        0 |        0
959.05/959.26	c  959s |      26 | 11320546 |  8482152 |     3236   6487 |        0 |        0
961.04/961.27	c  961s |      26 | 11338440 |  8496152 |     3236   6496 |        0 |        0
963.04/963.28	c  963s |      26 | 11359274 |  8511452 |     3236   6505 |        0 |        0
965.04/965.29	c  965s |      26 | 11376987 |  8525352 |     3236   6513 |        0 |        0
967.14/967.30	c  967s |      26 | 11392279 |  8538152 |     3236   6520 |        0 |        0
969.14/969.30	c  969s |      26 | 11410279 |  8551852 |     3236   6528 |        0 |        0
971.15/971.31	c  971s |      26 | 11430834 |  8567352 |     3236   6538 |        0 |        0
973.14/973.32	c  973s |      26 | 11452952 |  8583852 |     3236   6547 |        0 |        0
975.14/975.32	c  975s |      26 | 11473812 |  8599452 |     3236   6556 |        0 |        0
977.14/977.33	c  977s |      26 | 11493805 |  8614552 |     3236   6565 |        0 |        0
979.14/979.33	c  979s |      26 | 11515817 |  8630852 |     3236   6575 |        0 |        0
981.14/981.33	c  981s |      26 | 11536276 |  8646352 |     3236   6584 |        0 |        0
983.13/983.33	c  983s |      26 | 11557389 |  8662152 |     3236   6594 |        0 |        0
985.13/985.34	c  985s |      26 | 11584497 |  8681252 |     3236   6605 |        0 |        0
987.13/987.34	c  987s |      26 | 11609341 |  8698752 |     3236   6615 |        0 |        0
989.13/989.34	c  989s |      26 | 11631523 |  8715052 |     3236   6625 |        0 |        0
991.13/991.34	c  991s |      26 | 11650838 |  8729752 |     3236   6634 |        0 |        0
993.14/993.36	c  993s |      26 | 11670439 |  8744952 |     3236   6643 |        0 |        0
995.13/995.37	c  995s |      26 | 11689933 |  8760152 |     3236   6651 |        0 |        0
997.13/997.38	c  997s |      26 | 11706222 |  8773252 |     3236   6659 |        0 |        0
999.13/999.39	c  999s |      26 | 11722302 |  8786052 |     3236   6667 |        0 |        0
1001.23/1001.40	c 1001s |      26 | 11744836 |  8802252 |     3236   6676 |        0 |        0
1003.23/1003.41	c 1003s |      26 | 11771336 |  8821052 |     3236   6687 |        0 |        0
1005.24/1005.42	c 1005s |      26 | 11795852 |  8838352 |     3236   6697 |        0 |        0
1007.23/1007.43	c 1007s |      26 | 11814502 |  8853152 |     3236   6706 |        0 |        0
1009.23/1009.44	c 1009s |      26 | 11836135 |  8870052 |     3236   6716 |        0 |        0
1011.23/1011.44	c 1011s |      26 | 11859991 |  8887652 |     3236   6726 |        0 |        0
1013.23/1013.44	c 1013s |      26 | 11879570 |  8902552 |     3236   6735 |        0 |        0
1015.23/1015.46	c 1015s |      26 | 11903683 |  8919852 |     3236   6746 |        0 |        0
1017.24/1017.46	c 1017s |      26 | 11925682 |  8935852 |     3236   6755 |        0 |        0
1019.24/1019.48	c 1019s |      26 | 11950654 |  8953452 |     3236   6765 |        0 |        0
1021.23/1021.48	c 1021s |      26 | 11965399 |  8965552 |     3236   6772 |        0 |        0
1023.23/1023.49	c 1023s |      26 | 11982319 |  8978952 |     3236   6780 |        0 |        0
1025.33/1025.50	c 1025s |      26 | 12005926 |  8996052 |     3236   6790 |        0 |        0
1027.24/1027.50	c 1027s |      26 | 12025219 |  9010652 |     3236   6799 |        0 |        0
1029.33/1029.50	c 1029s |      26 | 12043439 |  9024852 |     3236   6807 |        0 |        0
1031.33/1031.52	c 1031s |      26 | 12061147 |  9038452 |     3236   6815 |        0 |        0
1033.33/1033.52	c 1033s |      26 | 12078903 |  9052252 |     3236   6823 |        0 |        0
1035.33/1035.53	c 1035s |      26 | 12097463 |  9066252 |     3236   6832 |        0 |        0
1037.33/1037.55	c 1037s |      26 | 12115270 |  9079652 |     3236   6840 |        0 |        0
1039.34/1039.56	c 1039s |      26 | 12132781 |  9093952 |     3236   6848 |        0 |        0
1041.33/1041.57	c 1041s |      26 | 12148378 |  9106752 |     3236   6855 |        0 |        0
1043.33/1043.58	c 1043s |      26 | 12167054 |  9120652 |     3236   6863 |        0 |        0
1045.33/1045.58	c 1045s |      26 | 12191300 |  9138652 |     3236   6874 |        0 |        0
1047.33/1047.59	c 1047s |      26 | 12211604 |  9154152 |     3236   6883 |        0 |        0
1049.34/1049.59	c 1049s |      26 | 12230372 |  9168552 |     3236   6891 |        0 |        0
1051.33/1051.60	c 1051s |      26 | 12246335 |  9181452 |     3236   6899 |        0 |        0
1053.43/1053.61	c 1053s |      26 | 12266253 |  9196152 |     3236   6907 |        0 |        0
1055.43/1055.62	c 1055s |      26 | 12287157 |  9212152 |     3236   6917 |        0 |        0
1057.43/1057.62	c 1057s |      26 | 12307926 |  9227852 |     3236   6926 |        0 |        0
1059.43/1059.62	c 1059s |      26 | 12324395 |  9241352 |     3236   6934 |        0 |        0
1061.43/1061.63	c 1061s |      26 | 12345409 |  9257052 |     3236   6943 |        0 |        0
1063.43/1063.64	c 1063s |      26 | 12366657 |  9272852 |     3236   6952 |        0 |        0
1065.43/1065.64	c 1065s |      26 | 12389071 |  9289752 |     3236   6962 |        0 |        0
1067.42/1067.65	c 1067s |      26 | 12410829 |  9306652 |     3236   6972 |        0 |        0
1069.42/1069.66	c 1069s |      26 | 12430823 |  9321752 |     3236   6981 |        0 |        0
1071.42/1071.66	c 1071s |      26 | 12451962 |  9337952 |     3236   6990 |        0 |        0
1073.43/1073.67	c 1073s |      26 | 12469307 |  9352252 |     3236   6999 |        0 |        0
1075.42/1075.69	c 1075s |      26 | 12490868 |  9367952 |     3236   7008 |        0 |        0
1077.42/1077.69	c 1077s |      26 | 12510024 |  9382552 |     3236   7016 |        0 |        0
1079.52/1079.71	c 1079s |      26 | 12529523 |  9397752 |     3236   7025 |        0 |        0
1081.52/1081.71	c 1081s |      26 | 12551641 |  9414052 |     3236   7035 |        0 |        0
1083.52/1083.71	c 1083s |      26 | 12567658 |  9426552 |     3236   7042 |        0 |        0
1085.53/1085.71	c 1085s |      26 | 12583338 |  9439252 |     3236   7050 |        0 |        0
1087.52/1087.72	c 1087s |      26 | 12596143 |  9450052 |     3236   7056 |        0 |        0
1089.52/1089.72	c 1089s |      26 | 12613115 |  9463452 |     3236   7064 |        0 |        0
1091.52/1091.73	c 1091s |      26 | 12636894 |  9480352 |     3236   7074 |        0 |        0
1093.52/1093.73	c 1093s |      26 | 12658231 |  9495852 |     3236   7083 |        0 |        0
1095.52/1095.73	c 1095s |      26 | 12679554 |  9511852 |     3236   7093 |        0 |        0
1097.52/1097.74	c 1097s |      26 | 12703995 |  9529752 |     3236   7103 |        0 |        0
1099.52/1099.75	c 1099s |      26 | 12728693 |  9547452 |     3236   7114 |        0 |        0
1101.52/1101.76	c 1101s |      26 | 12751546 |  9564652 |     3236   7124 |        0 |        0
1103.52/1103.77	c 1103s |      26 | 12773305 |  9581052 |     3236   7133 |        0 |        0
1105.51/1105.78	c 1105s |      26 | 12796665 |  9598352 |     3236   7143 |        0 |        0
1107.52/1107.79	c 1107s |      26 | 12823030 |  9617652 |     3236   7155 |        0 |        0
1109.51/1109.79	c 1109s |      26 | 12849390 |  9636752 |     3236   7166 |        0 |        0
1111.61/1111.81	c 1111s |      26 | 12872430 |  9654252 |     3236   7176 |        0 |        0
1113.61/1113.82	c 1113s |      26 | 12893125 |  9669952 |     3236   7186 |        0 |        0
1115.61/1115.82	c 1115s |      26 | 12914606 |  9686252 |     3236   7195 |        0 |        0
1117.62/1117.82	c 1117s |      26 | 12937747 |  9703852 |     3236   7205 |        0 |        0
1119.63/1119.83	c 1119s |      26 | 12960606 |  9720652 |     3236   7215 |        0 |        0
1121.62/1121.83	c 1121s |      26 | 12984909 |  9738452 |     3236   7226 |        0 |        0
1123.62/1123.83	c 1123s |      26 | 13007960 |  9755552 |     3236   7236 |        0 |        0
1125.62/1125.84	c 1125s |      26 | 13027740 |  9770952 |     3236   7245 |        0 |        0
1127.62/1127.86	c 1127s |      26 | 13045705 |  9785152 |     3236   7253 |        0 |        0
1129.63/1129.86	c 1129s |      26 | 13067283 |  9801252 |     3236   7263 |        0 |        0
1131.62/1131.86	c 1131s |      26 | 13091858 |  9818952 |     3236   7273 |        0 |        0
1133.62/1133.87	c 1133s |      26 | 13113823 |  9835152 |     3236   7283 |        0 |        0
1135.62/1135.87	c 1135s |      26 | 13139525 |  9853552 |     3236   7294 |        0 |        0
1137.62/1137.88	c 1137s |      26 | 13163581 |  9871052 |     3236   7304 |        0 |        0
1139.62/1139.88	c 1139s |      26 | 13184088 |  9886252 |     3236   7313 |        0 |        0
1141.62/1141.89	c 1141s |      26 | 13206109 |  9902252 |     3236   7322 |        0 |        0
1143.72/1143.90	c 1143s |      26 | 13229703 |  9919052 |     3236   7332 |        0 |        0
1145.71/1145.90	c 1145s |      26 | 13252983 |  9935752 |     3236   7342 |        0 |        0
1147.71/1147.91	c 1147s |      26 | 13280566 |  9954652 |     3236   7353 |        0 |        0
1149.71/1149.91	c 1149s |      26 | 13298042 |  9968352 |     3236   7362 |        0 |        0
1151.71/1151.91	c 1151s |      26 | 13319960 |  9984352 |     3236   7371 |        0 |        0
1153.72/1153.91	c 1153s |      26 | 13342583 | 10000952 |     3236   7381 |        0 |        0
1155.71/1155.92	c 1155s |      26 | 13363116 | 10015952 |     3236   7390 |        0 |        0
1157.71/1157.92	c 1157s |      26 | 13388522 | 10034252 |     3236   7401 |        0 |        0
1159.71/1159.93	c 1159s |      26 | 13415577 | 10053752 |     3236   7412 |        0 |        0
1161.71/1161.93	c 1161s |      26 | 13439966 | 10071352 |     3236   7423 |        0 |        0
1163.72/1163.94	c 1163s |      26 | 13463069 | 10088552 |     3236   7433 |        0 |        0
1165.71/1165.94	c 1165s |      26 | 13489898 | 10107652 |     3236   7444 |        0 |        0
1167.71/1167.95	c 1167s |      26 | 13516641 | 10126252 |     3236   7455 |        0 |        0
1169.71/1169.95	c 1169s |      26 | 13540359 | 10144052 |     3236   7466 |        0 |        0
1171.71/1171.96	c 1171s |      26 | 13566798 | 10163152 |     3236   7477 |        0 |        0
1173.71/1173.96	c 1173s |      26 | 13587334 | 10178552 |     3236   7486 |        0 |        0
1175.71/1175.97	c 1175s |      26 | 13609813 | 10195052 |     3236   7496 |        0 |        0
1177.71/1177.98	c 1177s |      26 | 13631333 | 10210652 |     3236   7505 |        0 |        0
1179.70/1179.98	c 1179s |      26 | 13657285 | 10229552 |     3236   7516 |        0 |        0
1181.70/1181.99	c 1181s |      26 | 13676862 | 10244652 |     3236   7525 |        0 |        0
1183.80/1184.00	c 1183s |      26 | 13699654 | 10261752 |     3236   7535 |        0 |        0
1185.80/1186.01	c 1185s |      26 | 13721105 | 10278152 |     3236   7545 |        0 |        0
1187.81/1188.02	c 1188s |      26 | 13744566 | 10295552 |     3236   7555 |        0 |        0
1189.80/1190.03	c 1190s |      26 | 13763596 | 10310252 |     3236   7564 |        0 |        0
1191.81/1192.04	c 1192s |      26 | 13787049 | 10327752 |     3236   7574 |        0 |        0
1193.81/1194.04	c 1194s |      26 | 13809833 | 10344652 |     3236   7584 |        0 |        0
1195.81/1196.04	c 1196s |      26 | 13835272 | 10363452 |     3236   7595 |        0 |        0
1197.81/1198.05	c 1198s |      26 | 13860540 | 10381652 |     3236   7606 |        0 |        0
1199.81/1200.05	c 1200s |      26 | 13885730 | 10399652 |     3236   7617 |        0 |        0
1201.81/1202.06	c 1202s |      26 | 13904535 | 10414352 |     3236   7625 |        0 |        0
1203.81/1204.07	c 1204s |      26 | 13926600 | 10430952 |     3236   7635 |        0 |        0
1205.80/1206.08	c 1206s |      26 | 13945536 | 10445652 |     3236   7643 |        0 |        0
1207.80/1208.08	c 1208s |      26 | 13967173 | 10461752 |     3236   7653 |        0 |        0
1209.81/1210.09	c 1210s |      26 | 13988855 | 10477952 |     3236   7662 |        0 |        0
1211.80/1212.10	c 1212s |      26 | 14011743 | 10495052 |     3236   7672 |        0 |        0
1213.90/1214.10	c 1214s |      26 | 14034251 | 10511352 |     3236   7682 |        0 |        0
1215.90/1216.11	c 1216s |      26 | 14054975 | 10527152 |     3236   7691 |        0 |        0
1217.90/1218.11	c 1218s |      26 | 14077277 | 10543552 |     3236   7701 |        0 |        0
1219.90/1220.12	c 1220s |      26 | 14100085 | 10559652 |     3236   7711 |        0 |        0
1221.91/1222.13	c 1222s |      26 | 14119089 | 10574052 |     3236   7719 |        0 |        0
1223.90/1224.13	c 1224s |      26 | 14137689 | 10588052 |     3236   7727 |        0 |        0
1225.90/1226.15	c 1226s |      26 | 14157624 | 10603152 |     3236   7736 |        0 |        0
1227.90/1228.16	c 1228s |      26 | 14180642 | 10620052 |     3236   7747 |        0 |        0
1229.90/1230.16	c 1230s |      26 | 14201965 | 10636252 |     3236   7756 |        0 |        0
1231.90/1232.16	c 1232s |      26 | 14222536 | 10651752 |     3236   7766 |        0 |        0
1233.90/1234.17	c 1234s |      26 | 14244871 | 10668252 |     3236   7775 |        0 |        0
1235.90/1236.17	c 1236s |      26 | 14268658 | 10685552 |     3236   7786 |        0 |        0
1237.89/1238.18	c 1238s |      26 | 14292026 | 10702352 |     3236   7796 |        0 |        0
1239.90/1240.19	c 1240s |      26 | 14319675 | 10721552 |     3236   7807 |        0 |        0
1242.00/1242.20	c 1242s |      26 | 14338690 | 10736652 |     3236   7816 |        0 |        0
1243.91/1244.20	c 1244s |      26 | 14359749 | 10752552 |     3236   7826 |        0 |        0
1246.00/1246.21	c 1246s |      26 | 14381538 | 10768652 |     3236   7835 |        0 |        0
1248.00/1248.23	c 1248s |      26 | 14399273 | 10782752 |     3236   7844 |        0 |        0
1250.00/1250.24	c 1250s |      26 | 14419876 | 10798252 |     3236   7853 |        0 |        0
1252.00/1252.25	c 1252s |      26 | 14441040 | 10814052 |     3236   7862 |        0 |        0
1254.00/1254.26	c 1254s |      26 | 14461562 | 10829552 |     3236   7871 |        0 |        0
1256.00/1256.27	c 1256s |      26 | 14485263 | 10846552 |     3236   7882 |        0 |        0
1258.00/1258.27	c 1258s |      26 | 14506330 | 10862452 |     3236   7891 |        0 |        0
1260.00/1260.27	c 1260s |      26 | 14528231 | 10878652 |     3236   7901 |        0 |        0
1262.00/1262.28	c 1262s |      26 | 14546759 | 10892652 |     3236   7909 |        0 |        0
1264.00/1264.28	c 1264s |      26 | 14571006 | 10910452 |     3236   7920 |        0 |        0
1266.00/1266.28	c 1266s |      26 | 14591697 | 10925752 |     3236   7929 |        0 |        0
1268.00/1268.30	c 1268s |      26 | 14613426 | 10941852 |     3236   7939 |        0 |        0
1270.10/1270.30	c 1270s |      26 | 14634072 | 10957052 |     3236   7948 |        0 |        0
1272.09/1272.31	c 1272s |      26 | 14655505 | 10972552 |     3236   7957 |        0 |        0
1274.09/1274.32	c 1274s |      26 | 14674406 | 10986652 |     3236   7966 |        0 |        0
1276.09/1276.32	c 1276s |      26 | 14697119 | 11002752 |     3236   7975 |        0 |        0
1278.10/1278.34	c 1278s |      26 | 14715588 | 11017052 |     3236   7984 |        0 |        0
1280.09/1280.35	c 1280s |      26 | 14737505 | 11032852 |     3236   7993 |        0 |        0
1282.09/1282.36	c 1282s |      26 | 14755844 | 11047652 |     3236   8002 |        0 |        0
1284.09/1284.37	c 1284s |      26 | 14773414 | 11061452 |     3236   8010 |        0 |        0
1286.09/1286.37	c 1286s |      26 | 14793388 | 11076552 |     3236   8019 |        0 |        0
1288.09/1288.38	c 1288s |      26 | 14816181 | 11093052 |     3236   8029 |        0 |        0
1290.09/1290.38	c 1290s |      26 | 14840398 | 11110652 |     3236   8040 |        0 |        0
1292.09/1292.38	c 1292s |      26 | 14863178 | 11127852 |     3236   8050 |        0 |        0
1294.09/1294.38	c 1294s |      26 | 14886106 | 11144552 |     3236   8060 |        0 |        0
1296.09/1296.39	c 1296s |      26 | 14905314 | 11159052 |     3236   8068 |        0 |        0
1298.09/1298.39	c 1298s |      26 | 14927445 | 11175152 |     3236   8078 |        0 |        0
1300.19/1300.40	c 1300s |      26 | 14953356 | 11193152 |     3236   8089 |        0 |        0
1302.19/1302.43	c 1302s |      26 | 14969624 | 11206152 |     3236   8097 |        0 |        0
1304.19/1304.44	c 1304s |      26 | 14989722 | 11221252 |     3236   8105 |        0 |        0
1306.19/1306.45	c 1306s |      26 | 15012006 | 11238052 |     3236   8115 |        0 |        0
1308.19/1308.45	c 1308s |      26 | 15036947 | 11256252 |     3236   8126 |        0 |        0
1310.18/1310.45	c 1310s |      26 | 15055147 | 11270652 |     3236   8135 |        0 |        0
1312.19/1312.46	c 1312s |      26 | 15072841 | 11284652 |     3236   8143 |        0 |        0
1314.18/1314.46	c 1314s |      26 | 15090403 | 11298152 |     3236   8152 |        0 |        0
1316.18/1316.48	c 1316s |      26 | 15111247 | 11314052 |     3236   8161 |        0 |        0
1318.18/1318.48	c 1318s |      26 | 15128710 | 11327452 |     3560   8168 |        0 |        0
1320.18/1320.49	c 1320s |      26 | 15144213 | 11339552 |     3560   8175 |        0 |        0
1322.28/1322.50	c 1322s |      26 | 15161281 | 11352752 |     3560   8182 |        0 |        0
1324.30/1324.51	c 1324s |      26 | 15182684 | 11367852 |     3560   8191 |        0 |        0
1326.29/1326.52	c 1326s |      26 | 15203414 | 11382852 |     3560   8199 |        0 |        0
1327.89/1328.19	c 1328s |      27 | 15222723 | 11396733 |     3560   8206 |        0 |        0
1329.89/1330.19	c 1330s |      27 | 15246978 | 11414033 |     3560   8216 |        0 |        0
1331.89/1332.19	c 1332s |      27 | 15268859 | 11430633 |     3560   8225 |        0 |        0
1333.99/1334.21	c 1334s |      27 | 15290973 | 11446833 |     3560   8234 |        0 |        0
1335.99/1336.21	c 1336s |      27 | 15308420 | 11460333 |     3560   8241 |        0 |        0
1337.98/1338.22	c 1338s |      27 | 15330037 | 11476433 |     3560   8249 |        0 |        0
1339.98/1340.22	c 1340s |      27 | 15350834 | 11492333 |     3560   8258 |        0 |        0
1341.98/1342.23	c 1342s |      27 | 15373135 | 11508933 |     3560   8267 |        0 |        0
1343.99/1344.24	c 1344s |      27 | 15392630 | 11523633 |     3560   8275 |        0 |        0
1345.98/1346.24	c 1346s |      27 | 15415050 | 11540333 |     3560   8284 |        0 |        0
1347.98/1348.26	c 1348s |      27 | 15434539 | 11555333 |     3560   8292 |        0 |        0
1349.98/1350.26	c 1350s |      27 | 15453851 | 11570033 |     3560   8300 |        0 |        0
1351.98/1352.26	c 1352s |      27 | 15471972 | 11584033 |     3560   8308 |        0 |        0
1353.99/1354.27	c 1354s |      27 | 15493182 | 11599833 |     3560   8317 |        0 |        0
1355.98/1356.27	c 1356s |      27 | 15513204 | 11614733 |     3560   8325 |        0 |        0
1357.98/1358.27	c 1358s |      27 | 15534110 | 11630833 |     3560   8334 |        0 |        0
1359.98/1360.29	c 1360s |      27 | 15552238 | 11645233 |     3560   8342 |        0 |        0
1361.98/1362.29	c 1362s |      27 | 15572291 | 11660633 |     3560   8350 |        0 |        0
1364.08/1364.30	c 1364s |      27 | 15593125 | 11676333 |     3560   8359 |        0 |        0
1366.08/1366.30	c 1366s |      27 | 15611692 | 11690533 |     3560   8367 |        0 |        0
1368.07/1368.32	c 1368s |      27 | 15633882 | 11707233 |     3560   8376 |        0 |        0
1370.07/1370.32	c 1370s |      27 | 15656835 | 11724333 |     3560   8385 |        0 |        0
1372.08/1372.33	c 1372s |      27 | 15674575 | 11738333 |     3560   8393 |        0 |        0
1374.08/1374.33	c 1374s |      27 | 15692082 | 11752033 |     3560   8400 |        0 |        0
1376.08/1376.34	c 1376s |      27 | 15707618 | 11764833 |     3560   8407 |        0 |        0
1378.08/1378.35	c 1378s |      27 | 15728328 | 11780833 |     3560   8416 |        0 |        0
1380.07/1380.35	c 1380s |      27 | 15745006 | 11794233 |     3560   8424 |        0 |        0
1382.07/1382.37	c 1382s |      27 | 15764232 | 11809333 |     3560   8432 |        0 |        0
1384.07/1384.38	c 1384s |      27 | 15781351 | 11823233 |     3560   8440 |        0 |        0
1386.07/1386.39	c 1386s |      27 | 15802735 | 11839133 |     3560   8448 |        0 |        0
1388.16/1388.40	c 1388s |      27 | 15823971 | 11855433 |     3560   8457 |        0 |        0
1390.17/1390.41	c 1390s |      27 | 15845583 | 11871733 |     3560   8466 |        0 |        0
1392.16/1392.41	c 1392s |      27 | 15865000 | 11886833 |     3560   8475 |        0 |        0
1394.16/1394.41	c 1394s |      27 | 15887575 | 11903433 |     3560   8484 |        0 |        0
1396.16/1396.42	c 1396s |      27 | 15910004 | 11920233 |     3560   8493 |        0 |        0
1398.16/1398.43	c 1398s |      27 | 15930609 | 11935833 |     3560   8502 |        0 |        0
1400.17/1400.43	c 1400s |      27 | 15951018 | 11951133 |     3560   8510 |        0 |        0
1402.16/1402.45	c 1402s |      27 | 15969527 | 11965433 |     3560   8518 |        0 |        0
1404.16/1404.45	c 1404s |      27 | 15988266 | 11980133 |     3560   8525 |        0 |        0
1406.16/1406.45	c 1406s |      27 | 16006433 | 11994133 |     3560   8533 |        0 |        0
1408.16/1408.46	c 1408s |      27 | 16028358 | 12010233 |     3560   8542 |        0 |        0
1410.16/1410.47	c 1410s |      27 | 16048746 | 12025533 |     3560   8550 |        0 |        0
1412.16/1412.48	c 1412s |      27 | 16070720 | 12042033 |     3560   8559 |        0 |        0
1414.16/1414.49	c 1414s |      27 | 16089901 | 12057233 |     3560   8567 |        0 |        0
1416.16/1416.50	c 1416s |      27 | 16107665 | 12071033 |     3560   8574 |        0 |        0
1418.25/1418.50	c 1418s |      27 | 16126438 | 12085833 |     3560   8582 |        0 |        0
1420.25/1420.51	c 1420s |      27 | 16146982 | 12101733 |     3560   8591 |        0 |        0
1422.25/1422.51	c 1422s |      27 | 16166222 | 12116733 |     3560   8599 |        0 |        0
1424.26/1424.53	c 1424s |      27 | 16180358 | 12128533 |     3560   8605 |        0 |        0
1426.25/1426.53	c 1426s |      27 | 16195572 | 12140833 |     3560   8612 |        0 |        0
1428.25/1428.53	c 1428s |      27 | 16216078 | 12156633 |     3560   8620 |        0 |        0
1430.25/1430.54	c 1430s |      27 | 16232104 | 12169933 |     3560   8627 |        0 |        0
1432.25/1432.55	c 1432s |      27 | 16251811 | 12184533 |     3560   8635 |        0 |        0
1434.25/1434.55	c 1434s |      27 | 16272584 | 12200233 |     3560   8644 |        0 |        0
1436.25/1436.56	c 1436s |      27 | 16285624 | 12211533 |     3560   8650 |        0 |        0
1438.24/1438.56	c 1438s |      27 | 16302989 | 12225033 |     3560   8657 |        0 |        0
1440.24/1440.56	c 1440s |      27 | 16322846 | 12239933 |     3560   8665 |        0 |        0
1442.24/1442.56	c 1442s |      27 | 16341934 | 12254633 |     3560   8673 |        0 |        0
1444.24/1444.58	c 1444s |      27 | 16361999 | 12270333 |     3560   8681 |        0 |        0
1446.25/1446.58	c 1446s |      27 | 16384945 | 12287433 |     3560   8691 |        0 |        0
1448.23/1448.59	c 1448s |      27 | 16408852 | 12304933 |     3560   8700 |        0 |        0
1450.23/1450.59	c 1450s |      27 | 16431724 | 12321633 |     3560   8709 |        0 |        0
1452.33/1452.60	c 1452s |      27 | 16452076 | 12336633 |     3560   8717 |        0 |        0
1454.33/1454.60	c 1454s |      27 | 16474478 | 12353433 |     3560   8726 |        0 |        0
1456.33/1456.61	c 1456s |      27 | 16494152 | 12368333 |     3560   8735 |        0 |        0
1458.33/1458.62	c 1458s |      27 | 16515314 | 12383533 |     3560   8743 |        0 |        0
1460.32/1460.63	c 1460s |      27 | 16536637 | 12399333 |     3560   8751 |        0 |        0
1462.33/1462.64	c 1462s |      27 | 16559102 | 12415633 |     3560   8760 |        0 |        0
1464.33/1464.65	c 1464s |      27 | 16575798 | 12428833 |     3560   8767 |        0 |        0
1466.33/1466.65	c 1466s |      27 | 16595182 | 12443333 |     3560   8775 |        0 |        0
1468.33/1468.65	c 1468s |      27 | 16616084 | 12458833 |     3560   8784 |        0 |        0
1470.33/1470.65	c 1470s |      27 | 16640073 | 12476133 |     3560   8793 |        0 |        0
1472.33/1472.66	c 1472s |      27 | 16662249 | 12492633 |     3560   8802 |        0 |        0
1474.32/1474.67	c 1474s |      27 | 16683302 | 12507733 |     3560   8811 |        0 |        0
1476.32/1476.67	c 1476s |      27 | 16700232 | 12520633 |     3560   8818 |        0 |        0
1478.32/1478.67	c 1478s |      27 | 16722318 | 12537033 |     3560   8826 |        0 |        0
1480.33/1480.68	c 1480s |      27 | 16743875 | 12552833 |     3560   8835 |        0 |        0
1482.32/1482.68	c 1482s |      27 | 16764523 | 12568333 |     3560   8844 |        0 |        0
1484.32/1484.68	c 1484s |      27 | 16783584 | 12582933 |     3560   8851 |        0 |        0
1486.32/1486.69	c 1486s |      27 | 16798553 | 12595133 |     3560   8858 |        0 |        0
1488.41/1488.71	c 1488s |      27 | 16814315 | 12607533 |     3560   8865 |        0 |        0
1490.41/1490.73	c 1490s |      27 | 16832177 | 12621433 |     3560   8872 |        0 |        0
1492.42/1492.73	c 1492s |      27 | 16852130 | 12636033 |     3560   8880 |        0 |        0
1494.41/1494.76	c 1494s |      27 | 16872716 | 12651333 |     3560   8888 |        0 |        0
1496.41/1496.76	c 1496s |      27 | 16894633 | 12667133 |     3560   8897 |        0 |        0
1498.41/1498.76	c 1498s |      27 | 16913877 | 12681533 |     3560   8905 |        0 |        0
1500.41/1500.77	c 1500s |      27 | 16937239 | 12698333 |     3560   8914 |        0 |        0
1502.41/1502.78	c 1502s |      27 | 16960030 | 12715033 |     3560   8923 |        0 |        0
1504.41/1504.79	c 1504s |      27 | 16979734 | 12730033 |     3560   8931 |        0 |        0
1506.51/1506.80	c 1506s |      27 | 17000127 | 12745633 |     3560   8940 |        0 |        0
1508.50/1508.81	c 1508s |      27 | 17019810 | 12760133 |     3560   8948 |        0 |        0
1510.50/1510.81	c 1510s |      27 | 17037756 | 12774333 |     3560   8955 |        0 |        0
1512.51/1512.82	c 1512s |      27 | 17058844 | 12790033 |     3560   8964 |        0 |        0
1514.51/1514.82	c 1514s |      27 | 17081838 | 12807033 |     3560   8973 |        0 |        0
1516.51/1516.83	c 1516s |      27 | 17101765 | 12822333 |     3560   8981 |        0 |        0
1518.50/1518.84	c 1518s |      27 | 17123585 | 12838533 |     3560   8990 |        0 |        0
1520.50/1520.84	c 1520s |      27 | 17138938 | 12851033 |     3560   8996 |        0 |        0
1522.50/1522.85	c 1522s |      27 | 17158953 | 12866033 |     3560   9004 |        0 |        0
1524.50/1524.85	c 1524s |      27 | 17179591 | 12881533 |     3560   9013 |        0 |        0
1526.51/1526.87	c 1526s |      27 | 17201704 | 12898033 |     3560   9021 |        0 |        0
1528.49/1528.87	c 1528s |      27 | 17216621 | 12909933 |     3560   9028 |        0 |        0
1530.49/1530.87	c 1530s |      27 | 17237666 | 12925733 |     3560   9036 |        0 |        0
1532.49/1532.87	c 1532s |      27 | 17260952 | 12942233 |     3560   9045 |        0 |        0
1534.49/1534.88	c 1534s |      27 | 17285534 | 12959533 |     3560   9054 |        0 |        0
1536.50/1536.89	c 1536s |      27 | 17310763 | 12978133 |     3560   9065 |        0 |        0
1538.49/1538.89	c 1538s |      27 | 17336559 | 12996333 |     3560   9074 |        0 |        0
1540.59/1540.90	c 1540s |      27 | 17362248 | 13014533 |     3560   9084 |        0 |        0
1542.58/1542.91	c 1542s |      27 | 17384036 | 13031133 |     3560   9093 |        0 |        0
1544.58/1544.91	c 1544s |      27 | 17403252 | 13045933 |     3560   9101 |        0 |        0
1546.58/1546.92	c 1546s |      27 | 17426686 | 13062933 |     3560   9110 |        0 |        0
1548.58/1548.92	c 1548s |      27 | 17451731 | 13080933 |     3560   9120 |        0 |        0
1550.58/1550.93	c 1550s |      27 | 17471850 | 13096533 |     3560   9129 |        0 |        0
1552.58/1552.95	c 1552s |      27 | 17494399 | 13112833 |     3560   9138 |        0 |        0
1554.58/1554.95	c 1554s |      27 | 17518116 | 13130133 |     3560   9147 |        0 |        0
1556.58/1556.95	c 1556s |      27 | 17541332 | 13147333 |     3560   9156 |        0 |        0
1558.58/1558.96	c 1558s |      27 | 17566185 | 13165533 |     3560   9166 |        0 |        0
1560.58/1560.96	c 1560s |      27 | 17589414 | 13182433 |     3560   9176 |        0 |        0
1562.57/1562.97	c 1562s |      27 | 17609735 | 13197533 |     3560   9184 |        0 |        0
1564.57/1564.98	c 1564s |      27 | 17628449 | 13212033 |     3560   9192 |        0 |        0
1566.57/1566.99	c 1566s |      27 | 17649980 | 13227833 |     3560   9200 |        0 |        0
1568.67/1569.01	c 1568s |      27 | 17666782 | 13241533 |     3560   9208 |        0 |        0
1570.67/1571.01	c 1570s |      27 | 17684305 | 13255533 |     3560   9215 |        0 |        0
1572.67/1573.02	c 1572s |      27 | 17705220 | 13270933 |     3560   9224 |        0 |        0
1574.66/1575.02	c 1574s |      27 | 17727804 | 13287833 |     3560   9233 |        0 |        0
1576.66/1577.03	c 1577s |      27 | 17748023 | 13303533 |     3560   9241 |        0 |        0
1578.66/1579.04	c 1579s |      27 | 17771700 | 13321533 |     3560   9251 |        0 |        0
1580.66/1581.05	c 1581s |      27 | 17790612 | 13336433 |     3560   9259 |        0 |        0
1582.67/1583.06	c 1583s |      27 | 17810297 | 13351533 |     3560   9267 |        0 |        0
1584.66/1585.06	c 1585s |      27 | 17831165 | 13367733 |     3560   9276 |        0 |        0
1586.66/1587.06	c 1587s |      27 | 17850055 | 13382433 |     3560   9284 |        0 |        0
1588.65/1589.07	c 1589s |      27 | 17872733 | 13399433 |     3560   9293 |        0 |        0
1590.65/1591.08	c 1591s |      27 | 17896509 | 13416533 |     3560   9302 |        0 |        0
1592.65/1593.09	c 1593s |      27 | 17918404 | 13432733 |     3560   9311 |        0 |        0
1594.66/1595.10	c 1595s |      27 | 17941937 | 13449733 |     3560   9320 |        0 |        0
1596.75/1597.11	c 1597s |      27 | 17964759 | 13466533 |     3560   9329 |        0 |        0
1598.74/1599.11	c 1599s |      27 | 17987811 | 13483533 |     3560   9338 |        0 |        0
1600.75/1601.12	c 1601s |      27 | 18009487 | 13499433 |     3560   9347 |        0 |        0
1602.75/1603.14	c 1603s |      27 | 18028398 | 13514033 |     3560   9354 |        0 |        0
1604.75/1605.15	c 1605s |      27 | 18047031 | 13528533 |     3560   9362 |        0 |        0
1606.76/1607.15	c 1607s |      27 | 18068051 | 13544833 |     3560   9371 |        0 |        0
1608.75/1609.15	c 1609s |      27 | 18088205 | 13559933 |     3560   9379 |        0 |        0
1610.75/1611.16	c 1611s |      27 | 18104864 | 13573233 |     3560   9386 |        0 |        0
1612.75/1613.17	c 1613s |      27 | 18124329 | 13588333 |     3560   9394 |        0 |        0
1614.74/1615.18	c 1615s |      27 | 18143766 | 13603433 |     3560   9403 |        0 |        0
1616.75/1617.19	c 1617s |      27 | 18165126 | 13619533 |     3560   9411 |        0 |        0
1618.74/1619.19	c 1619s |      27 | 18185798 | 13635133 |     3560   9420 |        0 |        0
1620.74/1621.19	c 1621s |      27 | 18204830 | 13649333 |     3560   9427 |        0 |        0
1622.74/1623.19	c 1623s |      27 | 18222274 | 13663333 |     3560   9435 |        0 |        0
1624.84/1625.20	c 1625s |      27 | 18242601 | 13678133 |     3560   9443 |        0 |        0
1626.84/1627.20	c 1627s |      27 | 18262560 | 13692833 |     3560   9451 |        0 |        0
1628.74/1629.20	c 1629s |      27 | 18283748 | 13708533 |     3560   9459 |        0 |        0
1630.84/1631.22	c 1631s |      27 | 18302360 | 13723233 |     3560   9467 |        0 |        0
1632.83/1633.22	c 1633s |      27 | 18318544 | 13736133 |     3560   9474 |        0 |        0
1634.83/1635.22	c 1635s |      27 | 18337456 | 13750133 |     3560   9482 |        0 |        0
1636.83/1637.23	c 1637s |      27 | 18358577 | 13766033 |     3560   9490 |        0 |        0
1638.83/1639.23	c 1639s |      27 | 18377298 | 13780533 |     3560   9498 |        0 |        0
1640.83/1641.24	c 1641s |      27 | 18397180 | 13795933 |     3560   9506 |        0 |        0
1642.83/1643.25	c 1643s |      27 | 18414425 | 13809533 |     3560   9514 |        0 |        0
1644.83/1645.25	c 1645s |      27 | 18431672 | 13822833 |     3560   9521 |        0 |        0
1646.82/1647.26	c 1647s |      27 | 18448386 | 13836033 |     3560   9528 |        0 |        0
1648.82/1649.27	c 1649s |      27 | 18467806 | 13850433 |     3560   9536 |        0 |        0
1650.83/1651.27	c 1651s |      27 | 18487394 | 13865533 |     3560   9544 |        0 |        0
1652.82/1653.27	c 1653s |      27 | 18505765 | 13880133 |     3560   9552 |        0 |        0
1654.82/1655.28	c 1655s |      27 | 18522850 | 13893333 |     3560   9559 |        0 |        0
1656.82/1657.29	c 1657s |      27 | 18543294 | 13908633 |     3560   9567 |        0 |        0
1658.81/1659.30	c 1659s |      27 | 18566272 | 13925633 |     3560   9576 |        0 |        0
1660.91/1661.31	c 1661s |      27 | 18586617 | 13940733 |     3560   9584 |        0 |        0
1662.92/1663.32	c 1663s |      27 | 18606451 | 13956033 |     3560   9592 |        0 |        0
1664.91/1665.32	c 1665s |      27 | 18626914 | 13971333 |     3560   9601 |        0 |        0
1666.91/1667.33	c 1667s |      27 | 18648763 | 13987633 |     3560   9609 |        0 |        0
1668.91/1669.34	c 1669s |      27 | 18668392 | 14002833 |     3560   9618 |        0 |        0
1670.91/1671.34	c 1671s |      27 | 18684751 | 14016033 |     3560   9625 |        0 |        0
1672.90/1673.34	c 1673s |      27 | 18707650 | 14032833 |     3560   9634 |        0 |        0
1674.91/1675.35	c 1675s |      27 | 18729263 | 14048433 |     3560   9643 |        0 |        0
1676.90/1677.35	c 1677s |      27 | 18745457 | 14060833 |     3560   9650 |        0 |        0
1678.91/1679.37	c 1679s |      27 | 18764934 | 14075533 |     3560   9658 |        0 |        0
1680.91/1681.37	c 1681s |      27 | 18777554 | 14086333 |     3560   9664 |        0 |        0
1682.91/1683.38	c 1683s |      27 | 18797967 | 14100733 |     3560   9672 |        0 |        0
1684.91/1685.38	c 1685s |      27 | 18821150 | 14117433 |     3560   9681 |        0 |        0
1686.90/1687.39	c 1687s |      27 | 18836188 | 14130033 |     3560   9688 |        0 |        0
1689.00/1689.40	c 1689s |      27 | 18853927 | 14143533 |     3560   9695 |        0 |        0
1691.00/1691.40	c 1691s |      27 | 18873190 | 14158533 |     3560   9703 |        0 |        0
1693.00/1693.41	c 1693s |      27 | 18894990 | 14174233 |     3560   9712 |        0 |        0
1695.00/1695.42	c 1695s |      27 | 18912763 | 14187933 |     3560   9720 |        0 |        0
1697.00/1697.42	c 1697s |      27 | 18933045 | 14203033 |     3560   9728 |        0 |        0
1698.99/1699.42	c 1699s |      27 | 18954396 | 14218733 |     3560   9737 |        0 |        0
1700.99/1701.43	c 1701s |      27 | 18975595 | 14234733 |     3560   9746 |        0 |        0
1702.99/1703.44	c 1703s |      27 | 18993770 | 14248633 |     3560   9753 |        0 |        0
1704.99/1705.45	c 1705s |      27 | 19009261 | 14260933 |     3560   9759 |        0 |        0
1706.99/1707.45	c 1707s |      27 | 19026636 | 14274533 |     3560   9767 |        0 |        0
1708.99/1709.46	c 1709s |      27 | 19044217 | 14288433 |     3560   9774 |        0 |        0
1710.98/1711.47	c 1711s |      27 | 19065459 | 14304633 |     3560   9783 |        0 |        0
1712.98/1713.48	c 1713s |      27 | 19086519 | 14320833 |     3560   9792 |        0 |        0
1715.08/1715.50	c 1715s |      27 | 19105359 | 14335333 |     3560   9800 |        0 |        0
1717.08/1717.50	c 1717s |      27 | 19127265 | 14351633 |     3560   9808 |        0 |        0
1719.08/1719.52	c 1719s |      27 | 19149050 | 14367333 |     3560   9817 |        0 |        0
1721.08/1721.52	c 1721s |      27 | 19168267 | 14382133 |     3560   9825 |        0 |        0
1723.08/1723.53	c 1723s |      27 | 19185358 | 14395833 |     3560   9832 |        0 |        0
1725.08/1725.54	c 1725s |      27 | 19204730 | 14410833 |     3560   9841 |        0 |        0
1727.08/1727.55	c 1727s |      27 | 19225100 | 14426633 |     3560   9849 |        0 |        0
1729.07/1729.57	c 1729s |      27 | 19247681 | 14443633 |     3560   9859 |        0 |        0
1731.08/1731.58	c 1731s |      27 | 19270976 | 14460433 |     3560   9868 |        0 |        0
1733.07/1733.58	c 1733s |      27 | 19289866 | 14474833 |     3560   9875 |        0 |        0
1735.07/1735.58	c 1735s |      27 | 19303102 | 14486133 |     3560   9881 |        0 |        0
1737.07/1737.59	c 1737s |      27 | 19318182 | 14498433 |     3560   9888 |        0 |        0
1739.16/1739.60	c 1739s |      27 | 19333717 | 14511533 |     3560   9895 |        0 |        0
1741.16/1741.61	c 1741s |      27 | 19354209 | 14526833 |     3560   9903 |        0 |        0
1743.17/1743.63	c 1743s |      27 | 19372365 | 14541233 |     3560   9911 |        0 |        0
1745.16/1745.64	c 1745s |      27 | 19393711 | 14557133 |     3560   9920 |        0 |        0
1747.16/1747.64	c 1747s |      27 | 19413029 | 14572133 |     3560   9928 |        0 |        0
1749.15/1749.65	c 1749s |      27 | 19433224 | 14587433 |     3560   9936 |        0 |        0
1751.16/1751.66	c 1751s |      27 | 19455534 | 14603933 |     3560   9945 |        0 |        0
1753.16/1753.66	c 1753s |      27 | 19479059 | 14620833 |     3560   9954 |        0 |        0
1755.17/1755.66	c 1755s |      27 | 19498763 | 14636033 |     3560   9962 |        0 |        0
1757.16/1757.67	c 1757s |      27 | 19519484 | 14651733 |     3560   9971 |        0 |        0
1759.15/1759.67	c 1759s |      27 | 19539187 | 14667033 |     3560   9979 |        0 |        0
1761.15/1761.68	c 1761s |      27 | 19556673 | 14680833 |     3560   9987 |        0 |        0
1763.15/1763.68	c 1763s |      27 | 19577938 | 14696833 |     3560   9995 |        0 |        0
1765.16/1765.70	c 1765s |      27 | 19598287 | 14712833 |     3560  10004 |        0 |        0
1767.15/1767.70	c 1767s |      27 | 19614880 | 14726133 |     3560  10011 |        0 |        0
1769.25/1769.70	c 1769s |      27 | 19637219 | 14742933 |     3560  10020 |        0 |        0
1771.25/1771.71	c 1771s |      27 | 19660254 | 14759733 |     3560  10030 |        0 |        0
1773.25/1773.72	c 1773s |      27 | 19683284 | 14776833 |     3560  10039 |        0 |        0
1775.25/1775.72	c 1775s |      27 | 19702705 | 14791633 |     3560  10047 |        0 |        0
1777.25/1777.72	c 1777s |      27 | 19720928 | 14806133 |     3560  10055 |        0 |        0
1779.24/1779.73	c 1779s |      27 | 19736903 | 14818833 |     3560  10061 |        0 |        0
1781.24/1781.74	c 1781s |      27 | 19757563 | 14834933 |     3560  10070 |        0 |        0
1783.24/1783.74	c 1783s |      27 | 19778069 | 14850633 |     3560  10078 |        0 |        0
1785.24/1785.75	c 1785s |      27 | 19799045 | 14866933 |     3560  10087 |        0 |        0
1787.24/1787.76	c 1787s |      27 | 19817939 | 14881533 |     3560  10095 |        0 |        0
1789.24/1789.78	c 1789s |      27 | 19837842 | 14896533 |     3560  10103 |        0 |        0
1791.23/1791.78	c 1791s |      27 | 19859057 | 14912233 |     3560  10112 |        0 |        0
1793.23/1793.79	c 1793s |      27 | 19879006 | 14927333 |     3560  10120 |        0 |        0
1795.33/1795.81	c 1795s |      27 | 19894019 | 14939833 |     3560  10126 |        0 |        0
1797.33/1797.81	c 1797s |      27 | 19911793 | 14953833 |     3560  10134 |        0 |        0
1799.32/1799.82	c 1799s |      27 | 19930784 | 14968533 |     3560  10142 |        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-4088721-1466013849/watcher-4088721-1466013849 -o /tmp/evaluation-result-4088721-1466013849/solver-4088721-1466013849 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5838 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088721-1466013849.opb 

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

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


[startup+0 s]
/proc/loadavg: 0.48 0.78 1.26 4/179 5920
/proc/meminfo: memFree=29483896/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=612796 CPUtime=0 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 2268 0 0 0 0 0 0 0 20 0 4 0 3431379 627503104 2118 33554432000 4194304 16246674 140734577478944 140734577478368 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 153711 2126 441 2943 0 150605 0
[pid=5920/tid=5921] ppid=5917 vsize=630204 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 645328896 2185 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=634300 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 649523200 2202 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=639420 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3431380 654766080 2221 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 0.48 0.78 1.26 4/179 5920
/proc/meminfo: memFree=29483896/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 23885 0 0 0 5 3 0 0 20 0 4 0 3431379 1247350784 23724 33554432000 4194304 16246674 140734577478944 140734577478368 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 304529 23731 717 2943 0 301423 0
[pid=5920/tid=5921] ppid=5917 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1247350784 23737 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1247350784 23743 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3431380 1247350784 23748 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200502 s]
/proc/loadavg: 0.48 0.78 1.26 4/179 5920
/proc/meminfo: memFree=29483896/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 45263 0 0 0 12 7 0 0 20 0 4 0 3431379 1247350784 45101 33554432000 4194304 16246674 140734577478944 140734577478368 13504484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 304529 45105 717 2943 0 301423 0
[pid=5920/tid=5921] ppid=5917 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1247350784 45112 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1247350784 45119 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3431380 1247350784 45120 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300475 s]
/proc/loadavg: 0.48 0.78 1.26 4/179 5920
/proc/meminfo: memFree=29483896/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 66863 0 0 0 18 11 0 0 20 0 4 0 3431379 1247350784 66701 33554432000 4194304 16246674 140734577478944 140734577478368 5545885 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 304529 66717 717 2943 0 301423 0
[pid=5920/tid=5921] ppid=5917 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1247350784 66722 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1247350784 66728 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3431380 1247350784 66734 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700395 s]
/proc/loadavg: 0.48 0.78 1.26 4/179 5920
/proc/meminfo: memFree=29483896/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 151409 0 0 0 47 22 0 0 20 0 4 0 3431379 1247350784 151247 33554432000 4194304 16246674 140734577478944 140734577478368 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 304529 151253 718 2943 0 301423 0
[pid=5920/tid=5921] ppid=5917 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1247350784 151258 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1247350784 151264 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3431380 1247350784 151269 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 0.48 0.78 1.26 4/183 5924
/proc/meminfo: memFree=28548480/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1220164 CPUtime=1.49 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 245846 0 0 0 114 35 0 0 20 0 4 0 3431379 1249447936 245664 33554432000 4194304 16246674 140734577478944 140734577478256 5673558 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 305041 245664 792 2943 0 301935 0
[pid=5920/tid=5921] ppid=5917 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1249447936 245664 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1249447936 245664 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1249447936 245664 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10036 s]
/proc/loadavg: 0.48 0.78 1.26 4/183 5924
/proc/meminfo: memFree=28417536/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 267697 0 0 0 272 37 0 0 20 0 4 0 3431379 1338576896 267515 33554432000 4194304 16246674 140734577478944 140734577461944 5839816 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 326801 267515 792 2943 0 323695 0
[pid=5920/tid=5921] ppid=5917 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1338576896 267515 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1338576896 267515 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1338576896 267515 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 0.69 0.82 1.27 3/183 5924
/proc/meminfo: memFree=28412988/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 267927 0 0 0 592 37 0 0 20 0 4 0 3431379 1339625472 267745 33554432000 4194304 16246674 140734577478944 140734577460864 6837252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 327057 267745 794 2943 0 323951 0
[pid=5920/tid=5921] ppid=5917 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1339625472 267745 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1339625472 267745 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1339625472 267745 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 0.79 0.84 1.27 3/183 5924
/proc/meminfo: memFree=28413160/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 268032 0 0 0 1231 37 0 0 20 0 4 0 3431379 1339625472 267850 33554432000 4194304 16246674 140734577478944 140734577461944 13905528 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 327057 267850 795 2943 0 323951 0
[pid=5920/tid=5921] ppid=5917 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1339625472 267850 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1339625472 267850 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1339625472 267850 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 1.14 0.91 1.29 3/183 5924
/proc/meminfo: memFree=28411552/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1309252 CPUtime=25.48 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 268140 0 0 0 2511 37 0 0 20 0 4 0 3431379 1340674048 267958 33554432000 4194304 16246674 140734577478944 140734577461944 5823234 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 327313 267958 795 2943 0 324207 0
[pid=5920/tid=5921] ppid=5917 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1340674048 267958 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1340674048 267958 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1340674048 267958 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 1.51 1.01 1.31 3/183 5924
/proc/meminfo: memFree=28397052/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1311300 CPUtime=51.08 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 268662 0 0 0 5070 38 0 0 20 0 4 0 3431379 1342771200 268480 33554432000 4194304 16246674 140734577478944 140734577461944 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 327825 268480 795 2943 0 324719 0
[pid=5920/tid=5921] ppid=5917 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1342771200 268480 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1342771200 268480 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1342771200 268480 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1311300

[startup+102.3 s]
/proc/loadavg: 1.90 1.19 1.36 3/183 5925
/proc/meminfo: memFree=28396608/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1311300 CPUtime=102.28 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 268860 0 0 0 10188 40 0 0 20 0 4 0 3431379 1342771200 268678 33554432000 4194304 16246674 140734577478944 140734577461944 13965544 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 327825 268678 796 2943 0 324719 0
[pid=5920/tid=5921] ppid=5917 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1342771200 268678 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1342771200 268678 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1342771200 268678 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270727 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.21 2.19 1.96 3/183 5956
/proc/meminfo: memFree=28365924/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1362.08 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 270909 0 0 0 136148 60 0 0 20 0 4 0 3431379 1351159808 270727 33554432000 4194304 16246674 140734577478944 140734577461944 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 329873 270727 797 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1351159808 270727 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270727 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270727 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1319492

[startup+1422.3 s]
/proc/loadavg: 2.26 2.20 1.97 3/183 5958
/proc/meminfo: memFree=28362112/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1422.06 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 270942 0 0 0 142144 62 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140734577461944 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 329873 270983 797 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1319492

[startup+1482.3 s]
/proc/loadavg: 2.24 2.20 1.99 3/183 5959
/proc/meminfo: memFree=28362136/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1482.02 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 270983 0 0 0 148139 63 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140734577461944 5666948 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 329873 270983 797 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1319492

[startup+1542.31 s]
/proc/loadavg: 2.20 2.20 2.00 3/183 5960
/proc/meminfo: memFree=28361796/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1541.99 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 271027 0 0 0 154135 64 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140734577461944 5677418 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 329873 270983 797 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1319492

[startup+1602.3 s]
/proc/loadavg: 2.17 2.19 2.01 3/184 5964
/proc/meminfo: memFree=28362000/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1601.95 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 271074 0 0 0 160129 66 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140734577460864 5673672 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 329873 270983 797 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1319492

[startup+1662.3 s]
/proc/loadavg: 2.21 2.20 2.02 3/183 5965
/proc/meminfo: memFree=28361800/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1661.91 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 271115 0 0 0 166125 66 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140734577460864 6016248 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 329873 270983 797 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1319492

[startup+1722.3 s]
/proc/loadavg: 2.19 2.19 2.02 3/182 5967
/proc/meminfo: memFree=28360428/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1721.88 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 271160 0 0 0 172121 67 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140734577461944 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 329873 270983 797 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1319492

[startup+1782.3 s]
/proc/loadavg: 2.17 2.18 2.03 3/183 5969
/proc/meminfo: memFree=28358724/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1781.84 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 271206 0 0 0 178116 68 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140734577461944 5827656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 329873 270983 797 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.18 2.03 3/183 6067
/proc/meminfo: memFree=28750708/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1800.02 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 271222 0 0 0 179934 68 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140734577461944 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 329873 270983 797 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1319492

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

[startup+1800.5 s]
/proc/loadavg: 2.19 2.18 2.03 3/183 6067
/proc/meminfo: memFree=28750708/32872528 swapFree=1369816/1516984
[pid=5920] ppid=5917 vsize=1319492 CPUtime=1800.02 cores=0,2,4,6
/proc/5920/stat : 5920 (toysat) R 5917 5920 5822 0 -1 4202496 271222 0 0 0 179934 68 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140734577461944 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5920/statm: 329873 270983 797 2943 0 326767 0
[pid=5920/tid=5921] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5921/stat : 5921 (toysat) S 5917 5920 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3431379 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032418491632 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5920/tid=5922] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5922/stat : 5922 (toysat) S 5917 5920 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032408001776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5920/tid=5923] ppid=5917 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5920/task/5923/stat : 5923 (toysat) S 5917 5920 5822 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3431380 1351159808 270983 33554432000 4194304 16246674 140734577478944 140032397528240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1319492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.53
CPU time (s): 1800.06
CPU user time (s): 1799.35
CPU system time (s): 0.709892
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.709892
maximum resident set size= 1083932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271222
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= 325
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.18576 second user time and 8.88665 second system time

The end

Begin job on node129 at 2016-06-15 20:04:09
IDJOB=4088721
IDBENCH=107304
IDSOLVER=2542
FILE ID=node129/4088721-1466013849
RUNJOBID= node129-1466013843-5838
PBS_JOBID= 19902811
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 563fcfc045eeb86ad1ec51d49a575812
RANDOM SEED=1600583

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29488636 kB
Buffers:            1640 kB
Cached:            69536 kB
SwapCached:        20064 kB
Active:          1128452 kB
Inactive:          34676 kB
Active(anon):    1074332 kB
Inactive(anon):    19928 kB
Active(file):      54120 kB
Inactive(file):    14748 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67080840 kB
Dirty:             33004 kB
Writeback:             0 kB
AnonPages:       2590364 kB
Mapped:             9472 kB
Shmem:                 0 kB
Slab:             567220 kB
SReclaimable:      10240 kB
SUnreclaim:       556980 kB
KernelStack:        1448 kB
PageTables:         9116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2736132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-15 20:34:10