0.00/0.00	c 2016-06-30T21:53:44+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-4122298-1467316424.opb"]
0.00/0.01	c use --random-gen="2868458100 4248314837 1221394342 1767924530 2422523430 1847940131 2788175838 458319573 3318591848 3433219019 2071400087 1999259700 1140374198 2834915324 3959522184 418333777 1568949246 4246657700 4220081167 3220306782 2438175149 2584435186 3074062760 3939343548 768665135 3849483275 1851387244 2701841006 114498160 3004771521 4211279474 2267380027 4049425524 967089307 3676338796 3813028075 15452753 2956263938 3975576553 1960086411 2591567068 1170585554 3824174934 1953050656 549299757 3521810721 2056721285 1100141675 149610064 1904262959 2733021087 1032819711 2707011283 422225120 2208887859 1438737580 1539578161 1542836602 3166922638 1064126471 2232059051 2510305248 3596485605 2860320509 289905397 248167178 1389874624 1602736545 3069607978 2187877884 726805246 163200518 4129706763 3976150027 3268572733 56495379 3967586417 1687543682 3932049413 3280897637 4281220011 2332023036 846390412 1825424700 1569561203 2620611622 3087938450 1412243900 1413558558 3587220318 1714608888 3050879093 2698469320 448836842 22160138 36291967 675288724 3837766298 4053469518 3612156633 2335240507 2158921681 2067924202 2000351705 3839414440 1981303208 1072663714 3533181944 3510324408 2572739228 4056015187 128450763 2371780102 3723242981 65290321 3253025728 1072881747 3021439001 3482067567 3660916401 3650372135 1994696982 987842359 2324095372 385929414 2693437 1347630221 2482264697 1356591539 2057937153 3900335426 224474204 3616156260 3821660205 2084460554 1626371628 2439303381 477971259 353774390 3484012080 1532751146 2598714436 1865292463 2186433036 4227169741 2394720768 171351865 4023249413 2299058506 2760684959 1730232587 4028120989 2390759755 232666734 572497890 2761000062 3722664035 4272548629 2648061345 3129830184 361177019 1862646043 252140236 306564792 3284340958 2463371666 3850721146 2967150703 852736820 1486905481 460258788 2834523569 459269081 3504279175 3830198831 961452149 1589165857 1308207713 3198096017 2677621893 314743191 2261365394 3113482879 2936114393 3726811071 4201294002 1656619434 3805437443 661826541 740210637 2051309878 3438375927 2964260649 852849401 4036035249 2380200400 2033430468 1102437741 2276443527 3150808885 3322080089 2900401284 1741054546 666763550 1071315905 325386109 889411641 2250390813 2276932822 904274436 139248686 2935191791 2156275143 291839057 3166324185 1694884599 4263529880 846240134 2645111422 2535051912 3569639086 645008614 1883732561 3773801162 3063784781 4106929728 2322489503 2820789320 1216646354 2446429973 2963854492 1547132453 1781245193 1747344984 3184935849 1983695277 1285204767 3800633095 2631836935 2341838618 4100670174 358184972 3853018132 1676895085 2319338420 1195992350 241076929 2605071342 1064496829 3040941958 764658678 3603110035 2929022830 3386390277 2981957049 1868147443 255 362436" option to reproduce the execution
0.00/0.02	c #vars 349
0.00/0.02	c #constraints 348
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      232      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      209 |      100 |      232      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      459 |      250 |      256      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |      774 |      475 |      282      1 |        0 |        0
0.08/0.10	c  0.1s |       4 |     1256 |      813 |      311      3 |        0 |        0
0.08/0.15	c  0.1s |       5 |     1938 |     1320 |      343      4 |        0 |        0
0.18/0.24	c  0.2s |       6 |     2974 |     2081 |      416      7 |        0 |        0
0.28/0.36	c  0.3s |       7 |     4469 |     3223 |      458     10 |        0 |        0
0.48/0.53	c  0.5s |       8 |     6807 |     4936 |      504     15 |        0 |        0
0.78/0.85	c  0.8s |       9 |    10464 |     7506 |      555     23 |        0 |        0
1.19/1.25	c  1.2s |      10 |    15726 |    11361 |      611     32 |        0 |        0
1.68/1.77	c  1.7s |      11 |    23293 |    17144 |      673     46 |        0 |        0
2.48/2.57	c  2.5s |      12 |    34768 |    25819 |      741     65 |        0 |        0
3.78/3.81	c  3.8s |      13 |    52196 |    38832 |      816     91 |        0 |        0
5.59/5.62	c  5.6s |      14 |    79240 |    58352 |      898    131 |        0 |        0
7.58/7.63	c  7.6s |      14 |   103516 |    75952 |      898    163 |        0 |        0
8.79/8.87	c  8.8s |      15 |   120683 |    87632 |      988    184 |        0 |        0
10.78/10.87	c 10.8s |      15 |   140139 |   103832 |      988    210 |        0 |        0
12.78/12.88	c 12.9s |      15 |   165735 |   122832 |      988    242 |        0 |        0
13.68/13.78	c 13.8s |      16 |   177250 |   131552 |     1087    256 |        0 |        0
15.68/15.79	c 15.8s |      16 |   202817 |   150452 |     1087    285 |        0 |        0
17.78/17.80	c 17.8s |      16 |   227547 |   168352 |     1087    313 |        0 |        0
19.79/19.81	c 19.8s |      16 |   248914 |   183752 |     1087    337 |        0 |        0
21.48/21.57	c 21.5s |      17 |   267806 |   197432 |     1196    359 |        0 |        0
23.48/23.58	c 23.6s |      17 |   293789 |   215132 |     1196    385 |        0 |        0
25.48/25.58	c 25.6s |      17 |   321418 |   234432 |     1196    414 |        0 |        0
27.48/27.58	c 27.6s |      17 |   347464 |   252932 |     1196    442 |        0 |        0
29.47/29.59	c 29.6s |      17 |   374532 |   271832 |     1196    470 |        0 |        0
31.47/31.59	c 31.6s |      17 |   403441 |   291432 |     1196    500 |        0 |        0
32.08/32.12	c 32.1s |      18 |   410846 |   296252 |     1316    507 |        0 |        0
34.09/34.13	c 34.1s |      18 |   434314 |   312952 |     1316    528 |        0 |        0
36.08/36.13	c 36.1s |      18 |   458843 |   330252 |     1316    551 |        0 |        0
38.08/38.14	c 38.1s |      18 |   482027 |   346652 |     1316    572 |        0 |        0
40.08/40.16	c 40.1s |      18 |   506069 |   364252 |     1316    596 |        0 |        0
42.08/42.17	c 42.1s |      18 |   531593 |   381952 |     1316    619 |        0 |        0
44.08/44.18	c 44.2s |      18 |   556118 |   399152 |     1316    643 |        0 |        0
46.08/46.19	c 46.2s |      18 |   577873 |   415052 |     1316    664 |        0 |        0
48.18/48.20	c 48.2s |      18 |   600974 |   432152 |     1316    687 |        0 |        0
49.67/49.76	c 49.7s |      19 |   617328 |   444482 |     1448    703 |        0 |        0
51.68/51.77	c 51.7s |      19 |   641658 |   461382 |     1448    724 |        0 |        0
53.67/53.78	c 53.8s |      19 |   668373 |   479782 |     1448    747 |        0 |        0
55.67/55.79	c 55.8s |      19 |   691353 |   496582 |     1448    768 |        0 |        0
57.77/57.80	c 57.8s |      19 |   714815 |   513082 |     1448    789 |        0 |        0
59.77/59.81	c 59.8s |      19 |   737353 |   529382 |     1448    809 |        0 |        0
61.77/61.82	c 61.8s |      19 |   758910 |   544882 |     1448    828 |        0 |        0
63.78/63.83	c 63.8s |      19 |   780359 |   560282 |     1448    847 |        0 |        0
65.77/65.84	c 65.8s |      19 |   801787 |   575882 |     1448    866 |        0 |        0
67.77/67.84	c 67.8s |      19 |   821046 |   590182 |     1448    884 |        0 |        0
69.77/69.86	c 69.8s |      19 |   840847 |   604882 |     1448    903 |        0 |        0
71.77/71.87	c 71.8s |      19 |   863244 |   620182 |     1448    922 |        0 |        0
73.78/73.88	c 73.9s |      19 |   886991 |   636282 |     1448    943 |        0 |        0
75.77/75.88	c 75.9s |      19 |   909816 |   652482 |     1448    963 |        0 |        0
77.67/77.72	c 77.7s |      20 |   930022 |   666827 |     1593    980 |        0 |        0
79.67/79.72	c 79.7s |      20 |   950400 |   683227 |     1593    998 |        0 |        0
81.67/81.74	c 81.7s |      20 |   970657 |   699527 |     1593   1015 |        0 |        0
83.68/83.75	c 83.7s |      20 |   991430 |   716127 |     1593   1034 |        0 |        0
85.67/85.75	c 85.7s |      20 |  1013565 |   733127 |     1593   1052 |        0 |        0
87.67/87.75	c 87.7s |      20 |  1035519 |   749527 |     1593   1070 |        0 |        0
89.67/89.76	c 89.7s |      20 |  1059085 |   767027 |     1593   1089 |        0 |        0
91.67/91.76	c 91.7s |      20 |  1080498 |   783527 |     1593   1107 |        0 |        0
93.67/93.78	c 93.8s |      20 |  1102913 |   800527 |     1593   1125 |        0 |        0
95.67/95.78	c 95.8s |      20 |  1125161 |   817727 |     1593   1144 |        0 |        0
97.67/97.79	c 97.8s |      20 |  1145797 |   833327 |     1593   1161 |        0 |        0
99.67/99.79	c 99.8s |      20 |  1166817 |   849427 |     1593   1179 |        0 |        0
101.67/101.79	c  101s |      20 |  1188275 |   866227 |     1593   1197 |        0 |        0
103.77/103.80	c  103s |      20 |  1209475 |   882427 |     1593   1215 |        0 |        0
105.77/105.80	c  105s |      20 |  1232698 |   899827 |     1593   1234 |        0 |        0
107.77/107.81	c  107s |      20 |  1253402 |   915727 |     1593   1252 |        0 |        0
109.77/109.82	c  109s |      20 |  1274987 |   932227 |     1593   1270 |        0 |        0
111.77/111.82	c  111s |      20 |  1296065 |   948327 |     1593   1287 |        0 |        0
113.76/113.83	c  113s |      20 |  1316722 |   964227 |     1593   1305 |        0 |        0
115.76/115.83	c  115s |      20 |  1338330 |   981027 |     1593   1323 |        0 |        0
117.77/117.83	c  117s |      20 |  1361773 |   998327 |     1753   1342 |        0 |        0
117.96/118.06	c  118s |      21 |  1364562 |  1000345 |     1753   1344 |        0 |        0
119.97/120.06	c  120s |      21 |  1384591 |  1015545 |     1753   1359 |        0 |        0
121.96/122.06	c  122s |      21 |  1405077 |  1031345 |     1753   1375 |        0 |        0
123.96/124.07	c  124s |      21 |  1426187 |  1047745 |     1753   1392 |        0 |        0
125.96/126.08	c  126s |      21 |  1447855 |  1064045 |     1753   1409 |        0 |        0
127.96/128.09	c  128s |      21 |  1467737 |  1079745 |     1753   1425 |        0 |        0
129.96/130.09	c  130s |      21 |  1490013 |  1095845 |     1753   1441 |        0 |        0
132.07/132.11	c  132s |      21 |  1511638 |  1111845 |     1753   1458 |        0 |        0
134.06/134.11	c  134s |      21 |  1533002 |  1127945 |     1753   1475 |        0 |        0
136.06/136.12	c  136s |      21 |  1555086 |  1144045 |     1753   1491 |        0 |        0
138.06/138.13	c  138s |      21 |  1576334 |  1159845 |     1753   1507 |        0 |        0
140.06/140.14	c  140s |      21 |  1598203 |  1176145 |     1753   1524 |        0 |        0
142.06/142.15	c  142s |      21 |  1619624 |  1192345 |     1753   1541 |        0 |        0
144.06/144.15	c  144s |      21 |  1638839 |  1207345 |     1753   1556 |        0 |        0
146.06/146.16	c  146s |      21 |  1657932 |  1221945 |     1753   1571 |        0 |        0
148.06/148.17	c  148s |      21 |  1677754 |  1237245 |     1753   1587 |        0 |        0
150.06/150.18	c  150s |      21 |  1698898 |  1253145 |     1753   1604 |        0 |        0
152.06/152.18	c  152s |      21 |  1719700 |  1268745 |     1753   1620 |        0 |        0
154.07/154.19	c  154s |      21 |  1739875 |  1284045 |     1753   1635 |        0 |        0
156.06/156.20	c  156s |      21 |  1760718 |  1299945 |     1753   1652 |        0 |        0
158.16/158.20	c  158s |      21 |  1783998 |  1316845 |     1753   1669 |        0 |        0
160.16/160.20	c  160s |      21 |  1804456 |  1332745 |     1753   1686 |        0 |        0
162.16/162.21	c  162s |      21 |  1828112 |  1349445 |     1753   1703 |        0 |        0
164.16/164.22	c  164s |      21 |  1849420 |  1365345 |     1753   1719 |        0 |        0
166.17/166.22	c  166s |      21 |  1870057 |  1381245 |     1753   1736 |        0 |        0
168.16/168.22	c  168s |      21 |  1892196 |  1397245 |     1753   1753 |        0 |        0
170.16/170.22	c  170s |      21 |  1915085 |  1413645 |     1753   1770 |        0 |        0
172.16/172.23	c  172s |      21 |  1935859 |  1429745 |     1753   1786 |        0 |        0
174.16/174.24	c  174s |      21 |  1957203 |  1445745 |     1753   1803 |        0 |        0
176.16/176.24	c  176s |      21 |  1978369 |  1461545 |     1753   1819 |        0 |        0
178.16/178.26	c  178s |      21 |  2001087 |  1478545 |     1753   1837 |        0 |        0
180.16/180.26	c  180s |      21 |  2022713 |  1494145 |     1929   1853 |        0 |        0
180.96/181.03	c  181s |      22 |  2031775 |  1500622 |     1929   1859 |        0 |        0
182.96/183.04	c  183s |      22 |  2050588 |  1515322 |     1929   1873 |        0 |        0
184.95/185.05	c  185s |      22 |  2070806 |  1529922 |     1929   1886 |        0 |        0
186.96/187.06	c  187s |      22 |  2089625 |  1544322 |     1929   1900 |        0 |        0
188.95/189.06	c  189s |      22 |  2110180 |  1559522 |     1929   1914 |        0 |        0
190.95/191.08	c  191s |      22 |  2129131 |  1574222 |     1929   1928 |        0 |        0
192.95/193.08	c  193s |      22 |  2149393 |  1589322 |     1929   1943 |        0 |        0
194.95/195.08	c  195s |      22 |  2169216 |  1604422 |     1929   1957 |        0 |        0
196.96/197.08	c  197s |      22 |  2189176 |  1619122 |     1929   1971 |        0 |        0
198.95/199.09	c  199s |      22 |  2207760 |  1633622 |     1929   1985 |        0 |        0
201.05/201.10	c  201s |      22 |  2228058 |  1648622 |     1929   1999 |        0 |        0
203.05/203.11	c  203s |      22 |  2248078 |  1664022 |     1929   2013 |        0 |        0
205.05/205.13	c  205s |      22 |  2267721 |  1678722 |     1929   2027 |        0 |        0
207.05/207.13	c  207s |      22 |  2287235 |  1693322 |     1929   2041 |        0 |        0
209.06/209.14	c  209s |      22 |  2308000 |  1708822 |     1929   2056 |        0 |        0
211.05/211.14	c  211s |      22 |  2327928 |  1724022 |     1929   2070 |        0 |        0
213.05/213.15	c  213s |      22 |  2348180 |  1739422 |     1929   2085 |        0 |        0
215.05/215.16	c  215s |      22 |  2369354 |  1754922 |     1929   2100 |        0 |        0
217.05/217.17	c  217s |      22 |  2389309 |  1770122 |     1929   2114 |        0 |        0
219.05/219.18	c  219s |      22 |  2407235 |  1783722 |     1929   2127 |        0 |        0
221.06/221.20	c  221s |      22 |  2429101 |  1799922 |     1929   2142 |        0 |        0
223.15/223.20	c  223s |      22 |  2447851 |  1814322 |     1929   2156 |        0 |        0
225.15/225.20	c  225s |      22 |  2468000 |  1829222 |     1929   2170 |        0 |        0
227.15/227.22	c  227s |      22 |  2488534 |  1845022 |     1929   2185 |        0 |        0
229.15/229.23	c  229s |      22 |  2509160 |  1860422 |     1929   2200 |        0 |        0
231.15/231.24	c  231s |      22 |  2528892 |  1875722 |     1929   2214 |        0 |        0
233.16/233.24	c  233s |      22 |  2550113 |  1891722 |     1929   2229 |        0 |        0
235.15/235.25	c  235s |      22 |  2568978 |  1906222 |     1929   2243 |        0 |        0
237.15/237.27	c  237s |      22 |  2584859 |  1918922 |     1929   2255 |        0 |        0
239.15/239.27	c  239s |      22 |  2601486 |  1932122 |     1929   2268 |        0 |        0
241.15/241.27	c  241s |      22 |  2619771 |  1946322 |     1929   2281 |        0 |        0
243.15/243.28	c  243s |      22 |  2639909 |  1961122 |     1929   2295 |        0 |        0
245.14/245.29	c  245s |      22 |  2658356 |  1975122 |     1929   2309 |        0 |        0
247.14/247.29	c  247s |      22 |  2678506 |  1990222 |     1929   2323 |        0 |        0
249.24/249.30	c  249s |      22 |  2696806 |  2004422 |     1929   2336 |        0 |        0
251.24/251.31	c  251s |      22 |  2716717 |  2019222 |     1929   2350 |        0 |        0
253.24/253.31	c  253s |      22 |  2735106 |  2033222 |     1929   2364 |        0 |        0
255.25/255.32	c  255s |      22 |  2757183 |  2049222 |     1929   2379 |        0 |        0
257.24/257.33	c  257s |      22 |  2775187 |  2063122 |     1929   2392 |        0 |        0
259.24/259.33	c  259s |      22 |  2794029 |  2077622 |     1929   2406 |        0 |        0
261.24/261.35	c  261s |      22 |  2811848 |  2091922 |     1929   2420 |        0 |        0
263.24/263.35	c  263s |      22 |  2831899 |  2106722 |     1929   2434 |        0 |        0
265.24/265.36	c  265s |      22 |  2851820 |  2121822 |     1929   2448 |        0 |        0
267.25/267.38	c  267s |      22 |  2870270 |  2136322 |     1929   2462 |        0 |        0
269.24/269.39	c  269s |      22 |  2888056 |  2150022 |     1929   2475 |        0 |        0
271.34/271.41	c  271s |      22 |  2907841 |  2164822 |     1929   2489 |        0 |        0
273.34/273.42	c  273s |      22 |  2927876 |  2179722 |     1929   2503 |        0 |        0
275.34/275.42	c  275s |      22 |  2949182 |  2195222 |     1929   2518 |        0 |        0
277.34/277.43	c  277s |      22 |  2970772 |  2211022 |     1929   2533 |        0 |        0
279.34/279.43	c  279s |      22 |  2989201 |  2225422 |     1929   2547 |        0 |        0
281.34/281.44	c  281s |      22 |  3003852 |  2238022 |     2122   2558 |        0 |        0
283.24/283.31	c  283s |      23 |  3020630 |  2251038 |     2122   2569 |        0 |        0
285.24/285.32	c  285s |      23 |  3040243 |  2265638 |     2122   2582 |        0 |        0
287.24/287.34	c  287s |      23 |  3061219 |  2281238 |     2122   2596 |        0 |        0
289.24/289.36	c  289s |      23 |  3079058 |  2295038 |     2122   2608 |        0 |        0
291.24/291.37	c  291s |      23 |  3099199 |  2310238 |     2122   2621 |        0 |        0
293.24/293.38	c  293s |      23 |  3117642 |  2324538 |     2122   2633 |        0 |        0
295.24/295.38	c  295s |      23 |  3137419 |  2339338 |     2122   2646 |        0 |        0
297.23/297.39	c  297s |      23 |  3155584 |  2353738 |     2122   2658 |        0 |        0
299.24/299.39	c  299s |      23 |  3176541 |  2369338 |     2122   2672 |        0 |        0
301.23/301.40	c  301s |      23 |  3196213 |  2384438 |     2122   2685 |        0 |        0
303.33/303.40	c  303s |      23 |  3215391 |  2399038 |     2122   2698 |        0 |        0
305.33/305.40	c  305s |      23 |  3234481 |  2413638 |     2122   2710 |        0 |        0
307.33/307.42	c  307s |      23 |  3253196 |  2428138 |     2122   2723 |        0 |        0
309.33/309.42	c  309s |      23 |  3272606 |  2443138 |     2122   2736 |        0 |        0
311.34/311.44	c  311s |      23 |  3291156 |  2457538 |     2122   2748 |        0 |        0
313.33/313.45	c  313s |      23 |  3309562 |  2471738 |     2122   2761 |        0 |        0
315.33/315.46	c  315s |      23 |  3328819 |  2486338 |     2122   2773 |        0 |        0
317.33/317.46	c  317s |      23 |  3348085 |  2500638 |     2122   2786 |        0 |        0
319.33/319.47	c  319s |      23 |  3368182 |  2515638 |     2122   2799 |        0 |        0
321.33/321.48	c  321s |      23 |  3388277 |  2530838 |     2122   2812 |        0 |        0
323.34/323.49	c  323s |      23 |  3407219 |  2545338 |     2122   2824 |        0 |        0
325.34/325.49	c  325s |      23 |  3427184 |  2560138 |     2122   2837 |        0 |        0
327.44/327.50	c  327s |      23 |  3446778 |  2575038 |     2122   2850 |        0 |        0
329.43/329.51	c  329s |      23 |  3465274 |  2589338 |     2122   2863 |        0 |        0
331.43/331.52	c  331s |      23 |  3484109 |  2603738 |     2122   2875 |        0 |        0
333.43/333.53	c  333s |      23 |  3503997 |  2618938 |     2122   2888 |        0 |        0
335.44/335.53	c  335s |      23 |  3524598 |  2634438 |     2122   2902 |        0 |        0
337.43/337.54	c  337s |      23 |  3545506 |  2649938 |     2122   2915 |        0 |        0
339.43/339.55	c  339s |      23 |  3565550 |  2664638 |     2122   2928 |        0 |        0
341.43/341.55	c  341s |      23 |  3584413 |  2678838 |     2122   2940 |        0 |        0
343.43/343.56	c  343s |      23 |  3603692 |  2693038 |     2122   2953 |        0 |        0
345.43/345.56	c  345s |      23 |  3620495 |  2706238 |     2122   2964 |        0 |        0
347.43/347.57	c  347s |      23 |  3638596 |  2719838 |     2122   2976 |        0 |        0
349.43/349.58	c  349s |      23 |  3656952 |  2734338 |     2122   2988 |        0 |        0
351.43/351.59	c  351s |      23 |  3675093 |  2748438 |     2122   3000 |        0 |        0
353.53/353.60	c  353s |      23 |  3692439 |  2762338 |     2122   3012 |        0 |        0
355.53/355.61	c  355s |      23 |  3710940 |  2776438 |     2122   3024 |        0 |        0
357.53/357.63	c  357s |      23 |  3728425 |  2791038 |     2122   3037 |        0 |        0
359.52/359.63	c  359s |      23 |  3749388 |  2806638 |     2122   3050 |        0 |        0
361.53/361.65	c  361s |      23 |  3767761 |  2820538 |     2122   3063 |        0 |        0
363.53/363.65	c  363s |      23 |  3789471 |  2836938 |     2122   3077 |        0 |        0
365.53/365.66	c  365s |      23 |  3809041 |  2852138 |     2122   3090 |        0 |        0
367.53/367.67	c  367s |      23 |  3827587 |  2866638 |     2122   3102 |        0 |        0
369.53/369.67	c  369s |      23 |  3847860 |  2881838 |     2122   3115 |        0 |        0
371.53/371.68	c  371s |      23 |  3866858 |  2896138 |     2122   3128 |        0 |        0
373.53/373.68	c  373s |      23 |  3886913 |  2911038 |     2122   3141 |        0 |        0
375.53/375.68	c  375s |      23 |  3905911 |  2925738 |     2122   3154 |        0 |        0
377.53/377.70	c  377s |      23 |  3924164 |  2939638 |     2122   3166 |        0 |        0
379.63/379.71	c  379s |      23 |  3943303 |  2954438 |     2122   3178 |        0 |        0
381.63/381.71	c  381s |      23 |  3961694 |  2968238 |     2122   3190 |        0 |        0
383.63/383.71	c  383s |      23 |  3979131 |  2982038 |     2122   3202 |        0 |        0
385.63/385.71	c  385s |      23 |  3998235 |  2996438 |     2122   3215 |        0 |        0
387.63/387.71	c  387s |      23 |  4017444 |  3010738 |     2122   3227 |        0 |        0
389.62/389.72	c  389s |      23 |  4036560 |  3025238 |     2122   3240 |        0 |        0
391.63/391.72	c  391s |      23 |  4053046 |  3038638 |     2122   3252 |        0 |        0
393.62/393.72	c  393s |      23 |  4070634 |  3052538 |     2122   3264 |        0 |        0
395.62/395.72	c  395s |      23 |  4090231 |  3066638 |     2122   3276 |        0 |        0
397.62/397.73	c  397s |      23 |  4106834 |  3079538 |     2122   3287 |        0 |        0
399.62/399.74	c  399s |      23 |  4123329 |  3092438 |     2122   3298 |        0 |        0
401.62/401.74	c  401s |      23 |  4141892 |  3106538 |     2122   3310 |        0 |        0
403.63/403.75	c  403s |      23 |  4159723 |  3120038 |     2122   3322 |        0 |        0
405.62/405.75	c  405s |      23 |  4179594 |  3134438 |     2122   3335 |        0 |        0
407.62/407.76	c  407s |      23 |  4198237 |  3148438 |     2122   3347 |        0 |        0
409.62/409.76	c  409s |      23 |  4217039 |  3162538 |     2122   3359 |        0 |        0
411.62/411.77	c  411s |      23 |  4233955 |  3176038 |     2122   3371 |        0 |        0
413.62/413.78	c  413s |      23 |  4251815 |  3189538 |     2122   3382 |        0 |        0
415.62/415.78	c  415s |      23 |  4268590 |  3202338 |     2122   3394 |        0 |        0
417.62/417.78	c  417s |      23 |  4286052 |  3215238 |     2122   3405 |        0 |        0
419.62/419.79	c  419s |      23 |  4303587 |  3228438 |     2122   3416 |        0 |        0
421.71/421.80	c  421s |      23 |  4321209 |  3241938 |     2122   3428 |        0 |        0
423.71/423.81	c  423s |      23 |  4338429 |  3255138 |     2122   3440 |        0 |        0
425.72/425.83	c  425s |      23 |  4357829 |  3269338 |     2122   3452 |        0 |        0
427.71/427.84	c  427s |      23 |  4374468 |  3282038 |     2122   3463 |        0 |        0
429.71/429.85	c  429s |      23 |  4393055 |  3295938 |     2122   3475 |        0 |        0
431.71/431.85	c  431s |      23 |  4410634 |  3309238 |     2122   3487 |        0 |        0
433.71/433.85	c  433s |      23 |  4428864 |  3322838 |     2122   3498 |        0 |        0
435.71/435.87	c  435s |      23 |  4447136 |  3336538 |     2122   3510 |        0 |        0
437.72/437.87	c  437s |      23 |  4464677 |  3349938 |     2122   3522 |        0 |        0
439.71/439.88	c  439s |      23 |  4480939 |  3362538 |     2335   3532 |        0 |        0
441.71/441.88	c  441s |      23 |  4498073 |  3375738 |     2335   3543 |        0 |        0
441.91/442.04	c  442s |      24 |  4499171 |  3376662 |     2335   3543 |        0 |        0
443.91/444.05	c  444s |      24 |  4518477 |  3390962 |     2335   3555 |        0 |        0
445.91/446.06	c  446s |      24 |  4537594 |  3405462 |     2335   3566 |        0 |        0
447.91/448.08	c  448s |      24 |  4557781 |  3420262 |     2335   3578 |        0 |        0
449.92/450.09	c  450s |      24 |  4576520 |  3434962 |     2335   3589 |        0 |        0
451.91/452.10	c  452s |      24 |  4595749 |  3449762 |     2335   3601 |        0 |        0
454.01/454.11	c  454s |      24 |  4614830 |  3464362 |     2335   3612 |        0 |        0
456.01/456.12	c  456s |      24 |  4634925 |  3479462 |     2335   3624 |        0 |        0
458.01/458.13	c  458s |      24 |  4652383 |  3493262 |     2335   3635 |        0 |        0
460.01/460.14	c  460s |      24 |  4671879 |  3507662 |     2335   3646 |        0 |        0
462.01/462.14	c  462s |      24 |  4688917 |  3520862 |     2335   3657 |        0 |        0
464.01/464.15	c  464s |      24 |  4706922 |  3534562 |     2335   3667 |        0 |        0
466.01/466.15	c  466s |      24 |  4726739 |  3549262 |     2335   3679 |        0 |        0
468.02/468.17	c  468s |      24 |  4744113 |  3562362 |     2335   3689 |        0 |        0
470.01/470.18	c  470s |      24 |  4763571 |  3576762 |     2335   3701 |        0 |        0
472.11/472.20	c  472s |      24 |  4781084 |  3590562 |     2335   3712 |        0 |        0
474.12/474.21	c  474s |      24 |  4799191 |  3604562 |     2335   3722 |        0 |        0
476.11/476.22	c  476s |      24 |  4816708 |  3617762 |     2335   3733 |        0 |        0
478.11/478.22	c  478s |      24 |  4834672 |  3631462 |     2335   3744 |        0 |        0
480.11/480.23	c  480s |      24 |  4855211 |  3646562 |     2335   3756 |        0 |        0
482.11/482.24	c  482s |      24 |  4874270 |  3661162 |     2335   3767 |        0 |        0
484.11/484.24	c  484s |      24 |  4893589 |  3675862 |     2335   3779 |        0 |        0
486.12/486.25	c  486s |      24 |  4910744 |  3689062 |     2335   3789 |        0 |        0
488.11/488.25	c  488s |      24 |  4930505 |  3704062 |     2335   3801 |        0 |        0
490.11/490.26	c  490s |      24 |  4950822 |  3719762 |     2335   3813 |        0 |        0
492.11/492.27	c  492s |      24 |  4969885 |  3734162 |     2335   3825 |        0 |        0
494.11/494.28	c  494s |      24 |  4988295 |  3748562 |     2335   3836 |        0 |        0
496.11/496.29	c  496s |      24 |  5008158 |  3763562 |     2335   3848 |        0 |        0
498.11/498.30	c  498s |      24 |  5026170 |  3777362 |     2335   3859 |        0 |        0
500.21/500.31	c  500s |      24 |  5043953 |  3790962 |     2335   3870 |        0 |        0
502.20/502.31	c  502s |      24 |  5062443 |  3804662 |     2335   3881 |        0 |        0
504.20/504.32	c  504s |      24 |  5080817 |  3818562 |     2335   3892 |        0 |        0
506.20/506.33	c  506s |      24 |  5097093 |  3831362 |     2335   3902 |        0 |        0
508.21/508.34	c  508s |      24 |  5113336 |  3843962 |     2335   3912 |        0 |        0
510.20/510.35	c  510s |      24 |  5129098 |  3856562 |     2335   3922 |        0 |        0
512.20/512.36	c  512s |      24 |  5145656 |  3869362 |     2335   3932 |        0 |        0
514.20/514.37	c  514s |      24 |  5160562 |  3881462 |     2335   3942 |        0 |        0
516.20/516.38	c  516s |      24 |  5177288 |  3894462 |     2335   3952 |        0 |        0
518.20/518.39	c  518s |      24 |  5195599 |  3907962 |     2335   3963 |        0 |        0
520.31/520.42	c  520s |      24 |  5211133 |  3920462 |     2335   3973 |        0 |        0
522.30/522.43	c  522s |      24 |  5227606 |  3932762 |     2335   3982 |        0 |        0
524.30/524.44	c  524s |      24 |  5244839 |  3946262 |     2335   3993 |        0 |        0
526.30/526.45	c  526s |      24 |  5262002 |  3959662 |     2335   4004 |        0 |        0
528.31/528.46	c  528s |      24 |  5279554 |  3973062 |     2335   4014 |        0 |        0
530.31/530.47	c  530s |      24 |  5295482 |  3985562 |     2335   4024 |        0 |        0
532.31/532.47	c  532s |      24 |  5312499 |  3998462 |     2335   4035 |        0 |        0
534.30/534.49	c  534s |      24 |  5328494 |  4010862 |     2335   4044 |        0 |        0
536.40/536.50	c  536s |      24 |  5345800 |  4024162 |     2335   4055 |        0 |        0
538.40/538.52	c  538s |      24 |  5363089 |  4037562 |     2335   4066 |        0 |        0
540.40/540.52	c  540s |      24 |  5377889 |  4049062 |     2335   4075 |        0 |        0
542.40/542.53	c  542s |      24 |  5395074 |  4061962 |     2335   4085 |        0 |        0
544.41/544.54	c  544s |      24 |  5413032 |  4075462 |     2335   4096 |        0 |        0
546.40/546.55	c  546s |      24 |  5430636 |  4089062 |     2335   4106 |        0 |        0
548.40/548.56	c  548s |      24 |  5446807 |  4101562 |     2335   4116 |        0 |        0
550.40/550.57	c  550s |      24 |  5462505 |  4114362 |     2335   4127 |        0 |        0
552.40/552.58	c  552s |      24 |  5479056 |  4126662 |     2335   4136 |        0 |        0
554.40/554.58	c  554s |      24 |  5496281 |  4139662 |     2335   4146 |        0 |        0
556.40/556.58	c  556s |      24 |  5513633 |  4152962 |     2335   4157 |        0 |        0
558.50/558.60	c  558s |      24 |  5530150 |  4165762 |     2335   4167 |        0 |        0
560.50/560.61	c  560s |      24 |  5547175 |  4178962 |     2335   4178 |        0 |        0
562.49/562.61	c  562s |      24 |  5564370 |  4192062 |     2335   4188 |        0 |        0
564.49/564.63	c  564s |      24 |  5580561 |  4204562 |     2335   4198 |        0 |        0
566.50/566.65	c  566s |      24 |  5596364 |  4216962 |     2335   4208 |        0 |        0
568.49/568.67	c  568s |      24 |  5613903 |  4230362 |     2335   4218 |        0 |        0
570.49/570.68	c  570s |      24 |  5630886 |  4242862 |     2335   4228 |        0 |        0
572.49/572.68	c  572s |      24 |  5647388 |  4255362 |     2335   4238 |        0 |        0
574.49/574.68	c  574s |      24 |  5662186 |  4267362 |     2335   4248 |        0 |        0
576.49/576.69	c  576s |      24 |  5677553 |  4279562 |     2335   4257 |        0 |        0
578.50/578.69	c  578s |      24 |  5694922 |  4293062 |     2335   4268 |        0 |        0
580.49/580.70	c  580s |      24 |  5710062 |  4305462 |     2335   4278 |        0 |        0
582.59/582.70	c  582s |      24 |  5725920 |  4318162 |     2335   4288 |        0 |        0
584.59/584.70	c  584s |      24 |  5742444 |  4330762 |     2335   4298 |        0 |        0
586.59/586.72	c  586s |      24 |  5758864 |  4343662 |     2335   4308 |        0 |        0
588.59/588.72	c  588s |      24 |  5776419 |  4356962 |     2335   4319 |        0 |        0
590.60/590.73	c  590s |      24 |  5792071 |  4369362 |     2335   4329 |        0 |        0
592.59/592.74	c  592s |      24 |  5808682 |  4381962 |     2335   4339 |        0 |        0
594.59/594.74	c  594s |      24 |  5824829 |  4394362 |     2335   4348 |        0 |        0
596.59/596.76	c  596s |      24 |  5840011 |  4406562 |     2335   4358 |        0 |        0
598.60/598.76	c  598s |      24 |  5853623 |  4417362 |     2335   4367 |        0 |        0
600.60/600.78	c  600s |      24 |  5868813 |  4429262 |     2335   4376 |        0 |        0
602.59/602.79	c  602s |      24 |  5883024 |  4440662 |     2335   4385 |        0 |        0
604.59/604.79	c  604s |      24 |  5898905 |  4452962 |     2335   4395 |        0 |        0
606.69/606.81	c  606s |      24 |  5914398 |  4465162 |     2335   4405 |        0 |        0
608.69/608.81	c  608s |      24 |  5928620 |  4477162 |     2335   4414 |        0 |        0
610.69/610.82	c  610s |      24 |  5944761 |  4489962 |     2335   4424 |        0 |        0
612.70/612.82	c  612s |      24 |  5963393 |  4504162 |     2335   4436 |        0 |        0
614.69/614.82	c  614s |      24 |  5981690 |  4518362 |     2335   4447 |        0 |        0
616.69/616.84	c  616s |      24 |  6001134 |  4532962 |     2335   4459 |        0 |        0
618.69/618.85	c  618s |      24 |  6020404 |  4547062 |     2335   4470 |        0 |        0
620.69/620.85	c  620s |      24 |  6040124 |  4561962 |     2335   4482 |        0 |        0
622.69/622.86	c  622s |      24 |  6058233 |  4575762 |     2335   4493 |        0 |        0
624.69/624.86	c  624s |      24 |  6075475 |  4588962 |     2335   4503 |        0 |        0
626.69/626.88	c  626s |      24 |  6093447 |  4603062 |     2335   4514 |        0 |        0
628.68/628.89	c  628s |      24 |  6111807 |  4617162 |     2335   4525 |        0 |        0
630.78/630.90	c  630s |      24 |  6127727 |  4629762 |     2335   4535 |        0 |        0
632.78/632.91	c  632s |      24 |  6145361 |  4643262 |     2335   4546 |        0 |        0
634.78/634.92	c  634s |      24 |  6162178 |  4656562 |     2335   4557 |        0 |        0
636.79/636.92	c  636s |      24 |  6179647 |  4670062 |     2335   4567 |        0 |        0
638.78/638.92	c  638s |      24 |  6199345 |  4684362 |     2335   4579 |        0 |        0
640.79/640.93	c  640s |      24 |  6218002 |  4698562 |     2335   4590 |        0 |        0
642.79/642.94	c  642s |      24 |  6236247 |  4712462 |     2335   4601 |        0 |        0
644.79/644.94	c  644s |      24 |  6252586 |  4725162 |     2335   4611 |        0 |        0
646.79/646.96	c  646s |      24 |  6269181 |  4738162 |     2335   4622 |        0 |        0
648.79/648.97	c  648s |      24 |  6287696 |  4752062 |     2335   4633 |        0 |        0
650.79/651.00	c  650s |      24 |  6305762 |  4765862 |     2335   4644 |        0 |        0
652.88/653.00	c  652s |      24 |  6321789 |  4778562 |     2335   4654 |        0 |        0
654.88/655.00	c  654s |      24 |  6338537 |  4791662 |     2335   4664 |        0 |        0
656.88/657.00	c  656s |      24 |  6355068 |  4804362 |     2335   4674 |        0 |        0
658.89/659.01	c  658s |      24 |  6371713 |  4817362 |     2335   4684 |        0 |        0
660.88/661.02	c  660s |      24 |  6387257 |  4829662 |     2335   4694 |        0 |        0
662.88/663.02	c  662s |      24 |  6404013 |  4842962 |     2335   4705 |        0 |        0
664.88/665.02	c  664s |      24 |  6420783 |  4856062 |     2335   4715 |        0 |        0
666.88/667.02	c  667s |      24 |  6438926 |  4869662 |     2335   4726 |        0 |        0
668.88/669.03	c  669s |      24 |  6455911 |  4882862 |     2335   4736 |        0 |        0
670.88/671.03	c  671s |      24 |  6472555 |  4896062 |     2335   4747 |        0 |        0
672.88/673.03	c  673s |      24 |  6491857 |  4910262 |     2335   4758 |        0 |        0
674.88/675.03	c  675s |      24 |  6508965 |  4923162 |     2335   4768 |        0 |        0
676.88/677.04	c  677s |      24 |  6527428 |  4937362 |     2335   4780 |        0 |        0
678.87/679.05	c  679s |      24 |  6544736 |  4950562 |     2335   4790 |        0 |        0
680.88/681.05	c  681s |      24 |  6561818 |  4963962 |     2335   4801 |        0 |        0
682.87/683.06	c  683s |      24 |  6578876 |  4976662 |     2335   4811 |        0 |        0
684.87/685.06	c  685s |      24 |  6595159 |  4989762 |     2335   4821 |        0 |        0
686.87/687.07	c  687s |      24 |  6611818 |  5002662 |     2335   4831 |        0 |        0
688.87/689.08	c  689s |      24 |  6625801 |  5013862 |     2335   4840 |        0 |        0
690.87/691.08	c  691s |      24 |  6641862 |  5026162 |     2335   4850 |        0 |        0
692.87/693.09	c  693s |      24 |  6658773 |  5038962 |     2569   4859 |        0 |        0
694.86/695.09	c  695s |      24 |  6675573 |  5052062 |     2569   4869 |        0 |        0
696.76/696.96	c  696s |      25 |  6693405 |  5065098 |     2569   4878 |        0 |        0
698.76/698.99	c  698s |      25 |  6708446 |  5077698 |     2569   4888 |        0 |        0
700.86/701.00	c  700s |      25 |  6727390 |  5091598 |     2569   4898 |        0 |        0
702.87/703.02	c  702s |      25 |  6745109 |  5105398 |     2569   4908 |        0 |        0
704.85/705.02	c  705s |      25 |  6762800 |  5118598 |     2569   4917 |        0 |        0
706.85/707.03	c  707s |      25 |  6781279 |  5132398 |     2569   4927 |        0 |        0
708.85/709.04	c  709s |      25 |  6799183 |  5146298 |     2569   4937 |        0 |        0
710.85/711.04	c  711s |      25 |  6816104 |  5159598 |     2569   4947 |        0 |        0
712.85/713.06	c  713s |      25 |  6835660 |  5174498 |     2569   4958 |        0 |        0
714.85/715.06	c  715s |      25 |  6855357 |  5189598 |     2569   4968 |        0 |        0
716.84/717.07	c  717s |      25 |  6873699 |  5204398 |     2569   4979 |        0 |        0
718.84/719.07	c  719s |      25 |  6894268 |  5219898 |     2569   4990 |        0 |        0
720.85/721.09	c  721s |      25 |  6914198 |  5235098 |     2569   5001 |        0 |        0
722.95/723.10	c  723s |      25 |  6933597 |  5249898 |     2569   5012 |        0 |        0
724.95/725.10	c  725s |      25 |  6951820 |  5264198 |     2569   5022 |        0 |        0
726.95/727.11	c  727s |      25 |  6972914 |  5279398 |     2569   5033 |        0 |        0
728.94/729.12	c  729s |      25 |  6994924 |  5295798 |     2569   5045 |        0 |        0
730.94/731.13	c  731s |      25 |  7016255 |  5311598 |     2569   5057 |        0 |        0
732.94/733.14	c  733s |      25 |  7037450 |  5327098 |     2569   5068 |        0 |        0
734.94/735.15	c  735s |      25 |  7054830 |  5340398 |     2569   5078 |        0 |        0
736.95/737.16	c  737s |      25 |  7070834 |  5352998 |     2569   5087 |        0 |        0
738.94/739.17	c  739s |      25 |  7085887 |  5365198 |     2569   5095 |        0 |        0
740.94/741.19	c  741s |      25 |  7102113 |  5377698 |     2569   5105 |        0 |        0
743.04/743.20	c  743s |      25 |  7119963 |  5391198 |     2569   5114 |        0 |        0
745.03/745.20	c  745s |      25 |  7137295 |  5404998 |     2569   5124 |        0 |        0
747.03/747.21	c  747s |      25 |  7152013 |  5416998 |     2569   5133 |        0 |        0
749.04/749.22	c  749s |      25 |  7170630 |  5430498 |     2569   5143 |        0 |        0
751.03/751.23	c  751s |      25 |  7187673 |  5443598 |     2569   5152 |        0 |        0
753.03/753.23	c  753s |      25 |  7204597 |  5456298 |     2569   5161 |        0 |        0
755.03/755.24	c  755s |      25 |  7221884 |  5469198 |     2569   5171 |        0 |        0
757.02/757.25	c  757s |      25 |  7239163 |  5482398 |     2569   5180 |        0 |        0
759.02/759.26	c  759s |      25 |  7255739 |  5494998 |     2569   5189 |        0 |        0
761.03/761.26	c  761s |      25 |  7272313 |  5507598 |     2569   5199 |        0 |        0
763.02/763.27	c  763s |      25 |  7288368 |  5520098 |     2569   5208 |        0 |        0
765.03/765.28	c  765s |      25 |  7304485 |  5532698 |     2569   5217 |        0 |        0
767.03/767.28	c  767s |      25 |  7320405 |  5545198 |     2569   5226 |        0 |        0
769.03/769.29	c  769s |      25 |  7337579 |  5558298 |     2569   5235 |        0 |        0
771.13/771.30	c  771s |      25 |  7354432 |  5571298 |     2569   5245 |        0 |        0
773.13/773.30	c  773s |      25 |  7371598 |  5584398 |     2569   5254 |        0 |        0
775.12/775.31	c  775s |      25 |  7389791 |  5597898 |     2569   5264 |        0 |        0
777.12/777.31	c  777s |      25 |  7409519 |  5612198 |     2569   5274 |        0 |        0
779.12/779.31	c  779s |      25 |  7428214 |  5626098 |     2569   5284 |        0 |        0
781.12/781.32	c  781s |      25 |  7446812 |  5640098 |     2569   5295 |        0 |        0
783.12/783.33	c  783s |      25 |  7464265 |  5653698 |     2569   5304 |        0 |        0
785.11/785.33	c  785s |      25 |  7480300 |  5666298 |     2569   5313 |        0 |        0
787.11/787.33	c  787s |      25 |  7498702 |  5679998 |     2569   5323 |        0 |        0
789.11/789.33	c  789s |      25 |  7518087 |  5694698 |     2569   5334 |        0 |        0
791.11/791.34	c  791s |      25 |  7535311 |  5708298 |     2569   5344 |        0 |        0
793.11/793.36	c  793s |      25 |  7552431 |  5721198 |     2569   5353 |        0 |        0
795.11/795.37	c  795s |      25 |  7569829 |  5734698 |     2569   5363 |        0 |        0
797.10/797.39	c  797s |      25 |  7589290 |  5749298 |     2569   5374 |        0 |        0
799.10/799.39	c  799s |      25 |  7608605 |  5764098 |     2569   5384 |        0 |        0
801.10/801.39	c  801s |      25 |  7625985 |  5777598 |     2569   5394 |        0 |        0
803.10/803.39	c  803s |      25 |  7642799 |  5790598 |     2569   5403 |        0 |        0
805.10/805.39	c  805s |      25 |  7661035 |  5804498 |     2569   5413 |        0 |        0
807.10/807.40	c  807s |      25 |  7677748 |  5817098 |     2569   5423 |        0 |        0
809.20/809.40	c  809s |      25 |  7696064 |  5831098 |     2569   5433 |        0 |        0
811.19/811.41	c  811s |      25 |  7714001 |  5844998 |     2569   5443 |        0 |        0
813.19/813.41	c  813s |      25 |  7732358 |  5858498 |     2569   5453 |        0 |        0
815.19/815.41	c  815s |      25 |  7751613 |  5872698 |     2569   5463 |        0 |        0
817.21/817.42	c  817s |      25 |  7770544 |  5886798 |     2569   5473 |        0 |        0
819.20/819.43	c  819s |      25 |  7788631 |  5900298 |     2569   5483 |        0 |        0
821.20/821.45	c  821s |      25 |  7808201 |  5914898 |     2569   5493 |        0 |        0
823.20/823.45	c  823s |      25 |  7824175 |  5927498 |     2569   5502 |        0 |        0
825.19/825.46	c  825s |      25 |  7841208 |  5940498 |     2569   5512 |        0 |        0
827.19/827.46	c  827s |      25 |  7858576 |  5953698 |     2569   5521 |        0 |        0
829.20/829.47	c  829s |      25 |  7876268 |  5967098 |     2569   5531 |        0 |        0
831.19/831.47	c  831s |      25 |  7894867 |  5980998 |     2569   5541 |        0 |        0
833.19/833.47	c  833s |      25 |  7914087 |  5995398 |     2569   5552 |        0 |        0
835.19/835.48	c  835s |      25 |  7931518 |  6008998 |     2569   5562 |        0 |        0
837.18/837.49	c  837s |      25 |  7948828 |  6022498 |     2569   5571 |        0 |        0
839.28/839.50	c  839s |      25 |  7968314 |  6037298 |     2569   5582 |        0 |        0
841.29/841.52	c  841s |      25 |  7986666 |  6051098 |     2569   5592 |        0 |        0
843.28/843.52	c  843s |      25 |  8006161 |  6066098 |     2569   5603 |        0 |        0
845.28/845.53	c  845s |      25 |  8027718 |  6081898 |     2569   5614 |        0 |        0
847.28/847.53	c  847s |      25 |  8049292 |  6097898 |     2569   5626 |        0 |        0
849.27/849.54	c  849s |      25 |  8070575 |  6113198 |     2569   5637 |        0 |        0
851.28/851.55	c  851s |      25 |  8089864 |  6127698 |     2569   5647 |        0 |        0
853.27/853.56	c  853s |      25 |  8109988 |  6142598 |     2569   5658 |        0 |        0
855.27/855.57	c  855s |      25 |  8128056 |  6156498 |     2569   5668 |        0 |        0
857.27/857.57	c  857s |      25 |  8147295 |  6171298 |     2569   5679 |        0 |        0
859.27/859.57	c  859s |      25 |  8166526 |  6185598 |     2569   5689 |        0 |        0
861.27/861.58	c  861s |      25 |  8184529 |  6199498 |     2569   5699 |        0 |        0
863.27/863.59	c  863s |      25 |  8203210 |  6213498 |     2569   5710 |        0 |        0
865.26/865.60	c  865s |      25 |  8221994 |  6227198 |     2569   5719 |        0 |        0
867.36/867.60	c  867s |      25 |  8240566 |  6241198 |     2569   5730 |        0 |        0
869.36/869.60	c  869s |      25 |  8259298 |  6255098 |     2569   5740 |        0 |        0
871.36/871.61	c  871s |      25 |  8278693 |  6269498 |     2569   5750 |        0 |        0
873.36/873.62	c  873s |      25 |  8298370 |  6283898 |     2569   5761 |        0 |        0
875.36/875.63	c  875s |      25 |  8316119 |  6297498 |     2569   5770 |        0 |        0
877.36/877.64	c  877s |      25 |  8334522 |  6311498 |     2569   5781 |        0 |        0
879.36/879.64	c  879s |      25 |  8353193 |  6325398 |     2569   5791 |        0 |        0
881.36/881.65	c  881s |      25 |  8372242 |  6339598 |     2569   5801 |        0 |        0
883.35/883.66	c  883s |      25 |  8389902 |  6352998 |     2569   5811 |        0 |        0
885.36/885.66	c  885s |      25 |  8406764 |  6366098 |     2569   5820 |        0 |        0
887.35/887.67	c  887s |      25 |  8423463 |  6378998 |     2569   5829 |        0 |        0
889.35/889.68	c  889s |      25 |  8438823 |  6391498 |     2569   5838 |        0 |        0
891.35/891.68	c  891s |      25 |  8455087 |  6404198 |     2569   5847 |        0 |        0
893.35/893.69	c  893s |      25 |  8472949 |  6417998 |     2569   5857 |        0 |        0
895.44/895.70	c  895s |      25 |  8490574 |  6431798 |     2569   5867 |        0 |        0
897.45/897.71	c  897s |      25 |  8507026 |  6444398 |     2569   5876 |        0 |        0
899.44/899.71	c  899s |      25 |  8525022 |  6457998 |     2569   5886 |        0 |        0
901.44/901.71	c  901s |      25 |  8543753 |  6472098 |     2569   5896 |        0 |        0
903.44/903.72	c  903s |      25 |  8560873 |  6485098 |     2569   5906 |        0 |        0
905.44/905.74	c  905s |      25 |  8577335 |  6497598 |     2569   5915 |        0 |        0
907.44/907.74	c  907s |      25 |  8593762 |  6510198 |     2569   5924 |        0 |        0
909.45/909.75	c  909s |      25 |  8610375 |  6523098 |     2569   5933 |        0 |        0
911.44/911.75	c  911s |      25 |  8626495 |  6535498 |     2569   5942 |        0 |        0
913.44/913.75	c  913s |      25 |  8642125 |  6547598 |     2569   5951 |        0 |        0
915.44/915.76	c  915s |      25 |  8659997 |  6560998 |     2569   5960 |        0 |        0
917.44/917.76	c  917s |      25 |  8675393 |  6573298 |     2569   5969 |        0 |        0
919.44/919.78	c  919s |      25 |  8692404 |  6586298 |     2569   5979 |        0 |        0
921.44/921.78	c  921s |      25 |  8708459 |  6598798 |     2569   5988 |        0 |        0
923.54/923.80	c  923s |      25 |  8725335 |  6611698 |     2569   5997 |        0 |        0
925.53/925.81	c  925s |      25 |  8743882 |  6625098 |     2569   6007 |        0 |        0
927.53/927.81	c  927s |      25 |  8761275 |  6638498 |     2569   6016 |        0 |        0
929.53/929.81	c  929s |      25 |  8780108 |  6652398 |     2569   6026 |        0 |        0
931.54/931.82	c  931s |      25 |  8796925 |  6665098 |     2569   6036 |        0 |        0
933.53/933.83	c  933s |      25 |  8813895 |  6678098 |     2569   6045 |        0 |        0
935.53/935.85	c  935s |      25 |  8828857 |  6689898 |     2569   6054 |        0 |        0
937.53/937.87	c  937s |      25 |  8844939 |  6702498 |     2569   6063 |        0 |        0
939.53/939.87	c  939s |      25 |  8859687 |  6714398 |     2569   6071 |        0 |        0
941.53/941.87	c  941s |      25 |  8876149 |  6726998 |     2569   6080 |        0 |        0
943.53/943.88	c  943s |      25 |  8892353 |  6739598 |     2569   6089 |        0 |        0
945.52/945.88	c  945s |      25 |  8909236 |  6752398 |     2569   6099 |        0 |        0
947.52/947.89	c  947s |      25 |  8925325 |  6764898 |     2569   6108 |        0 |        0
949.62/949.91	c  949s |      25 |  8941965 |  6777698 |     2569   6117 |        0 |        0
951.62/951.92	c  951s |      25 |  8957852 |  6789998 |     2569   6126 |        0 |        0
953.62/953.92	c  953s |      25 |  8973978 |  6802298 |     2569   6135 |        0 |        0
955.62/955.92	c  955s |      25 |  8988405 |  6813698 |     2569   6143 |        0 |        0
957.61/957.94	c  957s |      25 |  9002619 |  6825298 |     2569   6151 |        0 |        0
959.61/959.95	c  959s |      25 |  9017209 |  6837198 |     2569   6160 |        0 |        0
961.61/961.95	c  961s |      25 |  9031750 |  6849098 |     2569   6169 |        0 |        0
963.61/963.96	c  963s |      25 |  9047370 |  6861398 |     2569   6178 |        0 |        0
965.61/965.97	c  965s |      25 |  9063555 |  6873798 |     2569   6186 |        0 |        0
967.60/967.98	c  967s |      25 |  9079303 |  6886098 |     2569   6195 |        0 |        0
969.70/970.00	c  969s |      25 |  9096101 |  6898798 |     2569   6205 |        0 |        0
971.70/972.01	c  971s |      25 |  9111478 |  6910998 |     2569   6213 |        0 |        0
973.70/974.01	c  973s |      25 |  9126737 |  6923098 |     2569   6222 |        0 |        0
975.70/976.03	c  976s |      25 |  9140098 |  6933798 |     2569   6230 |        0 |        0
977.70/978.03	c  978s |      25 |  9154818 |  6945298 |     2569   6238 |        0 |        0
979.69/980.04	c  980s |      25 |  9169173 |  6956898 |     2569   6246 |        0 |        0
981.69/982.05	c  982s |      25 |  9184871 |  6969098 |     2569   6255 |        0 |        0
983.69/984.06	c  984s |      25 |  9198988 |  6980698 |     2569   6264 |        0 |        0
985.69/986.08	c  986s |      25 |  9213540 |  6992498 |     2569   6272 |        0 |        0
987.69/988.08	c  988s |      25 |  9229491 |  7005398 |     2569   6281 |        0 |        0
989.80/990.11	c  990s |      25 |  9246170 |  7017898 |     2569   6291 |        0 |        0
991.79/992.12	c  992s |      25 |  9260158 |  7029398 |     2569   6299 |        0 |        0
993.79/994.13	c  994s |      25 |  9274833 |  7041298 |     2569   6307 |        0 |        0
995.79/996.14	c  996s |      25 |  9290862 |  7053598 |     2569   6316 |        0 |        0
997.79/998.15	c  998s |      25 |  9304820 |  7065198 |     2569   6325 |        0 |        0
999.79/1000.15	c 1000s |      25 |  9321004 |  7077698 |     2569   6334 |        0 |        0
1001.80/1002.17	c 1002s |      25 |  9337464 |  7090598 |     2569   6343 |        0 |        0
1003.79/1004.18	c 1004s |      25 |  9354545 |  7103498 |     2569   6352 |        0 |        0
1005.78/1006.19	c 1006s |      25 |  9371414 |  7116298 |     2569   6362 |        0 |        0
1007.88/1008.20	c 1008s |      25 |  9388991 |  7129298 |     2569   6371 |        0 |        0
1009.88/1010.21	c 1010s |      25 |  9405718 |  7141898 |     2569   6380 |        0 |        0
1011.88/1012.22	c 1012s |      25 |  9422269 |  7154698 |     2569   6390 |        0 |        0
1013.89/1014.23	c 1014s |      25 |  9438904 |  7167998 |     2569   6399 |        0 |        0
1015.88/1016.23	c 1016s |      25 |  9455481 |  7181098 |     2569   6409 |        0 |        0
1017.88/1018.23	c 1018s |      25 |  9473806 |  7194598 |     2569   6418 |        0 |        0
1019.88/1020.24	c 1020s |      25 |  9491446 |  7207598 |     2569   6428 |        0 |        0
1021.87/1022.24	c 1022s |      25 |  9509904 |  7221198 |     2569   6438 |        0 |        0
1023.88/1024.26	c 1024s |      25 |  9528634 |  7235098 |     2569   6448 |        0 |        0
1025.87/1026.26	c 1026s |      25 |  9546995 |  7248698 |     2569   6458 |        0 |        0
1027.87/1028.27	c 1028s |      25 |  9565571 |  7262198 |     2569   6468 |        0 |        0
1029.87/1030.28	c 1030s |      25 |  9582175 |  7275198 |     2569   6477 |        0 |        0
1031.97/1032.30	c 1032s |      25 |  9599691 |  7288398 |     2569   6487 |        0 |        0
1033.97/1034.31	c 1034s |      25 |  9616230 |  7301298 |     2569   6496 |        0 |        0
1035.97/1036.31	c 1036s |      25 |  9631085 |  7313098 |     2569   6504 |        0 |        0
1037.96/1038.32	c 1038s |      25 |  9647063 |  7325398 |     2569   6513 |        0 |        0
1039.96/1040.32	c 1040s |      25 |  9664047 |  7338198 |     2569   6523 |        0 |        0
1041.96/1042.32	c 1042s |      25 |  9680676 |  7351098 |     2569   6532 |        0 |        0
1043.96/1044.34	c 1044s |      25 |  9696758 |  7364098 |     2569   6541 |        0 |        0
1045.95/1046.34	c 1046s |      25 |  9713802 |  7377298 |     2569   6551 |        0 |        0
1047.96/1048.35	c 1048s |      25 |  9730623 |  7390198 |     2569   6560 |        0 |        0
1049.95/1050.35	c 1050s |      25 |  9747783 |  7403498 |     2569   6570 |        0 |        0
1051.95/1052.37	c 1052s |      25 |  9764625 |  7416598 |     2569   6579 |        0 |        0
1053.95/1054.38	c 1054s |      25 |  9781225 |  7429198 |     2569   6588 |        0 |        0
1055.94/1056.39	c 1056s |      25 |  9796729 |  7441598 |     2569   6597 |        0 |        0
1057.95/1058.39	c 1058s |      25 |  9813434 |  7453998 |     2569   6606 |        0 |        0
1059.94/1060.39	c 1060s |      25 |  9831493 |  7467398 |     2569   6616 |        0 |        0
1062.04/1062.41	c 1062s |      25 |  9846538 |  7479498 |     2569   6625 |        0 |        0
1064.04/1064.42	c 1064s |      25 |  9863125 |  7492398 |     2569   6634 |        0 |        0
1066.03/1066.43	c 1066s |      25 |  9881169 |  7505898 |     2569   6644 |        0 |        0
1068.04/1068.43	c 1068s |      25 |  9899461 |  7519898 |     2569   6654 |        0 |        0
1070.05/1070.45	c 1070s |      25 |  9915739 |  7532698 |     2569   6663 |        0 |        0
1072.04/1072.45	c 1072s |      25 |  9932597 |  7545598 |     2826   6672 |        0 |        0
1074.04/1074.45	c 1074s |      25 |  9948053 |  7557698 |     2826   6680 |        0 |        0
1076.04/1076.47	c 1076s |      25 |  9965981 |  7570798 |     2826   6689 |        0 |        0
1078.04/1078.47	c 1078s |      25 |  9981932 |  7583398 |     2826   6697 |        0 |        0
1080.04/1080.47	c 1080s |      25 |  9998375 |  7595998 |     2826   6706 |        0 |        0
1080.34/1080.75	c 1080s |      26 | 10000665 |  7597752 |     2826   6707 |        0 |        0
1082.34/1082.75	c 1082s |      26 | 10017527 |  7610852 |     2826   6715 |        0 |        0
1084.34/1084.76	c 1084s |      26 | 10034362 |  7624252 |     2826   6724 |        0 |        0
1086.33/1086.77	c 1086s |      26 | 10051593 |  7637552 |     2826   6733 |        0 |        0
1088.33/1088.78	c 1088s |      26 | 10070484 |  7651452 |     2826   6742 |        0 |        0
1090.33/1090.79	c 1090s |      26 | 10088180 |  7665252 |     2826   6751 |        0 |        0
1092.43/1092.80	c 1092s |      26 | 10105978 |  7679152 |     2826   6761 |        0 |        0
1094.43/1094.82	c 1094s |      26 | 10123358 |  7692352 |     2826   6769 |        0 |        0
1096.43/1096.84	c 1096s |      26 | 10141632 |  7706152 |     2826   6779 |        0 |        0
1098.43/1098.84	c 1098s |      26 | 10158404 |  7719652 |     2826   6787 |        0 |        0
1100.43/1100.84	c 1100s |      26 | 10175551 |  7733052 |     2826   6796 |        0 |        0
1102.42/1102.87	c 1102s |      26 | 10191934 |  7745652 |     2826   6805 |        0 |        0
1104.42/1104.88	c 1104s |      26 | 10209196 |  7758952 |     2826   6813 |        0 |        0
1106.42/1106.88	c 1106s |      26 | 10226245 |  7772152 |     2826   6822 |        0 |        0
1108.42/1108.89	c 1108s |      26 | 10241529 |  7784752 |     2826   6830 |        0 |        0
1110.42/1110.89	c 1110s |      26 | 10257698 |  7797152 |     2826   6838 |        0 |        0
1112.52/1112.90	c 1112s |      26 | 10273844 |  7809652 |     2826   6847 |        0 |        0
1114.51/1114.91	c 1114s |      26 | 10290964 |  7823152 |     2826   6856 |        0 |        0
1116.51/1116.92	c 1116s |      26 | 10308261 |  7836152 |     2826   6864 |        0 |        0
1118.51/1118.93	c 1118s |      26 | 10325289 |  7849452 |     2826   6873 |        0 |        0
1120.52/1120.95	c 1120s |      26 | 10340882 |  7861952 |     2826   6881 |        0 |        0
1122.51/1122.96	c 1122s |      26 | 10356073 |  7874252 |     2826   6889 |        0 |        0
1124.50/1124.97	c 1124s |      26 | 10371585 |  7886852 |     2826   6898 |        0 |        0
1126.50/1126.97	c 1126s |      26 | 10387331 |  7899452 |     2826   6906 |        0 |        0
1128.50/1128.97	c 1128s |      26 | 10403950 |  7911952 |     2826   6914 |        0 |        0
1130.51/1130.99	c 1130s |      26 | 10420440 |  7925152 |     2826   6923 |        0 |        0
1132.51/1133.00	c 1132s |      26 | 10436686 |  7938052 |     2826   6931 |        0 |        0
1134.61/1135.01	c 1134s |      26 | 10454577 |  7951752 |     2826   6941 |        0 |        0
1136.61/1137.02	c 1136s |      26 | 10473313 |  7966052 |     2826   6950 |        0 |        0
1138.60/1139.02	c 1138s |      26 | 10488701 |  7978152 |     2826   6958 |        0 |        0
1140.60/1141.03	c 1141s |      26 | 10505986 |  7991252 |     2826   6967 |        0 |        0
1142.61/1143.04	c 1143s |      26 | 10522524 |  8004452 |     2826   6975 |        0 |        0
1144.60/1145.04	c 1145s |      26 | 10540059 |  8017952 |     2826   6984 |        0 |        0
1146.60/1147.05	c 1147s |      26 | 10556888 |  8031152 |     2826   6993 |        0 |        0
1148.60/1149.06	c 1149s |      26 | 10575905 |  8045352 |     2826   7003 |        0 |        0
1150.60/1151.06	c 1151s |      26 | 10595584 |  8059952 |     2826   7012 |        0 |        0
1152.59/1153.06	c 1153s |      26 | 10613283 |  8073252 |     2826   7021 |        0 |        0
1154.60/1155.06	c 1155s |      26 | 10630897 |  8086852 |     2826   7030 |        0 |        0
1156.59/1157.07	c 1157s |      26 | 10648874 |  8100752 |     2826   7039 |        0 |        0
1158.59/1159.08	c 1159s |      26 | 10665411 |  8113852 |     2826   7048 |        0 |        0
1160.59/1161.09	c 1161s |      26 | 10681330 |  8126152 |     2826   7056 |        0 |        0
1162.59/1163.09	c 1163s |      26 | 10694998 |  8136952 |     2826   7063 |        0 |        0
1164.69/1165.10	c 1165s |      26 | 10710337 |  8148652 |     2826   7071 |        0 |        0
1166.69/1167.11	c 1167s |      26 | 10728335 |  8162052 |     2826   7080 |        0 |        0
1168.68/1169.11	c 1169s |      26 | 10743244 |  8174352 |     2826   7088 |        0 |        0
1170.68/1171.12	c 1171s |      26 | 10760995 |  8188052 |     2826   7097 |        0 |        0
1172.68/1173.13	c 1173s |      26 | 10779242 |  8201752 |     2826   7106 |        0 |        0
1174.68/1175.13	c 1175s |      26 | 10797232 |  8215452 |     2826   7115 |        0 |        0
1176.69/1177.14	c 1177s |      26 | 10815308 |  8228952 |     2826   7124 |        0 |        0
1178.69/1179.14	c 1179s |      26 | 10830431 |  8240752 |     2826   7132 |        0 |        0
1180.69/1181.14	c 1181s |      26 | 10847483 |  8253652 |     2826   7141 |        0 |        0
1182.69/1183.16	c 1183s |      26 | 10863358 |  8266452 |     2826   7149 |        0 |        0
1184.68/1185.16	c 1185s |      26 | 10879780 |  8279652 |     2826   7158 |        0 |        0
1186.68/1187.17	c 1187s |      26 | 10897962 |  8293352 |     2826   7167 |        0 |        0
1188.69/1189.18	c 1189s |      26 | 10916244 |  8306552 |     2826   7176 |        0 |        0
1190.68/1191.18	c 1191s |      26 | 10934751 |  8320452 |     2826   7185 |        0 |        0
1192.78/1193.20	c 1193s |      26 | 10948597 |  8332252 |     2826   7193 |        0 |        0
1194.77/1195.20	c 1195s |      26 | 10963152 |  8343252 |     2826   7201 |        0 |        0
1196.77/1197.21	c 1197s |      26 | 10978965 |  8355252 |     2826   7209 |        0 |        0
1198.77/1199.21	c 1199s |      26 | 10994975 |  8367752 |     2826   7217 |        0 |        0
1200.78/1201.23	c 1201s |      26 | 11011430 |  8380152 |     2826   7225 |        0 |        0
1202.77/1203.24	c 1203s |      26 | 11026362 |  8391852 |     2826   7233 |        0 |        0
1204.76/1205.26	c 1205s |      26 | 11042533 |  8404152 |     2826   7241 |        0 |        0
1206.76/1207.28	c 1207s |      26 | 11059407 |  8416752 |     2826   7250 |        0 |        0
1208.76/1209.29	c 1209s |      26 | 11076120 |  8429652 |     2826   7259 |        0 |        0
1210.77/1211.29	c 1211s |      26 | 11093632 |  8442452 |     2826   7267 |        0 |        0
1212.76/1213.30	c 1213s |      26 | 11110307 |  8454952 |     2826   7276 |        0 |        0
1214.86/1215.30	c 1215s |      26 | 11127271 |  8467452 |     2826   7284 |        0 |        0
1216.86/1217.31	c 1217s |      26 | 11142995 |  8479652 |     2826   7292 |        0 |        0
1218.86/1219.33	c 1219s |      26 | 11159238 |  8492052 |     2826   7300 |        0 |        0
1220.86/1221.34	c 1221s |      26 | 11176307 |  8504752 |     2826   7309 |        0 |        0
1222.87/1223.34	c 1223s |      26 | 11191492 |  8516352 |     2826   7317 |        0 |        0
1224.85/1225.35	c 1225s |      26 | 11207168 |  8528352 |     2826   7325 |        0 |        0
1226.85/1227.35	c 1227s |      26 | 11224003 |  8541052 |     2826   7333 |        0 |        0
1228.85/1229.36	c 1229s |      26 | 11239157 |  8553052 |     2826   7341 |        0 |        0
1230.85/1231.37	c 1231s |      26 | 11255591 |  8565352 |     2826   7350 |        0 |        0
1232.85/1233.37	c 1233s |      26 | 11273837 |  8578752 |     2826   7359 |        0 |        0
1234.85/1235.37	c 1235s |      26 | 11291036 |  8591452 |     2826   7367 |        0 |        0
1236.85/1237.38	c 1237s |      26 | 11308588 |  8604452 |     2826   7376 |        0 |        0
1238.85/1239.39	c 1239s |      26 | 11328517 |  8619252 |     2826   7386 |        0 |        0
1240.95/1241.40	c 1241s |      26 | 11347193 |  8633352 |     2826   7395 |        0 |        0
1242.95/1243.40	c 1243s |      26 | 11365972 |  8647552 |     2826   7405 |        0 |        0
1244.94/1245.41	c 1245s |      26 | 11383595 |  8661652 |     2826   7414 |        0 |        0
1246.95/1247.42	c 1247s |      26 | 11401072 |  8675052 |     2826   7423 |        0 |        0
1248.94/1249.43	c 1249s |      26 | 11420250 |  8688952 |     2826   7432 |        0 |        0
1250.94/1251.43	c 1251s |      26 | 11439448 |  8703352 |     2826   7442 |        0 |        0
1252.94/1253.45	c 1253s |      26 | 11455700 |  8716352 |     2826   7451 |        0 |        0
1254.93/1255.45	c 1255s |      26 | 11474531 |  8730652 |     2826   7460 |        0 |        0
1256.94/1257.46	c 1257s |      26 | 11493380 |  8744752 |     2826   7470 |        0 |        0
1258.93/1259.47	c 1259s |      26 | 11510116 |  8757752 |     2826   7478 |        0 |        0
1260.93/1261.47	c 1261s |      26 | 11528013 |  8771152 |     2826   7487 |        0 |        0
1262.93/1263.48	c 1263s |      26 | 11545669 |  8784852 |     2826   7497 |        0 |        0
1264.93/1265.49	c 1265s |      26 | 11560290 |  8796652 |     2826   7504 |        0 |        0
1267.03/1267.51	c 1267s |      26 | 11576497 |  8809252 |     2826   7513 |        0 |        0
1269.04/1269.51	c 1269s |      26 | 11593126 |  8822052 |     2826   7521 |        0 |        0
1271.03/1271.51	c 1271s |      26 | 11608900 |  8834252 |     2826   7530 |        0 |        0
1273.03/1273.52	c 1273s |      26 | 11625094 |  8846352 |     2826   7538 |        0 |        0
1275.02/1275.53	c 1275s |      26 | 11642464 |  8859552 |     2826   7547 |        0 |        0
1277.02/1277.54	c 1277s |      26 | 11660560 |  8873752 |     2826   7556 |        0 |        0
1279.02/1279.55	c 1279s |      26 | 11677168 |  8886652 |     2826   7565 |        0 |        0
1281.03/1281.56	c 1281s |      26 | 11693489 |  8899552 |     2826   7573 |        0 |        0
1283.02/1283.56	c 1283s |      26 | 11711078 |  8912952 |     2826   7582 |        0 |        0
1285.02/1285.58	c 1285s |      26 | 11728612 |  8925952 |     2826   7591 |        0 |        0
1287.02/1287.58	c 1287s |      26 | 11744648 |  8938352 |     2826   7599 |        0 |        0
1289.12/1289.60	c 1289s |      26 | 11759673 |  8950452 |     2826   7607 |        0 |        0
1291.12/1291.60	c 1291s |      26 | 11774617 |  8962152 |     2826   7615 |        0 |        0
1293.12/1293.61	c 1293s |      26 | 11789926 |  8974152 |     2826   7623 |        0 |        0
1295.11/1295.61	c 1295s |      26 | 11805962 |  8986452 |     2826   7631 |        0 |        0
1297.11/1297.62	c 1297s |      26 | 11821483 |  8998652 |     2826   7639 |        0 |        0
1299.11/1299.64	c 1299s |      26 | 11835734 |  9009952 |     2826   7647 |        0 |        0
1301.11/1301.65	c 1301s |      26 | 11850813 |  9021452 |     2826   7654 |        0 |        0
1303.12/1303.67	c 1303s |      26 | 11866303 |  9032752 |     2826   7662 |        0 |        0
1305.11/1305.67	c 1305s |      26 | 11881290 |  9044752 |     2826   7670 |        0 |        0
1307.11/1307.67	c 1307s |      26 | 11896336 |  9056452 |     2826   7678 |        0 |        0
1309.11/1309.68	c 1309s |      26 | 11911924 |  9068352 |     2826   7686 |        0 |        0
1311.10/1311.69	c 1311s |      26 | 11926601 |  9080152 |     2826   7694 |        0 |        0
1313.20/1313.71	c 1313s |      26 | 11940907 |  9091552 |     2826   7701 |        0 |        0
1315.21/1315.73	c 1315s |      26 | 11957267 |  9103952 |     2826   7710 |        0 |        0
1317.20/1317.74	c 1317s |      26 | 11973627 |  9116452 |     2826   7718 |        0 |        0
1319.20/1319.74	c 1319s |      26 | 11988440 |  9127952 |     2826   7726 |        0 |        0
1321.20/1321.75	c 1321s |      26 | 12004099 |  9139852 |     2826   7734 |        0 |        0
1323.20/1323.76	c 1323s |      26 | 12019859 |  9151652 |     2826   7741 |        0 |        0
1325.20/1325.77	c 1325s |      26 | 12036285 |  9163752 |     2826   7750 |        0 |        0
1327.21/1327.77	c 1327s |      26 | 12050833 |  9175152 |     2826   7757 |        0 |        0
1329.20/1329.78	c 1329s |      26 | 12067809 |  9187652 |     2826   7766 |        0 |        0
1331.30/1331.80	c 1331s |      26 | 12082817 |  9199552 |     2826   7774 |        0 |        0
1333.30/1333.81	c 1333s |      26 | 12098368 |  9211452 |     2826   7781 |        0 |        0
1335.30/1335.82	c 1335s |      26 | 12113566 |  9223452 |     2826   7790 |        0 |        0
1337.31/1337.85	c 1337s |      26 | 12128639 |  9235252 |     2826   7797 |        0 |        0
1339.32/1339.85	c 1339s |      26 | 12143046 |  9246752 |     2826   7805 |        0 |        0
1341.31/1341.86	c 1341s |      26 | 12160056 |  9259952 |     2826   7814 |        0 |        0
1343.31/1343.86	c 1343s |      26 | 12176352 |  9272352 |     2826   7822 |        0 |        0
1345.31/1345.87	c 1345s |      26 | 12191746 |  9284352 |     2826   7830 |        0 |        0
1347.31/1347.88	c 1347s |      26 | 12209980 |  9298052 |     2826   7839 |        0 |        0
1349.31/1349.88	c 1349s |      26 | 12226623 |  9310252 |     2826   7847 |        0 |        0
1351.31/1351.89	c 1351s |      26 | 12241983 |  9322152 |     2826   7855 |        0 |        0
1353.41/1353.91	c 1353s |      26 | 12259321 |  9335352 |     2826   7864 |        0 |        0
1355.41/1355.91	c 1355s |      26 | 12276204 |  9347952 |     2826   7873 |        0 |        0
1357.40/1357.92	c 1357s |      26 | 12292277 |  9360352 |     2826   7881 |        0 |        0
1359.40/1359.92	c 1359s |      26 | 12307950 |  9372552 |     2826   7889 |        0 |        0
1361.41/1361.94	c 1361s |      26 | 12322970 |  9384352 |     2826   7897 |        0 |        0
1363.40/1363.94	c 1363s |      26 | 12336452 |  9395152 |     2826   7904 |        0 |        0
1365.40/1365.94	c 1365s |      26 | 12353154 |  9407652 |     2826   7912 |        0 |        0
1367.40/1367.95	c 1367s |      26 | 12368356 |  9419152 |     2826   7920 |        0 |        0
1369.40/1369.96	c 1369s |      26 | 12384814 |  9431452 |     2826   7928 |        0 |        0
1371.40/1371.96	c 1371s |      26 | 12400963 |  9443652 |     2826   7937 |        0 |        0
1373.41/1373.97	c 1373s |      26 | 12416211 |  9455352 |     2826   7944 |        0 |        0
1375.40/1375.97	c 1375s |      26 | 12430657 |  9466652 |     2826   7952 |        0 |        0
1377.40/1377.98	c 1377s |      26 | 12446596 |  9478552 |     2826   7960 |        0 |        0
1379.40/1380.00	c 1379s |      26 | 12460959 |  9489752 |     2826   7968 |        0 |        0
1381.50/1382.00	c 1381s |      26 | 12474681 |  9500652 |     2826   7975 |        0 |        0
1383.50/1384.01	c 1383s |      26 | 12490235 |  9512452 |     2826   7983 |        0 |        0
1385.50/1386.02	c 1385s |      26 | 12504822 |  9523752 |     2826   7990 |        0 |        0
1387.50/1388.02	c 1387s |      26 | 12518615 |  9534552 |     2826   7997 |        0 |        0
1389.50/1390.02	c 1390s |      26 | 12532618 |  9545552 |     2826   8005 |        0 |        0
1391.50/1392.04	c 1392s |      26 | 12548436 |  9557252 |     2826   8013 |        0 |        0
1393.50/1394.05	c 1394s |      26 | 12564910 |  9569452 |     2826   8021 |        0 |        0
1395.50/1396.05	c 1396s |      26 | 12578753 |  9580352 |     2826   8028 |        0 |        0
1397.50/1398.07	c 1398s |      26 | 12593367 |  9591452 |     2826   8036 |        0 |        0
1399.50/1400.08	c 1400s |      26 | 12607339 |  9602452 |     2826   8043 |        0 |        0
1401.60/1402.11	c 1402s |      26 | 12622266 |  9613952 |     2826   8051 |        0 |        0
1403.59/1404.12	c 1404s |      26 | 12638246 |  9626052 |     2826   8059 |        0 |        0
1405.59/1406.12	c 1406s |      26 | 12654169 |  9638252 |     2826   8067 |        0 |        0
1407.60/1408.13	c 1408s |      26 | 12671909 |  9651752 |     2826   8076 |        0 |        0
1409.59/1410.13	c 1410s |      26 | 12687733 |  9664452 |     2826   8084 |        0 |        0
1411.59/1412.15	c 1412s |      26 | 12700769 |  9674752 |     2826   8091 |        0 |        0
1413.59/1414.15	c 1414s |      26 | 12714867 |  9685852 |     2826   8098 |        0 |        0
1415.59/1416.17	c 1416s |      26 | 12729002 |  9697052 |     2826   8106 |        0 |        0
1417.59/1418.18	c 1418s |      26 | 12743833 |  9709052 |     2826   8113 |        0 |        0
1419.60/1420.18	c 1420s |      26 | 12758919 |  9720752 |     2826   8121 |        0 |        0
1421.59/1422.18	c 1422s |      26 | 12774279 |  9732552 |     2826   8129 |        0 |        0
1423.59/1424.19	c 1424s |      26 | 12790719 |  9744952 |     2826   8137 |        0 |        0
1425.69/1426.20	c 1426s |      26 | 12807311 |  9757452 |     2826   8145 |        0 |        0
1427.69/1428.20	c 1428s |      26 | 12821594 |  9768952 |     2826   8153 |        0 |        0
1429.69/1430.22	c 1430s |      26 | 12838727 |  9781752 |     2826   8162 |        0 |        0
1431.70/1432.22	c 1432s |      26 | 12856965 |  9795052 |     2826   8170 |        0 |        0
1433.69/1434.23	c 1434s |      26 | 12874223 |  9807852 |     2826   8179 |        0 |        0
1435.69/1436.24	c 1436s |      26 | 12891166 |  9820752 |     2826   8187 |        0 |        0
1437.69/1438.25	c 1438s |      26 | 12906308 |  9832352 |     2826   8195 |        0 |        0
1439.69/1440.25	c 1440s |      26 | 12923344 |  9845052 |     2826   8204 |        0 |        0
1441.69/1442.26	c 1442s |      26 | 12939452 |  9857652 |     2826   8212 |        0 |        0
1443.69/1444.27	c 1444s |      26 | 12955637 |  9869952 |     2826   8220 |        0 |        0
1445.69/1446.27	c 1446s |      26 | 12971796 |  9882152 |     2826   8228 |        0 |        0
1447.69/1448.28	c 1448s |      26 | 12987858 |  9894352 |     2826   8236 |        0 |        0
1449.79/1450.30	c 1450s |      26 | 13004186 |  9906852 |     2826   8245 |        0 |        0
1451.79/1452.30	c 1452s |      26 | 13020085 |  9918852 |     2826   8253 |        0 |        0
1453.79/1454.30	c 1454s |      26 | 13036444 |  9931052 |     2826   8261 |        0 |        0
1455.78/1456.31	c 1456s |      26 | 13052702 |  9943452 |     2826   8269 |        0 |        0
1457.78/1458.31	c 1458s |      26 | 13068050 |  9955352 |     2826   8277 |        0 |        0
1459.78/1460.32	c 1460s |      26 | 13084400 |  9968152 |     2826   8285 |        0 |        0
1461.78/1462.35	c 1462s |      26 | 13100794 |  9980552 |     2826   8294 |        0 |        0
1463.78/1464.36	c 1464s |      26 | 13115455 |  9991852 |     2826   8301 |        0 |        0
1465.79/1466.36	c 1466s |      26 | 13129643 | 10002852 |     2826   8309 |        0 |        0
1467.78/1468.38	c 1468s |      26 | 13143465 | 10013852 |     2826   8316 |        0 |        0
1469.78/1470.39	c 1470s |      26 | 13159477 | 10025952 |     2826   8324 |        0 |        0
1471.88/1472.40	c 1472s |      26 | 13177222 | 10039152 |     2826   8333 |        0 |        0
1473.88/1474.40	c 1474s |      26 | 13194671 | 10052052 |     2826   8341 |        0 |        0
1475.88/1476.42	c 1476s |      26 | 13212887 | 10065452 |     2826   8350 |        0 |        0
1477.89/1478.43	c 1478s |      26 | 13230573 | 10078452 |     2826   8359 |        0 |        0
1479.88/1480.43	c 1480s |      26 | 13244435 | 10089552 |     2826   8366 |        0 |        0
1481.88/1482.44	c 1482s |      26 | 13260680 | 10101952 |     2826   8374 |        0 |        0
1483.88/1484.45	c 1484s |      26 | 13276914 | 10114752 |     2826   8383 |        0 |        0
1485.88/1486.46	c 1486s |      26 | 13293898 | 10127552 |     2826   8391 |        0 |        0
1487.89/1488.47	c 1488s |      26 | 13310069 | 10139952 |     2826   8400 |        0 |        0
1489.88/1490.47	c 1490s |      26 | 13326158 | 10152252 |     2826   8408 |        0 |        0
1491.88/1492.48	c 1492s |      26 | 13343020 | 10164952 |     2826   8416 |        0 |        0
1493.88/1494.49	c 1494s |      26 | 13356323 | 10175552 |     2826   8424 |        0 |        0
1495.98/1496.51	c 1496s |      26 | 13371086 | 10186852 |     2826   8431 |        0 |        0
1497.98/1498.51	c 1498s |      26 | 13384815 | 10197652 |     2826   8438 |        0 |        0
1499.98/1500.53	c 1500s |      26 | 13398672 | 10208752 |     2826   8446 |        0 |        0
1501.98/1502.53	c 1502s |      26 | 13412441 | 10219852 |     2826   8453 |        0 |        0
1503.98/1504.54	c 1504s |      26 | 13427368 | 10231552 |     2826   8461 |        0 |        0
1505.98/1506.55	c 1506s |      26 | 13443079 | 10243352 |     2826   8469 |        0 |        0
1507.97/1508.57	c 1508s |      26 | 13458296 | 10255152 |     2826   8477 |        0 |        0
1509.97/1510.58	c 1510s |      26 | 13474392 | 10267152 |     2826   8485 |        0 |        0
1511.98/1512.59	c 1512s |      26 | 13490285 | 10279352 |     2826   8493 |        0 |        0
1514.07/1514.60	c 1514s |      26 | 13504631 | 10290652 |     2826   8500 |        0 |        0
1516.07/1516.60	c 1516s |      26 | 13518575 | 10301452 |     2826   8508 |        0 |        0
1518.07/1518.62	c 1518s |      26 | 13534170 | 10313652 |     2826   8516 |        0 |        0
1520.07/1520.65	c 1520s |      26 | 13548625 | 10325352 |     2826   8524 |        0 |        0
1522.07/1522.67	c 1522s |      26 | 13563833 | 10337052 |     2826   8531 |        0 |        0
1524.08/1524.69	c 1524s |      26 | 13577252 | 10347752 |     2826   8539 |        0 |        0
1526.17/1526.70	c 1526s |      26 | 13591078 | 10358752 |     2826   8546 |        0 |        0
1528.17/1528.71	c 1528s |      26 | 13605302 | 10369852 |     2826   8553 |        0 |        0
1530.17/1530.71	c 1530s |      26 | 13619855 | 10381052 |     2826   8561 |        0 |        0
1532.17/1532.72	c 1532s |      26 | 13635089 | 10392852 |     2826   8569 |        0 |        0
1534.17/1534.73	c 1534s |      26 | 13649702 | 10404352 |     2826   8576 |        0 |        0
1536.18/1536.74	c 1536s |      26 | 13664592 | 10416052 |     2826   8584 |        0 |        0
1538.18/1538.74	c 1538s |      26 | 13680628 | 10428352 |     2826   8592 |        0 |        0
1540.18/1540.74	c 1540s |      26 | 13696553 | 10440552 |     2826   8601 |        0 |        0
1542.18/1542.77	c 1542s |      26 | 13709200 | 10450952 |     2826   8608 |        0 |        0
1544.18/1544.78	c 1544s |      26 | 13723448 | 10462052 |     2826   8615 |        0 |        0
1546.18/1546.79	c 1546s |      26 | 13737883 | 10473052 |     2826   8622 |        0 |        0
1548.18/1548.80	c 1548s |      26 | 13754134 | 10485052 |     2826   8630 |        0 |        0
1550.28/1550.80	c 1550s |      26 | 13769534 | 10497052 |     2826   8638 |        0 |        0
1552.28/1552.81	c 1552s |      26 | 13784594 | 10508552 |     2826   8646 |        0 |        0
1554.27/1554.82	c 1554s |      26 | 13799854 | 10520352 |     2826   8654 |        0 |        0
1556.27/1556.82	c 1556s |      26 | 13815136 | 10531752 |     2826   8662 |        0 |        0
1558.28/1558.83	c 1558s |      26 | 13830547 | 10543452 |     2826   8669 |        0 |        0
1560.27/1560.84	c 1560s |      26 | 13846251 | 10555452 |     2826   8678 |        0 |        0
1562.27/1562.87	c 1562s |      26 | 13862111 | 10567352 |     2826   8686 |        0 |        0
1564.27/1564.88	c 1564s |      26 | 13877832 | 10579252 |     2826   8693 |        0 |        0
1566.27/1566.88	c 1566s |      26 | 13892574 | 10590652 |     2826   8701 |        0 |        0
1568.27/1568.89	c 1568s |      26 | 13906360 | 10601452 |     2826   8708 |        0 |        0
1570.28/1570.90	c 1570s |      26 | 13921937 | 10613352 |     2826   8716 |        0 |        0
1572.37/1572.92	c 1572s |      26 | 13937718 | 10625552 |     2826   8725 |        0 |        0
1574.37/1574.93	c 1574s |      26 | 13952106 | 10636652 |     2826   8732 |        0 |        0
1576.37/1576.94	c 1576s |      26 | 13966369 | 10647652 |     2826   8739 |        0 |        0
1578.37/1578.94	c 1578s |      26 | 13981185 | 10658852 |     2826   8747 |        0 |        0
1580.37/1580.95	c 1580s |      26 | 13996322 | 10670552 |     2826   8755 |        0 |        0
1582.38/1582.95	c 1582s |      26 | 14011026 | 10681952 |     2826   8762 |        0 |        0
1584.37/1584.97	c 1584s |      26 | 14025508 | 10693352 |     2826   8770 |        0 |        0
1586.37/1586.98	c 1586s |      26 | 14040660 | 10705152 |     2826   8778 |        0 |        0
1588.37/1589.00	c 1588s |      26 | 14054740 | 10716452 |     2826   8786 |        0 |        0
1590.47/1591.02	c 1590s |      26 | 14070023 | 10728452 |     2826   8794 |        0 |        0
1592.47/1593.03	c 1593s |      26 | 14085983 | 10740952 |     2826   8802 |        0 |        0
1594.47/1595.05	c 1595s |      26 | 14101031 | 10752952 |     2826   8810 |        0 |        0
1596.47/1597.07	c 1597s |      26 | 14113697 | 10762952 |     2826   8817 |        0 |        0
1598.47/1599.08	c 1599s |      26 | 14127264 | 10773352 |     2826   8824 |        0 |        0
1600.47/1601.09	c 1601s |      26 | 14141825 | 10784652 |     2826   8831 |        0 |        0
1602.57/1603.10	c 1603s |      26 | 14155644 | 10795652 |     2826   8838 |        0 |        0
1604.57/1605.11	c 1605s |      26 | 14170705 | 10807252 |     2826   8846 |        0 |        0
1606.57/1607.11	c 1607s |      26 | 14185152 | 10818452 |     2826   8854 |        0 |        0
1608.56/1609.12	c 1609s |      26 | 14199287 | 10829552 |     2826   8861 |        0 |        0
1610.56/1611.14	c 1611s |      26 | 14213268 | 10840552 |     2826   8869 |        0 |        0
1612.56/1613.15	c 1613s |      26 | 14227963 | 10852052 |     2826   8876 |        0 |        0
1614.56/1615.15	c 1615s |      26 | 14244295 | 10864652 |     2826   8885 |        0 |        0
1616.57/1617.16	c 1617s |      26 | 14261428 | 10878052 |     2826   8894 |        0 |        0
1618.56/1619.16	c 1619s |      26 | 14275290 | 10889652 |     2826   8901 |        0 |        0
1620.56/1621.17	c 1621s |      26 | 14290563 | 10901752 |     2826   8909 |        0 |        0
1622.56/1623.17	c 1623s |      26 | 14305266 | 10913552 |     2826   8917 |        0 |        0
1624.56/1625.18	c 1625s |      26 | 14321109 | 10925552 |     2826   8925 |        0 |        0
1626.56/1627.19	c 1627s |      26 | 14336707 | 10937852 |     2826   8933 |        0 |        0
1628.57/1629.20	c 1629s |      26 | 14351607 | 10949352 |     2826   8941 |        0 |        0
1630.66/1631.21	c 1631s |      26 | 14366321 | 10961052 |     2826   8949 |        0 |        0
1632.66/1633.22	c 1633s |      26 | 14383223 | 10973852 |     2826   8957 |        0 |        0
1634.66/1635.22	c 1635s |      26 | 14399788 | 10986652 |     2826   8966 |        0 |        0
1636.66/1637.22	c 1637s |      26 | 14415970 | 10998852 |     2826   8974 |        0 |        0
1638.66/1639.23	c 1639s |      26 | 14432146 | 11011152 |     2826   8982 |        0 |        0
1640.66/1641.24	c 1641s |      26 | 14449020 | 11024052 |     2826   8990 |        0 |        0
1642.65/1643.25	c 1643s |      26 | 14465542 | 11036752 |     2826   8999 |        0 |        0
1644.65/1645.25	c 1645s |      26 | 14481073 | 11048852 |     2826   9007 |        0 |        0
1646.65/1647.27	c 1647s |      26 | 14496728 | 11060852 |     2826   9015 |        0 |        0
1648.65/1649.28	c 1649s |      26 | 14512676 | 11072952 |     2826   9023 |        0 |        0
1650.66/1651.29	c 1651s |      26 | 14528232 | 11084952 |     2826   9031 |        0 |        0
1652.76/1653.30	c 1653s |      26 | 14543380 | 11096952 |     2826   9039 |        0 |        0
1654.75/1655.31	c 1655s |      26 | 14559125 | 11108852 |     2826   9047 |        0 |        0
1656.76/1657.31	c 1657s |      26 | 14574475 | 11121152 |     2826   9055 |        0 |        0
1658.76/1659.33	c 1659s |      26 | 14591316 | 11133852 |     2826   9063 |        0 |        0
1660.76/1661.34	c 1661s |      26 | 14604719 | 11144452 |     2826   9070 |        0 |        0
1662.77/1663.35	c 1663s |      26 | 14619000 | 11155252 |     2826   9078 |        0 |        0
1664.76/1665.35	c 1665s |      26 | 14632811 | 11165952 |     2826   9085 |        0 |        0
1666.76/1667.36	c 1667s |      26 | 14647202 | 11177052 |     2826   9092 |        0 |        0
1668.76/1669.38	c 1669s |      26 | 14661104 | 11188052 |     2826   9100 |        0 |        0
1670.76/1671.38	c 1671s |      26 | 14675531 | 11199052 |     2826   9107 |        0 |        0
1672.76/1673.38	c 1673s |      26 | 14691125 | 11210752 |     2826   9115 |        0 |        0
1674.76/1675.38	c 1675s |      26 | 14708631 | 11223852 |     2826   9124 |        0 |        0
1676.76/1677.39	c 1677s |      26 | 14725352 | 11236752 |     2826   9132 |        0 |        0
1678.85/1679.40	c 1679s |      26 | 14742360 | 11249552 |     2826   9141 |        0 |        0
1680.85/1681.41	c 1681s |      26 | 14757453 | 11261352 |     2826   9149 |        0 |        0
1682.85/1683.42	c 1683s |      26 | 14772988 | 11273252 |     2826   9156 |        0 |        0
1684.85/1685.42	c 1685s |      26 | 14788678 | 11285452 |     2826   9165 |        0 |        0
1686.86/1687.43	c 1687s |      26 | 14805282 | 11297952 |     2826   9173 |        0 |        0
1688.85/1689.44	c 1689s |      26 | 14821145 | 11310352 |     2826   9181 |        0 |        0
1690.85/1691.45	c 1691s |      26 | 14837493 | 11322752 |     3109   9189 |        0 |        0
1692.85/1693.46	c 1693s |      26 | 14852634 | 11334652 |     3109   9196 |        0 |        0
1694.85/1695.46	c 1695s |      26 | 14867652 | 11346352 |     3109   9204 |        0 |        0
1696.85/1697.46	c 1697s |      26 | 14883331 | 11358252 |     3109   9211 |        0 |        0
1698.85/1699.46	c 1699s |      26 | 14897632 | 11369252 |     3109   9218 |        0 |        0
1700.85/1701.47	c 1701s |      26 | 14912123 | 11379952 |     3109   9224 |        0 |        0
1702.85/1703.49	c 1703s |      26 | 14924776 | 11390052 |     3109   9230 |        0 |        0
1704.25/1704.80	c 1704s |      27 | 14933610 | 11396733 |     3109   9234 |        0 |        0
1706.24/1706.81	c 1706s |      27 | 14949371 | 11408633 |     3109   9242 |        0 |        0
1708.25/1708.82	c 1708s |      27 | 14962895 | 11419333 |     3109   9248 |        0 |        0
1710.25/1710.82	c 1710s |      27 | 14977932 | 11430533 |     3109   9255 |        0 |        0
1712.26/1712.82	c 1712s |      27 | 14992334 | 11441533 |     3109   9262 |        0 |        0
1714.25/1714.84	c 1714s |      27 | 15006946 | 11452733 |     3109   9269 |        0 |        0
1716.25/1716.85	c 1716s |      27 | 15019883 | 11462833 |     3109   9275 |        0 |        0
1718.25/1718.87	c 1718s |      27 | 15034751 | 11473633 |     3109   9282 |        0 |        0
1720.25/1720.89	c 1720s |      27 | 15049163 | 11484733 |     3109   9289 |        0 |        0
1722.35/1722.91	c 1722s |      27 | 15063078 | 11495533 |     3109   9295 |        0 |        0
1724.36/1724.92	c 1724s |      27 | 15076858 | 11506233 |     3109   9302 |        0 |        0
1726.35/1726.93	c 1726s |      27 | 15090645 | 11516933 |     3109   9309 |        0 |        0
1728.35/1728.94	c 1728s |      27 | 15104546 | 11527933 |     3109   9315 |        0 |        0
1730.35/1730.95	c 1730s |      27 | 15119505 | 11539133 |     3109   9322 |        0 |        0
1732.34/1732.95	c 1732s |      27 | 15133666 | 11549933 |     3109   9329 |        0 |        0
1734.34/1734.96	c 1734s |      27 | 15148544 | 11561333 |     3109   9336 |        0 |        0
1736.35/1736.97	c 1736s |      27 | 15164741 | 11573233 |     3109   9344 |        0 |        0
1738.34/1738.97	c 1738s |      27 | 15178464 | 11584233 |     3109   9350 |        0 |        0
1740.34/1740.99	c 1740s |      27 | 15193250 | 11595733 |     3109   9358 |        0 |        0
1742.34/1742.99	c 1742s |      27 | 15207758 | 11606833 |     3109   9364 |        0 |        0
1744.44/1745.02	c 1744s |      27 | 15220611 | 11616833 |     3109   9371 |        0 |        0
1746.44/1747.02	c 1746s |      27 | 15235564 | 11627933 |     3109   9377 |        0 |        0
1748.45/1749.02	c 1748s |      27 | 15251354 | 11639633 |     3109   9385 |        0 |        0
1750.44/1751.03	c 1751s |      27 | 15267341 | 11651333 |     3109   9392 |        0 |        0
1752.44/1753.04	c 1753s |      27 | 15281784 | 11662433 |     3109   9399 |        0 |        0
1754.44/1755.05	c 1755s |      27 | 15296244 | 11673633 |     3109   9406 |        0 |        0
1756.44/1757.06	c 1757s |      27 | 15310386 | 11684433 |     3109   9412 |        0 |        0
1758.45/1759.06	c 1759s |      27 | 15324031 | 11695233 |     3109   9419 |        0 |        0
1760.44/1761.06	c 1761s |      27 | 15339499 | 11706833 |     3109   9426 |        0 |        0
1762.44/1763.08	c 1763s |      27 | 15355405 | 11718733 |     3109   9433 |        0 |        0
1764.44/1765.08	c 1765s |      27 | 15371315 | 11730833 |     3109   9441 |        0 |        0
1766.44/1767.08	c 1767s |      27 | 15387219 | 11742833 |     3109   9448 |        0 |        0
1768.54/1769.10	c 1769s |      27 | 15401644 | 11754233 |     3109   9455 |        0 |        0
1770.54/1771.11	c 1771s |      27 | 15416656 | 11766233 |     3109   9463 |        0 |        0
1772.54/1773.11	c 1773s |      27 | 15431209 | 11777433 |     3109   9470 |        0 |        0
1774.54/1775.12	c 1775s |      27 | 15445803 | 11788833 |     3109   9477 |        0 |        0
1776.54/1777.13	c 1777s |      27 | 15461697 | 11800733 |     3109   9484 |        0 |        0
1778.53/1779.14	c 1779s |      27 | 15476233 | 11812033 |     3109   9491 |        0 |        0
1780.53/1781.16	c 1781s |      27 | 15492190 | 11823933 |     3109   9498 |        0 |        0
1782.54/1783.16	c 1783s |      27 | 15507792 | 11835633 |     3109   9505 |        0 |        0
1784.53/1785.16	c 1785s |      27 | 15522192 | 11846833 |     3109   9512 |        0 |        0
1786.53/1787.17	c 1787s |      27 | 15536755 | 11858333 |     3109   9520 |        0 |        0
1788.53/1789.19	c 1789s |      27 | 15551379 | 11869733 |     3109   9527 |        0 |        0
1790.64/1791.20	c 1791s |      27 | 15566726 | 11881533 |     3109   9534 |        0 |        0
1792.64/1793.22	c 1793s |      27 | 15581579 | 11892733 |     3109   9540 |        0 |        0
1794.65/1795.24	c 1795s |      27 | 15595887 | 11904033 |     3109   9547 |        0 |        0
1796.64/1797.24	c 1797s |      27 | 15610691 | 11915333 |     3109   9554 |        0 |        0
1798.64/1799.25	c 1799s |      27 | 15626587 | 11927033 |     3109   9562 |        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-4122298-1467316424/watcher-4122298-1467316424 -o /tmp/evaluation-result-4122298-1467316424/solver-4122298-1467316424 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1467316318-5401 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122298-1467316424.opb 

pid=5726
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: 1.88 1.52 1.68 3/179 5729
/proc/meminfo: memFree=29337288/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/5729/stat : 5729 (runsolver) D 5726 5729 2752 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 1 0 2322998 24911872 152 33554432000 4194304 4338465 140737199828112 140737199825752 213866335415 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/5729/statm: 6082 152 105 36 0 2655 0

[startup+0.10012 s]
/proc/loadavg: 1.88 1.52 1.68 3/179 5729
/proc/meminfo: memFree=29337288/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 23482 0 0 0 5 3 0 0 20 0 4 0 2322998 1247350784 23832 33554432000 4194304 16246674 140735459671328 140735459670752 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 304529 23841 709 2943 0 301423 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200311 s]
/proc/loadavg: 1.88 1.52 1.68 3/179 5729
/proc/meminfo: memFree=29337288/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 45260 0 0 0 12 6 0 0 20 0 4 0 2322998 1247350784 45610 33554432000 4194304 16246674 140735459671328 140735459670752 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 304529 45618 709 2943 0 301423 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300332 s]
/proc/loadavg: 1.88 1.52 1.68 3/179 5729
/proc/meminfo: memFree=29337288/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 66720 0 0 0 19 9 0 0 20 0 4 0 2322998 1247350784 67069 33554432000 4194304 16246674 140735459671328 140735459670752 6023792 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 304529 67077 709 2943 0 301423 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700282 s]
/proc/loadavg: 1.88 1.52 1.68 3/179 5729
/proc/meminfo: memFree=29337288/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 155461 0 0 0 46 22 0 0 20 0 4 0 2322998 1247350784 155810 33554432000 4194304 16246674 140735459671328 140735459670752 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 304529 155820 709 2943 0 301423 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50034 s]
/proc/loadavg: 1.88 1.52 1.68 3/183 5733
/proc/meminfo: memFree=28370116/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1220164 CPUtime=1.48 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 245808 0 0 0 112 36 0 0 20 0 4 0 2322998 1249447936 246137 33554432000 4194304 16246674 140735459671328 140735459670640 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 305041 246137 783 2943 0 301935 0
[pid=5729/tid=5731] ppid=5726 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1249447936 246137 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1249447936 246137 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1249447936 246137 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1220164

[startup+3.10034 s]
/proc/loadavg: 1.88 1.52 1.68 3/183 5733
/proc/meminfo: memFree=28268304/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1307204 CPUtime=3.08 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 267488 0 0 0 268 40 0 0 20 0 4 0 2322998 1338576896 267817 33554432000 4194304 16246674 140735459671328 140735459654328 5722849 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 326801 267817 783 2943 0 323695 0
[pid=5729/tid=5731] ppid=5726 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1338576896 267817 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1338576896 267817 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1338576896 267817 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30036 s]
/proc/loadavg: 1.89 1.53 1.68 3/183 5733
/proc/meminfo: memFree=28265196/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1308228 CPUtime=6.28 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 267903 0 0 0 588 40 0 0 20 0 4 0 2322998 1339625472 268232 33554432000 4194304 16246674 140735459671328 140735459653248 5523307 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 327057 268232 784 2943 0 323951 0
[pid=5729/tid=5731] ppid=5726 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1339625472 268232 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1339625472 268232 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1339625472 268232 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 1.90 1.53 1.69 4/183 5733
/proc/meminfo: memFree=28264360/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 268078 0 0 0 1228 40 0 0 20 0 4 0 2322998 1339625472 268407 33554432000 4194304 16246674 140735459671328 140735459653248 5669364 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 327057 268407 784 2943 0 323951 0
[pid=5729/tid=5731] ppid=5726 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1339625472 268407 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1339625472 268407 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1339625472 268407 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 1.92 1.56 1.69 3/183 5733
/proc/meminfo: memFree=28264968/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 268079 0 0 0 2508 40 0 0 20 0 4 0 2322998 1339625472 268408 33554432000 4194304 16246674 140735459671328 140735459653248 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 327057 268408 785 2943 0 323951 0
[pid=5729/tid=5731] ppid=5726 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1339625472 268408 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1339625472 268408 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1339625472 268408 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 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.00 1.61 1.70 3/183 5733
/proc/meminfo: memFree=28264692/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1308228 CPUtime=51.07 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 268079 0 0 0 5066 41 0 0 20 0 4 0 2322998 1339625472 268408 33554432000 4194304 16246674 140735459671328 140735459653248 5523076 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 327057 268408 785 2943 0 323951 0
[pid=5729/tid=5731] ppid=5726 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1339625472 268408 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1339625472 268408 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1339625472 268408 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.11 1.70 1.73 4/183 5734
/proc/meminfo: memFree=28263372/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1309252 CPUtime=102.28 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 268338 0 0 0 10186 42 0 0 20 0 4 0 2322998 1340674048 268667 33554432000 4194304 16246674 140735459671328 140735459654328 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 327313 268667 788 2943 0 324207 0
[pid=5729/tid=5731] ppid=5726 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1340674048 268667 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1340674048 268667 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1340674048 268667 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252

[startup+162.3 s]
/proc/loadavg: 2.04 1.75 1.74 3/183 5735
/proc/meminfo: memFree=28263280/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1309252 CPUtime=162.26 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 268338 0 0 0 16183 43 0 0 20 0 4 0 2322998 1340674048 268667 33554432000 4194304 16246674 140735459671328 140735459654328 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 327313 268667 788 2943 0 324207 0
[pid=5729/tid=5731] ppid=5726 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1340674048 268667 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1340674048 268667 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1340674048 268667 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1309252

[startup+222.307 s]
/proc/loadavg: 2.11 1.82 1.76 3/183 5736
/proc/meminfo: memFree=28262196/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1310276 CPUtime=222.26 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 268561 0 0 0 22182 44 0 0 20 0 4 0 2322998 1341722624 268890 33554432000 4194304 16246674 140735459671328 140735459653248 5677884 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 327569 268890 788 2943 0 324463 0
[pid=5729/tid=5731] ppid=5726 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1341722624 268890 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1341722624 268890 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1341722624 268890 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1310276


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

/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.16 2.06 1.94 3/183 5788
/proc/meminfo: memFree=28254220/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1314372 CPUtime=1301.81 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 270087 0 0 0 130122 59 0 0 20 0 4 0 2322998 1345916928 269951 33554432000 4194304 16246674 140735459671328 140735459653248 5822536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 328593 269951 789 2943 0 325487 0
[pid=5729/tid=5731] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 1.94 4/183 5789
/proc/meminfo: memFree=28254560/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1314372 CPUtime=1361.8 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 270097 0 0 0 136120 60 0 0 20 0 4 0 2322998 1345916928 269951 33554432000 4194304 16246674 140735459671328 140735459654328 12483320 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 328593 269951 789 2943 0 325487 0
[pid=5729/tid=5731] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.11 2.07 1.95 3/183 5790
/proc/meminfo: memFree=28254688/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1314372 CPUtime=1421.8 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 270097 0 0 0 142120 60 0 0 20 0 4 0 2322998 1345916928 269951 33554432000 4194304 16246674 140735459671328 140735459654328 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 328593 269951 789 2943 0 325487 0
[pid=5729/tid=5731] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 1.61 1.93 1.90 2/173 5821
/proc/meminfo: memFree=29344436/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1314372 CPUtime=1481.78 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 270097 0 0 0 148118 60 0 0 20 0 4 0 2322998 1345916928 269951 33554432000 4194304 16246674 140735459671328 140735459653248 5672936 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 328593 269951 789 2943 0 325487 0
[pid=5729/tid=5731] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 1.30 1.79 1.86 3/173 5823
/proc/meminfo: memFree=29344468/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1314372 CPUtime=1541.78 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 270097 0 0 0 154117 61 0 0 20 0 4 0 2322998 1345916928 269951 33554432000 4194304 16246674 140735459671328 140735459654328 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 328593 269951 789 2943 0 325487 0
[pid=5729/tid=5731] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 1.15 1.66 1.80 2/174 5827
/proc/meminfo: memFree=29344728/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1314372 CPUtime=1601.77 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 270097 0 0 0 160116 61 0 0 20 0 4 0 2322998 1345916928 269951 33554432000 4194304 16246674 140735459671328 140735459653184 12478006 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 328593 269951 789 2943 0 325487 0
[pid=5729/tid=5731] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 1.15 1.56 1.76 2/173 5828
/proc/meminfo: memFree=29345284/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1314372 CPUtime=1661.76 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 270097 0 0 0 166114 62 0 0 20 0 4 0 2322998 1345916928 269951 33554432000 4194304 16246674 140735459671328 140735459653248 12477921 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 328593 269951 789 2943 0 325487 0
[pid=5729/tid=5731] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1345916928 269951 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 1.09 1.47 1.72 2/173 5829
/proc/meminfo: memFree=29341860/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1317444 CPUtime=1721.75 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 270865 0 0 0 172112 63 0 0 20 0 4 0 2322998 1349062656 270719 33554432000 4194304 16246674 140735459671328 140735459654328 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 329361 270719 789 2943 0 326255 0
[pid=5729/tid=5731] ppid=5726 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1349062656 270719 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1349062656 270719 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1349062656 270719 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 1.03 1.38 1.67 2/173 5830
/proc/meminfo: memFree=29341908/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1317444 CPUtime=1781.73 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 270865 0 0 0 178110 63 0 0 20 0 4 0 2322998 1349062656 270719 33554432000 4194304 16246674 140735459671328 140735459654328 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 329361 270719 789 2943 0 326255 0
[pid=5729/tid=5731] ppid=5726 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1349062656 270719 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1349062656 270719 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1349062656 270719 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.10 1.38 1.66 2/173 5831
/proc/meminfo: memFree=29341904/32872528 swapFree=670956/736364
[pid=5729] ppid=5726 vsize=1317444 CPUtime=1800.04 cores=0,2,4,6
/proc/5729/stat : 5729 (toysat) R 5726 5729 2752 0 -1 4202496 270865 0 0 0 179940 64 0 0 20 0 4 0 2322998 1349062656 270719 33554432000 4194304 16246674 140735459671328 140735459653248 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5729/statm: 329361 270719 789 2943 0 326255 0
[pid=5729/tid=5731] ppid=5726 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5731/stat : 5731 (toysat) S 5726 5729 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2322999 1349062656 270719 33554432000 4194304 16246674 140735459671328 139698093665520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 6 0 0 0 0 0
[pid=5729/tid=5732] ppid=5726 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5732/stat : 5732 (toysat) S 5726 5729 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2322999 1349062656 270719 33554432000 4194304 16246674 140735459671328 139698083175664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5729/tid=5733] ppid=5726 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/5729/task/5733/stat : 5733 (toysat) S 5726 5729 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2322999 1349062656 270719 33554432000 4194304 16246674 140735459671328 139698072702128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1317444

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.41
CPU system time (s): 0.641902
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.641902
maximum resident set size= 1082876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270865
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= 492
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69629 second user time and 6.83596 second system time

The end

Begin job on node112 at 2016-06-30 21:53:44
IDJOB=4122298
IDBENCH=111030
IDSOLVER=2542
FILE ID=node112/4122298-1467316424
RUNJOBID= node112-1467316318-5401
PBS_JOBID= 20005278
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= 132801bb2dca690052687188d53db1a1
RANDOM SEED=1571132380

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29338180 kB
Buffers:           74408 kB
Cached:           894764 kB
SwapCached:            0 kB
Active:          1304664 kB
Inactive:         757412 kB
Active(anon):    1095476 kB
Inactive(anon):        0 kB
Active(file):     209188 kB
Inactive(file):   757412 kB
Unevictable:      736364 kB
Mlocked:          670956 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       1829328 kB
Mapped:            17096 kB
Shmem:               204 kB
Slab:             603664 kB
SReclaimable:      47388 kB
SUnreclaim:       556276 kB
KernelStack:        1496 kB
PageTables:         7472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1965456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node112 at 2016-06-30 22:23:44