0.00/0.00	c 2016-06-30T20:07:05+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-4120122-1467310024.opb"]
0.00/0.01	c use --random-gen="1834701625 2460536197 4183663614 3854973597 2332387460 1089329368 544779541 3499943020 3342235241 2118919814 2898132769 3263902564 2084541448 2345738681 2382571802 960081355 3542776118 2466833930 1818817416 4265843633 1212551178 3758343956 743616822 859955598 1090988865 158870809 3914890648 728359561 835615177 610947517 1271062394 1841521568 972511189 3772298721 1622730726 2669357204 1606420676 2440078999 34500333 2309245806 2700989378 350458272 1479954707 909019001 593278966 1128406314 269310767 2630922746 2529198769 942490874 1753551864 1683142143 1850120460 1580666431 2427895803 2865933357 3215182630 1734537966 2569318354 2277435847 923341321 2707890610 2297186152 2023333098 870993718 3265652560 1105088042 894633490 1919273493 3534465310 2835793274 59147890 918257753 3473463631 375551931 1972906935 1188207920 4249000906 3124457871 385372846 3489195901 2911909959 2981850894 1064586083 2056394672 3790676183 1122080155 3091468763 2563524795 2799248800 4274826326 1897377854 1077473073 4004530324 3136929969 702815954 2462109418 1312001307 3802373270 127969381 3463007717 3589140844 2192908909 2640747014 515888166 306829157 4177518683 3412278369 3008478828 465038837 1075695159 1393359679 2823636169 1963704562 3228146264 541850044 1541859565 3214890300 4226992736 3435401310 1324527911 2356923610 2886659087 2411682525 2809091600 3333766892 2265849275 197189877 1061937714 606673844 1879799826 1961269774 2097407979 3104942643 1708674454 4012612593 3642107594 3800628103 3723941173 2820027813 3282722940 1746432222 2099463136 1285323952 365221215 3619919106 375059673 3143033068 1559223533 606953344 2572223950 3707274177 687796078 4089954672 3897556612 413540593 1492075897 1995232131 1257710284 468791338 2489628584 1511682028 1817377833 737078407 1701475003 287460903 1121107663 180167670 4272992127 2371740086 1628345877 860260907 3227451929 1889127531 2182415073 2489359879 665040378 3267921358 171050251 1397965227 68739519 729420086 2354101132 353875340 834681418 3032827740 1054959791 2943106268 2869857097 2362480577 2887728201 2706064538 1325258334 2417628557 3790824507 1417019083 3380176720 4013498535 3948268969 991251725 307048810 3805980212 1093476590 455732103 1291739855 388187783 959202159 3027662945 889266252 2796476740 2543807431 776991682 1104656558 1756978689 1535905380 3208176398 2823529430 4277713507 1477211008 3581386802 1215190962 2623809533 1988687919 1445633848 4190804276 1138603651 3178620402 3580935910 2725436635 1645216452 2350648845 1403868845 4049182800 679488150 1010112613 2805363701 112973826 3101828095 1347784473 2921397664 3494616795 2342605288 291694620 1025084400 2619173863 1468733983 2478240383 2404419259 420767621 1002174159 1515274064 735481934 1664876904 265428231 601679880 1763627996 255 362436" option to reproduce the execution
0.00/0.01	c #vars 277
0.00/0.01	c #constraints 276
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 |      184      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      170 |      100 |      184      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      426 |      250 |      203      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |      948 |      475 |      224      1 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1579 |      813 |      247      3 |        0 |        0
0.09/0.15	c  0.1s |       5 |     2301 |     1320 |      272      5 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3564 |     2081 |      330      8 |        0 |        0
0.29/0.35	c  0.3s |       7 |     5440 |     3223 |      364     13 |        0 |        0
0.49/0.53	c  0.5s |       8 |     8326 |     4936 |      401     19 |        0 |        0
0.79/0.81	c  0.8s |       9 |    11607 |     7506 |      442     28 |        0 |        0
1.10/1.19	c  1.2s |      10 |    17481 |    11361 |      487     41 |        0 |        0
1.59/1.64	c  1.6s |      11 |    25496 |    17144 |      536     59 |        0 |        0
2.39/2.43	c  2.4s |      12 |    38187 |    25819 |      590     85 |        0 |        0
3.40/3.47	c  3.5s |      13 |    56329 |    38832 |      649    119 |        0 |        0
5.19/5.27	c  5.3s |      14 |    82790 |    58352 |      714    167 |        0 |        0
7.19/7.28	c  7.3s |      14 |   111812 |    79852 |      714    217 |        0 |        0
7.99/8.01	c  8.0s |      15 |   122012 |    87632 |      786    234 |        0 |        0
10.00/10.01	c 10.0s |      15 |   151244 |   109332 |      786    280 |        0 |        0
11.99/12.01	c 12.0s |      15 |   179701 |   130332 |      786    325 |        0 |        0
12.09/12.13	c 12.1s |      16 |   181316 |   131552 |      865    327 |        0 |        0
14.09/14.13	c 14.1s |      16 |   208542 |   152052 |      865    368 |        0 |        0
16.09/16.14	c 16.1s |      16 |   237690 |   173852 |      865    411 |        0 |        0
18.09/18.15	c 18.1s |      16 |   266138 |   195052 |      865    452 |        0 |        0
18.29/18.39	c 18.4s |      17 |   269011 |   197432 |      952    457 |        0 |        0
20.39/20.40	c 20.4s |      17 |   290749 |   214932 |      952    489 |        0 |        0
22.39/22.41	c 22.4s |      17 |   313651 |   232932 |      952    522 |        0 |        0
24.39/24.42	c 24.4s |      17 |   337966 |   251732 |      952    556 |        0 |        0
26.39/26.42	c 26.4s |      17 |   360315 |   269532 |      952    589 |        0 |        0
28.38/28.43	c 28.4s |      17 |   384440 |   287732 |      952    622 |        0 |        0
29.28/29.32	c 29.3s |      18 |   394958 |   296252 |     1048    637 |        0 |        0
31.28/31.32	c 31.3s |      18 |   420938 |   315052 |     1048    669 |        0 |        0
33.28/33.33	c 33.3s |      18 |   445808 |   333552 |     1048    700 |        0 |        0
35.29/35.33	c 35.3s |      18 |   471978 |   352752 |     1048    732 |        0 |        0
37.28/37.34	c 37.3s |      18 |   498437 |   372552 |     1048    765 |        0 |        0
39.28/39.34	c 39.3s |      18 |   523209 |   391552 |     1048    797 |        0 |        0
41.28/41.35	c 41.3s |      18 |   549833 |   411652 |     1048    830 |        0 |        0
43.28/43.35	c 43.3s |      18 |   576112 |   431252 |     1048    863 |        0 |        0
44.68/44.79	c 44.8s |      19 |   594044 |   444482 |     1153    884 |        0 |        0
46.68/46.79	c 46.8s |      19 |   616308 |   461882 |     1153    911 |        0 |        0
48.78/48.80	c 48.8s |      19 |   641927 |   480982 |     1153    941 |        0 |        0
50.78/50.80	c 50.8s |      19 |   666678 |   499482 |     1153    969 |        0 |        0
52.78/52.81	c 52.8s |      19 |   690478 |   517982 |     1153    998 |        0 |        0
54.79/54.81	c 54.8s |      19 |   715827 |   537082 |     1153   1028 |        0 |        0
56.79/56.81	c 56.8s |      19 |   740123 |   555282 |     1153   1056 |        0 |        0
58.79/58.82	c 58.8s |      19 |   763724 |   573482 |     1153   1084 |        0 |        0
60.78/60.82	c 60.8s |      19 |   787232 |   590982 |     1153   1111 |        0 |        0
62.79/62.83	c 62.8s |      19 |   811266 |   609182 |     1153   1139 |        0 |        0
64.78/64.84	c 64.8s |      19 |   837051 |   628382 |     1153   1169 |        0 |        0
66.78/66.84	c 66.8s |      19 |   861808 |   646882 |     1153   1197 |        0 |        0
68.78/68.84	c 68.8s |      19 |   883849 |   664082 |     1269   1224 |        0 |        0
69.08/69.16	c 69.1s |      20 |   887657 |   666827 |     1269   1227 |        0 |        0
71.08/71.17	c 71.2s |      20 |   909141 |   683627 |     1269   1251 |        0 |        0
73.08/73.18	c 73.2s |      20 |   931695 |   700927 |     1269   1275 |        0 |        0
75.08/75.18	c 75.2s |      20 |   955453 |   718727 |     1269   1301 |        0 |        0
77.08/77.18	c 77.2s |      20 |   979137 |   736427 |     1269   1326 |        0 |        0
79.08/79.19	c 79.2s |      20 |  1002519 |   753527 |     1269   1351 |        0 |        0
81.18/81.20	c 81.2s |      20 |  1028025 |   772327 |     1269   1378 |        0 |        0
83.17/83.21	c 83.2s |      20 |  1052946 |   790627 |     1269   1404 |        0 |        0
85.17/85.22	c 85.2s |      20 |  1076604 |   808427 |     1269   1429 |        0 |        0
87.17/87.22	c 87.2s |      20 |  1101446 |   826527 |     1269   1455 |        0 |        0
89.18/89.23	c 89.2s |      20 |  1125138 |   844227 |     1269   1480 |        0 |        0
91.17/91.23	c 91.2s |      20 |  1150240 |   862427 |     1269   1506 |        0 |        0
93.16/93.23	c 93.2s |      20 |  1173896 |   880227 |     1269   1532 |        0 |        0
95.16/95.24	c 95.2s |      20 |  1197172 |   897427 |     1269   1556 |        0 |        0
97.16/97.25	c 97.2s |      20 |  1221721 |   915227 |     1269   1582 |        0 |        0
99.16/99.25	c 99.2s |      20 |  1243977 |   932427 |     1269   1606 |        0 |        0
101.17/101.26	c  101s |      20 |  1267862 |   949927 |     1269   1632 |        0 |        0
103.16/103.26	c  103s |      20 |  1292154 |   967827 |     1269   1657 |        0 |        0
105.16/105.26	c  105s |      20 |  1316278 |   986127 |     1269   1683 |        0 |        0
106.76/106.90	c  106s |      21 |  1335237 |  1000345 |     1396   1703 |        0 |        0
108.76/108.90	c  108s |      21 |  1355736 |  1016445 |     1396   1724 |        0 |        0
110.85/110.90	c  110s |      21 |  1377358 |  1032845 |     1396   1745 |        0 |        0
112.85/112.91	c  112s |      21 |  1398949 |  1049645 |     1396   1767 |        0 |        0
114.85/114.91	c  114s |      21 |  1421019 |  1066645 |     1396   1789 |        0 |        0
116.85/116.92	c  116s |      21 |  1441060 |  1082945 |     1396   1810 |        0 |        0
118.86/118.93	c  118s |      21 |  1463532 |  1100245 |     1396   1832 |        0 |        0
120.85/120.93	c  120s |      21 |  1487324 |  1118045 |     1396   1855 |        0 |        0
122.85/122.94	c  122s |      21 |  1511031 |  1135645 |     1396   1878 |        0 |        0
124.85/124.94	c  124s |      21 |  1533583 |  1152845 |     1396   1900 |        0 |        0
126.85/126.95	c  126s |      21 |  1555406 |  1169745 |     1396   1922 |        0 |        0
128.85/128.95	c  128s |      21 |  1576529 |  1186445 |     1396   1943 |        0 |        0
130.85/130.97	c  130s |      21 |  1597237 |  1202945 |     1396   1965 |        0 |        0
132.84/132.97	c  132s |      21 |  1616617 |  1218445 |     1396   1985 |        0 |        0
134.84/134.98	c  134s |      21 |  1640782 |  1236645 |     1396   2008 |        0 |        0
136.84/136.98	c  136s |      21 |  1663916 |  1254245 |     1396   2031 |        0 |        0
138.84/138.99	c  138s |      21 |  1686490 |  1271745 |     1396   2054 |        0 |        0
140.85/140.99	c  140s |      21 |  1709661 |  1289145 |     1396   2077 |        0 |        0
142.95/143.01	c  142s |      21 |  1732563 |  1306445 |     1396   2100 |        0 |        0
144.94/145.02	c  145s |      21 |  1756194 |  1324145 |     1396   2123 |        0 |        0
146.94/147.02	c  147s |      21 |  1779639 |  1341945 |     1396   2146 |        0 |        0
148.94/149.03	c  149s |      21 |  1803259 |  1359645 |     1396   2169 |        0 |        0
150.94/151.03	c  151s |      21 |  1826754 |  1377345 |     1396   2192 |        0 |        0
152.94/153.04	c  153s |      21 |  1847943 |  1394045 |     1396   2214 |        0 |        0
154.94/155.04	c  155s |      21 |  1870405 |  1411145 |     1396   2236 |        0 |        0
156.94/157.05	c  157s |      21 |  1893699 |  1428745 |     1396   2259 |        0 |        0
158.94/159.06	c  159s |      21 |  1917113 |  1446945 |     1396   2283 |        0 |        0
160.94/161.06	c  161s |      21 |  1940790 |  1465245 |     1396   2307 |        0 |        0
162.93/163.07	c  163s |      21 |  1966047 |  1483745 |     1396   2331 |        0 |        0
164.83/164.90	c  164s |      22 |  1988487 |  1500622 |     1536   2352 |        0 |        0
166.83/166.91	c  166s |      22 |  2011386 |  1518322 |     1536   2373 |        0 |        0
168.83/168.92	c  168s |      22 |  2033996 |  1535622 |     1536   2394 |        0 |        0
170.83/170.92	c  170s |      22 |  2054852 |  1552222 |     1536   2414 |        0 |        0
172.83/172.93	c  172s |      22 |  2076058 |  1568822 |     1536   2434 |        0 |        0
174.84/174.94	c  174s |      22 |  2098627 |  1586022 |     1536   2454 |        0 |        0
176.83/176.95	c  176s |      22 |  2121486 |  1603622 |     1536   2476 |        0 |        0
178.83/178.96	c  178s |      22 |  2142493 |  1620022 |     1536   2495 |        0 |        0
180.83/180.96	c  180s |      22 |  2164550 |  1636722 |     1536   2515 |        0 |        0
182.83/182.97	c  182s |      22 |  2187433 |  1654022 |     1536   2536 |        0 |        0
184.84/184.97	c  184s |      22 |  2208585 |  1670522 |     1536   2556 |        0 |        0
186.83/186.98	c  186s |      22 |  2231597 |  1687822 |     1536   2577 |        0 |        0
188.83/188.98	c  188s |      22 |  2254191 |  1704822 |     1536   2598 |        0 |        0
190.83/190.99	c  190s |      22 |  2277540 |  1722322 |     1536   2619 |        0 |        0
192.82/192.99	c  192s |      22 |  2300270 |  1739522 |     1536   2639 |        0 |        0
194.82/194.99	c  194s |      22 |  2322626 |  1756722 |     1536   2660 |        0 |        0
196.83/197.00	c  196s |      22 |  2346446 |  1774822 |     1536   2682 |        0 |        0
198.92/199.01	c  198s |      22 |  2367901 |  1791322 |     1536   2702 |        0 |        0
200.92/201.01	c  200s |      22 |  2389051 |  1807822 |     1536   2722 |        0 |        0
202.92/203.02	c  203s |      22 |  2411026 |  1824722 |     1536   2742 |        0 |        0
204.92/205.03	c  205s |      22 |  2436007 |  1843322 |     1536   2765 |        0 |        0
206.92/207.03	c  207s |      22 |  2460655 |  1861822 |     1536   2787 |        0 |        0
208.93/209.03	c  209s |      22 |  2483590 |  1879022 |     1536   2808 |        0 |        0
210.92/211.04	c  211s |      22 |  2504889 |  1895122 |     1536   2827 |        0 |        0
212.92/213.05	c  213s |      22 |  2525797 |  1911122 |     1536   2847 |        0 |        0
214.92/215.05	c  215s |      22 |  2549355 |  1928422 |     1536   2868 |        0 |        0
216.91/217.05	c  217s |      22 |  2572374 |  1945722 |     1536   2888 |        0 |        0
218.92/219.06	c  219s |      22 |  2593939 |  1962222 |     1536   2908 |        0 |        0
220.91/221.06	c  221s |      22 |  2614297 |  1977922 |     1536   2927 |        0 |        0
222.91/223.06	c  223s |      22 |  2637357 |  1995522 |     1536   2949 |        0 |        0
224.91/225.07	c  225s |      22 |  2658203 |  2011922 |     1536   2968 |        0 |        0
226.91/227.08	c  227s |      22 |  2677779 |  2027622 |     1536   2987 |        0 |        0
228.91/229.09	c  229s |      22 |  2699989 |  2044122 |     1536   3007 |        0 |        0
230.92/231.10	c  231s |      22 |  2720143 |  2059822 |     1536   3026 |        0 |        0
233.01/233.11	c  233s |      22 |  2738719 |  2074822 |     1536   3044 |        0 |        0
235.01/235.12	c  235s |      22 |  2759224 |  2090722 |     1536   3064 |        0 |        0
237.01/237.13	c  237s |      22 |  2779910 |  2106922 |     1536   3083 |        0 |        0
239.00/239.13	c  239s |      22 |  2800112 |  2122922 |     1536   3102 |        0 |        0
241.00/241.14	c  241s |      22 |  2821512 |  2140122 |     1536   3123 |        0 |        0
243.01/243.14	c  243s |      22 |  2845390 |  2158222 |     1536   3145 |        0 |        0
245.00/245.15	c  245s |      22 |  2868552 |  2176122 |     1536   3167 |        0 |        0
247.00/247.15	c  247s |      22 |  2890383 |  2193322 |     1536   3187 |        0 |        0
249.00/249.16	c  249s |      22 |  2913052 |  2210622 |     1536   3208 |        0 |        0
251.00/251.16	c  251s |      22 |  2935602 |  2227122 |     1536   3228 |        0 |        0
253.00/253.16	c  253s |      22 |  2957817 |  2244022 |     1690   3248 |        0 |        0
253.90/254.05	c  254s |      23 |  2966864 |  2251038 |     1690   3255 |        0 |        0
255.89/256.06	c  256s |      23 |  2987406 |  2266738 |     1690   3272 |        0 |        0
257.89/258.08	c  258s |      23 |  3005989 |  2281538 |     1690   3288 |        0 |        0
259.89/260.08	c  260s |      23 |  3026029 |  2297238 |     1690   3305 |        0 |        0
261.89/262.08	c  262s |      23 |  3045302 |  2312638 |     1690   3322 |        0 |        0
263.89/264.09	c  264s |      23 |  3065437 |  2328438 |     1690   3339 |        0 |        0
265.89/266.09	c  266s |      23 |  3085689 |  2344438 |     1690   3357 |        0 |        0
267.99/268.10	c  268s |      23 |  3107388 |  2361038 |     1690   3375 |        0 |        0
269.99/270.11	c  270s |      23 |  3129445 |  2377938 |     1690   3393 |        0 |        0
271.98/272.12	c  272s |      23 |  3150393 |  2394138 |     1690   3411 |        0 |        0
273.98/274.13	c  274s |      23 |  3171049 |  2410038 |     1690   3428 |        0 |        0
275.99/276.14	c  276s |      23 |  3191857 |  2426038 |     1690   3446 |        0 |        0
277.98/278.15	c  278s |      23 |  3212537 |  2442338 |     1690   3463 |        0 |        0
279.99/280.16	c  280s |      23 |  3234089 |  2459438 |     1690   3482 |        0 |        0
281.99/282.16	c  282s |      23 |  3255151 |  2476438 |     1690   3500 |        0 |        0
283.99/284.16	c  284s |      23 |  3276826 |  2493238 |     1690   3519 |        0 |        0
285.99/286.17	c  286s |      23 |  3299267 |  2510938 |     1690   3538 |        0 |        0
287.99/288.17	c  288s |      23 |  3322185 |  2528538 |     1690   3558 |        0 |        0
289.99/290.18	c  290s |      23 |  3345020 |  2546438 |     1690   3578 |        0 |        0
291.99/292.18	c  292s |      23 |  3368470 |  2564438 |     1690   3598 |        0 |        0
293.99/294.18	c  294s |      23 |  3389913 |  2581338 |     1690   3616 |        0 |        0
295.99/296.19	c  296s |      23 |  3410402 |  2597438 |     1690   3634 |        0 |        0
297.99/298.19	c  298s |      23 |  3430956 |  2613138 |     1690   3652 |        0 |        0
300.08/300.20	c  300s |      23 |  3451877 |  2629538 |     1690   3670 |        0 |        0
302.08/302.21	c  302s |      23 |  3473344 |  2645938 |     1690   3688 |        0 |        0
304.08/304.22	c  304s |      23 |  3496049 |  2663138 |     1690   3708 |        0 |        0
306.08/306.22	c  306s |      23 |  3519249 |  2680638 |     1690   3727 |        0 |        0
308.08/308.23	c  308s |      23 |  3541861 |  2697638 |     1690   3746 |        0 |        0
310.09/310.23	c  310s |      23 |  3562244 |  2713538 |     1690   3764 |        0 |        0
312.08/312.23	c  312s |      23 |  3582782 |  2729838 |     1690   3782 |        0 |        0
314.08/314.24	c  314s |      23 |  3603271 |  2746338 |     1690   3800 |        0 |        0
316.08/316.24	c  316s |      23 |  3624087 |  2762838 |     1690   3819 |        0 |        0
318.07/318.25	c  318s |      23 |  3646371 |  2779838 |     1690   3838 |        0 |        0
320.08/320.25	c  320s |      23 |  3668497 |  2796838 |     1690   3856 |        0 |        0
322.07/322.26	c  322s |      23 |  3692019 |  2814038 |     1690   3876 |        0 |        0
324.07/324.26	c  324s |      23 |  3714627 |  2831038 |     1690   3895 |        0 |        0
326.07/326.27	c  326s |      23 |  3736996 |  2847938 |     1690   3913 |        0 |        0
328.07/328.27	c  328s |      23 |  3760059 |  2865338 |     1690   3933 |        0 |        0
330.07/330.28	c  330s |      23 |  3783044 |  2882638 |     1690   3952 |        0 |        0
332.07/332.29	c  332s |      23 |  3804007 |  2898638 |     1690   3970 |        0 |        0
334.06/334.29	c  334s |      23 |  3824343 |  2914338 |     1690   3987 |        0 |        0
336.06/336.29	c  336s |      23 |  3847501 |  2931638 |     1690   4007 |        0 |        0
338.16/338.30	c  338s |      23 |  3871242 |  2949238 |     1690   4026 |        0 |        0
340.16/340.30	c  340s |      23 |  3893626 |  2966338 |     1690   4045 |        0 |        0
342.17/342.31	c  342s |      23 |  3914929 |  2982938 |     1690   4064 |        0 |        0
344.17/344.32	c  344s |      23 |  3937899 |  3000638 |     1690   4083 |        0 |        0
346.16/346.32	c  346s |      23 |  3960489 |  3017938 |     1690   4103 |        0 |        0
348.16/348.33	c  348s |      23 |  3981647 |  3034438 |     1690   4121 |        0 |        0
350.16/350.34	c  350s |      23 |  4002650 |  3050938 |     1690   4139 |        0 |        0
352.16/352.35	c  352s |      23 |  4024817 |  3067438 |     1690   4158 |        0 |        0
354.17/354.35	c  354s |      23 |  4047638 |  3084638 |     1690   4177 |        0 |        0
356.16/356.36	c  356s |      23 |  4069933 |  3102238 |     1690   4197 |        0 |        0
358.16/358.37	c  358s |      23 |  4090993 |  3118938 |     1690   4215 |        0 |        0
360.16/360.38	c  360s |      23 |  4113248 |  3135638 |     1690   4234 |        0 |        0
362.16/362.38	c  362s |      23 |  4134176 |  3152238 |     1690   4252 |        0 |        0
364.15/364.38	c  364s |      23 |  4155757 |  3168638 |     1690   4271 |        0 |        0
366.16/366.39	c  366s |      23 |  4177120 |  3185038 |     1690   4289 |        0 |        0
368.25/368.40	c  368s |      23 |  4198418 |  3201638 |     1690   4307 |        0 |        0
370.25/370.40	c  370s |      23 |  4220515 |  3218638 |     1690   4326 |        0 |        0
372.25/372.41	c  372s |      23 |  4241128 |  3234838 |     1690   4344 |        0 |        0
374.25/374.42	c  374s |      23 |  4263784 |  3251838 |     1690   4363 |        0 |        0
376.25/376.42	c  376s |      23 |  4284367 |  3268138 |     1690   4382 |        0 |        0
378.25/378.43	c  378s |      23 |  4306963 |  3285138 |     1690   4401 |        0 |        0
380.25/380.44	c  380s |      23 |  4330766 |  3303138 |     1690   4421 |        0 |        0
382.24/382.45	c  382s |      23 |  4354285 |  3320938 |     1690   4441 |        0 |        0
384.24/384.45	c  384s |      23 |  4376396 |  3337938 |     1690   4459 |        0 |        0
386.24/386.46	c  386s |      23 |  4398331 |  3354938 |     1860   4478 |        0 |        0
388.25/388.47	c  388s |      23 |  4419555 |  3371138 |     1860   4495 |        0 |        0
388.94/389.14	c  389s |      24 |  4426779 |  3376662 |     1860   4500 |        0 |        0
390.94/391.14	c  391s |      24 |  4444788 |  3390162 |     1860   4514 |        0 |        0
392.94/393.16	c  393s |      24 |  4466839 |  3406162 |     1860   4530 |        0 |        0
394.94/395.16	c  395s |      24 |  4488747 |  3422162 |     1860   4545 |        0 |        0
396.95/397.17	c  397s |      24 |  4512287 |  3439062 |     1860   4562 |        0 |        0
398.94/399.18	c  399s |      24 |  4532724 |  3454962 |     1860   4578 |        0 |        0
400.94/401.19	c  401s |      24 |  4552677 |  3470262 |     1860   4594 |        0 |        0
403.04/403.20	c  403s |      24 |  4573609 |  3486762 |     1860   4610 |        0 |        0
405.03/405.20	c  405s |      24 |  4595809 |  3503462 |     1860   4627 |        0 |        0
407.03/407.21	c  407s |      24 |  4619360 |  3520762 |     1860   4644 |        0 |        0
409.04/409.22	c  409s |      24 |  4641856 |  3537362 |     1860   4660 |        0 |        0
411.03/411.22	c  411s |      24 |  4662813 |  3552962 |     1860   4676 |        0 |        0
413.03/413.23	c  413s |      24 |  4682661 |  3567862 |     1860   4691 |        0 |        0
415.03/415.24	c  415s |      24 |  4700635 |  3581662 |     1860   4705 |        0 |        0
417.03/417.25	c  417s |      24 |  4719537 |  3595762 |     1860   4719 |        0 |        0
419.03/419.26	c  419s |      24 |  4739083 |  3610662 |     1860   4734 |        0 |        0
421.03/421.27	c  421s |      24 |  4756416 |  3624562 |     1860   4747 |        0 |        0
423.02/423.27	c  423s |      24 |  4775502 |  3638962 |     1860   4762 |        0 |        0
425.02/425.27	c  425s |      24 |  4794377 |  3654062 |     1860   4777 |        0 |        0
427.02/427.28	c  427s |      24 |  4815440 |  3669862 |     1860   4793 |        0 |        0
429.12/429.30	c  429s |      24 |  4835926 |  3685762 |     1860   4809 |        0 |        0
431.02/431.30	c  431s |      24 |  4856292 |  3701062 |     1860   4824 |        0 |        0
433.11/433.30	c  433s |      24 |  4878349 |  3716962 |     1860   4840 |        0 |        0
435.11/435.31	c  435s |      24 |  4901159 |  3733562 |     1860   4856 |        0 |        0
437.12/437.31	c  437s |      24 |  4922774 |  3749562 |     1860   4872 |        0 |        0
439.12/439.32	c  439s |      24 |  4944579 |  3765662 |     1860   4888 |        0 |        0
441.12/441.33	c  441s |      24 |  4964350 |  3781062 |     1860   4903 |        0 |        0
443.12/443.33	c  443s |      24 |  4986134 |  3797362 |     1860   4920 |        0 |        0
445.12/445.33	c  445s |      24 |  5008894 |  3814062 |     1860   4936 |        0 |        0
447.12/447.34	c  447s |      24 |  5032039 |  3831062 |     1860   4953 |        0 |        0
449.12/449.35	c  449s |      24 |  5052784 |  3847162 |     1860   4970 |        0 |        0
451.12/451.36	c  451s |      24 |  5073677 |  3862662 |     1860   4985 |        0 |        0
453.12/453.37	c  453s |      24 |  5095781 |  3878962 |     1860   5001 |        0 |        0
455.11/455.37	c  455s |      24 |  5116825 |  3894862 |     1860   5017 |        0 |        0
457.11/457.39	c  457s |      24 |  5137604 |  3910762 |     1860   5033 |        0 |        0
459.21/459.40	c  459s |      24 |  5160054 |  3927262 |     1860   5050 |        0 |        0
461.21/461.41	c  461s |      24 |  5183446 |  3944362 |     1860   5067 |        0 |        0
463.20/463.42	c  463s |      24 |  5205362 |  3960062 |     1860   5083 |        0 |        0
465.21/465.43	c  465s |      24 |  5226675 |  3975762 |     1860   5098 |        0 |        0
467.20/467.44	c  467s |      24 |  5246968 |  3991762 |     1860   5114 |        0 |        0
469.20/469.44	c  469s |      24 |  5268422 |  4007662 |     1860   5130 |        0 |        0
471.20/471.45	c  471s |      24 |  5291393 |  4024862 |     1860   5147 |        0 |        0
473.20/473.46	c  473s |      24 |  5310246 |  4039762 |     1860   5162 |        0 |        0
475.20/475.46	c  475s |      24 |  5334116 |  4056262 |     1860   5179 |        0 |        0
477.20/477.47	c  477s |      24 |  5354539 |  4072262 |     1860   5195 |        0 |        0
479.20/479.47	c  479s |      24 |  5375761 |  4088262 |     1860   5211 |        0 |        0
481.19/481.48	c  481s |      24 |  5396729 |  4104362 |     1860   5227 |        0 |        0
483.19/483.49	c  483s |      24 |  5418749 |  4121262 |     1860   5244 |        0 |        0
485.29/485.50	c  485s |      24 |  5438995 |  4137062 |     1860   5260 |        0 |        0
487.29/487.50	c  487s |      24 |  5459624 |  4152962 |     1860   5275 |        0 |        0
489.30/489.51	c  489s |      24 |  5480470 |  4168662 |     1860   5291 |        0 |        0
491.29/491.51	c  491s |      24 |  5502131 |  4185062 |     1860   5307 |        0 |        0
493.29/493.52	c  493s |      24 |  5522933 |  4201062 |     1860   5323 |        0 |        0
495.29/495.52	c  495s |      24 |  5544223 |  4216662 |     1860   5339 |        0 |        0
497.29/497.53	c  497s |      24 |  5565351 |  4232662 |     1860   5355 |        0 |        0
499.29/499.54	c  499s |      24 |  5586417 |  4248162 |     1860   5371 |        0 |        0
501.28/501.54	c  501s |      24 |  5605191 |  4262962 |     1860   5386 |        0 |        0
503.28/503.55	c  503s |      24 |  5625865 |  4278562 |     1860   5401 |        0 |        0
505.28/505.57	c  505s |      24 |  5647916 |  4294962 |     1860   5418 |        0 |        0
507.28/507.57	c  507s |      24 |  5671309 |  4312062 |     1860   5435 |        0 |        0
509.28/509.58	c  509s |      24 |  5694566 |  4329062 |     1860   5452 |        0 |        0
511.29/511.58	c  511s |      24 |  5716879 |  4345762 |     1860   5468 |        0 |        0
513.28/513.59	c  513s |      24 |  5740751 |  4362762 |     1860   5485 |        0 |        0
515.28/515.59	c  515s |      24 |  5762815 |  4378962 |     1860   5501 |        0 |        0
517.28/517.59	c  517s |      24 |  5784868 |  4395062 |     1860   5517 |        0 |        0
519.38/519.60	c  519s |      24 |  5806797 |  4411462 |     1860   5534 |        0 |        0
521.38/521.61	c  521s |      24 |  5829311 |  4427962 |     1860   5550 |        0 |        0
523.38/523.62	c  523s |      24 |  5851910 |  4444462 |     1860   5567 |        0 |        0
525.37/525.62	c  525s |      24 |  5874399 |  4460662 |     1860   5583 |        0 |        0
527.37/527.63	c  527s |      24 |  5896074 |  4476462 |     1860   5599 |        0 |        0
529.37/529.64	c  529s |      24 |  5917957 |  4493062 |     1860   5615 |        0 |        0
531.37/531.65	c  531s |      24 |  5939040 |  4508862 |     1860   5631 |        0 |        0
533.37/533.65	c  533s |      24 |  5961949 |  4525162 |     1860   5648 |        0 |        0
535.37/535.65	c  535s |      24 |  5983292 |  4540862 |     1860   5663 |        0 |        0
537.37/537.66	c  537s |      24 |  6004768 |  4556262 |     1860   5679 |        0 |        0
539.37/539.67	c  539s |      24 |  6026674 |  4572662 |     1860   5695 |        0 |        0
541.37/541.68	c  541s |      24 |  6048004 |  4588962 |     1860   5711 |        0 |        0
543.36/543.68	c  543s |      24 |  6071192 |  4605962 |     1860   5728 |        0 |        0
545.37/545.69	c  545s |      24 |  6095089 |  4623562 |     1860   5746 |        0 |        0
547.36/547.69	c  547s |      24 |  6115732 |  4639462 |     1860   5762 |        0 |        0
549.46/549.70	c  549s |      24 |  6135901 |  4655362 |     1860   5778 |        0 |        0
551.46/551.71	c  551s |      24 |  6159421 |  4672862 |     1860   5796 |        0 |        0
553.45/553.71	c  553s |      24 |  6181823 |  4689562 |     1860   5812 |        0 |        0
555.45/555.72	c  555s |      24 |  6202987 |  4705462 |     1860   5828 |        0 |        0
557.46/557.72	c  557s |      24 |  6224552 |  4721262 |     1860   5844 |        0 |        0
559.45/559.72	c  559s |      24 |  6247151 |  4738062 |     1860   5861 |        0 |        0
561.45/561.73	c  561s |      24 |  6270446 |  4754962 |     1860   5878 |        0 |        0
563.44/563.73	c  563s |      24 |  6292014 |  4771262 |     1860   5894 |        0 |        0
565.44/565.74	c  565s |      24 |  6314868 |  4787962 |     1860   5911 |        0 |        0
567.45/567.75	c  567s |      24 |  6338100 |  4804962 |     1860   5928 |        0 |        0
569.45/569.76	c  569s |      24 |  6361253 |  4822062 |     1860   5945 |        0 |        0
571.45/571.77	c  571s |      24 |  6383285 |  4838362 |     1860   5962 |        0 |        0
573.45/573.78	c  573s |      24 |  6404294 |  4853862 |     1860   5977 |        0 |        0
575.44/575.79	c  575s |      24 |  6424035 |  4869062 |     1860   5992 |        0 |        0
577.44/577.79	c  577s |      24 |  6443646 |  4884362 |     1860   6008 |        0 |        0
579.45/579.80	c  579s |      24 |  6463553 |  4899762 |     1860   6023 |        0 |        0
581.54/581.80	c  581s |      24 |  6483047 |  4914962 |     1860   6038 |        0 |        0
583.54/583.81	c  583s |      24 |  6502142 |  4929962 |     1860   6053 |        0 |        0
585.54/585.82	c  585s |      24 |  6520984 |  4944962 |     1860   6068 |        0 |        0
587.54/587.83	c  587s |      24 |  6541307 |  4960262 |     1860   6084 |        0 |        0
589.54/589.83	c  589s |      24 |  6562058 |  4976162 |     1860   6099 |        0 |        0
591.54/591.84	c  591s |      24 |  6580612 |  4990762 |     1860   6114 |        0 |        0
593.53/593.85	c  593s |      24 |  6600734 |  5005862 |     1860   6129 |        0 |        0
595.53/595.85	c  595s |      24 |  6620910 |  5021462 |     1860   6145 |        0 |        0
597.53/597.86	c  597s |      24 |  6640893 |  5036762 |     2047   6159 |        0 |        0
599.53/599.86	c  599s |      24 |  6662348 |  5052962 |     2047   6174 |        0 |        0
601.03/601.39	c  601s |      25 |  6678685 |  5065098 |     2047   6186 |        0 |        0
603.12/603.40	c  603s |      25 |  6697161 |  5079898 |     2047   6199 |        0 |        0
605.12/605.41	c  605s |      25 |  6716827 |  5095198 |     2047   6213 |        0 |        0
607.12/607.41	c  607s |      25 |  6737493 |  5110998 |     2047   6227 |        0 |        0
609.13/609.42	c  609s |      25 |  6759293 |  5127698 |     2047   6243 |        0 |        0
611.12/611.42	c  611s |      25 |  6782352 |  5144998 |     2047   6258 |        0 |        0
613.12/613.43	c  613s |      25 |  6803296 |  5160898 |     2047   6273 |        0 |        0
615.12/615.43	c  615s |      25 |  6824391 |  5176998 |     2047   6288 |        0 |        0
617.12/617.43	c  617s |      25 |  6844398 |  5192498 |     2047   6302 |        0 |        0
619.12/619.44	c  619s |      25 |  6865899 |  5208798 |     2047   6318 |        0 |        0
621.12/621.45	c  621s |      25 |  6888403 |  5225298 |     2047   6333 |        0 |        0
623.11/623.45	c  623s |      25 |  6908380 |  5240198 |     2047   6348 |        0 |        0
625.11/625.45	c  625s |      25 |  6928755 |  5255498 |     2047   6362 |        0 |        0
627.11/627.46	c  627s |      25 |  6949704 |  5271298 |     2047   6377 |        0 |        0
629.11/629.48	c  629s |      25 |  6967818 |  5285998 |     2047   6391 |        0 |        0
631.12/631.48	c  631s |      25 |  6987937 |  5301098 |     2047   6406 |        0 |        0
633.12/633.48	c  633s |      25 |  7011327 |  5318098 |     2047   6422 |        0 |        0
635.12/635.49	c  635s |      25 |  7035036 |  5335398 |     2047   6438 |        0 |        0
637.12/637.49	c  637s |      25 |  7056177 |  5350798 |     2047   6453 |        0 |        0
639.12/639.49	c  639s |      25 |  7078350 |  5367198 |     2047   6468 |        0 |        0
641.21/641.50	c  641s |      25 |  7100647 |  5383798 |     2047   6484 |        0 |        0
643.22/643.50	c  643s |      25 |  7122435 |  5399898 |     2047   6500 |        0 |        0
645.21/645.51	c  645s |      25 |  7144495 |  5416398 |     2047   6515 |        0 |        0
647.21/647.52	c  647s |      25 |  7167435 |  5433498 |     2047   6531 |        0 |        0
649.21/649.52	c  649s |      25 |  7190010 |  5450098 |     2047   6547 |        0 |        0
651.21/651.52	c  651s |      25 |  7212501 |  5467098 |     2047   6563 |        0 |        0
653.21/653.53	c  653s |      25 |  7236528 |  5485098 |     2047   6580 |        0 |        0
655.20/655.54	c  655s |      25 |  7259521 |  5502298 |     2047   6596 |        0 |        0
657.20/657.55	c  657s |      25 |  7283498 |  5519698 |     2047   6613 |        0 |        0
659.20/659.56	c  659s |      25 |  7306919 |  5536798 |     2047   6629 |        0 |        0
661.20/661.56	c  661s |      25 |  7328323 |  5553198 |     2047   6644 |        0 |        0
663.20/663.56	c  663s |      25 |  7352333 |  5571098 |     2047   6661 |        0 |        0
665.20/665.57	c  665s |      25 |  7374807 |  5587598 |     2047   6676 |        0 |        0
667.20/667.57	c  667s |      25 |  7396307 |  5603498 |     2047   6691 |        0 |        0
669.20/669.58	c  669s |      25 |  7417857 |  5619598 |     2047   6706 |        0 |        0
671.20/671.59	c  671s |      25 |  7440751 |  5636498 |     2047   6722 |        0 |        0
673.19/673.59	c  673s |      25 |  7463332 |  5653198 |     2047   6738 |        0 |        0
675.29/675.60	c  675s |      25 |  7486364 |  5670698 |     2047   6754 |        0 |        0
677.30/677.61	c  677s |      25 |  7509471 |  5687998 |     2047   6770 |        0 |        0
679.29/679.61	c  679s |      25 |  7532488 |  5704998 |     2047   6786 |        0 |        0
681.29/681.62	c  681s |      25 |  7556693 |  5722198 |     2047   6802 |        0 |        0
683.29/683.63	c  683s |      25 |  7579741 |  5739198 |     2047   6818 |        0 |        0
685.29/685.63	c  685s |      25 |  7603700 |  5755598 |     2047   6834 |        0 |        0
687.29/687.64	c  687s |      25 |  7625522 |  5771998 |     2047   6849 |        0 |        0
689.29/689.65	c  689s |      25 |  7649920 |  5789298 |     2047   6865 |        0 |        0
691.28/691.66	c  691s |      25 |  7672448 |  5805498 |     2047   6881 |        0 |        0
693.28/693.67	c  693s |      25 |  7691632 |  5819898 |     2047   6894 |        0 |        0
695.28/695.67	c  695s |      25 |  7712400 |  5835998 |     2047   6909 |        0 |        0
697.28/697.67	c  697s |      25 |  7735328 |  5852898 |     2047   6925 |        0 |        0
699.29/699.68	c  699s |      25 |  7755505 |  5868398 |     2047   6940 |        0 |        0
701.28/701.69	c  701s |      25 |  7776518 |  5884298 |     2047   6955 |        0 |        0
703.28/703.69	c  703s |      25 |  7797605 |  5900598 |     2047   6970 |        0 |        0
705.28/705.69	c  705s |      25 |  7817850 |  5916198 |     2047   6985 |        0 |        0
707.28/707.69	c  707s |      25 |  7840086 |  5932498 |     2047   7000 |        0 |        0
709.39/709.70	c  709s |      25 |  7864133 |  5949598 |     2047   7016 |        0 |        0
711.39/711.71	c  711s |      25 |  7886530 |  5966498 |     2047   7032 |        0 |        0
713.39/713.73	c  713s |      25 |  7909890 |  5983598 |     2047   7048 |        0 |        0
715.39/715.73	c  715s |      25 |  7930106 |  5998798 |     2047   7062 |        0 |        0
717.39/717.73	c  717s |      25 |  7950470 |  6014098 |     2047   7077 |        0 |        0
719.39/719.74	c  719s |      25 |  7970630 |  6029698 |     2047   7091 |        0 |        0
721.39/721.75	c  721s |      25 |  7991150 |  6045698 |     2047   7107 |        0 |        0
723.38/723.75	c  723s |      25 |  8012966 |  6061998 |     2047   7122 |        0 |        0
725.38/725.75	c  725s |      25 |  8030899 |  6076098 |     2047   7136 |        0 |        0
727.38/727.76	c  727s |      25 |  8047507 |  6089398 |     2047   7148 |        0 |        0
729.38/729.77	c  729s |      25 |  8067424 |  6104698 |     2047   7163 |        0 |        0
731.38/731.79	c  731s |      25 |  8088340 |  6120398 |     2047   7178 |        0 |        0
733.39/733.79	c  733s |      25 |  8110021 |  6136298 |     2047   7193 |        0 |        0
735.48/735.80	c  735s |      25 |  8132388 |  6152698 |     2047   7208 |        0 |        0
737.48/737.81	c  737s |      25 |  8154512 |  6169198 |     2047   7224 |        0 |        0
739.48/739.82	c  739s |      25 |  8175823 |  6185598 |     2047   7239 |        0 |        0
741.48/741.82	c  741s |      25 |  8197698 |  6202198 |     2047   7255 |        0 |        0
743.48/743.83	c  743s |      25 |  8217995 |  6218098 |     2047   7270 |        0 |        0
745.48/745.84	c  745s |      25 |  8239223 |  6233998 |     2047   7285 |        0 |        0
747.48/747.85	c  747s |      25 |  8260060 |  6249798 |     2047   7299 |        0 |        0
749.48/749.85	c  749s |      25 |  8282211 |  6265898 |     2047   7314 |        0 |        0
751.47/751.86	c  751s |      25 |  8303814 |  6282298 |     2047   7330 |        0 |        0
753.47/753.87	c  753s |      25 |  8324819 |  6298198 |     2047   7345 |        0 |        0
755.48/755.89	c  755s |      25 |  8344932 |  6312998 |     2047   7359 |        0 |        0
757.47/757.89	c  757s |      25 |  8362925 |  6327098 |     2047   7372 |        0 |        0
759.57/759.90	c  759s |      25 |  8382040 |  6341398 |     2047   7385 |        0 |        0
761.57/761.90	c  761s |      25 |  8402426 |  6356998 |     2047   7400 |        0 |        0
763.57/763.91	c  763s |      25 |  8422555 |  6372198 |     2047   7414 |        0 |        0
765.57/765.92	c  765s |      25 |  8442608 |  6387598 |     2047   7429 |        0 |        0
767.58/767.92	c  767s |      25 |  8463466 |  6403498 |     2047   7444 |        0 |        0
769.57/769.93	c  769s |      25 |  8484118 |  6418998 |     2047   7458 |        0 |        0
771.57/771.94	c  771s |      25 |  8505340 |  6434598 |     2047   7473 |        0 |        0
773.58/773.95	c  773s |      25 |  8523457 |  6448898 |     2047   7487 |        0 |        0
775.58/775.95	c  775s |      25 |  8544404 |  6464798 |     2047   7502 |        0 |        0
777.58/777.96	c  777s |      25 |  8565285 |  6481098 |     2047   7517 |        0 |        0
779.58/779.97	c  779s |      25 |  8585319 |  6497198 |     2047   7532 |        0 |        0
781.58/781.98	c  781s |      25 |  8605622 |  6513098 |     2047   7547 |        0 |        0
783.58/783.99	c  783s |      25 |  8628443 |  6530198 |     2047   7563 |        0 |        0
785.68/786.00	c  785s |      25 |  8649462 |  6545898 |     2047   7578 |        0 |        0
787.68/788.01	c  787s |      25 |  8669927 |  6561798 |     2047   7592 |        0 |        0
789.68/790.02	c  790s |      25 |  8690649 |  6577598 |     2047   7607 |        0 |        0
791.68/792.03	c  792s |      25 |  8712043 |  6593698 |     2047   7622 |        0 |        0
793.68/794.03	c  794s |      25 |  8733251 |  6609898 |     2047   7637 |        0 |        0
795.68/796.03	c  796s |      25 |  8754557 |  6626298 |     2047   7653 |        0 |        0
797.67/798.04	c  798s |      25 |  8776417 |  6642798 |     2047   7669 |        0 |        0
799.67/800.04	c  800s |      25 |  8798868 |  6659598 |     2047   7685 |        0 |        0
801.68/802.06	c  802s |      25 |  8820764 |  6676298 |     2047   7700 |        0 |        0
803.67/804.06	c  804s |      25 |  8842270 |  6692798 |     2047   7716 |        0 |        0
805.67/806.07	c  806s |      25 |  8862773 |  6708498 |     2047   7731 |        0 |        0
807.67/808.08	c  808s |      25 |  8883076 |  6724098 |     2047   7746 |        0 |        0
809.67/810.08	c  810s |      25 |  8905454 |  6741098 |     2047   7762 |        0 |        0
811.67/812.08	c  812s |      25 |  8927860 |  6757698 |     2047   7777 |        0 |        0
813.68/814.08	c  814s |      25 |  8948950 |  6773898 |     2047   7793 |        0 |        0
815.67/816.09	c  816s |      25 |  8969655 |  6789298 |     2047   7807 |        0 |        0
817.67/818.09	c  818s |      25 |  8991245 |  6805398 |     2047   7822 |        0 |        0
819.67/820.09	c  820s |      25 |  9013435 |  6821698 |     2047   7838 |        0 |        0
821.67/822.10	c  822s |      25 |  9034089 |  6837298 |     2047   7853 |        0 |        0
823.77/824.10	c  824s |      25 |  9056717 |  6853898 |     2047   7868 |        0 |        0
825.78/826.11	c  826s |      25 |  9079435 |  6870598 |     2047   7884 |        0 |        0
827.77/828.11	c  828s |      25 |  9099820 |  6885698 |     2047   7898 |        0 |        0
829.77/830.12	c  830s |      25 |  9123276 |  6902598 |     2047   7915 |        0 |        0
831.77/832.12	c  832s |      25 |  9145633 |  6919298 |     2047   7930 |        0 |        0
833.77/834.12	c  834s |      25 |  9163545 |  6933098 |     2047   7944 |        0 |        0
835.77/836.13	c  836s |      25 |  9184456 |  6948798 |     2047   7959 |        0 |        0
837.77/838.14	c  838s |      25 |  9205510 |  6964498 |     2047   7974 |        0 |        0
839.77/840.16	c  840s |      25 |  9225816 |  6979898 |     2047   7988 |        0 |        0
841.77/842.16	c  842s |      25 |  9247316 |  6996098 |     2047   8004 |        0 |        0
843.77/844.16	c  844s |      25 |  9268661 |  7012498 |     2047   8019 |        0 |        0
845.77/846.17	c  846s |      25 |  9290538 |  7028698 |     2047   8034 |        0 |        0
847.77/848.18	c  848s |      25 |  9312687 |  7044898 |     2047   8049 |        0 |        0
849.76/850.20	c  850s |      25 |  9332388 |  7059598 |     2047   8063 |        0 |        0
851.86/852.20	c  852s |      25 |  9354212 |  7076098 |     2047   8079 |        0 |        0
853.86/854.21	c  854s |      25 |  9375408 |  7091598 |     2047   8093 |        0 |        0
855.86/856.21	c  856s |      25 |  9396884 |  7107398 |     2047   8108 |        0 |        0
857.86/858.21	c  858s |      25 |  9418114 |  7123698 |     2047   8124 |        0 |        0
859.87/860.22	c  860s |      25 |  9439982 |  7140198 |     2047   8139 |        0 |        0
861.86/862.22	c  862s |      25 |  9461807 |  7157098 |     2047   8155 |        0 |        0
863.86/864.23	c  864s |      25 |  9484224 |  7173798 |     2047   8171 |        0 |        0
865.86/866.23	c  866s |      25 |  9506483 |  7190998 |     2047   8187 |        0 |        0
867.86/868.25	c  868s |      25 |  9527317 |  7207198 |     2047   8203 |        0 |        0
869.87/870.26	c  870s |      25 |  9548619 |  7223898 |     2047   8218 |        0 |        0
871.86/872.26	c  872s |      25 |  9571546 |  7240698 |     2047   8234 |        0 |        0
873.86/874.27	c  874s |      25 |  9593266 |  7257298 |     2047   8250 |        0 |        0
875.86/876.28	c  876s |      25 |  9614810 |  7273798 |     2047   8265 |        0 |        0
877.86/878.28	c  878s |      25 |  9635817 |  7289598 |     2047   8280 |        0 |        0
879.86/880.28	c  880s |      25 |  9655279 |  7304798 |     2047   8294 |        0 |        0
881.86/882.29	c  882s |      25 |  9676167 |  7319898 |     2047   8309 |        0 |        0
883.86/884.29	c  884s |      25 |  9696852 |  7335698 |     2047   8324 |        0 |        0
885.86/886.29	c  886s |      25 |  9720008 |  7352898 |     2047   8340 |        0 |        0
887.96/888.30	c  888s |      25 |  9742974 |  7369398 |     2047   8356 |        0 |        0
889.95/890.30	c  890s |      25 |  9764063 |  7385198 |     2047   8371 |        0 |        0
891.95/892.32	c  892s |      25 |  9784192 |  7400698 |     2047   8385 |        0 |        0
893.96/894.33	c  894s |      25 |  9807239 |  7417798 |     2047   8402 |        0 |        0
895.95/896.33	c  896s |      25 |  9829131 |  7433798 |     2047   8417 |        0 |        0
897.95/898.35	c  898s |      25 |  9849364 |  7449498 |     2047   8432 |        0 |        0
899.95/900.36	c  900s |      25 |  9869069 |  7464798 |     2047   8446 |        0 |        0
901.95/902.36	c  902s |      25 |  9891164 |  7481098 |     2047   8461 |        0 |        0
903.96/904.37	c  904s |      25 |  9912260 |  7496998 |     2047   8477 |        0 |        0
905.95/906.37	c  906s |      25 |  9934698 |  7513698 |     2047   8493 |        0 |        0
907.95/908.37	c  908s |      25 |  9956598 |  7529898 |     2047   8508 |        0 |        0
909.95/910.39	c  910s |      25 |  9979000 |  7546398 |     2252   8523 |        0 |        0
911.95/912.39	c  912s |      25 |  9999706 |  7561998 |     2252   8537 |        0 |        0
914.05/914.40	c  914s |      25 | 10021326 |  7577998 |     2252   8551 |        0 |        0
916.06/916.41	c  916s |      25 | 10041468 |  7593098 |     2252   8563 |        0 |        0
916.76/917.10	c  917s |      26 | 10047520 |  7597752 |     2252   8567 |        0 |        0
918.76/919.11	c  919s |      26 | 10066361 |  7612252 |     2252   8580 |        0 |        0
920.76/921.12	c  921s |      26 | 10085615 |  7627252 |     2252   8592 |        0 |        0
922.76/923.12	c  923s |      26 | 10106482 |  7642852 |     2252   8605 |        0 |        0
924.76/925.12	c  925s |      26 | 10124215 |  7656852 |     2252   8617 |        0 |        0
926.76/927.14	c  927s |      26 | 10144254 |  7671652 |     2252   8629 |        0 |        0
928.75/929.14	c  929s |      26 | 10163397 |  7686252 |     2252   8641 |        0 |        0
930.75/931.15	c  931s |      26 | 10183439 |  7701652 |     2252   8654 |        0 |        0
932.75/933.15	c  933s |      26 | 10202602 |  7716452 |     2252   8667 |        0 |        0
934.76/935.15	c  935s |      26 | 10224667 |  7732552 |     2252   8680 |        0 |        0
936.75/937.16	c  937s |      26 | 10246120 |  7748652 |     2252   8694 |        0 |        0
938.75/939.17	c  939s |      26 | 10265197 |  7763552 |     2252   8706 |        0 |        0
940.75/941.18	c  941s |      26 | 10283119 |  7777452 |     2252   8718 |        0 |        0
942.75/943.19	c  943s |      26 | 10301729 |  7791752 |     2252   8730 |        0 |        0
944.85/945.20	c  945s |      26 | 10319430 |  7805552 |     2252   8742 |        0 |        0
946.76/947.20	c  947s |      26 | 10337542 |  7819252 |     2252   8753 |        0 |        0
948.85/949.20	c  949s |      26 | 10355893 |  7833852 |     2252   8766 |        0 |        0
950.85/951.20	c  951s |      26 | 10375037 |  7848752 |     2252   8778 |        0 |        0
952.85/953.20	c  953s |      26 | 10395068 |  7864052 |     2252   8791 |        0 |        0
954.85/955.21	c  955s |      26 | 10414798 |  7878652 |     2252   8803 |        0 |        0
956.85/957.22	c  957s |      26 | 10434229 |  7893252 |     2252   8816 |        0 |        0
958.85/959.24	c  959s |      26 | 10454781 |  7908652 |     2252   8829 |        0 |        0
960.85/961.24	c  961s |      26 | 10475358 |  7923952 |     2252   8842 |        0 |        0
962.85/963.26	c  963s |      26 | 10495205 |  7939052 |     2252   8855 |        0 |        0
964.85/965.28	c  965s |      26 | 10515772 |  7954352 |     2252   8867 |        0 |        0
966.85/967.29	c  967s |      26 | 10537241 |  7970152 |     2252   8881 |        0 |        0
968.85/969.29	c  969s |      26 | 10555525 |  7984452 |     2252   8893 |        0 |        0
970.84/971.30	c  971s |      26 | 10577668 |  7999652 |     2252   8906 |        0 |        0
972.94/973.32	c  973s |      26 | 10597690 |  8013952 |     2252   8919 |        0 |        0
974.94/975.33	c  975s |      26 | 10617670 |  8029052 |     2252   8931 |        0 |        0
976.94/977.34	c  977s |      26 | 10638056 |  8044452 |     2252   8944 |        0 |        0
978.94/979.34	c  979s |      26 | 10657847 |  8059852 |     2252   8957 |        0 |        0
980.95/981.35	c  981s |      26 | 10678472 |  8075552 |     2252   8970 |        0 |        0
982.94/983.35	c  983s |      26 | 10698736 |  8090552 |     2252   8983 |        0 |        0
984.94/985.36	c  985s |      26 | 10718955 |  8105652 |     2252   8995 |        0 |        0
986.94/987.37	c  987s |      26 | 10738668 |  8120352 |     2252   9007 |        0 |        0
988.94/989.38	c  989s |      26 | 10760147 |  8135952 |     2252   9021 |        0 |        0
990.94/991.38	c  991s |      26 | 10781628 |  8151352 |     2252   9033 |        0 |        0
992.95/993.39	c  993s |      26 | 10799962 |  8165452 |     2252   9045 |        0 |        0
995.04/995.40	c  995s |      26 | 10819454 |  8180052 |     2252   9058 |        0 |        0
997.04/997.41	c  997s |      26 | 10837604 |  8194152 |     2252   9070 |        0 |        0
999.04/999.42	c  999s |      26 | 10857226 |  8209052 |     2252   9082 |        0 |        0
1001.04/1001.44	c 1001s |      26 | 10874229 |  8222452 |     2252   9094 |        0 |        0
1003.04/1003.44	c 1003s |      26 | 10893471 |  8237052 |     2252   9106 |        0 |        0
1005.04/1005.45	c 1005s |      26 | 10913274 |  8252152 |     2252   9119 |        0 |        0
1007.04/1007.45	c 1007s |      26 | 10932047 |  8266552 |     2252   9131 |        0 |        0
1009.04/1009.46	c 1009s |      26 | 10950117 |  8280652 |     2252   9143 |        0 |        0
1011.04/1011.48	c 1011s |      26 | 10970605 |  8295752 |     2252   9156 |        0 |        0
1013.04/1013.48	c 1013s |      26 | 10989547 |  8310452 |     2252   9168 |        0 |        0
1015.04/1015.48	c 1015s |      26 | 11007705 |  8324452 |     2252   9180 |        0 |        0
1017.04/1017.49	c 1017s |      26 | 11027500 |  8338852 |     2252   9192 |        0 |        0
1019.14/1019.50	c 1019s |      26 | 11045853 |  8353252 |     2252   9205 |        0 |        0
1021.13/1021.51	c 1021s |      26 | 11064480 |  8367652 |     2252   9217 |        0 |        0
1023.13/1023.52	c 1023s |      26 | 11083285 |  8382152 |     2252   9229 |        0 |        0
1025.13/1025.53	c 1025s |      26 | 11102891 |  8396652 |     2252   9242 |        0 |        0
1027.14/1027.54	c 1027s |      26 | 11124006 |  8410952 |     2252   9254 |        0 |        0
1029.13/1029.55	c 1029s |      26 | 11141610 |  8424552 |     2252   9265 |        0 |        0
1031.13/1031.55	c 1031s |      26 | 11160131 |  8438552 |     2252   9277 |        0 |        0
1033.13/1033.56	c 1033s |      26 | 11179013 |  8452252 |     2252   9289 |        0 |        0
1035.13/1035.56	c 1035s |      26 | 11197168 |  8465952 |     2252   9300 |        0 |        0
1037.13/1037.56	c 1037s |      26 | 11213423 |  8479152 |     2252   9312 |        0 |        0
1039.14/1039.57	c 1039s |      26 | 11231060 |  8492752 |     2252   9323 |        0 |        0
1041.23/1041.60	c 1041s |      26 | 11249201 |  8506252 |     2252   9335 |        0 |        0
1043.23/1043.60	c 1043s |      26 | 11268636 |  8520952 |     2252   9347 |        0 |        0
1045.23/1045.60	c 1045s |      26 | 11287585 |  8535252 |     2252   9359 |        0 |        0
1047.23/1047.61	c 1047s |      26 | 11305806 |  8549452 |     2252   9371 |        0 |        0
1049.23/1049.63	c 1049s |      26 | 11323001 |  8563152 |     2252   9382 |        0 |        0
1051.23/1051.63	c 1051s |      26 | 11339447 |  8576352 |     2252   9393 |        0 |        0
1053.23/1053.63	c 1053s |      26 | 11357593 |  8590452 |     2252   9405 |        0 |        0
1055.23/1055.64	c 1055s |      26 | 11375429 |  8603852 |     2252   9416 |        0 |        0
1057.23/1057.64	c 1057s |      26 | 11393071 |  8616952 |     2252   9427 |        0 |        0
1059.23/1059.65	c 1059s |      26 | 11411985 |  8631352 |     2252   9439 |        0 |        0
1061.23/1061.65	c 1061s |      26 | 11429956 |  8644852 |     2252   9451 |        0 |        0
1063.23/1063.66	c 1063s |      26 | 11446927 |  8658152 |     2252   9462 |        0 |        0
1065.23/1065.68	c 1065s |      26 | 11464912 |  8672152 |     2252   9474 |        0 |        0
1067.23/1067.69	c 1067s |      26 | 11483486 |  8686252 |     2252   9485 |        0 |        0
1069.32/1069.70	c 1069s |      26 | 11501440 |  8699952 |     2252   9497 |        0 |        0
1071.32/1071.70	c 1071s |      26 | 11518327 |  8713152 |     2252   9508 |        0 |        0
1073.33/1073.71	c 1073s |      26 | 11536538 |  8726852 |     2252   9520 |        0 |        0
1075.32/1075.72	c 1075s |      26 | 11555745 |  8741352 |     2252   9532 |        0 |        0
1077.32/1077.72	c 1077s |      26 | 11573958 |  8755452 |     2252   9544 |        0 |        0
1079.32/1079.72	c 1079s |      26 | 11591334 |  8769052 |     2252   9555 |        0 |        0
1081.32/1081.72	c 1081s |      26 | 11608681 |  8782352 |     2252   9566 |        0 |        0
1083.33/1083.73	c 1083s |      26 | 11626649 |  8795852 |     2252   9578 |        0 |        0
1085.34/1085.75	c 1085s |      26 | 11640267 |  8807252 |     2252   9587 |        0 |        0
1087.33/1087.76	c 1087s |      26 | 11655873 |  8819752 |     2252   9598 |        0 |        0
1089.33/1089.76	c 1089s |      26 | 11675273 |  8834252 |     2252   9610 |        0 |        0
1091.33/1091.77	c 1091s |      26 | 11693426 |  8847952 |     2252   9621 |        0 |        0
1093.33/1093.78	c 1093s |      26 | 11711690 |  8861552 |     2252   9633 |        0 |        0
1095.34/1095.78	c 1095s |      26 | 11729684 |  8875352 |     2252   9644 |        0 |        0
1097.33/1097.79	c 1097s |      26 | 11747050 |  8888952 |     2252   9656 |        0 |        0
1099.33/1099.79	c 1099s |      26 | 11765668 |  8902852 |     2252   9668 |        0 |        0
1101.33/1101.79	c 1101s |      26 | 11783110 |  8916652 |     2252   9679 |        0 |        0
1103.43/1103.80	c 1103s |      26 | 11800393 |  8930152 |     2252   9690 |        0 |        0
1105.43/1105.81	c 1105s |      26 | 11819365 |  8944352 |     2252   9703 |        0 |        0
1107.43/1107.81	c 1107s |      26 | 11837806 |  8958352 |     2252   9715 |        0 |        0
1109.43/1109.82	c 1109s |      26 | 11856276 |  8972352 |     2252   9727 |        0 |        0
1111.43/1111.83	c 1111s |      26 | 11874933 |  8986552 |     2252   9739 |        0 |        0
1113.43/1113.84	c 1113s |      26 | 11893892 |  9000552 |     2252   9751 |        0 |        0
1115.43/1115.84	c 1115s |      26 | 11911681 |  9014052 |     2252   9762 |        0 |        0
1117.43/1117.86	c 1117s |      26 | 11930156 |  9027852 |     2252   9774 |        0 |        0
1119.43/1119.87	c 1119s |      26 | 11948769 |  9041552 |     2252   9786 |        0 |        0
1121.42/1121.87	c 1121s |      26 | 11966371 |  9054952 |     2252   9797 |        0 |        0
1123.42/1123.88	c 1123s |      26 | 11987385 |  9070252 |     2252   9810 |        0 |        0
1125.42/1125.89	c 1125s |      26 | 12006434 |  9084752 |     2252   9822 |        0 |        0
1127.42/1127.89	c 1127s |      26 | 12026166 |  9099352 |     2252   9835 |        0 |        0
1129.43/1129.89	c 1129s |      26 | 12046289 |  9114452 |     2252   9847 |        0 |        0
1131.42/1131.89	c 1131s |      26 | 12067703 |  9129652 |     2252   9860 |        0 |        0
1133.52/1133.91	c 1133s |      26 | 12088162 |  9144952 |     2252   9873 |        0 |        0
1135.52/1135.92	c 1135s |      26 | 12108532 |  9160352 |     2252   9885 |        0 |        0
1137.52/1137.93	c 1137s |      26 | 12129381 |  9175952 |     2252   9898 |        0 |        0
1139.52/1139.94	c 1139s |      26 | 12149899 |  9190652 |     2252   9911 |        0 |        0
1141.53/1141.95	c 1141s |      26 | 12167548 |  9204352 |     2252   9923 |        0 |        0
1143.52/1143.96	c 1143s |      26 | 12184699 |  9217752 |     2252   9934 |        0 |        0
1145.52/1145.96	c 1145s |      26 | 12202727 |  9231852 |     2252   9946 |        0 |        0
1147.52/1147.97	c 1147s |      26 | 12221924 |  9246552 |     2252   9958 |        0 |        0
1149.52/1149.98	c 1149s |      26 | 12241580 |  9261752 |     2252   9971 |        0 |        0
1151.52/1151.99	c 1151s |      26 | 12263238 |  9277952 |     2252   9985 |        0 |        0
1153.62/1154.01	c 1153s |      26 | 12283031 |  9293052 |     2252   9997 |        0 |        0
1155.61/1156.02	c 1156s |      26 | 12302470 |  9307352 |     2252  10009 |        0 |        0
1157.61/1158.02	c 1158s |      26 | 12321089 |  9321352 |     2252  10021 |        0 |        0
1159.61/1160.02	c 1160s |      26 | 12338745 |  9334552 |     2252  10032 |        0 |        0
1161.61/1162.03	c 1162s |      26 | 12357876 |  9348852 |     2252  10044 |        0 |        0
1163.61/1164.04	c 1164s |      26 | 12377056 |  9363452 |     2252  10056 |        0 |        0
1165.62/1166.04	c 1166s |      26 | 12396058 |  9377752 |     2252  10068 |        0 |        0
1167.61/1168.05	c 1168s |      26 | 12415659 |  9392152 |     2252  10081 |        0 |        0
1169.61/1170.06	c 1170s |      26 | 12434693 |  9406852 |     2252  10093 |        0 |        0
1171.61/1172.07	c 1172s |      26 | 12455888 |  9423052 |     2252  10107 |        0 |        0
1173.61/1174.08	c 1174s |      26 | 12475913 |  9438252 |     2252  10119 |        0 |        0
1175.62/1176.09	c 1176s |      26 | 12495842 |  9453252 |     2252  10132 |        0 |        0
1177.71/1178.11	c 1178s |      26 | 12516515 |  9467652 |     2252  10144 |        0 |        0
1179.71/1180.11	c 1180s |      26 | 12536385 |  9482352 |     2252  10157 |        0 |        0
1181.72/1182.12	c 1182s |      26 | 12557061 |  9497652 |     2252  10170 |        0 |        0
1183.72/1184.12	c 1184s |      26 | 12577856 |  9513452 |     2252  10183 |        0 |        0
1185.72/1186.12	c 1186s |      26 | 12597910 |  9528552 |     2252  10196 |        0 |        0
1187.72/1188.13	c 1188s |      26 | 12617560 |  9543252 |     2252  10208 |        0 |        0
1189.72/1190.14	c 1190s |      26 | 12636342 |  9557752 |     2252  10221 |        0 |        0
1191.71/1192.15	c 1192s |      26 | 12655956 |  9572852 |     2252  10234 |        0 |        0
1193.71/1194.15	c 1194s |      26 | 12676941 |  9588652 |     2252  10247 |        0 |        0
1195.71/1196.16	c 1196s |      26 | 12698051 |  9604152 |     2252  10260 |        0 |        0
1197.71/1198.17	c 1198s |      26 | 12717514 |  9619252 |     2252  10273 |        0 |        0
1199.72/1200.18	c 1200s |      26 | 12736468 |  9634352 |     2252  10286 |        0 |        0
1201.71/1202.19	c 1202s |      26 | 12755393 |  9649252 |     2252  10298 |        0 |        0
1203.81/1204.20	c 1204s |      26 | 12775045 |  9664352 |     2252  10311 |        0 |        0
1205.81/1206.20	c 1206s |      26 | 12793452 |  9678952 |     2252  10323 |        0 |        0
1207.81/1208.22	c 1208s |      26 | 12811117 |  9693052 |     2252  10335 |        0 |        0
1209.81/1210.22	c 1210s |      26 | 12828540 |  9706652 |     2252  10346 |        0 |        0
1211.82/1212.23	c 1212s |      26 | 12848161 |  9722152 |     2252  10359 |        0 |        0
1213.81/1214.24	c 1214s |      26 | 12868029 |  9737552 |     2252  10372 |        0 |        0
1215.81/1216.24	c 1216s |      26 | 12886308 |  9752052 |     2252  10384 |        0 |        0
1217.81/1218.24	c 1218s |      26 | 12905118 |  9766452 |     2252  10396 |        0 |        0
1219.81/1220.25	c 1220s |      26 | 12924098 |  9781052 |     2252  10408 |        0 |        0
1221.81/1222.26	c 1222s |      26 | 12943239 |  9795552 |     2252  10420 |        0 |        0
1223.81/1224.27	c 1224s |      26 | 12961918 |  9810452 |     2252  10433 |        0 |        0
1225.81/1226.28	c 1226s |      26 | 12981691 |  9826052 |     2252  10446 |        0 |        0
1227.81/1228.29	c 1228s |      26 | 13001564 |  9841152 |     2252  10459 |        0 |        0
1229.81/1230.29	c 1230s |      26 | 13021723 |  9856752 |     2252  10472 |        0 |        0
1231.81/1232.30	c 1232s |      26 | 13043478 |  9873052 |     2252  10485 |        0 |        0
1233.81/1234.30	c 1234s |      26 | 13064257 |  9888952 |     2252  10499 |        0 |        0
1235.90/1236.30	c 1236s |      26 | 13085990 |  9905252 |     2252  10512 |        0 |        0
1237.90/1238.31	c 1238s |      26 | 13106216 |  9920752 |     2252  10525 |        0 |        0
1239.90/1240.31	c 1240s |      26 | 13127284 |  9936852 |     2252  10539 |        0 |        0
1241.90/1242.31	c 1242s |      26 | 13148113 |  9952752 |     2252  10552 |        0 |        0
1243.90/1244.32	c 1244s |      26 | 13168820 |  9968652 |     2252  10566 |        0 |        0
1245.91/1246.32	c 1246s |      26 | 13188272 |  9983852 |     2252  10579 |        0 |        0
1247.90/1248.33	c 1248s |      26 | 13208162 |  9999352 |     2252  10592 |        0 |        0
1249.90/1250.34	c 1250s |      26 | 13227822 | 10014552 |     2252  10604 |        0 |        0
1251.90/1252.35	c 1252s |      26 | 13248105 | 10030152 |     2252  10618 |        0 |        0
1253.90/1254.36	c 1254s |      26 | 13268580 | 10046152 |     2252  10631 |        0 |        0
1255.91/1256.37	c 1256s |      26 | 13290421 | 10062352 |     2252  10645 |        0 |        0
1257.90/1258.37	c 1258s |      26 | 13311334 | 10078252 |     2252  10658 |        0 |        0
1259.90/1260.38	c 1260s |      26 | 13332642 | 10094552 |     2252  10672 |        0 |        0
1261.90/1262.39	c 1262s |      26 | 13354330 | 10110652 |     2252  10686 |        0 |        0
1264.00/1264.40	c 1264s |      26 | 13374033 | 10126152 |     2252  10699 |        0 |        0
1266.00/1266.41	c 1266s |      26 | 13393450 | 10141152 |     2252  10711 |        0 |        0
1268.01/1268.42	c 1268s |      26 | 13411611 | 10155652 |     2252  10724 |        0 |        0
1270.00/1270.43	c 1270s |      26 | 13430752 | 10170552 |     2252  10736 |        0 |        0
1272.00/1272.44	c 1272s |      26 | 13451547 | 10186352 |     2252  10750 |        0 |        0
1274.00/1274.45	c 1274s |      26 | 13471510 | 10202052 |     2252  10763 |        0 |        0
1276.00/1276.46	c 1276s |      26 | 13493145 | 10218452 |     2252  10777 |        0 |        0
1278.00/1278.47	c 1278s |      26 | 13511741 | 10233352 |     2252  10789 |        0 |        0
1280.00/1280.47	c 1280s |      26 | 13531858 | 10249152 |     2252  10803 |        0 |        0
1282.00/1282.48	c 1282s |      26 | 13551288 | 10264552 |     2252  10816 |        0 |        0
1283.99/1284.48	c 1284s |      26 | 13572479 | 10280852 |     2252  10830 |        0 |        0
1285.99/1286.48	c 1286s |      26 | 13592934 | 10296852 |     2252  10843 |        0 |        0
1287.99/1288.48	c 1288s |      26 | 13614166 | 10312952 |     2252  10857 |        0 |        0
1290.00/1290.49	c 1290s |      26 | 13633120 | 10328052 |     2252  10870 |        0 |        0
1291.99/1292.49	c 1292s |      26 | 13652399 | 10343152 |     2252  10882 |        0 |        0
1294.09/1294.50	c 1294s |      26 | 13672839 | 10358652 |     2252  10896 |        0 |        0
1296.09/1296.51	c 1296s |      26 | 13693642 | 10374752 |     2252  10909 |        0 |        0
1298.09/1298.51	c 1298s |      26 | 13714418 | 10390452 |     2252  10922 |        0 |        0
1300.09/1300.52	c 1300s |      26 | 13733463 | 10405152 |     2252  10935 |        0 |        0
1302.10/1302.52	c 1302s |      26 | 13753972 | 10420952 |     2252  10948 |        0 |        0
1304.09/1304.53	c 1304s |      26 | 13776128 | 10437252 |     2252  10962 |        0 |        0
1306.09/1306.53	c 1306s |      26 | 13795524 | 10452252 |     2252  10975 |        0 |        0
1308.09/1308.53	c 1308s |      26 | 13814132 | 10467252 |     2252  10988 |        0 |        0
1310.09/1310.54	c 1310s |      26 | 13835801 | 10483752 |     2252  11002 |        0 |        0
1312.10/1312.54	c 1312s |      26 | 13856347 | 10499152 |     2252  11015 |        0 |        0
1314.10/1314.55	c 1314s |      26 | 13876082 | 10514552 |     2252  11028 |        0 |        0
1316.09/1316.56	c 1316s |      26 | 13897054 | 10530252 |     2252  11041 |        0 |        0
1318.09/1318.57	c 1318s |      26 | 13916963 | 10545852 |     2252  11054 |        0 |        0
1320.09/1320.57	c 1320s |      26 | 13936805 | 10561352 |     2252  11067 |        0 |        0
1322.09/1322.58	c 1322s |      26 | 13958281 | 10577752 |     2252  11081 |        0 |        0
1324.10/1324.59	c 1324s |      26 | 13977375 | 10592452 |     2252  11094 |        0 |        0
1326.09/1326.59	c 1326s |      26 | 13998688 | 10608552 |     2252  11107 |        0 |        0
1328.09/1328.60	c 1328s |      26 | 14019062 | 10624052 |     2252  11120 |        0 |        0
1330.19/1330.61	c 1330s |      26 | 14039353 | 10639652 |     2252  11134 |        0 |        0
1332.19/1332.63	c 1332s |      26 | 14058960 | 10655052 |     2252  11147 |        0 |        0
1334.19/1334.63	c 1334s |      26 | 14078339 | 10669652 |     2252  11159 |        0 |        0
1336.19/1336.64	c 1336s |      26 | 14097474 | 10684352 |     2252  11171 |        0 |        0
1338.19/1338.64	c 1338s |      26 | 14118535 | 10699452 |     2252  11184 |        0 |        0
1340.19/1340.64	c 1340s |      26 | 14137063 | 10714152 |     2252  11197 |        0 |        0
1342.19/1342.64	c 1342s |      26 | 14157880 | 10730052 |     2252  11210 |        0 |        0
1344.19/1344.65	c 1344s |      26 | 14176949 | 10745152 |     2252  11223 |        0 |        0
1346.19/1346.67	c 1346s |      26 | 14196823 | 10760752 |     2252  11236 |        0 |        0
1348.19/1348.68	c 1348s |      26 | 14216181 | 10775352 |     2252  11249 |        0 |        0
1350.19/1350.69	c 1350s |      26 | 14235563 | 10790652 |     2252  11262 |        0 |        0
1352.18/1352.69	c 1352s |      26 | 14255416 | 10806052 |     2252  11275 |        0 |        0
1354.28/1354.70	c 1354s |      26 | 14276623 | 10822152 |     2252  11288 |        0 |        0
1356.28/1356.70	c 1356s |      26 | 14297983 | 10838252 |     2252  11302 |        0 |        0
1358.28/1358.71	c 1358s |      26 | 14317448 | 10853552 |     2252  11315 |        0 |        0
1360.29/1360.72	c 1360s |      26 | 14337081 | 10868552 |     2252  11328 |        0 |        0
1362.28/1362.72	c 1362s |      26 | 14356593 | 10883352 |     2252  11340 |        0 |        0
1364.28/1364.73	c 1364s |      26 | 14375601 | 10897752 |     2252  11352 |        0 |        0
1366.28/1366.73	c 1366s |      26 | 14393788 | 10911952 |     2252  11364 |        0 |        0
1368.28/1368.74	c 1368s |      26 | 14411777 | 10926052 |     2252  11376 |        0 |        0
1370.29/1370.74	c 1370s |      26 | 14431320 | 10941152 |     2252  11389 |        0 |        0
1372.28/1372.75	c 1372s |      26 | 14451163 | 10956252 |     2252  11402 |        0 |        0
1374.28/1374.76	c 1374s |      26 | 14470824 | 10971352 |     2252  11415 |        0 |        0
1376.28/1376.76	c 1376s |      26 | 14491893 | 10987252 |     2252  11428 |        0 |        0
1378.28/1378.76	c 1378s |      26 | 14513564 | 11003752 |     2252  11442 |        0 |        0
1380.28/1380.77	c 1380s |      26 | 14535542 | 11020052 |     2252  11456 |        0 |        0
1382.28/1382.77	c 1382s |      26 | 14554721 | 11035152 |     2252  11469 |        0 |        0
1384.29/1384.77	c 1384s |      26 | 14575592 | 11051252 |     2252  11482 |        0 |        0
1386.29/1386.79	c 1386s |      26 | 14596268 | 11066552 |     2252  11495 |        0 |        0
1388.29/1388.79	c 1388s |      26 | 14617259 | 11082352 |     2252  11509 |        0 |        0
1390.38/1390.80	c 1390s |      26 | 14635028 | 11096452 |     2252  11521 |        0 |        0
1392.38/1392.80	c 1392s |      26 | 14655139 | 11111652 |     2252  11534 |        0 |        0
1394.39/1394.81	c 1394s |      26 | 14672020 | 11125352 |     2252  11545 |        0 |        0
1396.38/1396.83	c 1396s |      26 | 14691160 | 11140152 |     2252  11558 |        0 |        0
1398.38/1398.83	c 1398s |      26 | 14710779 | 11155252 |     2252  11571 |        0 |        0
1400.38/1400.84	c 1400s |      26 | 14731709 | 11171452 |     2252  11584 |        0 |        0
1402.38/1402.85	c 1402s |      26 | 14752885 | 11187352 |     2252  11598 |        0 |        0
1404.39/1404.86	c 1404s |      26 | 14772606 | 11203052 |     2252  11611 |        0 |        0
1406.38/1406.86	c 1406s |      26 | 14794056 | 11219052 |     2252  11625 |        0 |        0
1408.38/1408.86	c 1408s |      26 | 14815461 | 11235152 |     2252  11638 |        0 |        0
1410.38/1410.87	c 1410s |      26 | 14835458 | 11250852 |     2252  11652 |        0 |        0
1412.38/1412.87	c 1412s |      26 | 14856952 | 11266952 |     2252  11665 |        0 |        0
1414.38/1414.87	c 1414s |      26 | 14877205 | 11282952 |     2252  11679 |        0 |        0
1416.38/1416.88	c 1416s |      26 | 14898017 | 11298952 |     2252  11693 |        0 |        0
1418.38/1418.89	c 1418s |      26 | 14918318 | 11314752 |     2252  11706 |        0 |        0
1420.48/1420.90	c 1420s |      26 | 14939044 | 11330552 |     2478  11718 |        0 |        0
1422.48/1422.91	c 1422s |      26 | 14955706 | 11343952 |     2478  11729 |        0 |        0
1424.48/1424.92	c 1424s |      26 | 14976713 | 11359952 |     2478  11741 |        0 |        0
1426.48/1426.93	c 1426s |      26 | 14995420 | 11374652 |     2478  11753 |        0 |        0
1428.48/1428.94	c 1428s |      26 | 15015611 | 11389552 |     2478  11764 |        0 |        0
1429.37/1429.84	c 1429s |      27 | 15025210 | 11396733 |     2478  11770 |        0 |        0
1431.37/1431.84	c 1431s |      27 | 15042405 | 11409833 |     2478  11780 |        0 |        0
1433.38/1433.85	c 1433s |      27 | 15058336 | 11422833 |     2478  11790 |        0 |        0
1435.38/1435.86	c 1435s |      27 | 15075800 | 11436833 |     2478  11801 |        0 |        0
1437.38/1437.87	c 1437s |      27 | 15095426 | 11452033 |     2478  11812 |        0 |        0
1439.38/1439.87	c 1439s |      27 | 15113869 | 11466333 |     2478  11823 |        0 |        0
1441.38/1441.88	c 1441s |      27 | 15132361 | 11480933 |     2478  11834 |        0 |        0
1443.48/1443.90	c 1443s |      27 | 15150971 | 11495633 |     2478  11846 |        0 |        0
1445.48/1445.91	c 1445s |      27 | 15168120 | 11509133 |     2478  11856 |        0 |        0
1447.48/1447.92	c 1447s |      27 | 15185113 | 11522633 |     2478  11866 |        0 |        0
1449.48/1449.92	c 1449s |      27 | 15202322 | 11536433 |     2478  11877 |        0 |        0
1451.47/1451.92	c 1451s |      27 | 15221571 | 11551233 |     2478  11888 |        0 |        0
1453.47/1453.93	c 1453s |      27 | 15241792 | 11566933 |     2478  11900 |        0 |        0
1455.47/1455.94	c 1455s |      27 | 15261745 | 11581933 |     2478  11912 |        0 |        0
1457.47/1457.94	c 1457s |      27 | 15279417 | 11595833 |     2478  11922 |        0 |        0
1459.47/1459.95	c 1459s |      27 | 15297391 | 11610033 |     2478  11933 |        0 |        0
1461.48/1461.96	c 1461s |      27 | 15315169 | 11624433 |     2478  11944 |        0 |        0
1463.47/1463.97	c 1463s |      27 | 15331626 | 11637633 |     2478  11954 |        0 |        0
1465.47/1465.99	c 1465s |      27 | 15349181 | 11650833 |     2478  11964 |        0 |        0
1467.47/1467.99	c 1467s |      27 | 15367242 | 11664533 |     2478  11975 |        0 |        0
1469.57/1470.00	c 1469s |      27 | 15385192 | 11678533 |     2478  11986 |        0 |        0
1471.57/1472.01	c 1471s |      27 | 15403764 | 11692833 |     2478  11997 |        0 |        0
1473.57/1474.01	c 1473s |      27 | 15422907 | 11707433 |     2478  12008 |        0 |        0
1475.57/1476.02	c 1475s |      27 | 15442898 | 11722533 |     2478  12019 |        0 |        0
1477.57/1478.03	c 1478s |      27 | 15462516 | 11737533 |     2478  12031 |        0 |        0
1479.57/1480.03	c 1480s |      27 | 15481192 | 11751933 |     2478  12042 |        0 |        0
1481.57/1482.04	c 1482s |      27 | 15499569 | 11766133 |     2478  12053 |        0 |        0
1483.57/1484.06	c 1484s |      27 | 15520292 | 11781633 |     2478  12065 |        0 |        0
1485.57/1486.07	c 1486s |      27 | 15535762 | 11794133 |     2478  12074 |        0 |        0
1487.57/1488.08	c 1488s |      27 | 15551629 | 11806433 |     2478  12084 |        0 |        0
1489.57/1490.09	c 1490s |      27 | 15569799 | 11820133 |     2478  12094 |        0 |        0
1491.57/1492.09	c 1492s |      27 | 15590549 | 11835833 |     2478  12106 |        0 |        0
1493.67/1494.11	c 1494s |      27 | 15611153 | 11851433 |     2478  12118 |        0 |        0
1495.67/1496.11	c 1496s |      27 | 15629646 | 11866333 |     2478  12129 |        0 |        0
1497.66/1498.12	c 1498s |      27 | 15647939 | 11880933 |     2478  12141 |        0 |        0
1499.66/1500.12	c 1500s |      27 | 15667230 | 11895733 |     2478  12152 |        0 |        0
1501.66/1502.13	c 1502s |      27 | 15686298 | 11910633 |     2478  12163 |        0 |        0
1503.66/1504.14	c 1504s |      27 | 15704193 | 11924633 |     2478  12174 |        0 |        0
1505.66/1506.14	c 1506s |      27 | 15723873 | 11939733 |     2478  12186 |        0 |        0
1507.67/1508.15	c 1508s |      27 | 15743642 | 11954533 |     2478  12197 |        0 |        0
1509.66/1510.16	c 1510s |      27 | 15761293 | 11968433 |     2478  12208 |        0 |        0
1511.66/1512.18	c 1512s |      27 | 15778623 | 11982133 |     2478  12218 |        0 |        0
1513.66/1514.18	c 1514s |      27 | 15796189 | 11996033 |     2478  12229 |        0 |        0
1515.66/1516.19	c 1516s |      27 | 15813890 | 12009833 |     2478  12239 |        0 |        0
1517.76/1518.21	c 1518s |      27 | 15831839 | 12023733 |     2478  12250 |        0 |        0
1519.77/1520.22	c 1520s |      27 | 15849602 | 12037733 |     2478  12261 |        0 |        0
1521.76/1522.22	c 1522s |      27 | 15866892 | 12051433 |     2478  12271 |        0 |        0
1523.76/1524.23	c 1524s |      27 | 15884828 | 12065533 |     2478  12282 |        0 |        0
1525.76/1526.24	c 1526s |      27 | 15903465 | 12079933 |     2478  12293 |        0 |        0
1527.76/1528.25	c 1528s |      27 | 15922877 | 12094733 |     2478  12305 |        0 |        0
1529.76/1530.26	c 1530s |      27 | 15942791 | 12109533 |     2478  12316 |        0 |        0
1531.76/1532.27	c 1532s |      27 | 15963055 | 12124733 |     2478  12328 |        0 |        0
1533.76/1534.29	c 1534s |      27 | 15981678 | 12138933 |     2478  12338 |        0 |        0
1535.76/1536.29	c 1536s |      27 | 16002634 | 12154233 |     2478  12350 |        0 |        0
1537.86/1538.31	c 1538s |      27 | 16022430 | 12169033 |     2478  12362 |        0 |        0
1539.85/1540.31	c 1540s |      27 | 16038756 | 12182133 |     2478  12372 |        0 |        0
1541.86/1542.32	c 1542s |      27 | 16056624 | 12196033 |     2478  12382 |        0 |        0
1543.85/1544.33	c 1544s |      27 | 16075176 | 12210833 |     2478  12393 |        0 |        0
1545.85/1546.34	c 1546s |      27 | 16093879 | 12225433 |     2478  12405 |        0 |        0
1547.85/1548.35	c 1548s |      27 | 16113141 | 12240133 |     2478  12416 |        0 |        0
1549.85/1550.35	c 1550s |      27 | 16131460 | 12254233 |     2478  12427 |        0 |        0
1551.85/1552.36	c 1552s |      27 | 16149697 | 12268533 |     2478  12438 |        0 |        0
1553.86/1554.36	c 1554s |      27 | 16169629 | 12283333 |     2478  12449 |        0 |        0
1555.85/1556.37	c 1556s |      27 | 16187438 | 12297033 |     2478  12460 |        0 |        0
1557.85/1558.38	c 1558s |      27 | 16206949 | 12312233 |     2478  12471 |        0 |        0
1559.85/1560.39	c 1560s |      27 | 16226365 | 12326933 |     2478  12483 |        0 |        0
1561.95/1562.40	c 1562s |      27 | 16244952 | 12341133 |     2478  12494 |        0 |        0
1563.95/1564.41	c 1564s |      27 | 16265356 | 12356533 |     2478  12505 |        0 |        0
1565.96/1566.41	c 1566s |      27 | 16284774 | 12370433 |     2478  12516 |        0 |        0
1567.95/1568.43	c 1568s |      27 | 16303616 | 12384733 |     2478  12528 |        0 |        0
1569.95/1570.44	c 1570s |      27 | 16319379 | 12397333 |     2478  12537 |        0 |        0
1571.95/1572.45	c 1572s |      27 | 16336336 | 12410333 |     2478  12547 |        0 |        0
1573.95/1574.45	c 1574s |      27 | 16354143 | 12423933 |     2478  12558 |        0 |        0
1575.95/1576.46	c 1576s |      27 | 16371528 | 12437433 |     2478  12568 |        0 |        0
1577.95/1578.47	c 1578s |      27 | 16389042 | 12450933 |     2478  12579 |        0 |        0
1579.95/1580.47	c 1580s |      27 | 16407440 | 12464533 |     2478  12589 |        0 |        0
1581.95/1582.49	c 1582s |      27 | 16425446 | 12477933 |     2478  12600 |        0 |        0
1583.96/1584.49	c 1584s |      27 | 16441449 | 12490533 |     2478  12610 |        0 |        0
1586.05/1586.51	c 1586s |      27 | 16458256 | 12503233 |     2478  12620 |        0 |        0
1588.06/1588.52	c 1588s |      27 | 16474994 | 12516133 |     2478  12630 |        0 |        0
1590.05/1590.52	c 1590s |      27 | 16493566 | 12530033 |     2478  12640 |        0 |        0
1592.05/1592.52	c 1592s |      27 | 16512131 | 12543833 |     2478  12651 |        0 |        0
1594.05/1594.53	c 1594s |      27 | 16530750 | 12557833 |     2478  12662 |        0 |        0
1596.05/1596.53	c 1596s |      27 | 16548263 | 12571333 |     2478  12672 |        0 |        0
1598.05/1598.54	c 1598s |      27 | 16567496 | 12586333 |     2478  12684 |        0 |        0
1600.06/1600.54	c 1600s |      27 | 16585805 | 12600633 |     2478  12695 |        0 |        0
1602.05/1602.55	c 1602s |      27 | 16603839 | 12614833 |     2478  12706 |        0 |        0
1604.05/1604.56	c 1604s |      27 | 16623056 | 12629433 |     2478  12717 |        0 |        0
1606.05/1606.56	c 1606s |      27 | 16642622 | 12644233 |     2478  12729 |        0 |        0
1608.05/1608.56	c 1608s |      27 | 16660618 | 12658233 |     2478  12740 |        0 |        0
1610.05/1610.58	c 1610s |      27 | 16678600 | 12671933 |     2478  12750 |        0 |        0
1612.05/1612.58	c 1612s |      27 | 16696310 | 12685433 |     2478  12761 |        0 |        0
1614.04/1614.59	c 1614s |      27 | 16712800 | 12698333 |     2478  12771 |        0 |        0
1616.14/1616.60	c 1616s |      27 | 16730278 | 12711633 |     2478  12781 |        0 |        0
1618.14/1618.60	c 1618s |      27 | 16748818 | 12725533 |     2478  12792 |        0 |        0
1620.14/1620.60	c 1620s |      27 | 16769196 | 12740533 |     2478  12804 |        0 |        0
1622.15/1622.62	c 1622s |      27 | 16788095 | 12754933 |     2478  12815 |        0 |        0
1624.14/1624.63	c 1624s |      27 | 16807583 | 12769833 |     2478  12827 |        0 |        0
1626.15/1626.64	c 1626s |      27 | 16825911 | 12783633 |     2478  12837 |        0 |        0
1628.15/1628.64	c 1628s |      27 | 16843201 | 12797233 |     2478  12848 |        0 |        0
1630.15/1630.64	c 1630s |      27 | 16859132 | 12809633 |     2478  12857 |        0 |        0
1632.15/1632.66	c 1632s |      27 | 16876177 | 12822933 |     2478  12868 |        0 |        0
1634.15/1634.67	c 1634s |      27 | 16894941 | 12837333 |     2478  12879 |        0 |        0
1636.15/1636.69	c 1636s |      27 | 16912191 | 12851233 |     2478  12890 |        0 |        0
1638.15/1638.69	c 1638s |      27 | 16930083 | 12865233 |     2478  12900 |        0 |        0
1640.25/1640.70	c 1640s |      27 | 16948332 | 12879033 |     2478  12911 |        0 |        0
1642.25/1642.71	c 1642s |      27 | 16964461 | 12891533 |     2478  12921 |        0 |        0
1644.25/1644.72	c 1644s |      27 | 16982729 | 12905633 |     2478  12932 |        0 |        0
1646.25/1646.72	c 1646s |      27 | 16999945 | 12919233 |     2478  12942 |        0 |        0
1648.24/1648.73	c 1648s |      27 | 17017794 | 12933333 |     2478  12953 |        0 |        0
1650.24/1650.74	c 1650s |      27 | 17034268 | 12946833 |     2478  12964 |        0 |        0
1652.24/1652.75	c 1652s |      27 | 17053184 | 12961433 |     2478  12975 |        0 |        0
1654.24/1654.75	c 1654s |      27 | 17071519 | 12975633 |     2478  12986 |        0 |        0
1656.25/1656.76	c 1656s |      27 | 17089082 | 12989433 |     2478  12997 |        0 |        0
1658.24/1658.77	c 1658s |      27 | 17108223 | 13004133 |     2478  13008 |        0 |        0
1660.24/1660.78	c 1660s |      27 | 17127020 | 13018633 |     2478  13019 |        0 |        0
1662.34/1662.80	c 1662s |      27 | 17143201 | 13031433 |     2478  13029 |        0 |        0
1664.34/1664.80	c 1664s |      27 | 17158485 | 13043733 |     2478  13039 |        0 |        0
1666.34/1666.81	c 1666s |      27 | 17174951 | 13056033 |     2478  13049 |        0 |        0
1668.35/1668.82	c 1668s |      27 | 17190379 | 13068133 |     2478  13058 |        0 |        0
1670.34/1670.83	c 1670s |      27 | 17205837 | 13080333 |     2478  13067 |        0 |        0
1672.34/1672.84	c 1672s |      27 | 17222681 | 13093433 |     2478  13078 |        0 |        0
1674.34/1674.85	c 1674s |      27 | 17241393 | 13108033 |     2478  13089 |        0 |        0
1676.34/1676.85	c 1676s |      27 | 17259779 | 13122133 |     2478  13100 |        0 |        0
1678.34/1678.85	c 1678s |      27 | 17276292 | 13135233 |     2478  13110 |        0 |        0
1680.34/1680.86	c 1680s |      27 | 17291341 | 13147433 |     2478  13120 |        0 |        0
1682.34/1682.87	c 1682s |      27 | 17309529 | 13161233 |     2478  13130 |        0 |        0
1684.34/1684.88	c 1684s |      27 | 17326315 | 13174233 |     2478  13140 |        0 |        0
1686.34/1686.88	c 1686s |      27 | 17343795 | 13187833 |     2478  13151 |        0 |        0
1688.34/1688.89	c 1688s |      27 | 17362035 | 13201833 |     2478  13162 |        0 |        0
1690.44/1690.90	c 1690s |      27 | 17381299 | 13216233 |     2478  13173 |        0 |        0
1692.34/1692.90	c 1692s |      27 | 17400868 | 13231033 |     2478  13185 |        0 |        0
1694.44/1694.91	c 1694s |      27 | 17420928 | 13245933 |     2478  13196 |        0 |        0
1696.44/1696.91	c 1696s |      27 | 17440557 | 13260233 |     2478  13207 |        0 |        0
1698.43/1698.92	c 1698s |      27 | 17457070 | 13273233 |     2478  13217 |        0 |        0
1700.43/1700.92	c 1700s |      27 | 17473671 | 13286233 |     2478  13228 |        0 |        0
1702.44/1702.94	c 1702s |      27 | 17492284 | 13300333 |     2478  13239 |        0 |        0
1704.43/1704.94	c 1704s |      27 | 17511469 | 13314933 |     2478  13250 |        0 |        0
1706.43/1706.96	c 1706s |      27 | 17529818 | 13328733 |     2478  13261 |        0 |        0
1708.43/1708.97	c 1708s |      27 | 17548958 | 13343133 |     2478  13272 |        0 |        0
1710.43/1710.97	c 1710s |      27 | 17568229 | 13357733 |     2478  13283 |        0 |        0
1712.43/1712.98	c 1712s |      27 | 17586669 | 13372033 |     2478  13294 |        0 |        0
1714.44/1714.98	c 1714s |      27 | 17607006 | 13387333 |     2478  13306 |        0 |        0
1716.43/1716.98	c 1716s |      27 | 17624625 | 13401233 |     2478  13317 |        0 |        0
1718.43/1718.98	c 1718s |      27 | 17643207 | 13415633 |     2478  13328 |        0 |        0
1720.43/1720.99	c 1720s |      27 | 17664647 | 13430533 |     2478  13340 |        0 |        0
1722.53/1723.00	c 1722s |      27 | 17681600 | 13444433 |     2478  13350 |        0 |        0
1724.53/1725.01	c 1724s |      27 | 17700911 | 13459233 |     2478  13362 |        0 |        0
1726.53/1727.02	c 1726s |      27 | 17719629 | 13473833 |     2478  13373 |        0 |        0
1728.53/1729.02	c 1729s |      27 | 17737536 | 13488133 |     2478  13384 |        0 |        0
1730.53/1731.03	c 1731s |      27 | 17756224 | 13502533 |     2478  13395 |        0 |        0
1732.52/1733.03	c 1733s |      27 | 17775183 | 13517433 |     2478  13407 |        0 |        0
1734.52/1735.04	c 1735s |      27 | 17795442 | 13533033 |     2478  13418 |        0 |        0
1736.53/1737.04	c 1737s |      27 | 17815008 | 13548433 |     2478  13430 |        0 |        0
1738.52/1739.05	c 1739s |      27 | 17836080 | 13564133 |     2478  13442 |        0 |        0
1740.52/1741.06	c 1741s |      27 | 17857477 | 13580633 |     2478  13455 |        0 |        0
1742.52/1743.07	c 1743s |      27 | 17876333 | 13595033 |     2478  13466 |        0 |        0
1744.52/1745.07	c 1745s |      27 | 17896296 | 13610333 |     2478  13478 |        0 |        0
1746.52/1747.07	c 1747s |      27 | 17916234 | 13625833 |     2478  13490 |        0 |        0
1748.53/1749.07	c 1749s |      27 | 17937961 | 13642033 |     2478  13502 |        0 |        0
1750.52/1751.08	c 1751s |      27 | 17956987 | 13657133 |     2478  13514 |        0 |        0
1752.52/1753.09	c 1753s |      27 | 17976032 | 13671833 |     2478  13525 |        0 |        0
1754.52/1755.09	c 1755s |      27 | 17996096 | 13686633 |     2478  13536 |        0 |        0
1756.62/1757.10	c 1757s |      27 | 18016816 | 13701833 |     2478  13548 |        0 |        0
1758.62/1759.11	c 1759s |      27 | 18034193 | 13715333 |     2478  13558 |        0 |        0
1760.62/1761.12	c 1761s |      27 | 18051726 | 13729233 |     2478  13569 |        0 |        0
1762.63/1763.13	c 1763s |      27 | 18072516 | 13745133 |     2478  13581 |        0 |        0
1764.63/1765.13	c 1765s |      27 | 18092237 | 13760233 |     2478  13593 |        0 |        0
1766.62/1767.14	c 1767s |      27 | 18113582 | 13776433 |     2478  13605 |        0 |        0
1768.62/1769.15	c 1769s |      27 | 18135101 | 13792733 |     2478  13618 |        0 |        0
1770.63/1771.16	c 1771s |      27 | 18151947 | 13806933 |     2478  13629 |        0 |        0
1772.62/1773.16	c 1773s |      27 | 18170827 | 13821333 |     2478  13640 |        0 |        0
1774.62/1775.16	c 1775s |      27 | 18191137 | 13836933 |     2478  13652 |        0 |        0
1776.62/1777.18	c 1777s |      27 | 18211956 | 13852733 |     2478  13664 |        0 |        0
1778.62/1779.18	c 1779s |      27 | 18233005 | 13867933 |     2478  13676 |        0 |        0
1780.62/1781.19	c 1781s |      27 | 18254222 | 13883833 |     2478  13688 |        0 |        0
1782.63/1783.19	c 1783s |      27 | 18275618 | 13899933 |     2478  13700 |        0 |        0
1784.72/1785.20	c 1785s |      27 | 18295297 | 13915233 |     2478  13712 |        0 |        0
1786.72/1787.20	c 1787s |      27 | 18314084 | 13930133 |     2478  13724 |        0 |        0
1788.72/1789.22	c 1789s |      27 | 18332613 | 13944933 |     2478  13735 |        0 |        0
1790.72/1791.22	c 1791s |      27 | 18353975 | 13961233 |     2478  13747 |        0 |        0
1792.72/1793.24	c 1793s |      27 | 18374073 | 13976833 |     2478  13760 |        0 |        0
1794.72/1795.25	c 1795s |      27 | 18392885 | 13991733 |     2478  13771 |        0 |        0
1796.72/1797.26	c 1797s |      27 | 18412166 | 14006433 |     2478  13782 |        0 |        0
1798.72/1799.27	c 1799s |      27 | 18431701 | 14021533 |     2478  13794 |        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-4120122-1467310024/watcher-4120122-1467310024 -o /tmp/evaluation-result-4120122-1467310024/solver-4120122-1467310024 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19960 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120122-1467310024.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.16 1.51 1.66 3/177 20090
/proc/meminfo: memFree=29527660/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 2552 0 0 0 0 0 0 0 20 0 4 0 12106221 701952000 3423 33554432000 4194304 16246674 140737159055088 140737159054512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 172143 3434 441 2943 0 169037 0
[pid=20090/tid=20091] ppid=20087 vsize=703932 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 720826368 3495 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=708028 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 725020672 3511 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 729214976 3527 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100131 s]
/proc/loadavg: 1.16 1.51 1.66 3/177 20090
/proc/meminfo: memFree=29527660/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 24864 0 0 0 6 3 0 0 20 0 4 0 12106221 1247350784 25725 33554432000 4194304 16246674 140737159055088 140737159054512 5523709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 304529 25733 710 2943 0 301423 0
[pid=20090/tid=20091] ppid=20087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1247350784 25741 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1247350784 25747 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1247350784 25752 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200494 s]
/proc/loadavg: 1.16 1.51 1.66 3/177 20090
/proc/meminfo: memFree=29527660/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 47581 0 0 0 13 6 0 0 20 0 4 0 12106221 1247350784 48442 33554432000 4194304 16246674 140737159055088 140737159054512 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 304529 48453 710 2943 0 301423 0
[pid=20090/tid=20091] ppid=20087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1247350784 48457 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1247350784 48464 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1247350784 48470 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300441 s]
/proc/loadavg: 1.16 1.51 1.66 3/177 20090
/proc/meminfo: memFree=29527660/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 69916 0 0 0 21 8 0 0 20 0 4 0 12106221 1247350784 70776 33554432000 4194304 16246674 140737159055088 140737159054512 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 304529 70785 710 2943 0 301423 0
[pid=20090/tid=20091] ppid=20087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1247350784 70794 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1247350784 70800 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1247350784 70805 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700364 s]
/proc/loadavg: 1.16 1.51 1.66 3/177 20090
/proc/meminfo: memFree=29527660/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 160839 0 0 0 47 22 0 0 20 0 4 0 12106221 1247350784 161699 33554432000 4194304 16246674 140737159055088 140737159038088 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 304529 161712 710 2943 0 301423 0
[pid=20090/tid=20091] ppid=20087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1247350784 161720 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1247350784 161728 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1247350784 161735 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 1.16 1.51 1.66 3/181 20094
/proc/meminfo: memFree=28454520/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 245656 0 0 0 116 33 0 0 20 0 4 0 12106221 1248399360 246496 33554432000 4194304 16246674 140737159055088 140737159038088 5661005 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 304785 246496 785 2943 0 301679 0
[pid=20090/tid=20091] ppid=20087 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1248399360 246496 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1248399360 246496 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1248399360 246496 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10038 s]
/proc/loadavg: 1.23 1.51 1.66 3/181 20094
/proc/meminfo: memFree=28367224/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 267443 0 0 0 273 36 0 0 20 0 4 0 12106221 1337528320 268283 33554432000 4194304 16246674 140737159055088 140737159038088 5974256 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 326545 268283 785 2943 0 323439 0
[pid=20090/tid=20091] ppid=20087 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1337528320 268283 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1337528320 268283 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1337528320 268283 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 1.23 1.51 1.66 3/181 20094
/proc/meminfo: memFree=28366748/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 267667 0 0 0 593 36 0 0 20 0 4 0 12106221 1338576896 268507 33554432000 4194304 16246674 140737159055088 140737159038088 13195008 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 326801 268507 786 2943 0 323695 0
[pid=20090/tid=20091] ppid=20087 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1338576896 268507 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1338576896 268507 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1338576896 268507 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 1.35 1.53 1.67 3/181 20094
/proc/meminfo: memFree=28365760/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 267825 0 0 0 1233 36 0 0 20 0 4 0 12106221 1338576896 268665 33554432000 4194304 16246674 140737159055088 140737159038088 5822275 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 326801 268665 787 2943 0 323695 0
[pid=20090/tid=20091] ppid=20087 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1338576896 268665 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1338576896 268665 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1338576896 268665 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 1.60 1.58 1.68 3/181 20143
/proc/meminfo: memFree=28362484/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 267825 0 0 0 2513 36 0 0 20 0 4 0 12106221 1338576896 268665 33554432000 4194304 16246674 140737159055088 140737159036992 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 326801 268665 787 2943 0 323695 0
[pid=20090/tid=20091] ppid=20087 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1338576896 268665 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1338576896 268665 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1338576896 268665 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 1.74 1.61 1.69 3/181 20143
/proc/meminfo: memFree=28362108/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 267825 0 0 0 5072 36 0 0 20 0 4 0 12106221 1338576896 268665 33554432000 4194304 16246674 140737159055088 140737159036992 5832261 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 326801 268665 787 2943 0 323695 0
[pid=20090/tid=20091] ppid=20087 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1338576896 268665 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1338576896 268665 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1338576896 268665 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 1.89 1.67 1.70 3/181 20193
/proc/meminfo: memFree=28358352/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1308228 CPUtime=102.26 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 268035 0 0 0 10189 37 0 0 20 0 4 0 12106221 1339625472 268848 33554432000 4194304 16246674 140737159055088 140737159036992 5668667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 327057 268848 787 2943 0 323951 0
[pid=20090/tid=20091] ppid=20087 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1339625472 268848 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1339625472 268848 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1339625472 268848 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1308228


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

/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1343819776 269946 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.00 2.07 1.97 3/181 20225
/proc/meminfo: memFree=28341752/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1312324 CPUtime=1361.88 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 269469 0 0 0 136138 50 0 0 20 0 4 0 12106221 1343819776 269946 33554432000 4194304 16246674 140737159055088 140737159036992 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 328081 269946 788 2943 0 324975 0
[pid=20090/tid=20091] ppid=20087 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1343819776 269946 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1343819776 269946 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1343819776 269946 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.00 2.05 1.97 3/182 20229
/proc/meminfo: memFree=28341412/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1312324 CPUtime=1421.88 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 269469 0 0 0 142137 51 0 0 20 0 4 0 12106221 1343819776 269946 33554432000 4194304 16246674 140737159055088 140737159038088 5762744 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 328081 269946 788 2943 0 324975 0
[pid=20090/tid=20091] ppid=20087 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1343819776 269946 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1343819776 269946 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1343819776 269946 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.03 2.06 1.97 3/181 20230
/proc/meminfo: memFree=28338692/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1315396 CPUtime=1481.87 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 270237 0 0 0 148135 52 0 0 20 0 4 0 12106221 1346965504 270714 33554432000 4194304 16246674 140737159055088 140737159036992 13194438 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 328849 270714 788 2943 0 325743 0
[pid=20090/tid=20091] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270714 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270714 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270714 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.13 2.07 1.98 3/181 20231
/proc/meminfo: memFree=28338692/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1315396 CPUtime=1541.86 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 270237 0 0 0 154134 52 0 0 20 0 4 0 12106221 1346965504 270714 33554432000 4194304 16246674 140737159055088 140737159038088 5673488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 328849 270714 788 2943 0 325743 0
[pid=20090/tid=20091] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270714 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270714 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270714 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.08 2.07 1.99 3/181 20232
/proc/meminfo: memFree=28338948/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1315396 CPUtime=1601.85 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 270237 0 0 0 160132 53 0 0 20 0 4 0 12106221 1346965504 270714 33554432000 4194304 16246674 140737159055088 140737159036992 13191685 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 328849 270714 788 2943 0 325743 0
[pid=20090/tid=20091] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270714 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270714 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270714 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.12 2.09 2.00 3/181 20234
/proc/meminfo: memFree=28338832/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1315396 CPUtime=1661.84 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 270237 0 0 0 166130 54 0 0 20 0 4 0 12106221 1346965504 270714 33554432000 4194304 16246674 140737159055088 140737159038088 13927305 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 328849 270714 788 2943 0 325743 0
[pid=20090/tid=20091] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270714 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270714 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270714 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.07 2.08 2.00 3/181 20235
/proc/meminfo: memFree=28338528/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1315396 CPUtime=1721.83 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 270238 0 0 0 172129 54 0 0 20 0 4 0 12106221 1346965504 270717 33554432000 4194304 16246674 140737159055088 140737159038088 5676613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 328849 270717 788 2943 0 325743 0
[pid=20090/tid=20091] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270717 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270717 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270717 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.06 2.08 2.00 3/181 20236
/proc/meminfo: memFree=28338332/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1315396 CPUtime=1781.82 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 270238 0 0 0 178127 55 0 0 20 0 4 0 12106221 1346965504 270717 33554432000 4194304 16246674 140737159055088 140737159036992 12470248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 328849 270717 788 2943 0 325743 0
[pid=20090/tid=20091] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270717 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270717 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270717 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.10 2.09 2.00 3/181 20237
/proc/meminfo: memFree=28338336/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1315396 CPUtime=1800.02 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 270238 0 0 0 179947 55 0 0 20 0 4 0 12106221 1346965504 270717 33554432000 4194304 16246674 140737159055088 140737159036992 5831987 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 328849 270717 788 2943 0 325743 0
[pid=20090/tid=20091] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270717 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270717 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270717 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1315396

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

[startup+1800.5 s]
/proc/loadavg: 2.10 2.09 2.00 3/181 20237
/proc/meminfo: memFree=28338336/32872528 swapFree=447588/480292
[pid=20090] ppid=20087 vsize=1315396 CPUtime=1800.02 cores=1,3,5,7
/proc/20090/stat : 20090 (toysat) R 20087 20090 16080 0 -1 4202496 270238 0 0 0 179947 55 0 0 20 0 4 0 12106221 1346965504 270717 33554432000 4194304 16246674 140737159055088 140737159036992 5831987 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20090/statm: 328849 270717 788 2943 0 325743 0
[pid=20090/tid=20091] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20091/stat : 20091 (toysat) S 20087 20090 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270717 33554432000 4194304 16246674 140737159055088 140079550934256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20090/tid=20092] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20092/stat : 20092 (toysat) S 20087 20090 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270717 33554432000 4194304 16246674 140737159055088 140079540444400 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20090/tid=20093] ppid=20087 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/20090/task/20093/stat : 20093 (toysat) S 20087 20090 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12106222 1346965504 270717 33554432000 4194304 16246674 140737159055088 140079418830000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1315396

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.556915
maximum resident set size= 1082868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270238
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= 376
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.66214 second user time and 7.32888 second system time

The end

Begin job on node104 at 2016-06-30 20:07:04
IDJOB=4120122
IDBENCH=109710
IDSOLVER=2542
FILE ID=node104/4120122-1467310024
RUNJOBID= node104-1467310023-19960
PBS_JOBID= 20005270
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-69.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-4120122-1467310024/watcher-4120122-1467310024 -o /tmp/evaluation-result-4120122-1467310024/solver-4120122-1467310024 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1467310023-19960 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120122-1467310024.opb

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

MD5SUM BENCH= 9fcbc5b34a4a6db8301424614b832d98
RANDOM SEED=431017557

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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.334
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.334
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.54
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.334
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:        29528196 kB
Buffers:          192256 kB
Cached:           934580 kB
SwapCached:            0 kB
Active:          1329856 kB
Inactive:         790144 kB
Active(anon):     995720 kB
Inactive(anon):        0 kB
Active(file):     334136 kB
Inactive(file):   790144 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33088 kB
Writeback:             0 kB
AnonPages:       1473520 kB
Mapped:            16804 kB
Shmem:               204 kB
Slab:             611400 kB
SReclaimable:      54892 kB
SUnreclaim:       556508 kB
KernelStack:        1456 kB
PageTables:         7440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1600848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71688 MiB
End job on node104 at 2016-06-30 20:37:05