0.00/0.00	c 2016-06-16T19:21:42+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-4095840-1466097702.opb"]
0.00/0.01	c use --random-gen="1216027816 2464429775 1771370348 186892392 3806163280 4237338410 845334229 2126860459 2894350778 1109432314 381077149 669867376 1258984599 2545583006 840881052 1607828717 794592607 3858809531 2831846418 2141142787 671531790 975007142 353363411 1709080145 4082352082 1083591190 453225194 2552552828 2277519289 3414662344 2216234797 3101132031 592203317 870846908 3263709484 2312067051 1824549178 1711948382 2889796872 964370469 3445356497 1725287102 2674463903 1227887809 3506221337 2563129334 1043817204 2960235859 74558080 1196919072 2789511378 2808735305 1767033590 3388222143 1433960524 2267551357 3027773066 496882407 151042911 114700898 3148368708 2282240160 1312862491 808473462 91467718 506542944 3458778624 1486989275 4138346512 1454569364 1749088494 3521901220 2271691429 2063035959 3262964909 2802539824 4025850512 1670065797 2901548829 3751169712 3867908977 2883255099 3193942519 3196551685 1724844742 1170743712 1312745766 1175440542 2562364156 1069763461 3541347461 318510696 4245526176 3468254954 1587659031 3900089809 1679249577 2255526946 3798279427 3337505328 1086890423 2375824172 3778101334 913122167 1434082081 3628694724 3042235332 3931859129 1618903960 629167900 3787759023 2341031875 292661485 1080092400 621145629 250716019 3437917287 2744878553 4044016796 3646923651 1340798878 1385332038 346470173 1561255308 3663682985 1104438269 4045355401 2882450248 764700280 2424222431 1634035283 1919366909 1385373300 2177099991 91993553 1044002993 4222945166 759306636 1872011403 1939183405 1399622996 570522937 2013563215 1250482053 2504874794 2668624592 2666744013 3533457575 1882399910 4171401595 2249376805 2214783165 3172676565 278742082 1081219447 3233982181 3457948164 1620660398 3445995735 1117923474 554030829 3454818097 602868199 1789695099 1893161503 128125543 2481263667 4209597329 1197761448 1765338754 2105221564 2728809615 3003204207 2155654440 1884922559 1591754367 2531201977 348639212 2361121863 3993533636 605535940 1910741376 3191029472 4113140155 3810029041 3590423109 995950777 1687334290 494317152 824643191 2532081229 3899730164 1739319569 566819115 1724671319 2256639936 1819805969 2423980391 710636118 2983900842 3884790134 3769841991 2104800647 1672712156 1694205386 2091856283 1359788082 709508735 3193866813 1937064030 1983526056 4061852441 737317090 3986185665 3485720749 3452246610 2917510113 3797607938 2688885962 2781559980 2578504053 3938072267 539158064 2163011586 727434875 3246976932 2292263598 3195302658 1477241963 3612835162 1349056461 4144024234 2100102830 962681963 2930310975 2636779233 2723580207 1612383201 3652446506 3876800153 4128541096 1404169278 157779876 593170471 2899364266 2883074705 3850978369 3525765891 2342364215 199739596 799732276 3182726169 2070375926 2448488341 4198435550 2814232503 255 362436" option to reproduce the execution
0.00/0.01	c #vars 301
0.00/0.01	c #constraints 150
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      200      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      181 |      100 |      200      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      422 |      250 |      221      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |     1105 |      475 |      244      1 |        0 |        0
0.09/0.12	c  0.1s |       4 |     1616 |      813 |      269      3 |        0 |        0
0.09/0.17	c  0.2s |       5 |     2459 |     1320 |      296      5 |        0 |        0
0.19/0.27	c  0.3s |       6 |     3521 |     2081 |      359      8 |        0 |        0
0.39/0.42	c  0.4s |       7 |     5458 |     3223 |      395     13 |        0 |        0
0.59/0.64	c  0.6s |       8 |     8462 |     4936 |      435     19 |        0 |        0
0.89/0.98	c  1.0s |       9 |    12954 |     7506 |      479     28 |        0 |        0
1.29/1.35	c  1.3s |      10 |    18874 |    11361 |      527     40 |        0 |        0
1.89/1.91	c  1.9s |      11 |    26232 |    17144 |      580     56 |        0 |        0
2.69/2.71	c  2.7s |      12 |    38016 |    25819 |      638     80 |        0 |        0
3.89/3.96	c  3.9s |      13 |    58365 |    38832 |      702    117 |        0 |        0
5.69/5.79	c  5.8s |      14 |    86716 |    58352 |      773    162 |        0 |        0
7.70/7.79	c  7.8s |      14 |   110589 |    76052 |      773    199 |        0 |        0
8.90/8.94	c  8.9s |      15 |   127046 |    87632 |      851    224 |        0 |        0
10.89/10.95	c 10.9s |      15 |   152208 |   105632 |      851    258 |        0 |        0
12.89/12.95	c 12.9s |      15 |   176663 |   123132 |      851    292 |        0 |        0
13.79/13.89	c 13.9s |      16 |   189299 |   131552 |      937    308 |        0 |        0
15.79/15.89	c 15.9s |      16 |   216807 |   151152 |      937    343 |        0 |        0
17.79/17.89	c 17.9s |      16 |   243217 |   169952 |      937    377 |        0 |        0
19.89/19.91	c 19.9s |      16 |   269445 |   187952 |      937    409 |        0 |        0
20.89/20.95	c 20.9s |      17 |   282665 |   197432 |     1031    425 |        0 |        0
22.89/22.96	c 22.9s |      17 |   303964 |   213932 |     1031    452 |        0 |        0
24.88/24.97	c 25.0s |      17 |   325542 |   230932 |     1031    480 |        0 |        0
26.88/26.98	c 27.0s |      17 |   348827 |   248732 |     1031    510 |        0 |        0
28.88/28.98	c 29.0s |      17 |   373942 |   267832 |     1031    541 |        0 |        0
30.89/30.99	c 31.0s |      17 |   397669 |   286032 |     1031    571 |        0 |        0
31.99/32.08	c 32.1s |      18 |   411432 |   296252 |     1135    587 |        0 |        0
33.98/34.09	c 34.1s |      18 |   435934 |   314152 |     1135    616 |        0 |        0
35.99/36.09	c 36.1s |      18 |   459716 |   331252 |     1135    642 |        0 |        0
37.99/38.09	c 38.1s |      18 |   483088 |   347952 |     1135    668 |        0 |        0
39.99/40.09	c 40.1s |      18 |   504466 |   363552 |     1135    692 |        0 |        0
41.99/42.09	c 42.1s |      18 |   527493 |   380152 |     1135    717 |        0 |        0
43.99/44.10	c 44.1s |      18 |   550012 |   396152 |     1135    742 |        0 |        0
46.08/46.10	c 46.1s |      18 |   571861 |   412652 |     1135    767 |        0 |        0
48.08/48.11	c 48.1s |      18 |   594314 |   429152 |     1135    793 |        0 |        0
49.88/49.98	c 50.0s |      19 |   615090 |   444482 |     1249    816 |        0 |        0
51.88/51.98	c 52.0s |      19 |   637435 |   461582 |     1249    840 |        0 |        0
53.89/53.99	c 54.0s |      19 |   662194 |   479682 |     1249    865 |        0 |        0
55.88/55.99	c 56.0s |      19 |   685171 |   496982 |     1249    889 |        0 |        0
57.88/57.99	c 58.0s |      19 |   707528 |   513982 |     1249    913 |        0 |        0
59.98/60.00	c 60.0s |      19 |   729112 |   530582 |     1249    936 |        0 |        0
61.98/62.01	c 62.0s |      19 |   751965 |   547382 |     1249    959 |        0 |        0
63.98/64.01	c 64.0s |      19 |   775834 |   564882 |     1249    984 |        0 |        0
65.99/66.02	c 66.0s |      19 |   798659 |   582582 |     1249   1009 |        0 |        0
67.98/68.02	c 68.0s |      19 |   823686 |   600482 |     1249   1033 |        0 |        0
69.98/70.03	c 70.0s |      19 |   846875 |   618082 |     1249   1058 |        0 |        0
71.98/72.03	c 72.0s |      19 |   872249 |   636582 |     1249   1084 |        0 |        0
73.98/74.04	c 74.0s |      19 |   896284 |   654782 |     1249   1109 |        0 |        0
75.38/75.46	c 75.4s |      20 |   911813 |   666827 |     1374   1125 |        0 |        0
77.38/77.46	c 77.4s |      20 |   931857 |   682527 |     1374   1145 |        0 |        0
79.38/79.47	c 79.5s |      20 |   953225 |   699227 |     1374   1166 |        0 |        0
81.38/81.47	c 81.5s |      20 |   973880 |   715427 |     1374   1187 |        0 |        0
83.38/83.48	c 83.5s |      20 |   994423 |   731027 |     1374   1207 |        0 |        0
85.38/85.49	c 85.5s |      20 |  1014499 |   747027 |     1374   1228 |        0 |        0
87.37/87.49	c 87.5s |      20 |  1038171 |   764727 |     1374   1250 |        0 |        0
89.37/89.50	c 89.5s |      20 |  1058825 |   781127 |     1374   1271 |        0 |        0
91.47/91.51	c 91.5s |      20 |  1078638 |   797127 |     1374   1292 |        0 |        0
93.48/93.51	c 93.5s |      20 |  1100524 |   813927 |     1374   1313 |        0 |        0
95.47/95.52	c 95.5s |      20 |  1123591 |   831627 |     1374   1336 |        0 |        0
97.47/97.52	c 97.5s |      20 |  1145741 |   848727 |     1374   1358 |        0 |        0
99.47/99.52	c 99.5s |      20 |  1165506 |   864227 |     1374   1379 |        0 |        0
101.47/101.53	c  101s |      20 |  1187275 |   880427 |     1374   1400 |        0 |        0
103.47/103.54	c  103s |      20 |  1207890 |   896227 |     1374   1420 |        0 |        0
105.47/105.55	c  105s |      20 |  1230590 |   913227 |     1374   1442 |        0 |        0
107.46/107.55	c  107s |      20 |  1254058 |   930727 |     1374   1465 |        0 |        0
109.46/109.55	c  109s |      20 |  1276322 |   947527 |     1374   1487 |        0 |        0
111.46/111.55	c  111s |      20 |  1296659 |   962627 |     1374   1507 |        0 |        0
113.46/113.56	c  113s |      20 |  1317218 |   977827 |     1374   1527 |        0 |        0
115.47/115.56	c  115s |      20 |  1337648 |   993427 |     1512   1547 |        0 |        0
116.36/116.49	c  116s |      21 |  1347315 |  1000345 |     1512   1555 |        0 |        0
118.36/118.49	c  118s |      21 |  1369812 |  1017245 |     1512   1576 |        0 |        0
120.36/120.49	c  120s |      21 |  1393243 |  1034745 |     1512   1597 |        0 |        0
122.46/122.50	c  122s |      21 |  1416325 |  1051845 |     1512   1617 |        0 |        0
124.46/124.51	c  124s |      21 |  1438194 |  1068445 |     1512   1637 |        0 |        0
126.46/126.51	c  126s |      21 |  1460461 |  1084945 |     1512   1657 |        0 |        0
128.46/128.52	c  128s |      21 |  1482640 |  1101145 |     1512   1677 |        0 |        0
130.46/130.52	c  130s |      21 |  1504283 |  1116945 |     1512   1696 |        0 |        0
132.46/132.53	c  132s |      21 |  1527198 |  1133245 |     1512   1715 |        0 |        0
134.46/134.54	c  134s |      21 |  1550665 |  1150245 |     1512   1736 |        0 |        0
136.46/136.54	c  136s |      21 |  1571844 |  1165945 |     1512   1755 |        0 |        0
138.46/138.55	c  138s |      21 |  1594739 |  1182445 |     1512   1775 |        0 |        0
140.45/140.57	c  140s |      21 |  1616521 |  1198345 |     1512   1794 |        0 |        0
142.45/142.57	c  142s |      21 |  1637552 |  1213945 |     1512   1813 |        0 |        0
144.45/144.57	c  144s |      21 |  1655897 |  1228145 |     1512   1830 |        0 |        0
146.45/146.59	c  146s |      21 |  1674642 |  1242245 |     1512   1847 |        0 |        0
148.46/148.59	c  148s |      21 |  1695663 |  1257845 |     1512   1866 |        0 |        0
150.45/150.59	c  150s |      21 |  1714834 |  1272445 |     1512   1884 |        0 |        0
152.45/152.59	c  152s |      21 |  1734639 |  1287545 |     1512   1902 |        0 |        0
154.55/154.60	c  154s |      21 |  1754997 |  1303045 |     1512   1921 |        0 |        0
156.54/156.61	c  156s |      21 |  1779224 |  1320745 |     1512   1943 |        0 |        0
158.54/158.62	c  158s |      21 |  1801153 |  1337045 |     1512   1962 |        0 |        0
160.55/160.63	c  160s |      21 |  1823503 |  1353445 |     1512   1982 |        0 |        0
162.54/162.64	c  162s |      21 |  1843738 |  1368745 |     1512   2000 |        0 |        0
164.54/164.64	c  164s |      21 |  1867519 |  1385845 |     1512   2021 |        0 |        0
166.53/166.65	c  166s |      21 |  1888227 |  1401645 |     1512   2040 |        0 |        0
168.53/168.66	c  168s |      21 |  1908612 |  1417345 |     1512   2059 |        0 |        0
170.54/170.67	c  170s |      21 |  1930187 |  1432345 |     1512   2077 |        0 |        0
172.53/172.67	c  172s |      21 |  1952211 |  1448245 |     1512   2096 |        0 |        0
174.53/174.68	c  174s |      21 |  1974376 |  1464745 |     1512   2116 |        0 |        0
176.53/176.68	c  176s |      21 |  1996000 |  1480145 |     1512   2135 |        0 |        0
178.63/178.70	c  178s |      21 |  2016371 |  1495045 |     1664   2153 |        0 |        0
179.43/179.53	c  179s |      22 |  2023607 |  1500622 |     1664   2159 |        0 |        0
181.44/181.54	c  181s |      22 |  2042907 |  1515922 |     1664   2175 |        0 |        0
183.43/183.56	c  183s |      22 |  2062564 |  1531122 |     1664   2192 |        0 |        0
185.43/185.57	c  185s |      22 |  2083446 |  1547222 |     1664   2209 |        0 |        0
187.43/187.57	c  187s |      22 |  2103474 |  1562622 |     1664   2226 |        0 |        0
189.43/189.58	c  189s |      22 |  2123057 |  1577522 |     1664   2242 |        0 |        0
191.44/191.58	c  191s |      22 |  2142555 |  1592722 |     1664   2258 |        0 |        0
193.44/193.59	c  193s |      22 |  2163802 |  1608822 |     1664   2276 |        0 |        0
195.54/195.60	c  195s |      22 |  2183206 |  1623622 |     1664   2292 |        0 |        0
197.54/197.60	c  197s |      22 |  2202425 |  1638322 |     1664   2308 |        0 |        0
199.54/199.61	c  199s |      22 |  2223723 |  1654022 |     1664   2325 |        0 |        0
201.54/201.62	c  201s |      22 |  2243064 |  1669122 |     1664   2341 |        0 |        0
203.54/203.63	c  203s |      22 |  2263955 |  1685422 |     1664   2359 |        0 |        0
205.53/205.63	c  205s |      22 |  2284758 |  1701422 |     1664   2376 |        0 |        0
207.53/207.64	c  207s |      22 |  2304658 |  1716522 |     1664   2393 |        0 |        0
209.53/209.64	c  209s |      22 |  2324071 |  1731222 |     1664   2409 |        0 |        0
211.53/211.65	c  211s |      22 |  2342120 |  1744922 |     1664   2424 |        0 |        0
213.53/213.65	c  213s |      22 |  2363711 |  1761022 |     1664   2441 |        0 |        0
215.54/215.66	c  215s |      22 |  2383244 |  1776322 |     1664   2458 |        0 |        0
217.53/217.67	c  217s |      22 |  2404608 |  1792622 |     1664   2477 |        0 |        0
219.53/219.67	c  219s |      22 |  2425677 |  1809022 |     1664   2494 |        0 |        0
221.53/221.68	c  221s |      22 |  2446010 |  1824722 |     1664   2511 |        0 |        0
223.53/223.70	c  223s |      22 |  2466962 |  1840622 |     1664   2529 |        0 |        0
225.62/225.70	c  225s |      22 |  2486988 |  1856022 |     1664   2546 |        0 |        0
227.63/227.71	c  227s |      22 |  2507210 |  1871222 |     1664   2562 |        0 |        0
229.62/229.72	c  229s |      22 |  2527201 |  1886722 |     1664   2580 |        0 |        0
231.62/231.72	c  231s |      22 |  2547330 |  1901622 |     1664   2596 |        0 |        0
233.62/233.73	c  233s |      22 |  2566873 |  1916222 |     1664   2612 |        0 |        0
235.62/235.74	c  235s |      22 |  2586271 |  1931222 |     1664   2629 |        0 |        0
237.62/237.75	c  237s |      22 |  2606850 |  1947122 |     1664   2647 |        0 |        0
239.61/239.75	c  239s |      22 |  2627252 |  1963022 |     1664   2665 |        0 |        0
241.61/241.76	c  241s |      22 |  2646703 |  1978222 |     1664   2681 |        0 |        0
243.61/243.76	c  243s |      22 |  2666246 |  1993422 |     1664   2698 |        0 |        0
245.61/245.77	c  245s |      22 |  2688410 |  2009822 |     1664   2717 |        0 |        0
247.61/247.77	c  247s |      22 |  2709585 |  2025622 |     1664   2734 |        0 |        0
249.62/249.77	c  249s |      22 |  2730955 |  2041422 |     1664   2752 |        0 |        0
251.61/251.79	c  251s |      22 |  2751600 |  2057022 |     1664   2769 |        0 |        0
253.71/253.80	c  253s |      22 |  2771605 |  2072222 |     1664   2787 |        0 |        0
255.71/255.82	c  255s |      22 |  2791028 |  2087222 |     1664   2803 |        0 |        0
257.71/257.82	c  257s |      22 |  2812674 |  2103022 |     1664   2821 |        0 |        0
259.71/259.83	c  259s |      22 |  2834435 |  2118422 |     1664   2838 |        0 |        0
261.71/261.83	c  261s |      22 |  2855868 |  2134222 |     1664   2855 |        0 |        0
263.71/263.84	c  263s |      22 |  2877596 |  2150522 |     1664   2873 |        0 |        0
265.71/265.84	c  265s |      22 |  2898064 |  2165622 |     1664   2890 |        0 |        0
267.70/267.84	c  267s |      22 |  2919568 |  2182122 |     1664   2908 |        0 |        0
269.70/269.85	c  269s |      22 |  2940536 |  2198222 |     1664   2926 |        0 |        0
271.71/271.86	c  271s |      22 |  2958328 |  2211822 |     1664   2941 |        0 |        0
273.70/273.87	c  273s |      22 |  2977394 |  2226522 |     1664   2957 |        0 |        0
275.70/275.87	c  275s |      22 |  2998232 |  2241822 |     1831   2973 |        0 |        0
276.89/277.09	c  277s |      23 |  3010438 |  2251038 |     1831   2983 |        0 |        0
278.99/279.10	c  279s |      23 |  3029732 |  2266738 |     1831   2998 |        0 |        0
280.99/281.11	c  281s |      23 |  3048680 |  2282138 |     1831   3013 |        0 |        0
282.99/283.11	c  283s |      23 |  3067863 |  2297038 |     1831   3028 |        0 |        0
284.99/285.12	c  285s |      23 |  3087915 |  2312338 |     1831   3044 |        0 |        0
287.00/287.12	c  287s |      23 |  3109004 |  2328438 |     1831   3060 |        0 |        0
288.99/289.12	c  289s |      23 |  3131012 |  2345338 |     1831   3077 |        0 |        0
290.99/291.13	c  291s |      23 |  3154236 |  2362838 |     1831   3095 |        0 |        0
292.99/293.15	c  293s |      23 |  3177050 |  2379838 |     1831   3112 |        0 |        0
294.99/295.16	c  295s |      23 |  3197704 |  2396138 |     1831   3128 |        0 |        0
296.99/297.16	c  297s |      23 |  3220455 |  2413238 |     1831   3145 |        0 |        0
298.99/299.17	c  299s |      23 |  3241047 |  2429238 |     1831   3161 |        0 |        0
300.99/301.18	c  301s |      23 |  3263503 |  2445938 |     1831   3178 |        0 |        0
302.98/303.18	c  303s |      23 |  3285341 |  2462838 |     1831   3195 |        0 |        0
304.99/305.19	c  305s |      23 |  3308764 |  2480438 |     1831   3212 |        0 |        0
306.99/307.19	c  307s |      23 |  3329664 |  2496238 |     1831   3228 |        0 |        0
308.99/309.20	c  309s |      23 |  3350895 |  2512638 |     1831   3245 |        0 |        0
311.09/311.20	c  311s |      23 |  3373364 |  2529638 |     1831   3262 |        0 |        0
313.08/313.20	c  313s |      23 |  3393617 |  2545638 |     1831   3278 |        0 |        0
315.08/315.21	c  315s |      23 |  3414273 |  2561538 |     1831   3294 |        0 |        0
317.08/317.22	c  317s |      23 |  3435666 |  2578138 |     1831   3310 |        0 |        0
319.08/319.22	c  319s |      23 |  3457267 |  2594638 |     1831   3327 |        0 |        0
321.08/321.23	c  321s |      23 |  3477064 |  2609738 |     1831   3342 |        0 |        0
323.08/323.23	c  323s |      23 |  3496908 |  2625038 |     1831   3357 |        0 |        0
325.08/325.24	c  325s |      23 |  3518094 |  2641038 |     1831   3374 |        0 |        0
327.07/327.24	c  327s |      23 |  3539459 |  2657538 |     1831   3390 |        0 |        0
329.07/329.25	c  329s |      23 |  3558994 |  2672938 |     1831   3406 |        0 |        0
331.08/331.25	c  331s |      23 |  3580634 |  2689538 |     1831   3422 |        0 |        0
333.07/333.26	c  333s |      23 |  3601308 |  2705638 |     1831   3439 |        0 |        0
335.07/335.27	c  335s |      23 |  3622772 |  2722138 |     1831   3455 |        0 |        0
337.06/337.27	c  337s |      23 |  3643351 |  2738138 |     1831   3471 |        0 |        0
339.06/339.27	c  339s |      23 |  3665286 |  2754138 |     1831   3488 |        0 |        0
341.06/341.28	c  341s |      23 |  3687759 |  2770938 |     1831   3504 |        0 |        0
343.06/343.29	c  343s |      23 |  3708943 |  2786938 |     1831   3521 |        0 |        0
345.06/345.30	c  345s |      23 |  3728030 |  2801338 |     1831   3535 |        0 |        0
347.16/347.31	c  347s |      23 |  3746721 |  2815738 |     1831   3550 |        0 |        0
349.16/349.31	c  349s |      23 |  3766176 |  2830538 |     1831   3565 |        0 |        0
351.16/351.32	c  351s |      23 |  3788528 |  2847038 |     1831   3581 |        0 |        0
353.16/353.34	c  353s |      23 |  3811024 |  2864138 |     1831   3598 |        0 |        0
355.17/355.35	c  355s |      23 |  3831654 |  2879838 |     1831   3614 |        0 |        0
357.16/357.35	c  357s |      23 |  3854055 |  2896638 |     1831   3631 |        0 |        0
359.16/359.36	c  359s |      23 |  3875018 |  2913038 |     1831   3648 |        0 |        0
361.16/361.37	c  361s |      23 |  3895731 |  2928738 |     1831   3664 |        0 |        0
363.15/363.37	c  363s |      23 |  3918033 |  2945138 |     1831   3680 |        0 |        0
365.16/365.37	c  365s |      23 |  3939643 |  2961138 |     1831   3696 |        0 |        0
367.15/367.38	c  367s |      23 |  3962154 |  2977938 |     1831   3713 |        0 |        0
369.15/369.39	c  369s |      23 |  3987115 |  2996738 |     1831   3732 |        0 |        0
371.25/371.41	c  371s |      23 |  4009347 |  3013638 |     1831   3750 |        0 |        0
373.25/373.41	c  373s |      23 |  4031568 |  3030338 |     1831   3766 |        0 |        0
375.25/375.42	c  375s |      23 |  4051964 |  3046538 |     1831   3783 |        0 |        0
377.25/377.43	c  377s |      23 |  4074811 |  3063338 |     1831   3800 |        0 |        0
379.24/379.44	c  379s |      23 |  4096233 |  3079438 |     1831   3816 |        0 |        0
381.24/381.44	c  381s |      23 |  4118099 |  3095938 |     1831   3833 |        0 |        0
383.24/383.44	c  383s |      23 |  4141437 |  3112938 |     1831   3850 |        0 |        0
385.24/385.45	c  385s |      23 |  4162904 |  3129138 |     1831   3866 |        0 |        0
387.24/387.45	c  387s |      23 |  4183830 |  3145138 |     1831   3883 |        0 |        0
389.24/389.46	c  389s |      23 |  4205988 |  3161338 |     1831   3899 |        0 |        0
391.24/391.47	c  391s |      23 |  4228966 |  3178238 |     1831   3916 |        0 |        0
393.24/393.47	c  393s |      23 |  4250918 |  3194438 |     1831   3933 |        0 |        0
395.23/395.48	c  395s |      23 |  4272028 |  3211038 |     1831   3949 |        0 |        0
397.23/397.49	c  397s |      23 |  4292900 |  3226938 |     1831   3965 |        0 |        0
399.24/399.49	c  399s |      23 |  4312517 |  3242238 |     1831   3981 |        0 |        0
401.23/401.50	c  401s |      23 |  4333885 |  3258738 |     1831   3997 |        0 |        0
403.34/403.50	c  403s |      23 |  4353948 |  3274538 |     1831   4013 |        0 |        0
405.34/405.51	c  405s |      23 |  4374674 |  3290538 |     1831   4030 |        0 |        0
407.33/407.51	c  407s |      23 |  4395230 |  3306438 |     1831   4046 |        0 |        0
409.33/409.52	c  409s |      23 |  4417229 |  3322938 |     1831   4062 |        0 |        0
411.34/411.53	c  411s |      23 |  4438628 |  3338938 |     1831   4079 |        0 |        0
413.33/413.54	c  413s |      23 |  4460717 |  3355538 |     2015   4095 |        0 |        0
415.33/415.54	c  415s |      23 |  4480065 |  3370238 |     2015   4109 |        0 |        0
416.23/416.42	c  416s |      24 |  4487720 |  3376662 |     2015   4115 |        0 |        0
418.23/418.43	c  418s |      24 |  4504413 |  3389662 |     2015   4126 |        0 |        0
420.23/420.44	c  420s |      24 |  4522127 |  3403562 |     2015   4139 |        0 |        0
422.23/422.44	c  422s |      24 |  4542689 |  3419062 |     2015   4153 |        0 |        0
424.23/424.45	c  424s |      24 |  4562504 |  3434062 |     2015   4167 |        0 |        0
426.22/426.46	c  426s |      24 |  4581985 |  3448862 |     2015   4181 |        0 |        0
428.22/428.47	c  428s |      24 |  4602638 |  3464462 |     2015   4195 |        0 |        0
430.22/430.47	c  430s |      24 |  4624385 |  3480162 |     2015   4210 |        0 |        0
432.23/432.47	c  432s |      24 |  4643698 |  3495162 |     2015   4223 |        0 |        0
434.22/434.48	c  434s |      24 |  4662157 |  3509462 |     2015   4236 |        0 |        0
436.22/436.48	c  436s |      24 |  4681421 |  3524062 |     2015   4250 |        0 |        0
438.22/438.49	c  438s |      24 |  4702039 |  3539862 |     2015   4264 |        0 |        0
440.31/440.51	c  440s |      24 |  4721868 |  3554862 |     2015   4278 |        0 |        0
442.31/442.51	c  442s |      24 |  4740672 |  3569462 |     2015   4291 |        0 |        0
444.32/444.51	c  444s |      24 |  4761509 |  3584162 |     2015   4305 |        0 |        0
446.31/446.52	c  446s |      24 |  4779348 |  3598462 |     2015   4318 |        0 |        0
448.31/448.53	c  448s |      24 |  4799785 |  3614062 |     2015   4332 |        0 |        0
450.31/450.54	c  450s |      24 |  4819753 |  3629162 |     2015   4346 |        0 |        0
452.31/452.55	c  452s |      24 |  4840470 |  3644762 |     2015   4361 |        0 |        0
454.31/454.57	c  454s |      24 |  4862027 |  3660662 |     2015   4376 |        0 |        0
456.32/456.58	c  456s |      24 |  4881873 |  3675862 |     2015   4390 |        0 |        0
458.31/458.58	c  458s |      24 |  4902569 |  3691262 |     2015   4404 |        0 |        0
460.31/460.59	c  460s |      24 |  4924629 |  3707562 |     2015   4419 |        0 |        0
462.41/462.60	c  462s |      24 |  4943813 |  3722462 |     2015   4433 |        0 |        0
464.41/464.60	c  464s |      24 |  4965017 |  3738262 |     2015   4447 |        0 |        0
466.41/466.61	c  466s |      24 |  4985365 |  3753762 |     2015   4461 |        0 |        0
468.41/468.61	c  468s |      24 |  5006517 |  3769362 |     2015   4476 |        0 |        0
470.40/470.62	c  470s |      24 |  5027639 |  3784762 |     2015   4490 |        0 |        0
472.40/472.64	c  472s |      24 |  5048658 |  3799662 |     2015   4504 |        0 |        0
474.40/474.64	c  474s |      24 |  5068145 |  3814862 |     2015   4517 |        0 |        0
476.40/476.65	c  476s |      24 |  5088192 |  3829662 |     2015   4531 |        0 |        0
478.41/478.66	c  478s |      24 |  5107724 |  3845062 |     2015   4545 |        0 |        0
480.40/480.66	c  480s |      24 |  5129937 |  3861262 |     2015   4560 |        0 |        0
482.40/482.67	c  482s |      24 |  5150476 |  3877062 |     2015   4574 |        0 |        0
484.40/484.67	c  484s |      24 |  5172120 |  3892862 |     2015   4589 |        0 |        0
486.39/486.68	c  486s |      24 |  5192051 |  3908262 |     2015   4603 |        0 |        0
488.39/488.69	c  488s |      24 |  5211895 |  3923562 |     2015   4617 |        0 |        0
490.50/490.71	c  490s |      24 |  5231090 |  3938462 |     2015   4631 |        0 |        0
492.49/492.72	c  492s |      24 |  5251779 |  3953962 |     2015   4645 |        0 |        0
494.49/494.73	c  494s |      24 |  5272460 |  3969162 |     2015   4659 |        0 |        0
496.48/496.74	c  496s |      24 |  5292646 |  3984462 |     2015   4673 |        0 |        0
498.48/498.75	c  498s |      24 |  5313501 |  4000462 |     2015   4687 |        0 |        0
500.48/500.75	c  500s |      24 |  5334450 |  4016062 |     2015   4701 |        0 |        0
502.49/502.76	c  502s |      24 |  5354330 |  4031562 |     2015   4716 |        0 |        0
504.48/504.77	c  504s |      24 |  5375395 |  4047062 |     2015   4730 |        0 |        0
506.48/506.78	c  506s |      24 |  5394611 |  4061862 |     2015   4744 |        0 |        0
508.48/508.78	c  508s |      24 |  5415480 |  4077462 |     2015   4758 |        0 |        0
510.48/510.78	c  510s |      24 |  5436242 |  4092662 |     2015   4772 |        0 |        0
512.48/512.79	c  512s |      24 |  5456491 |  4107562 |     2015   4785 |        0 |        0
514.48/514.80	c  514s |      24 |  5475180 |  4122162 |     2015   4799 |        0 |        0
516.58/516.80	c  516s |      24 |  5495184 |  4136962 |     2015   4812 |        0 |        0
518.58/518.81	c  518s |      24 |  5514305 |  4151862 |     2015   4826 |        0 |        0
520.58/520.81	c  520s |      24 |  5532297 |  4166062 |     2015   4839 |        0 |        0
522.58/522.82	c  522s |      24 |  5552286 |  4181262 |     2015   4853 |        0 |        0
524.58/524.83	c  524s |      24 |  5572435 |  4196662 |     2015   4867 |        0 |        0
526.57/526.84	c  526s |      24 |  5593375 |  4212462 |     2015   4881 |        0 |        0
528.57/528.84	c  528s |      24 |  5614578 |  4228262 |     2015   4896 |        0 |        0
530.57/530.85	c  530s |      24 |  5636096 |  4244062 |     2015   4910 |        0 |        0
532.57/532.86	c  532s |      24 |  5656375 |  4259262 |     2015   4924 |        0 |        0
534.57/534.86	c  534s |      24 |  5675091 |  4274162 |     2015   4937 |        0 |        0
536.57/536.87	c  536s |      24 |  5693613 |  4288562 |     2015   4951 |        0 |        0
538.57/538.87	c  538s |      24 |  5712668 |  4303062 |     2015   4964 |        0 |        0
540.57/540.87	c  540s |      24 |  5731900 |  4317862 |     2015   4977 |        0 |        0
542.57/542.88	c  542s |      24 |  5750594 |  4332262 |     2015   4991 |        0 |        0
544.57/544.89	c  544s |      24 |  5769452 |  4346562 |     2015   5004 |        0 |        0
546.57/546.90	c  546s |      24 |  5786693 |  4360262 |     2015   5016 |        0 |        0
548.67/548.91	c  548s |      24 |  5804865 |  4374462 |     2015   5029 |        0 |        0
550.66/550.92	c  550s |      24 |  5822569 |  4388362 |     2015   5042 |        0 |        0
552.66/552.93	c  552s |      24 |  5841497 |  4402662 |     2015   5055 |        0 |        0
554.66/554.94	c  554s |      24 |  5861970 |  4417862 |     2015   5069 |        0 |        0
556.65/556.95	c  556s |      24 |  5882544 |  4433262 |     2015   5084 |        0 |        0
558.66/558.96	c  558s |      24 |  5901757 |  4448062 |     2015   5097 |        0 |        0
560.66/560.96	c  560s |      24 |  5922677 |  4463662 |     2015   5111 |        0 |        0
562.66/562.96	c  562s |      24 |  5941359 |  4478262 |     2015   5125 |        0 |        0
564.66/564.97	c  564s |      24 |  5960241 |  4492862 |     2015   5138 |        0 |        0
566.66/566.99	c  566s |      24 |  5978514 |  4507062 |     2015   5151 |        0 |        0
568.66/568.99	c  568s |      24 |  5997042 |  4521262 |     2015   5164 |        0 |        0
570.66/571.00	c  570s |      24 |  6017986 |  4536462 |     2015   5178 |        0 |        0
572.76/573.01	c  572s |      24 |  6038600 |  4552162 |     2015   5193 |        0 |        0
574.75/575.01	c  574s |      24 |  6059621 |  4567662 |     2015   5207 |        0 |        0
576.75/577.03	c  577s |      24 |  6079799 |  4582562 |     2015   5221 |        0 |        0
578.75/579.04	c  579s |      24 |  6102105 |  4598762 |     2015   5235 |        0 |        0
580.75/581.05	c  581s |      24 |  6121438 |  4613662 |     2015   5249 |        0 |        0
582.76/583.05	c  583s |      24 |  6142246 |  4628862 |     2015   5263 |        0 |        0
584.75/585.05	c  585s |      24 |  6163067 |  4644562 |     2015   5277 |        0 |        0
586.74/587.05	c  587s |      24 |  6184910 |  4660462 |     2015   5292 |        0 |        0
588.74/589.06	c  589s |      24 |  6206145 |  4676062 |     2015   5306 |        0 |        0
590.74/591.07	c  591s |      24 |  6227533 |  4691462 |     2015   5320 |        0 |        0
592.75/593.08	c  593s |      24 |  6248548 |  4706662 |     2015   5334 |        0 |        0
594.74/595.08	c  595s |      24 |  6271108 |  4722762 |     2015   5349 |        0 |        0
596.74/597.09	c  597s |      24 |  6292808 |  4738462 |     2015   5363 |        0 |        0
598.84/599.10	c  599s |      24 |  6312290 |  4753462 |     2015   5377 |        0 |        0
600.84/601.12	c  601s |      24 |  6331600 |  4767962 |     2015   5391 |        0 |        0
602.84/603.13	c  603s |      24 |  6350560 |  4782462 |     2015   5404 |        0 |        0
604.84/605.13	c  605s |      24 |  6369191 |  4796862 |     2015   5417 |        0 |        0
606.83/607.14	c  607s |      24 |  6388129 |  4811562 |     2015   5431 |        0 |        0
608.83/609.14	c  609s |      24 |  6408476 |  4826662 |     2015   5445 |        0 |        0
610.83/611.15	c  611s |      24 |  6428871 |  4841962 |     2015   5459 |        0 |        0
612.83/613.16	c  613s |      24 |  6450798 |  4857862 |     2015   5473 |        0 |        0
614.83/615.16	c  615s |      24 |  6471580 |  4873662 |     2015   5488 |        0 |        0
616.83/617.16	c  617s |      24 |  6491590 |  4888862 |     2015   5502 |        0 |        0
618.83/619.17	c  619s |      24 |  6509571 |  4902962 |     2015   5515 |        0 |        0
620.83/621.18	c  621s |      24 |  6529886 |  4918162 |     2015   5529 |        0 |        0
622.82/623.19	c  623s |      24 |  6548722 |  4932862 |     2015   5542 |        0 |        0
624.82/625.19	c  625s |      24 |  6568123 |  4947762 |     2015   5556 |        0 |        0
626.92/627.20	c  627s |      24 |  6588041 |  4963062 |     2015   5570 |        0 |        0
628.82/629.20	c  629s |      24 |  6608050 |  4978362 |     2015   5584 |        0 |        0
630.92/631.20	c  631s |      24 |  6627416 |  4993662 |     2015   5598 |        0 |        0
632.92/633.21	c  633s |      24 |  6649154 |  5009362 |     2015   5613 |        0 |        0
634.92/635.21	c  635s |      24 |  6666503 |  5023362 |     2015   5626 |        0 |        0
636.92/637.22	c  637s |      24 |  6686843 |  5038962 |     2217   5639 |        0 |        0
638.93/639.23	c  639s |      24 |  6708094 |  5054762 |     2217   5652 |        0 |        0
640.22/640.50	c  640s |      25 |  6722183 |  5065098 |     2217   5661 |        0 |        0
642.23/642.51	c  642s |      25 |  6742395 |  5080998 |     2217   5674 |        0 |        0
644.22/644.52	c  644s |      25 |  6764230 |  5097298 |     2217   5688 |        0 |        0
646.21/646.53	c  646s |      25 |  6785241 |  5113298 |     2217   5701 |        0 |        0
648.21/648.54	c  648s |      25 |  6805719 |  5128998 |     2217   5715 |        0 |        0
650.21/650.55	c  650s |      25 |  6823741 |  5143398 |     2217   5727 |        0 |        0
652.21/652.55	c  652s |      25 |  6841799 |  5157798 |     2217   5739 |        0 |        0
654.22/654.57	c  654s |      25 |  6861274 |  5172998 |     2217   5751 |        0 |        0
656.21/656.57	c  656s |      25 |  6881279 |  5188198 |     2217   5764 |        0 |        0
658.21/658.58	c  658s |      25 |  6901753 |  5203998 |     2217   5777 |        0 |        0
660.20/660.58	c  660s |      25 |  6923129 |  5220198 |     2217   5791 |        0 |        0
662.20/662.59	c  662s |      25 |  6943645 |  5236198 |     2217   5804 |        0 |        0
664.21/664.59	c  664s |      25 |  6962588 |  5251098 |     2217   5817 |        0 |        0
666.20/666.60	c  666s |      25 |  6982388 |  5266298 |     2217   5830 |        0 |        0
668.30/668.60	c  668s |      25 |  7000349 |  5280698 |     2217   5842 |        0 |        0
670.30/670.61	c  670s |      25 |  7021054 |  5296398 |     2217   5855 |        0 |        0
672.30/672.61	c  672s |      25 |  7040849 |  5311598 |     2217   5868 |        0 |        0
674.30/674.62	c  674s |      25 |  7061790 |  5327298 |     2217   5881 |        0 |        0
676.30/676.63	c  676s |      25 |  7082955 |  5343298 |     2217   5894 |        0 |        0
678.29/678.64	c  678s |      25 |  7102220 |  5358098 |     2217   5907 |        0 |        0
680.29/680.65	c  680s |      25 |  7124156 |  5373998 |     2217   5920 |        0 |        0
682.29/682.65	c  682s |      25 |  7144870 |  5389498 |     2217   5933 |        0 |        0
684.29/684.66	c  684s |      25 |  7164402 |  5404398 |     2217   5946 |        0 |        0
686.29/686.66	c  686s |      25 |  7184710 |  5419998 |     2217   5959 |        0 |        0
688.30/688.67	c  688s |      25 |  7203956 |  5434898 |     2217   5971 |        0 |        0
690.29/690.68	c  690s |      25 |  7226065 |  5451198 |     2217   5985 |        0 |        0
692.29/692.68	c  692s |      25 |  7244926 |  5465898 |     2217   5997 |        0 |        0
694.29/694.69	c  694s |      25 |  7265323 |  5481598 |     2217   6010 |        0 |        0
696.28/696.70	c  696s |      25 |  7285478 |  5496798 |     2217   6023 |        0 |        0
698.38/698.70	c  698s |      25 |  7305790 |  5512198 |     2217   6036 |        0 |        0
700.39/700.72	c  700s |      25 |  7325604 |  5527098 |     2217   6049 |        0 |        0
702.38/702.72	c  702s |      25 |  7346800 |  5542898 |     2217   6062 |        0 |        0
704.38/704.73	c  704s |      25 |  7365232 |  5557198 |     2217   6074 |        0 |        0
706.38/706.73	c  706s |      25 |  7384795 |  5571798 |     2217   6086 |        0 |        0
708.38/708.73	c  708s |      25 |  7404051 |  5586598 |     2217   6099 |        0 |        0
710.38/710.73	c  710s |      25 |  7424004 |  5601198 |     2217   6111 |        0 |        0
712.38/712.74	c  712s |      25 |  7442759 |  5615698 |     2217   6123 |        0 |        0
714.38/714.75	c  714s |      25 |  7462018 |  5630798 |     2217   6136 |        0 |        0
716.37/716.75	c  716s |      25 |  7480094 |  5644898 |     2217   6147 |        0 |        0
718.37/718.76	c  718s |      25 |  7500759 |  5660098 |     2217   6160 |        0 |        0
720.37/720.77	c  720s |      25 |  7520926 |  5675598 |     2217   6173 |        0 |        0
722.38/722.77	c  722s |      25 |  7540621 |  5690198 |     2217   6186 |        0 |        0
724.37/724.78	c  724s |      25 |  7558614 |  5704698 |     2217   6198 |        0 |        0
726.47/726.80	c  726s |      25 |  7574795 |  5717698 |     2217   6209 |        0 |        0
728.47/728.81	c  728s |      25 |  7592305 |  5731398 |     2217   6220 |        0 |        0
730.47/730.81	c  730s |      25 |  7611059 |  5745998 |     2217   6232 |        0 |        0
732.47/732.81	c  732s |      25 |  7628792 |  5759398 |     2217   6244 |        0 |        0
734.48/734.82	c  734s |      25 |  7645704 |  5772398 |     2217   6255 |        0 |        0
736.47/736.83	c  736s |      25 |  7664083 |  5786998 |     2217   6267 |        0 |        0
738.47/738.84	c  738s |      25 |  7681259 |  5800598 |     2217   6278 |        0 |        0
740.47/740.85	c  740s |      25 |  7698021 |  5813498 |     2217   6289 |        0 |        0
742.47/742.86	c  742s |      25 |  7716283 |  5827598 |     2217   6301 |        0 |        0
744.48/744.86	c  744s |      25 |  7734717 |  5842098 |     2217   6313 |        0 |        0
746.48/746.87	c  746s |      25 |  7752199 |  5856098 |     2217   6324 |        0 |        0
748.48/748.87	c  748s |      25 |  7769776 |  5870098 |     2217   6336 |        0 |        0
750.48/750.89	c  750s |      25 |  7787116 |  5883398 |     2217   6348 |        0 |        0
752.48/752.89	c  752s |      25 |  7807523 |  5898898 |     2217   6361 |        0 |        0
754.58/754.91	c  754s |      25 |  7828329 |  5914298 |     2217   6374 |        0 |        0
756.58/756.92	c  756s |      25 |  7848642 |  5929398 |     2217   6386 |        0 |        0
758.57/758.92	c  758s |      25 |  7867091 |  5944198 |     2217   6399 |        0 |        0
760.57/760.94	c  760s |      25 |  7885269 |  5958298 |     2217   6411 |        0 |        0
762.57/762.95	c  762s |      25 |  7903482 |  5972298 |     2217   6422 |        0 |        0
764.57/764.95	c  764s |      25 |  7921663 |  5986598 |     2217   6434 |        0 |        0
766.57/766.96	c  766s |      25 |  7939759 |  6000598 |     2217   6446 |        0 |        0
768.58/768.97	c  768s |      25 |  7957920 |  6014698 |     2217   6458 |        0 |        0
770.57/770.98	c  770s |      25 |  7975852 |  6028798 |     2217   6470 |        0 |        0
772.57/772.99	c  772s |      25 |  7993462 |  6042598 |     2217   6481 |        0 |        0
774.57/774.99	c  774s |      25 |  8010170 |  6055898 |     2217   6492 |        0 |        0
776.67/777.00	c  776s |      25 |  8027405 |  6068998 |     2217   6504 |        0 |        0
778.67/779.01	c  778s |      25 |  8047024 |  6083898 |     2217   6516 |        0 |        0
780.68/781.01	c  780s |      25 |  8066765 |  6098798 |     2217   6529 |        0 |        0
782.67/783.02	c  783s |      25 |  8084263 |  6112598 |     2217   6540 |        0 |        0
784.67/785.03	c  785s |      25 |  8103298 |  6127098 |     2217   6552 |        0 |        0
786.67/787.04	c  787s |      25 |  8121287 |  6141198 |     2217   6564 |        0 |        0
788.67/789.05	c  789s |      25 |  8139843 |  6155498 |     2217   6576 |        0 |        0
790.67/791.06	c  791s |      25 |  8158605 |  6169698 |     2217   6588 |        0 |        0
792.67/793.06	c  793s |      25 |  8177686 |  6184198 |     2217   6601 |        0 |        0
794.67/795.07	c  795s |      25 |  8197190 |  6199298 |     2217   6613 |        0 |        0
796.66/797.08	c  797s |      25 |  8216353 |  6214098 |     2217   6626 |        0 |        0
798.66/799.09	c  799s |      25 |  8236221 |  6228998 |     2217   6638 |        0 |        0
800.66/801.09	c  801s |      25 |  8255902 |  6243998 |     2217   6651 |        0 |        0
802.67/803.10	c  803s |      25 |  8276613 |  6259598 |     2217   6664 |        0 |        0
804.76/805.10	c  805s |      25 |  8295944 |  6274598 |     2217   6677 |        0 |        0
806.76/807.11	c  807s |      25 |  8317196 |  6290198 |     2217   6690 |        0 |        0
808.76/809.11	c  809s |      25 |  8338607 |  6306198 |     2217   6704 |        0 |        0
810.76/811.11	c  811s |      25 |  8359211 |  6321698 |     2217   6717 |        0 |        0
812.76/813.12	c  813s |      25 |  8379486 |  6336498 |     2217   6729 |        0 |        0
814.76/815.13	c  815s |      25 |  8399680 |  6351898 |     2217   6742 |        0 |        0
816.77/817.14	c  817s |      25 |  8419834 |  6367098 |     2217   6755 |        0 |        0
818.77/819.15	c  819s |      25 |  8440832 |  6382298 |     2217   6768 |        0 |        0
820.76/821.16	c  821s |      25 |  8460002 |  6396798 |     2217   6780 |        0 |        0
822.76/823.17	c  823s |      25 |  8480915 |  6412098 |     2217   6793 |        0 |        0
824.77/825.18	c  825s |      25 |  8501470 |  6427798 |     2217   6807 |        0 |        0
826.76/827.18	c  827s |      25 |  8520478 |  6442498 |     2217   6819 |        0 |        0
828.76/829.19	c  829s |      25 |  8541112 |  6458098 |     2217   6832 |        0 |        0
830.76/831.19	c  831s |      25 |  8559316 |  6472298 |     2217   6844 |        0 |        0
832.86/833.21	c  833s |      25 |  8577627 |  6486298 |     2217   6856 |        0 |        0
834.86/835.21	c  835s |      25 |  8599556 |  6502698 |     2217   6870 |        0 |        0
836.87/837.22	c  837s |      25 |  8618490 |  6517598 |     2217   6883 |        0 |        0
838.86/839.22	c  839s |      25 |  8638681 |  6532698 |     2217   6896 |        0 |        0
840.86/841.23	c  841s |      25 |  8658229 |  6547798 |     2217   6908 |        0 |        0
842.86/843.23	c  843s |      25 |  8676338 |  6561898 |     2217   6920 |        0 |        0
844.86/845.24	c  845s |      25 |  8695268 |  6576098 |     2217   6933 |        0 |        0
846.85/847.25	c  847s |      25 |  8712320 |  6589698 |     2217   6944 |        0 |        0
848.86/849.26	c  849s |      25 |  8732408 |  6604698 |     2217   6957 |        0 |        0
850.85/851.26	c  851s |      25 |  8750451 |  6619598 |     2217   6969 |        0 |        0
852.85/853.27	c  853s |      25 |  8768385 |  6633998 |     2217   6982 |        0 |        0
854.85/855.28	c  855s |      25 |  8787222 |  6648498 |     2217   6994 |        0 |        0
856.85/857.28	c  857s |      25 |  8805455 |  6662698 |     2217   7006 |        0 |        0
858.86/859.28	c  859s |      25 |  8824740 |  6677398 |     2217   7019 |        0 |        0
860.85/861.30	c  861s |      25 |  8842343 |  6691198 |     2217   7030 |        0 |        0
862.95/863.31	c  863s |      25 |  8859642 |  6704398 |     2217   7042 |        0 |        0
864.95/865.32	c  865s |      25 |  8877766 |  6718598 |     2217   7054 |        0 |        0
866.95/867.33	c  867s |      25 |  8896525 |  6732898 |     2217   7066 |        0 |        0
868.95/869.34	c  869s |      25 |  8914090 |  6746398 |     2217   7077 |        0 |        0
870.96/871.35	c  871s |      25 |  8932577 |  6760698 |     2217   7089 |        0 |        0
872.95/873.35	c  873s |      25 |  8949269 |  6773898 |     2217   7100 |        0 |        0
874.95/875.36	c  875s |      25 |  8965546 |  6786298 |     2217   7111 |        0 |        0
876.95/877.36	c  877s |      25 |  8981957 |  6799198 |     2217   7122 |        0 |        0
878.95/879.36	c  879s |      25 |  8998236 |  6812198 |     2217   7133 |        0 |        0
880.95/881.38	c  881s |      25 |  9016264 |  6825998 |     2217   7144 |        0 |        0
882.95/883.39	c  883s |      25 |  9035992 |  6840798 |     2217   7157 |        0 |        0
884.95/885.39	c  885s |      25 |  9054714 |  6855298 |     2217   7169 |        0 |        0
887.05/887.40	c  887s |      25 |  9072772 |  6869198 |     2217   7181 |        0 |        0
889.05/889.41	c  889s |      25 |  9091557 |  6883498 |     2217   7193 |        0 |        0
891.05/891.41	c  891s |      25 |  9110560 |  6897898 |     2217   7205 |        0 |        0
893.05/893.42	c  893s |      25 |  9128392 |  6911898 |     2217   7217 |        0 |        0
895.06/895.42	c  895s |      25 |  9148204 |  6926598 |     2217   7230 |        0 |        0
897.05/897.42	c  897s |      25 |  9166104 |  6940498 |     2217   7241 |        0 |        0
899.05/899.44	c  899s |      25 |  9184763 |  6954798 |     2217   7254 |        0 |        0
901.05/901.45	c  901s |      25 |  9203596 |  6969198 |     2217   7266 |        0 |        0
903.05/903.45	c  903s |      25 |  9221809 |  6983498 |     2217   7278 |        0 |        0
905.06/905.47	c  905s |      25 |  9239490 |  6997798 |     2217   7290 |        0 |        0
907.05/907.47	c  907s |      25 |  9258118 |  7012198 |     2217   7302 |        0 |        0
909.05/909.47	c  909s |      25 |  9277154 |  7026598 |     2217   7315 |        0 |        0
911.05/911.48	c  911s |      25 |  9294099 |  7040198 |     2217   7326 |        0 |        0
913.05/913.49	c  913s |      25 |  9312369 |  7054298 |     2217   7338 |        0 |        0
915.05/915.49	c  915s |      25 |  9332536 |  7069198 |     2217   7351 |        0 |        0
917.05/917.50	c  917s |      25 |  9351043 |  7083698 |     2217   7363 |        0 |        0
919.14/919.51	c  919s |      25 |  9367638 |  7096698 |     2217   7374 |        0 |        0
921.14/921.52	c  921s |      25 |  9384547 |  7109898 |     2217   7385 |        0 |        0
923.14/923.52	c  923s |      25 |  9401598 |  7123098 |     2217   7396 |        0 |        0
925.14/925.53	c  925s |      25 |  9417892 |  7135898 |     2217   7407 |        0 |        0
927.14/927.53	c  927s |      25 |  9435772 |  7149898 |     2217   7419 |        0 |        0
929.15/929.54	c  929s |      25 |  9454694 |  7164298 |     2217   7431 |        0 |        0
931.14/931.54	c  931s |      25 |  9472834 |  7178198 |     2217   7443 |        0 |        0
933.14/933.56	c  933s |      25 |  9489977 |  7191498 |     2217   7455 |        0 |        0
935.14/935.57	c  935s |      25 |  9509884 |  7206298 |     2217   7467 |        0 |        0
937.14/937.58	c  937s |      25 |  9528260 |  7220598 |     2217   7479 |        0 |        0
939.15/939.59	c  939s |      25 |  9545780 |  7233998 |     2217   7491 |        0 |        0
941.15/941.60	c  941s |      25 |  9563893 |  7248398 |     2217   7503 |        0 |        0
943.25/943.61	c  943s |      25 |  9583987 |  7263898 |     2217   7516 |        0 |        0
945.25/945.62	c  945s |      25 |  9605128 |  7279598 |     2217   7529 |        0 |        0
947.25/947.62	c  947s |      25 |  9623205 |  7293698 |     2217   7541 |        0 |        0
949.24/949.63	c  949s |      25 |  9642468 |  7308798 |     2217   7554 |        0 |        0
951.25/951.64	c  951s |      25 |  9663317 |  7324398 |     2217   7568 |        0 |        0
953.24/953.64	c  953s |      25 |  9682735 |  7339298 |     2217   7580 |        0 |        0
955.24/955.65	c  955s |      25 |  9701923 |  7354398 |     2217   7593 |        0 |        0
957.24/957.66	c  957s |      25 |  9719437 |  7368398 |     2217   7605 |        0 |        0
959.24/959.66	c  959s |      25 |  9739525 |  7383998 |     2217   7618 |        0 |        0
961.24/961.66	c  961s |      25 |  9759313 |  7398998 |     2217   7631 |        0 |        0
963.25/963.67	c  963s |      25 |  9780389 |  7415198 |     2217   7645 |        0 |        0
965.24/965.67	c  965s |      25 |  9799034 |  7429898 |     2217   7657 |        0 |        0
967.24/967.68	c  967s |      25 |  9817867 |  7444498 |     2217   7670 |        0 |        0
969.24/969.69	c  969s |      25 |  9835470 |  7458898 |     2217   7682 |        0 |        0
971.34/971.70	c  971s |      25 |  9852864 |  7473098 |     2217   7694 |        0 |        0
973.34/973.70	c  973s |      25 |  9869217 |  7486498 |     2217   7705 |        0 |        0
975.34/975.71	c  975s |      25 |  9887511 |  7501198 |     2217   7718 |        0 |        0
977.33/977.73	c  977s |      25 |  9904186 |  7514498 |     2217   7729 |        0 |        0
979.34/979.73	c  979s |      25 |  9920988 |  7527898 |     2217   7740 |        0 |        0
981.34/981.75	c  981s |      25 |  9938028 |  7541598 |     2217   7752 |        0 |        0
983.34/983.75	c  983s |      25 |  9953957 |  7554498 |     2439   7762 |        0 |        0
985.35/985.76	c  985s |      25 |  9969854 |  7566998 |     2439   7771 |        0 |        0
987.34/987.76	c  987s |      25 |  9985273 |  7579098 |     2439   7781 |        0 |        0
989.34/989.78	c  989s |      25 | 10000887 |  7591598 |     2439   7791 |        0 |        0
990.34/990.72	c  990s |      26 | 10009249 |  7597752 |     2439   7795 |        0 |        0
992.34/992.73	c  992s |      26 | 10027915 |  7612152 |     2439   7806 |        0 |        0
994.34/994.74	c  994s |      26 | 10042168 |  7624152 |     2439   7815 |        0 |        0
996.34/996.76	c  996s |      26 | 10059819 |  7638052 |     2439   7826 |        0 |        0
998.34/998.77	c  998s |      26 | 10077857 |  7652452 |     2439   7837 |        0 |        0
1000.34/1000.78	c 1000s |      26 | 10096099 |  7666352 |     2439   7848 |        0 |        0
1002.34/1002.78	c 1002s |      26 | 10113085 |  7679852 |     2439   7858 |        0 |        0
1004.34/1004.79	c 1004s |      26 | 10130322 |  7693152 |     2439   7868 |        0 |        0
1006.44/1006.80	c 1006s |      26 | 10148165 |  7706852 |     2439   7879 |        0 |        0
1008.44/1008.81	c 1008s |      26 | 10165624 |  7720852 |     2439   7890 |        0 |        0
1010.44/1010.81	c 1010s |      26 | 10181801 |  7733952 |     2439   7900 |        0 |        0
1012.44/1012.81	c 1012s |      26 | 10198915 |  7747852 |     2439   7910 |        0 |        0
1014.43/1014.82	c 1014s |      26 | 10217855 |  7762452 |     2439   7922 |        0 |        0
1016.43/1016.82	c 1016s |      26 | 10235361 |  7775952 |     2439   7932 |        0 |        0
1018.43/1018.83	c 1018s |      26 | 10251344 |  7788452 |     2439   7942 |        0 |        0
1020.44/1020.83	c 1020s |      26 | 10267994 |  7801752 |     2439   7952 |        0 |        0
1022.43/1022.83	c 1022s |      26 | 10282964 |  7814352 |     2439   7961 |        0 |        0
1024.43/1024.83	c 1024s |      26 | 10299866 |  7827952 |     2439   7972 |        0 |        0
1026.43/1026.84	c 1026s |      26 | 10315680 |  7840752 |     2439   7982 |        0 |        0
1028.43/1028.85	c 1028s |      26 | 10332997 |  7854052 |     2439   7992 |        0 |        0
1030.43/1030.85	c 1030s |      26 | 10348340 |  7866252 |     2439   8001 |        0 |        0
1032.43/1032.85	c 1032s |      26 | 10364253 |  7878852 |     2439   8011 |        0 |        0
1034.43/1034.88	c 1034s |      26 | 10379396 |  7891352 |     2439   8021 |        0 |        0
1036.43/1036.88	c 1036s |      26 | 10391285 |  7901752 |     2439   8029 |        0 |        0
1038.53/1038.90	c 1038s |      26 | 10406520 |  7914152 |     2439   8038 |        0 |        0
1040.52/1040.90	c 1040s |      26 | 10423776 |  7927852 |     2439   8049 |        0 |        0
1042.53/1042.91	c 1042s |      26 | 10442115 |  7941952 |     2439   8060 |        0 |        0
1044.52/1044.92	c 1044s |      26 | 10459194 |  7955252 |     2439   8070 |        0 |        0
1046.52/1046.93	c 1046s |      26 | 10477964 |  7969352 |     2439   8081 |        0 |        0
1048.52/1048.95	c 1048s |      26 | 10497189 |  7984052 |     2439   8092 |        0 |        0
1050.52/1050.96	c 1050s |      26 | 10516362 |  7998852 |     2439   8103 |        0 |        0
1052.52/1052.97	c 1052s |      26 | 10535474 |  8013152 |     2439   8114 |        0 |        0
1054.53/1054.98	c 1054s |      26 | 10554818 |  8027752 |     2439   8125 |        0 |        0
1056.52/1056.99	c 1056s |      26 | 10573844 |  8042052 |     2439   8137 |        0 |        0
1058.52/1058.99	c 1058s |      26 | 10592588 |  8056552 |     2439   8148 |        0 |        0
1060.62/1061.00	c 1060s |      26 | 10609434 |  8069752 |     2439   8158 |        0 |        0
1062.63/1063.00	c 1062s |      26 | 10625197 |  8082852 |     2439   8168 |        0 |        0
1064.63/1065.00	c 1064s |      26 | 10643914 |  8097152 |     2439   8179 |        0 |        0
1066.63/1067.01	c 1066s |      26 | 10663458 |  8111952 |     2439   8190 |        0 |        0
1068.63/1069.02	c 1069s |      26 | 10681784 |  8126552 |     2439   8201 |        0 |        0
1070.63/1071.02	c 1071s |      26 | 10698007 |  8139952 |     2439   8212 |        0 |        0
1072.63/1073.02	c 1073s |      26 | 10716875 |  8153952 |     2439   8223 |        0 |        0
1074.63/1075.03	c 1075s |      26 | 10734551 |  8167852 |     2439   8233 |        0 |        0
1076.63/1077.04	c 1077s |      26 | 10752787 |  8182052 |     2439   8244 |        0 |        0
1078.62/1079.04	c 1079s |      26 | 10772365 |  8196552 |     2439   8255 |        0 |        0
1080.62/1081.05	c 1081s |      26 | 10790949 |  8210852 |     2439   8266 |        0 |        0
1082.62/1083.05	c 1083s |      26 | 10810021 |  8225352 |     2439   8277 |        0 |        0
1084.62/1085.06	c 1085s |      26 | 10827573 |  8238952 |     2439   8288 |        0 |        0
1086.62/1087.06	c 1087s |      26 | 10844242 |  8252152 |     2439   8298 |        0 |        0
1088.62/1089.08	c 1089s |      26 | 10859365 |  8264452 |     2439   8308 |        0 |        0
1090.62/1091.09	c 1091s |      26 | 10878062 |  8278852 |     2439   8319 |        0 |        0
1092.72/1093.10	c 1093s |      26 | 10897087 |  8293852 |     2439   8330 |        0 |        0
1094.72/1095.11	c 1095s |      26 | 10915615 |  8308252 |     2439   8341 |        0 |        0
1096.72/1097.12	c 1097s |      26 | 10934163 |  8322652 |     2439   8352 |        0 |        0
1098.72/1099.13	c 1099s |      26 | 10951298 |  8335752 |     2439   8362 |        0 |        0
1100.72/1101.14	c 1101s |      26 | 10968013 |  8348652 |     2439   8372 |        0 |        0
1102.71/1103.14	c 1103s |      26 | 10984552 |  8361652 |     2439   8382 |        0 |        0
1104.71/1105.15	c 1105s |      26 | 11001803 |  8375052 |     2439   8393 |        0 |        0
1106.72/1107.16	c 1107s |      26 | 11018353 |  8387752 |     2439   8402 |        0 |        0
1108.72/1109.16	c 1109s |      26 | 11034088 |  8400252 |     2439   8412 |        0 |        0
1110.73/1111.17	c 1111s |      26 | 11052768 |  8414352 |     2439   8423 |        0 |        0
1112.72/1113.18	c 1113s |      26 | 11070978 |  8428052 |     2439   8433 |        0 |        0
1114.72/1115.18	c 1115s |      26 | 11086670 |  8440252 |     2439   8443 |        0 |        0
1116.72/1117.18	c 1117s |      26 | 11103904 |  8453552 |     2439   8453 |        0 |        0
1118.72/1119.18	c 1119s |      26 | 11122045 |  8467052 |     2439   8463 |        0 |        0
1120.72/1121.18	c 1121s |      26 | 11140869 |  8481352 |     2439   8474 |        0 |        0
1122.73/1123.20	c 1123s |      26 | 11160176 |  8495852 |     2439   8486 |        0 |        0
1124.82/1125.21	c 1125s |      26 | 11179241 |  8510552 |     2439   8497 |        0 |        0
1126.82/1127.21	c 1127s |      26 | 11196456 |  8524152 |     2439   8507 |        0 |        0
1128.82/1129.22	c 1129s |      26 | 11214518 |  8538352 |     2439   8518 |        0 |        0
1130.82/1131.22	c 1131s |      26 | 11233182 |  8552552 |     2439   8529 |        0 |        0
1132.82/1133.23	c 1133s |      26 | 11251968 |  8567252 |     2439   8541 |        0 |        0
1134.82/1135.24	c 1135s |      26 | 11269477 |  8581052 |     2439   8551 |        0 |        0
1136.82/1137.25	c 1137s |      26 | 11285836 |  8593952 |     2439   8561 |        0 |        0
1138.81/1139.26	c 1139s |      26 | 11302841 |  8607552 |     2439   8572 |        0 |        0
1140.81/1141.27	c 1141s |      26 | 11318037 |  8620052 |     2439   8581 |        0 |        0
1142.81/1143.27	c 1143s |      26 | 11334626 |  8633152 |     2439   8591 |        0 |        0
1144.82/1145.28	c 1145s |      26 | 11351392 |  8646452 |     2439   8601 |        0 |        0
1146.81/1147.29	c 1147s |      26 | 11369079 |  8660452 |     2439   8612 |        0 |        0
1148.81/1149.30	c 1149s |      26 | 11383655 |  8672652 |     2439   8622 |        0 |        0
1150.91/1151.31	c 1151s |      26 | 11400485 |  8686052 |     2439   8632 |        0 |        0
1152.91/1153.31	c 1153s |      26 | 11417702 |  8699452 |     2439   8642 |        0 |        0
1154.91/1155.31	c 1155s |      26 | 11432601 |  8711552 |     2439   8652 |        0 |        0
1156.92/1157.33	c 1157s |      26 | 11448699 |  8724352 |     2439   8661 |        0 |        0
1158.91/1159.34	c 1159s |      26 | 11467006 |  8738252 |     2439   8672 |        0 |        0
1160.91/1161.35	c 1161s |      26 | 11483605 |  8750852 |     2439   8682 |        0 |        0
1162.91/1163.35	c 1163s |      26 | 11500565 |  8763852 |     2439   8692 |        0 |        0
1164.91/1165.35	c 1165s |      26 | 11516151 |  8776052 |     2439   8701 |        0 |        0
1166.91/1167.36	c 1167s |      26 | 11532998 |  8789252 |     2439   8712 |        0 |        0
1168.91/1169.37	c 1169s |      26 | 11549848 |  8802352 |     2439   8722 |        0 |        0
1170.91/1171.37	c 1171s |      26 | 11567725 |  8816252 |     2439   8732 |        0 |        0
1172.90/1173.38	c 1173s |      26 | 11584756 |  8829652 |     2439   8743 |        0 |        0
1174.90/1175.39	c 1175s |      26 | 11603978 |  8844352 |     2439   8754 |        0 |        0
1177.00/1177.40	c 1177s |      26 | 11623320 |  8859152 |     2439   8766 |        0 |        0
1179.00/1179.41	c 1179s |      26 | 11640249 |  8872152 |     2439   8776 |        0 |        0
1181.01/1181.42	c 1181s |      26 | 11656291 |  8884452 |     2439   8785 |        0 |        0
1183.00/1183.43	c 1183s |      26 | 11672159 |  8896952 |     2439   8795 |        0 |        0
1185.00/1185.44	c 1185s |      26 | 11688306 |  8909452 |     2439   8804 |        0 |        0
1187.00/1187.45	c 1187s |      26 | 11704026 |  8921552 |     2439   8814 |        0 |        0
1189.00/1189.45	c 1189s |      26 | 11720066 |  8933952 |     2439   8823 |        0 |        0
1191.01/1191.47	c 1191s |      26 | 11737164 |  8947352 |     2439   8833 |        0 |        0
1193.00/1193.47	c 1193s |      26 | 11754329 |  8960452 |     2439   8843 |        0 |        0
1195.00/1195.47	c 1195s |      26 | 11771635 |  8974152 |     2439   8854 |        0 |        0
1197.01/1197.48	c 1197s |      26 | 11789348 |  8987752 |     2439   8864 |        0 |        0
1199.01/1199.49	c 1199s |      26 | 11806253 |  9000552 |     2439   8874 |        0 |        0
1201.11/1201.50	c 1201s |      26 | 11822438 |  9013152 |     2439   8884 |        0 |        0
1203.11/1203.52	c 1203s |      26 | 11838039 |  9025452 |     2439   8893 |        0 |        0
1205.11/1205.53	c 1205s |      26 | 11853805 |  9037952 |     2439   8903 |        0 |        0
1207.10/1207.54	c 1207s |      26 | 11871487 |  9051552 |     2439   8914 |        0 |        0
1209.10/1209.54	c 1209s |      26 | 11888740 |  9064552 |     2439   8924 |        0 |        0
1211.10/1211.55	c 1211s |      26 | 11906013 |  9077852 |     2439   8934 |        0 |        0
1213.10/1213.56	c 1213s |      26 | 11924218 |  9091652 |     2439   8944 |        0 |        0
1215.11/1215.59	c 1215s |      26 | 11941172 |  9104852 |     2439   8955 |        0 |        0
1217.10/1217.59	c 1217s |      26 | 11958255 |  9117952 |     2439   8965 |        0 |        0
1219.20/1219.60	c 1219s |      26 | 11976284 |  9131752 |     2439   8975 |        0 |        0
1221.20/1221.61	c 1221s |      26 | 11994833 |  9145852 |     2439   8986 |        0 |        0
1223.20/1223.62	c 1223s |      26 | 12012433 |  9159752 |     2439   8997 |        0 |        0
1225.20/1225.62	c 1225s |      26 | 12029180 |  9172752 |     2439   9007 |        0 |        0
1227.21/1227.63	c 1227s |      26 | 12046916 |  9186252 |     2439   9017 |        0 |        0
1229.20/1229.65	c 1229s |      26 | 12063396 |  9199052 |     2439   9027 |        0 |        0
1231.20/1231.66	c 1231s |      26 | 12080197 |  9211652 |     2439   9037 |        0 |        0
1233.20/1233.67	c 1233s |      26 | 12096315 |  9224352 |     2439   9046 |        0 |        0
1235.20/1235.69	c 1235s |      26 | 12114758 |  9238352 |     2439   9057 |        0 |        0
1237.30/1237.70	c 1237s |      26 | 12131438 |  9251352 |     2439   9067 |        0 |        0
1239.30/1239.71	c 1239s |      26 | 12149110 |  9264652 |     2439   9078 |        0 |        0
1241.29/1241.71	c 1241s |      26 | 12166008 |  9278252 |     2439   9088 |        0 |        0
1243.29/1243.71	c 1243s |      26 | 12185050 |  9292652 |     2439   9099 |        0 |        0
1245.29/1245.72	c 1245s |      26 | 12202025 |  9305352 |     2439   9109 |        0 |        0
1247.29/1247.73	c 1247s |      26 | 12219712 |  9318752 |     2439   9119 |        0 |        0
1249.30/1249.74	c 1249s |      26 | 12237624 |  9332852 |     2439   9130 |        0 |        0
1251.29/1251.75	c 1251s |      26 | 12254721 |  9346752 |     2439   9141 |        0 |        0
1253.29/1253.76	c 1253s |      26 | 12273673 |  9360952 |     2439   9152 |        0 |        0
1255.29/1255.78	c 1255s |      26 | 12292082 |  9375152 |     2439   9163 |        0 |        0
1257.29/1257.78	c 1257s |      26 | 12311832 |  9390852 |     2439   9175 |        0 |        0
1259.29/1259.78	c 1259s |      26 | 12330906 |  9405252 |     2439   9186 |        0 |        0
1261.30/1261.79	c 1261s |      26 | 12348056 |  9418952 |     2439   9196 |        0 |        0
1263.29/1263.80	c 1263s |      26 | 12364589 |  9432452 |     2439   9206 |        0 |        0
1265.39/1265.81	c 1265s |      26 | 12381225 |  9445552 |     2439   9216 |        0 |        0
1267.39/1267.81	c 1267s |      26 | 12397997 |  9458752 |     2439   9227 |        0 |        0
1269.39/1269.82	c 1269s |      26 | 12415740 |  9472452 |     2439   9237 |        0 |        0
1271.39/1271.83	c 1271s |      26 | 12432270 |  9485352 |     2439   9247 |        0 |        0
1273.39/1273.84	c 1273s |      26 | 12450981 |  9499752 |     2439   9258 |        0 |        0
1275.39/1275.84	c 1275s |      26 | 12470219 |  9514452 |     2439   9269 |        0 |        0
1277.40/1277.84	c 1277s |      26 | 12488366 |  9528552 |     2439   9280 |        0 |        0
1279.40/1279.86	c 1279s |      26 | 12506764 |  9543052 |     2439   9291 |        0 |        0
1281.40/1281.86	c 1281s |      26 | 12524413 |  9557052 |     2439   9302 |        0 |        0
1283.40/1283.88	c 1283s |      26 | 12542666 |  9571452 |     2439   9313 |        0 |        0
1285.39/1285.89	c 1285s |      26 | 12559412 |  9585052 |     2439   9324 |        0 |        0
1287.39/1287.89	c 1287s |      26 | 12577481 |  9599152 |     2439   9335 |        0 |        0
1289.49/1289.90	c 1289s |      26 | 12595103 |  9613052 |     2439   9345 |        0 |        0
1291.49/1291.91	c 1291s |      26 | 12613196 |  9627052 |     2439   9356 |        0 |        0
1293.49/1293.92	c 1293s |      26 | 12628665 |  9639452 |     2439   9366 |        0 |        0
1295.50/1295.92	c 1295s |      26 | 12645096 |  9652652 |     2439   9376 |        0 |        0
1297.49/1297.95	c 1297s |      26 | 12661158 |  9665152 |     2439   9386 |        0 |        0
1299.49/1299.95	c 1299s |      26 | 12678006 |  9678252 |     2439   9396 |        0 |        0
1301.49/1301.95	c 1301s |      26 | 12696924 |  9692452 |     2439   9407 |        0 |        0
1303.49/1303.96	c 1303s |      26 | 12716040 |  9706852 |     2439   9418 |        0 |        0
1305.49/1305.97	c 1305s |      26 | 12733536 |  9720452 |     2439   9428 |        0 |        0
1307.49/1307.97	c 1307s |      26 | 12751933 |  9734452 |     2439   9439 |        0 |        0
1309.49/1309.98	c 1309s |      26 | 12770711 |  9748352 |     2439   9450 |        0 |        0
1311.49/1311.99	c 1311s |      26 | 12787418 |  9761652 |     2439   9460 |        0 |        0
1313.49/1313.99	c 1313s |      26 | 12807024 |  9775752 |     2439   9471 |        0 |        0
1315.49/1315.99	c 1315s |      26 | 12825923 |  9789952 |     2439   9482 |        0 |        0
1317.58/1318.00	c 1317s |      26 | 12843878 |  9803652 |     2439   9493 |        0 |        0
1319.59/1320.01	c 1319s |      26 | 12863360 |  9818052 |     2439   9504 |        0 |        0
1321.58/1322.02	c 1322s |      26 | 12881743 |  9832152 |     2439   9515 |        0 |        0
1323.58/1324.04	c 1324s |      26 | 12901529 |  9846652 |     2439   9526 |        0 |        0
1325.58/1326.04	c 1326s |      26 | 12918842 |  9860152 |     2439   9536 |        0 |        0
1327.58/1328.05	c 1328s |      26 | 12937099 |  9874152 |     2439   9547 |        0 |        0
1329.59/1330.06	c 1330s |      26 | 12956079 |  9888752 |     2439   9558 |        0 |        0
1331.58/1332.07	c 1332s |      26 | 12973862 |  9902552 |     2439   9569 |        0 |        0
1333.58/1334.07	c 1334s |      26 | 12992217 |  9916252 |     2439   9579 |        0 |        0
1335.58/1336.08	c 1336s |      26 | 13009299 |  9929752 |     2439   9590 |        0 |        0
1337.58/1338.09	c 1338s |      26 | 13025175 |  9942352 |     2439   9599 |        0 |        0
1339.58/1340.10	c 1340s |      26 | 13043431 |  9956252 |     2439   9610 |        0 |        0
1341.69/1342.10	c 1342s |      26 | 13061744 |  9970252 |     2439   9621 |        0 |        0
1343.68/1344.12	c 1344s |      26 | 13078596 |  9983752 |     2439   9631 |        0 |        0
1345.68/1346.13	c 1346s |      26 | 13094748 |  9996652 |     2439   9641 |        0 |        0
1347.68/1348.13	c 1348s |      26 | 13114070 | 10011052 |     2439   9652 |        0 |        0
1349.68/1350.14	c 1350s |      26 | 13131433 | 10024452 |     2439   9663 |        0 |        0
1351.68/1352.15	c 1352s |      26 | 13150868 | 10038952 |     2439   9674 |        0 |        0
1353.68/1354.15	c 1354s |      26 | 13167436 | 10052252 |     2439   9684 |        0 |        0
1355.68/1356.16	c 1356s |      26 | 13185954 | 10066352 |     2439   9695 |        0 |        0
1357.68/1358.17	c 1358s |      26 | 13203680 | 10080352 |     2439   9706 |        0 |        0
1359.68/1360.18	c 1360s |      26 | 13221991 | 10094252 |     2439   9717 |        0 |        0
1361.68/1362.18	c 1362s |      26 | 13240687 | 10108752 |     2439   9728 |        0 |        0
1363.68/1364.18	c 1364s |      26 | 13258308 | 10122252 |     2439   9738 |        0 |        0
1365.68/1366.19	c 1366s |      26 | 13275648 | 10135352 |     2439   9748 |        0 |        0
1367.78/1368.20	c 1368s |      26 | 13293154 | 10148752 |     2439   9759 |        0 |        0
1369.77/1370.21	c 1370s |      26 | 13309923 | 10161952 |     2439   9769 |        0 |        0
1371.77/1372.21	c 1372s |      26 | 13326226 | 10175052 |     2439   9779 |        0 |        0
1373.77/1374.21	c 1374s |      26 | 13344096 | 10188752 |     2439   9790 |        0 |        0
1375.78/1376.21	c 1376s |      26 | 13363105 | 10203152 |     2439   9801 |        0 |        0
1377.77/1378.22	c 1378s |      26 | 13380423 | 10216852 |     2439   9811 |        0 |        0
1379.77/1380.23	c 1380s |      26 | 13398393 | 10230352 |     2439   9822 |        0 |        0
1381.77/1382.24	c 1382s |      26 | 13415291 | 10243952 |     2439   9832 |        0 |        0
1383.78/1384.25	c 1384s |      26 | 13431629 | 10257552 |     2439   9843 |        0 |        0
1385.78/1386.27	c 1386s |      26 | 13449512 | 10271352 |     2439   9853 |        0 |        0
1387.79/1388.28	c 1388s |      26 | 13467869 | 10285652 |     2439   9864 |        0 |        0
1389.78/1390.28	c 1390s |      26 | 13485320 | 10299252 |     2439   9875 |        0 |        0
1391.78/1392.28	c 1392s |      26 | 13502343 | 10312952 |     2439   9885 |        0 |        0
1393.78/1394.29	c 1394s |      26 | 13520635 | 10326552 |     2439   9896 |        0 |        0
1395.88/1396.30	c 1396s |      26 | 13538605 | 10339952 |     2439   9906 |        0 |        0
1397.88/1398.30	c 1398s |      26 | 13555773 | 10353452 |     2439   9916 |        0 |        0
1399.88/1400.31	c 1400s |      26 | 13571648 | 10366052 |     2439   9926 |        0 |        0
1401.87/1402.32	c 1402s |      26 | 13588379 | 10379452 |     2439   9936 |        0 |        0
1403.87/1404.33	c 1404s |      26 | 13605560 | 10392652 |     2439   9946 |        0 |        0
1405.87/1406.35	c 1406s |      26 | 13623067 | 10406352 |     2439   9957 |        0 |        0
1407.87/1408.35	c 1408s |      26 | 13638523 | 10418952 |     2439   9967 |        0 |        0
1409.88/1410.36	c 1410s |      26 | 13655548 | 10431852 |     2439   9977 |        0 |        0
1411.87/1412.37	c 1412s |      26 | 13674015 | 10445752 |     2439   9987 |        0 |        0
1413.87/1414.38	c 1414s |      26 | 13691578 | 10459252 |     2439   9998 |        0 |        0
1415.97/1416.40	c 1416s |      26 | 13707925 | 10472452 |     2439  10008 |        0 |        0
1417.97/1418.41	c 1418s |      26 | 13724986 | 10485552 |     2439  10018 |        0 |        0
1419.97/1420.42	c 1420s |      26 | 13743645 | 10499352 |     2439  10029 |        0 |        0
1421.98/1422.43	c 1422s |      26 | 13762347 | 10513552 |     2439  10040 |        0 |        0
1423.97/1424.43	c 1424s |      26 | 13781737 | 10528252 |     2439  10051 |        0 |        0
1425.97/1426.44	c 1426s |      26 | 13800432 | 10542652 |     2439  10062 |        0 |        0
1427.97/1428.45	c 1428s |      26 | 13819654 | 10557352 |     2439  10074 |        0 |        0
1429.97/1430.46	c 1430s |      26 | 13838253 | 10571552 |     2439  10085 |        0 |        0
1431.97/1432.46	c 1432s |      26 | 13857603 | 10586152 |     2439  10096 |        0 |        0
1433.98/1434.48	c 1434s |      26 | 13875638 | 10599952 |     2439  10106 |        0 |        0
1435.97/1436.49	c 1436s |      26 | 13893886 | 10613952 |     2439  10117 |        0 |        0
1438.07/1438.50	c 1438s |      26 | 13910637 | 10627052 |     2439  10127 |        0 |        0
1440.07/1440.50	c 1440s |      26 | 13930129 | 10641552 |     2439  10138 |        0 |        0
1442.07/1442.52	c 1442s |      26 | 13947477 | 10655152 |     2439  10149 |        0 |        0
1444.07/1444.52	c 1444s |      26 | 13965300 | 10668452 |     2439  10159 |        0 |        0
1446.07/1446.54	c 1446s |      26 | 13981354 | 10680452 |     2439  10168 |        0 |        0
1448.07/1448.54	c 1448s |      26 | 13997829 | 10692652 |     2439  10178 |        0 |        0
1450.07/1450.55	c 1450s |      26 | 14013890 | 10705152 |     2439  10187 |        0 |        0
1452.07/1452.56	c 1452s |      26 | 14029289 | 10716852 |     2439  10196 |        0 |        0
1454.07/1454.58	c 1454s |      26 | 14046352 | 10729752 |     2439  10206 |        0 |        0
1456.16/1456.60	c 1456s |      26 | 14061266 | 10741152 |     2439  10215 |        0 |        0
1458.17/1458.61	c 1458s |      26 | 14077557 | 10753552 |     2439  10225 |        0 |        0
1460.16/1460.62	c 1460s |      26 | 14095702 | 10767252 |     2439  10235 |        0 |        0
1462.16/1462.64	c 1462s |      26 | 14112909 | 10779952 |     2439  10245 |        0 |        0
1464.16/1464.65	c 1464s |      26 | 14129221 | 10792452 |     2439  10255 |        0 |        0
1466.16/1466.66	c 1466s |      26 | 14146904 | 10805852 |     2439  10265 |        0 |        0
1468.17/1468.66	c 1468s |      26 | 14165270 | 10819352 |     2439  10275 |        0 |        0
1470.16/1470.66	c 1470s |      26 | 14183387 | 10833152 |     2439  10286 |        0 |        0
1472.16/1472.68	c 1472s |      26 | 14201030 | 10846652 |     2439  10297 |        0 |        0
1474.26/1474.70	c 1474s |      26 | 14217898 | 10859752 |     2439  10307 |        0 |        0
1476.26/1476.70	c 1476s |      26 | 14235040 | 10872852 |     2439  10317 |        0 |        0
1478.26/1478.72	c 1478s |      26 | 14250733 | 10885552 |     2439  10326 |        0 |        0
1480.26/1480.72	c 1480s |      26 | 14268335 | 10898952 |     2439  10337 |        0 |        0
1482.26/1482.73	c 1482s |      26 | 14286621 | 10912652 |     2439  10347 |        0 |        0
1484.26/1484.73	c 1484s |      26 | 14303996 | 10926052 |     2439  10358 |        0 |        0
1486.26/1486.74	c 1486s |      26 | 14322536 | 10940252 |     2439  10369 |        0 |        0
1488.26/1488.75	c 1488s |      26 | 14342054 | 10954852 |     2439  10380 |        0 |        0
1490.26/1490.76	c 1490s |      26 | 14360940 | 10969052 |     2439  10391 |        0 |        0
1492.27/1492.77	c 1492s |      26 | 14377149 | 10981852 |     2439  10401 |        0 |        0
1494.26/1494.77	c 1494s |      26 | 14395258 | 10995952 |     2439  10412 |        0 |        0
1496.26/1496.78	c 1496s |      26 | 14413558 | 11010052 |     2439  10423 |        0 |        0
1498.26/1498.79	c 1498s |      26 | 14431424 | 11023952 |     2439  10433 |        0 |        0
1500.36/1500.80	c 1500s |      26 | 14449327 | 11038052 |     2439  10444 |        0 |        0
1502.36/1502.81	c 1502s |      26 | 14466971 | 11051552 |     2439  10455 |        0 |        0
1504.37/1504.82	c 1504s |      26 | 14484154 | 11064852 |     2439  10465 |        0 |        0
1506.36/1506.83	c 1506s |      26 | 14501486 | 11077952 |     2439  10475 |        0 |        0
1508.36/1508.85	c 1508s |      26 | 14519070 | 11091652 |     2439  10485 |        0 |        0
1510.36/1510.85	c 1510s |      26 | 14537162 | 11105652 |     2439  10496 |        0 |        0
1512.36/1512.87	c 1512s |      26 | 14555590 | 11119852 |     2439  10507 |        0 |        0
1514.36/1514.87	c 1514s |      26 | 14573150 | 11133452 |     2439  10518 |        0 |        0
1516.35/1516.88	c 1516s |      26 | 14590910 | 11147252 |     2439  10528 |        0 |        0
1518.35/1518.89	c 1518s |      26 | 14610656 | 11161952 |     2439  10540 |        0 |        0
1520.35/1520.90	c 1520s |      26 | 14628087 | 11175552 |     2439  10550 |        0 |        0
1522.45/1522.91	c 1522s |      26 | 14644812 | 11188652 |     2439  10560 |        0 |        0
1524.45/1524.93	c 1524s |      26 | 14662016 | 11202152 |     2439  10571 |        0 |        0
1526.46/1526.93	c 1526s |      26 | 14680790 | 11215752 |     2439  10581 |        0 |        0
1528.45/1528.94	c 1528s |      26 | 14699371 | 11229452 |     2439  10592 |        0 |        0
1530.45/1530.95	c 1530s |      26 | 14716927 | 11242652 |     2439  10602 |        0 |        0
1532.45/1532.95	c 1532s |      26 | 14735355 | 11256552 |     2439  10613 |        0 |        0
1534.45/1534.95	c 1534s |      26 | 14753300 | 11270252 |     2439  10623 |        0 |        0
1536.45/1536.96	c 1536s |      26 | 14770441 | 11283652 |     2439  10634 |        0 |        0
1538.46/1538.96	c 1538s |      26 | 14789501 | 11297852 |     2439  10645 |        0 |        0
1540.45/1540.96	c 1540s |      26 | 14808086 | 11311952 |     2439  10655 |        0 |        0
1542.45/1542.97	c 1542s |      26 | 14825132 | 11324852 |     2683  10665 |        0 |        0
1544.45/1544.98	c 1544s |      26 | 14842813 | 11338052 |     2683  10674 |        0 |        0
1546.45/1546.99	c 1546s |      26 | 14862016 | 11352552 |     2683  10684 |        0 |        0
1548.45/1548.99	c 1548s |      26 | 14881150 | 11366752 |     2683  10694 |        0 |        0
1550.45/1551.00	c 1550s |      26 | 14899668 | 11381052 |     2683  10704 |        0 |        0
1552.55/1553.00	c 1552s |      26 | 14917365 | 11394452 |     2683  10714 |        0 |        0
1552.85/1553.31	c 1553s |      27 | 14920504 | 11396733 |     2683  10715 |        0 |        0
1554.85/1555.31	c 1555s |      27 | 14938103 | 11410633 |     2683  10725 |        0 |        0
1556.85/1557.32	c 1557s |      27 | 14956524 | 11424833 |     2683  10735 |        0 |        0
1558.85/1559.33	c 1559s |      27 | 14973447 | 11438433 |     2683  10745 |        0 |        0
1560.84/1561.34	c 1561s |      27 | 14989747 | 11451033 |     2683  10754 |        0 |        0
1562.84/1563.36	c 1563s |      27 | 15005717 | 11463633 |     2683  10762 |        0 |        0
1564.86/1565.36	c 1565s |      27 | 15022790 | 11476733 |     2683  10772 |        0 |        0
1566.85/1567.36	c 1567s |      27 | 15039140 | 11490033 |     2683  10781 |        0 |        0
1568.85/1569.37	c 1569s |      27 | 15055957 | 11503333 |     2683  10790 |        0 |        0
1570.85/1571.37	c 1571s |      27 | 15073895 | 11516733 |     2683  10800 |        0 |        0
1572.85/1573.39	c 1573s |      27 | 15091321 | 11530033 |     2683  10809 |        0 |        0
1574.95/1575.40	c 1575s |      27 | 15109130 | 11543833 |     2683  10819 |        0 |        0
1576.96/1577.41	c 1577s |      27 | 15124982 | 11556233 |     2683  10828 |        0 |        0
1578.95/1579.41	c 1579s |      27 | 15141109 | 11568633 |     2683  10836 |        0 |        0
1580.95/1581.43	c 1581s |      27 | 15158794 | 11581633 |     2683  10845 |        0 |        0
1582.95/1583.44	c 1583s |      27 | 15177127 | 11595533 |     2683  10855 |        0 |        0
1584.95/1585.45	c 1585s |      27 | 15195542 | 11609533 |     2683  10865 |        0 |        0
1586.95/1587.45	c 1587s |      27 | 15213713 | 11623233 |     2683  10875 |        0 |        0
1588.95/1589.46	c 1589s |      27 | 15232068 | 11637433 |     2683  10885 |        0 |        0
1590.95/1591.46	c 1591s |      27 | 15248900 | 11650933 |     2683  10894 |        0 |        0
1592.94/1593.47	c 1593s |      27 | 15265930 | 11664133 |     2683  10903 |        0 |        0
1594.94/1595.49	c 1595s |      27 | 15283014 | 11677133 |     2683  10913 |        0 |        0
1596.94/1597.49	c 1597s |      27 | 15300438 | 11690533 |     2683  10922 |        0 |        0
1598.95/1599.50	c 1599s |      27 | 15316130 | 11702933 |     2683  10931 |        0 |        0
1601.04/1601.51	c 1601s |      27 | 15332292 | 11715933 |     2683  10940 |        0 |        0
1603.04/1603.52	c 1603s |      27 | 15350392 | 11729633 |     2683  10950 |        0 |        0
1605.04/1605.52	c 1605s |      27 | 15367154 | 11742633 |     2683  10959 |        0 |        0
1607.04/1607.53	c 1607s |      27 | 15385932 | 11756833 |     2683  10969 |        0 |        0
1609.04/1609.54	c 1609s |      27 | 15402720 | 11770333 |     2683  10978 |        0 |        0
1611.05/1611.54	c 1611s |      27 | 15421868 | 11784933 |     2683  10988 |        0 |        0
1613.04/1613.55	c 1613s |      27 | 15439510 | 11798533 |     2683  10998 |        0 |        0
1615.04/1615.55	c 1615s |      27 | 15456524 | 11811933 |     2683  11007 |        0 |        0
1617.04/1617.56	c 1617s |      27 | 15473710 | 11824833 |     2683  11016 |        0 |        0
1619.04/1619.56	c 1619s |      27 | 15491092 | 11838133 |     2683  11026 |        0 |        0
1621.04/1621.56	c 1621s |      27 | 15508903 | 11851533 |     2683  11035 |        0 |        0
1623.04/1623.57	c 1623s |      27 | 15526348 | 11865133 |     2683  11045 |        0 |        0
1625.04/1625.58	c 1625s |      27 | 15543616 | 11878233 |     2683  11054 |        0 |        0
1627.04/1627.59	c 1627s |      27 | 15560558 | 11891733 |     2683  11064 |        0 |        0
1629.14/1629.60	c 1629s |      27 | 15579358 | 11905733 |     2683  11073 |        0 |        0
1631.13/1631.60	c 1631s |      27 | 15597203 | 11919633 |     2683  11083 |        0 |        0
1633.14/1633.61	c 1633s |      27 | 15611316 | 11931233 |     2683  11091 |        0 |        0
1635.13/1635.62	c 1635s |      27 | 15628629 | 11944633 |     2683  11101 |        0 |        0
1637.14/1637.63	c 1637s |      27 | 15645568 | 11957733 |     2683  11110 |        0 |        0
1639.14/1639.64	c 1639s |      27 | 15662458 | 11971233 |     2683  11120 |        0 |        0
1641.14/1641.65	c 1641s |      27 | 15678140 | 11983333 |     2683  11128 |        0 |        0
1643.14/1643.65	c 1643s |      27 | 15693887 | 11995433 |     2683  11137 |        0 |        0
1645.14/1645.66	c 1645s |      27 | 15710601 | 12008233 |     2683  11146 |        0 |        0
1647.14/1647.68	c 1647s |      27 | 15724306 | 12019433 |     2683  11154 |        0 |        0
1649.14/1649.69	c 1649s |      27 | 15740549 | 12032133 |     2683  11162 |        0 |        0
1651.14/1651.69	c 1651s |      27 | 15756563 | 12044533 |     2683  11171 |        0 |        0
1653.24/1653.70	c 1653s |      27 | 15771522 | 12056233 |     2683  11179 |        0 |        0
1655.23/1655.71	c 1655s |      27 | 15787580 | 12068433 |     2683  11188 |        0 |        0
1657.24/1657.72	c 1657s |      27 | 15803562 | 12080733 |     2683  11197 |        0 |        0
1659.23/1659.72	c 1659s |      27 | 15820149 | 12093333 |     2683  11206 |        0 |        0
1661.23/1661.73	c 1661s |      27 | 15838010 | 12107033 |     2683  11215 |        0 |        0
1663.23/1663.74	c 1663s |      27 | 15855778 | 12120533 |     2683  11225 |        0 |        0
1665.23/1665.75	c 1665s |      27 | 15871014 | 12132833 |     2683  11233 |        0 |        0
1667.24/1667.76	c 1667s |      27 | 15887326 | 12145433 |     2683  11242 |        0 |        0
1669.23/1669.76	c 1669s |      27 | 15904321 | 12158733 |     2683  11252 |        0 |        0
1671.23/1671.76	c 1671s |      27 | 15922355 | 12172733 |     2683  11262 |        0 |        0
1673.23/1673.78	c 1673s |      27 | 15938289 | 12185333 |     2683  11271 |        0 |        0
1675.23/1675.78	c 1675s |      27 | 15955637 | 12198833 |     2683  11280 |        0 |        0
1677.33/1677.80	c 1677s |      27 | 15973255 | 12212233 |     2683  11289 |        0 |        0
1679.34/1679.81	c 1679s |      27 | 15990543 | 12225933 |     2683  11299 |        0 |        0
1681.33/1681.82	c 1681s |      27 | 16006717 | 12238633 |     2683  11308 |        0 |        0
1683.33/1683.83	c 1683s |      27 | 16023816 | 12252033 |     2683  11318 |        0 |        0
1685.33/1685.84	c 1685s |      27 | 16043445 | 12266633 |     2683  11328 |        0 |        0
1687.33/1687.84	c 1687s |      27 | 16062029 | 12280833 |     2683  11338 |        0 |        0
1689.33/1689.85	c 1689s |      27 | 16079492 | 12294633 |     2683  11347 |        0 |        0
1691.33/1691.86	c 1691s |      27 | 16096366 | 12307833 |     2683  11357 |        0 |        0
1693.32/1693.87	c 1693s |      27 | 16113257 | 12321233 |     2683  11366 |        0 |        0
1695.32/1695.87	c 1695s |      27 | 16128984 | 12334133 |     2683  11375 |        0 |        0
1697.33/1697.88	c 1697s |      27 | 16146065 | 12347433 |     2683  11385 |        0 |        0
1699.33/1699.89	c 1699s |      27 | 16163633 | 12361133 |     2683  11394 |        0 |        0
1701.43/1701.90	c 1701s |      27 | 16182288 | 12375133 |     2683  11404 |        0 |        0
1703.44/1703.91	c 1703s |      27 | 16199044 | 12388233 |     2683  11413 |        0 |        0
1705.43/1705.92	c 1705s |      27 | 16216767 | 12401633 |     2683  11423 |        0 |        0
1707.43/1707.94	c 1707s |      27 | 16234566 | 12415233 |     2683  11433 |        0 |        0
1709.43/1709.95	c 1709s |      27 | 16250103 | 12427833 |     2683  11441 |        0 |        0
1711.43/1711.96	c 1711s |      27 | 16267313 | 12440933 |     2683  11451 |        0 |        0
1713.43/1713.96	c 1713s |      27 | 16284759 | 12454333 |     2683  11460 |        0 |        0
1715.43/1715.97	c 1715s |      27 | 16300276 | 12466933 |     2683  11469 |        0 |        0
1717.43/1717.98	c 1717s |      27 | 16318518 | 12480833 |     2683  11479 |        0 |        0
1719.42/1719.99	c 1719s |      27 | 16337903 | 12495433 |     2683  11489 |        0 |        0
1721.42/1721.99	c 1721s |      27 | 16356992 | 12509933 |     2683  11499 |        0 |        0
1723.42/1723.99	c 1723s |      27 | 16374785 | 12523833 |     2683  11509 |        0 |        0
1725.53/1726.00	c 1725s |      27 | 16392149 | 12537833 |     2683  11519 |        0 |        0
1727.52/1728.01	c 1727s |      27 | 16411630 | 12552433 |     2683  11529 |        0 |        0
1729.52/1730.01	c 1729s |      27 | 16429515 | 12566133 |     2683  11539 |        0 |        0
1731.52/1732.02	c 1732s |      27 | 16448352 | 12580233 |     2683  11549 |        0 |        0
1733.52/1734.03	c 1734s |      27 | 16465110 | 12593233 |     2683  11558 |        0 |        0
1735.52/1736.03	c 1736s |      27 | 16481306 | 12605933 |     2683  11567 |        0 |        0
1737.53/1738.04	c 1738s |      27 | 16496694 | 12618433 |     2683  11575 |        0 |        0
1739.52/1740.05	c 1740s |      27 | 16512850 | 12631133 |     2683  11584 |        0 |        0
1741.52/1742.05	c 1742s |      27 | 16529190 | 12643833 |     2683  11593 |        0 |        0
1743.52/1744.06	c 1744s |      27 | 16546246 | 12656933 |     2683  11603 |        0 |        0
1745.52/1746.07	c 1746s |      27 | 16563350 | 12670233 |     2683  11612 |        0 |        0
1747.53/1748.07	c 1748s |      27 | 16581365 | 12684233 |     2683  11622 |        0 |        0
1749.52/1750.08	c 1750s |      27 | 16599246 | 12697933 |     2683  11632 |        0 |        0
1751.52/1752.09	c 1752s |      27 | 16616348 | 12711233 |     2683  11641 |        0 |        0
1753.62/1754.10	c 1754s |      27 | 16634225 | 12724833 |     2683  11651 |        0 |        0
1755.62/1756.10	c 1756s |      27 | 16654704 | 12739933 |     2683  11661 |        0 |        0
1757.62/1758.10	c 1758s |      27 | 16673599 | 12754333 |     2683  11671 |        0 |        0
1759.62/1760.11	c 1760s |      27 | 16692362 | 12768933 |     2683  11682 |        0 |        0
1761.62/1762.12	c 1762s |      27 | 16710467 | 12782833 |     2683  11691 |        0 |        0
1763.61/1764.12	c 1764s |      27 | 16725909 | 12795733 |     2683  11701 |        0 |        0
1765.61/1766.13	c 1766s |      27 | 16743976 | 12809533 |     2683  11710 |        0 |        0
1767.62/1768.13	c 1768s |      27 | 16761729 | 12823233 |     2683  11720 |        0 |        0
1769.62/1770.13	c 1770s |      27 | 16778698 | 12836433 |     2683  11729 |        0 |        0
1771.63/1772.14	c 1772s |      27 | 16796718 | 12850033 |     2683  11739 |        0 |        0
1773.62/1774.15	c 1774s |      27 | 16814664 | 12863633 |     2683  11748 |        0 |        0
1775.62/1776.16	c 1776s |      27 | 16831111 | 12876733 |     2683  11758 |        0 |        0
1777.62/1778.16	c 1778s |      27 | 16847294 | 12889233 |     2683  11767 |        0 |        0
1779.62/1780.18	c 1780s |      27 | 16863999 | 12902233 |     2683  11776 |        0 |        0
1781.62/1782.18	c 1782s |      27 | 16880968 | 12915533 |     2683  11785 |        0 |        0
1783.62/1784.19	c 1784s |      27 | 16898344 | 12928533 |     2683  11794 |        0 |        0
1785.61/1786.19	c 1786s |      27 | 16914445 | 12941633 |     2683  11804 |        0 |        0
1787.71/1788.20	c 1788s |      27 | 16932111 | 12955333 |     2683  11813 |        0 |        0
1789.71/1790.22	c 1790s |      27 | 16949891 | 12968933 |     2683  11823 |        0 |        0
1791.71/1792.22	c 1792s |      27 | 16967475 | 12982733 |     2683  11833 |        0 |        0
1793.72/1794.24	c 1794s |      27 | 16985097 | 12996533 |     2683  11843 |        0 |        0
1795.71/1796.25	c 1796s |      27 | 17001904 | 13009333 |     2683  11852 |        0 |        0
1797.71/1798.27	c 1798s |      27 | 17019191 | 13022933 |     2683  11861 |        0 |        0
1799.71/1800.28	c 1800s |      27 | 17036771 | 13036433 |     2683  11871 |        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-4095840-1466097702/watcher-4095840-1466097702 -o /tmp/evaluation-result-4095840-1466097702/solver-4095840-1466097702 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466095897-23942 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095840-1466097702.opb 

pid=24186
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: 2.02 2.03 2.00 3/179 24189
/proc/meminfo: memFree=30755344/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=780732 CPUtime=0 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 2922 0 0 0 0 0 0 0 20 0 4 0 11820104 799469568 3283 33554432000 4194304 16246674 140735037696768 140735037696192 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 195695 3291 441 2943 0 192589 0
[pid=24189/tid=24190] ppid=24186 vsize=798140 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 817295360 3351 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=803260 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 822538240 3369 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=807356 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11820104 826732544 3385 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 24189
/proc/meminfo: memFree=30755344/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 24810 0 0 0 5 4 0 0 20 0 4 0 11820104 1247350784 25159 33554432000 4194304 16246674 140735037696768 140735037696192 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 304529 25168 711 2943 0 301423 0
[pid=24189/tid=24190] ppid=24186 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1247350784 25175 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1247350784 25184 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11820104 1247350784 25191 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200524 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 24189
/proc/meminfo: memFree=30755344/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 47795 0 0 0 12 7 0 0 20 0 4 0 11820104 1247350784 48145 33554432000 4194304 16246674 140735037696768 140735037696192 5724245 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 304529 48156 711 2943 0 301423 0
[pid=24189/tid=24190] ppid=24186 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1247350784 48162 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1247350784 48168 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11820104 1247350784 48174 33554432000 4194304 16246674 140735037696768 140145846115504 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.300477 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 24189
/proc/meminfo: memFree=30755344/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 70960 0 0 0 19 10 0 0 20 0 4 0 11820104 1247350784 71310 33554432000 4194304 16246674 140735037696768 140735037696192 5668673 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 304529 71319 711 2943 0 301423 0
[pid=24189/tid=24190] ppid=24186 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1247350784 71324 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1247350784 71331 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11820104 1247350784 71340 33554432000 4194304 16246674 140735037696768 140145846115504 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.700393 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 24189
/proc/meminfo: memFree=30755344/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 162399 0 0 0 46 23 0 0 20 0 4 0 11820104 1247350784 162748 33554432000 4194304 16246674 140735037696768 140735037678656 12478957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 304529 162763 711 2943 0 301423 0
[pid=24189/tid=24190] ppid=24186 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1247350784 162770 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1247350784 162776 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11820104 1247350784 162784 33554432000 4194304 16246674 140735037696768 140145846115504 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: 2.02 2.03 2.00 3/183 24193
/proc/meminfo: memFree=29772432/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 245606 0 0 0 114 35 0 0 20 0 4 0 11820104 1248399360 245935 33554432000 4194304 16246674 140735037696768 140735037696080 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 304785 245935 786 2943 0 301679 0
[pid=24189/tid=24190] ppid=24186 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1248399360 245935 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1248399360 245935 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1248399360 245935 33554432000 4194304 16246674 140735037696768 140145846115504 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) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24193
/proc/meminfo: memFree=29685508/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 267376 0 0 0 271 38 0 0 20 0 4 0 11820104 1337528320 267705 33554432000 4194304 16246674 140735037696768 140735037678656 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 326545 267705 786 2943 0 323439 0
[pid=24189/tid=24190] ppid=24186 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1337528320 267705 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1337528320 267705 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1337528320 267705 33554432000 4194304 16246674 140735037696768 140145846115504 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) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 24193
/proc/meminfo: memFree=29684388/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 267479 0 0 0 591 38 0 0 20 0 4 0 11820104 1337528320 267808 33554432000 4194304 16246674 140735037696768 140735037678656 12477712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 326545 267808 786 2943 0 323439 0
[pid=24189/tid=24190] ppid=24186 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1337528320 267808 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1337528320 267808 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1337528320 267808 33554432000 4194304 16246674 140735037696768 140145846115504 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 24193
/proc/meminfo: memFree=29683952/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 267682 0 0 0 1231 38 0 0 20 0 4 0 11820104 1338576896 268011 33554432000 4194304 16246674 140735037696768 140735037679768 5861812 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 326801 268011 789 2943 0 323695 0
[pid=24189/tid=24190] ppid=24186 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1338576896 268011 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1338576896 268011 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1338576896 268011 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 24193
/proc/meminfo: memFree=29683832/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 267839 0 0 0 2510 38 0 0 20 0 4 0 11820104 1339625472 268168 33554432000 4194304 16246674 140735037696768 140735037679768 6845973 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 327057 268168 789 2943 0 323951 0
[pid=24189/tid=24190] ppid=24186 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1339625472 268168 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1339625472 268168 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1339625472 268168 33554432000 4194304 16246674 140735037696768 140145846115504 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) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 24242
/proc/meminfo: memFree=29683776/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 268082 0 0 0 5069 39 0 0 20 0 4 0 11820104 1339625472 268411 33554432000 4194304 16246674 140735037696768 140735037678656 5553792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 327057 268411 789 2943 0 323951 0
[pid=24189/tid=24190] ppid=24186 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1339625472 268411 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1339625472 268411 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1339625472 268411 33554432000 4194304 16246674 140735037696768 140145846115504 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) 1308228

[startup+102.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 24243
/proc/meminfo: memFree=29681676/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1308228 CPUtime=102.27 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 268089 0 0 0 10187 40 0 0 20 0 4 0 11820104 1339625472 268668 33554432000 4194304 16246674 140735037696768 140735037678656 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 327057 268668 790 2943 0 323951 0
[pid=24189/tid=24190] ppid=24186 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1339625472 268668 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1339625472 268668 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1339625472 268668 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1308228


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

/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1343819776 269578 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/183 24274
/proc/meminfo: memFree=29672088/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1312324 CPUtime=1361.88 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 269484 0 0 0 136129 59 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140735037678656 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 328081 269692 790 2943 0 324975 0
[pid=24189/tid=24190] ppid=24186 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 24275
/proc/meminfo: memFree=29673260/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1312324 CPUtime=1421.88 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 269484 0 0 0 142128 60 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140735037678656 6020690 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 328081 269692 790 2943 0 324975 0
[pid=24189/tid=24190] ppid=24186 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 24276
/proc/meminfo: memFree=29673100/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1312324 CPUtime=1481.86 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 269484 0 0 0 148126 60 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140735037679768 5823109 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 328081 269692 790 2943 0 324975 0
[pid=24189/tid=24190] ppid=24186 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1312324

[startup+1542.31 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 24278
/proc/meminfo: memFree=29672744/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1312324 CPUtime=1541.86 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 269484 0 0 0 154125 61 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140735037679768 5822938 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 328081 269692 790 2943 0 324975 0
[pid=24189/tid=24190] ppid=24186 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1343819776 269692 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/183 24279
/proc/meminfo: memFree=29669280/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1316420 CPUtime=1601.84 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 270331 0 0 0 160122 62 0 0 20 0 4 0 11820104 1348014080 270539 33554432000 4194304 16246674 140735037696768 140735037679768 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 329105 270539 790 2943 0 325999 0
[pid=24189/tid=24190] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270539 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270539 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270539 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1316420

[startup+1662.3 s]
/proc/loadavg: 2.17 2.08 2.01 3/183 24280
/proc/meminfo: memFree=29668680/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1316420 CPUtime=1661.83 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 270508 0 0 0 166120 63 0 0 20 0 4 0 11820104 1348014080 270716 33554432000 4194304 16246674 140735037696768 140735037679768 6843314 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 329105 270716 790 2943 0 325999 0
[pid=24189/tid=24190] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270716 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270716 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270716 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/184 24284
/proc/meminfo: memFree=29668400/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1316420 CPUtime=1721.82 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 270508 0 0 0 172118 64 0 0 20 0 4 0 11820104 1348014080 270716 33554432000 4194304 16246674 140735037696768 140735037678656 5823158 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 329105 270716 790 2943 0 325999 0
[pid=24189/tid=24190] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270716 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270716 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270716 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/183 24285
/proc/meminfo: memFree=29668404/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1316420 CPUtime=1781.82 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 270509 0 0 0 178117 65 0 0 20 0 4 0 11820104 1348014080 270717 33554432000 4194304 16246674 140735037696768 140735037678656 5677492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 329105 270717 791 2943 0 325999 0
[pid=24189/tid=24190] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270717 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270717 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270717 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 24285
/proc/meminfo: memFree=29669036/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1316420 CPUtime=1800.01 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 270509 0 0 0 179936 65 0 0 20 0 4 0 11820104 1348014080 270717 33554432000 4194304 16246674 140735037696768 140735037679768 5677325 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 329105 270717 791 2943 0 325999 0
[pid=24189/tid=24190] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270717 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270717 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270717 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1316420

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

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 24285
/proc/meminfo: memFree=29669036/32872528 swapFree=162364/176672
[pid=24189] ppid=24186 vsize=1316420 CPUtime=1800.01 cores=0,2,4,6
/proc/24189/stat : 24189 (toysat) R 24186 24189 23926 0 -1 4202496 270509 0 0 0 179936 65 0 0 20 0 4 0 11820104 1348014080 270717 33554432000 4194304 16246674 140735037696768 140735037679768 5677325 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24189/statm: 329105 270717 791 2943 0 325999 0
[pid=24189/tid=24190] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24190/stat : 24190 (toysat) S 24186 24189 23926 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270717 33554432000 4194304 16246674 140735037696768 140145937329392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24189/tid=24191] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24191/stat : 24191 (toysat) S 24186 24189 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270717 33554432000 4194304 16246674 140735037696768 140145856589040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24189/tid=24192] ppid=24186 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/24189/task/24192/stat : 24192 (toysat) S 24186 24189 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11820104 1348014080 270717 33554432000 4194304 16246674 140735037696768 140145846115504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1316420

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.37
CPU system time (s): 0.6569
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.6569
maximum resident set size= 1082868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270509
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= 391
involuntary context switches= 1977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48532 second user time and 7.02493 second system time

The end

Begin job on node105 at 2016-06-16 19:21:42
IDJOB=4095840
IDBENCH=107529
IDSOLVER=2542
FILE ID=node105/4095840-1466097702
RUNJOBID= node105-1466095897-23942
PBS_JOBID= 19904031
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 4c8a81d4e99bbca85303365615d325e4
RANDOM SEED=1049281128

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30756236 kB
Buffers:           41476 kB
Cached:           121608 kB
SwapCached:         1480 kB
Active:          1164556 kB
Inactive:          74916 kB
Active(anon):    1077108 kB
Inactive(anon):     1660 kB
Active(file):      87448 kB
Inactive(file):    73256 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097232 kB
Dirty:             16500 kB
Writeback:             0 kB
AnonPages:       1251240 kB
Mapped:            10236 kB
Shmem:                 0 kB
Slab:             569248 kB
SReclaimable:      12688 kB
SUnreclaim:       556560 kB
KernelStack:        1496 kB
PageTables:         6704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1395952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1083392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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