0.00/0.00	c 2016-06-30T21:58:00+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-4122458-1467316680.opb"]
0.00/0.01	c use --random-gen="4143812179 3421196262 200685039 1920622499 67767072 3148248269 3674154502 147220867 3306900423 2558474665 1589980424 431525782 2884874187 374441810 3586119535 3149181587 3223861166 3999481965 1683338989 2244670485 793132666 1761848812 4037814492 3091223918 3230065822 3195373026 2007013937 3299108820 9880409 4287106668 3179542124 3168585870 1391719990 2528438725 2628048314 3058687304 3910474978 1333459016 3269365599 1990602765 3741502558 1921487668 1834903666 3738121483 344203954 2931326663 350496482 2204568148 2310897052 1185299693 3932330065 2267599010 297929579 442085133 315535064 816959825 1231099831 773062135 2483692483 2758235342 3730780889 4108450953 4007490144 603860479 3486456516 3047952635 2303136492 4185631558 299951983 94128961 950378934 3708548750 2000347534 2696614526 2174979827 4026574068 3813857253 1182394771 3303406816 2810758500 2583528483 4169424012 2104812307 2282007901 1000574669 4052453268 3114567959 467501421 1180882852 1009435744 2452408835 2594914697 4142443335 2894300528 2345872347 5182361 1181676451 323050008 3593582181 4261867046 4208294166 4048463845 3330388548 935497751 3421013336 1384110824 2226433184 520015208 39079999 2490110296 1476649897 3859877062 1975002571 3873006639 2306499348 2041180635 3034529177 41302296 3261681786 1867044059 2760918939 3096570991 2071609970 1079711905 2683963270 3353425265 3165733280 2430551541 2130276580 2709264880 3848697249 4062169532 2450735077 315390590 254467386 4009418054 1103456626 471783097 3592701071 1693181258 790860487 3765819012 31477855 1062646143 1514087574 2671457190 928674130 2122200928 1585580392 775744277 3521125880 3006761040 378809018 1654105180 2077887020 2587802445 1414459172 3823638048 1497251687 1557839009 2640767587 2448609929 4073086209 2945512528 145226720 2079638434 3667355109 39425236 1738109243 1774550365 3332524899 1796201642 3977584470 1929023211 3544459322 352477847 375801383 1542708383 833088142 670530075 1974741858 3450717001 3361017177 2228763803 282335955 4245928425 3167889882 2268717605 1302319110 154191167 3790945564 3197803078 3215039196 3753406917 18157090 3865136807 1807653314 1675854299 2607753350 3288342713 2668945153 864969721 2436995901 3943177978 2412261017 4064202951 188272226 2666805480 2798493756 55974131 1883362136 144679695 3272441138 3169360927 3544480975 1119172671 373480654 2273122276 4265406290 3460856998 1498814791 776349013 2221072367 623266851 4101215714 974252234 3076478120 4230732390 2924785099 2495435723 1784906808 4139262231 3213254940 3442298838 148817913 1423135274 1405062710 3382390421 2771744692 3124700130 2970750384 292156351 2083680449 2919376946 1582076723 4038312611 3858578726 2898317177 2468352873 925138401 3195063904 3527012892 2573884841 1029464171 39404311 1106412276 255 362436" option to reproduce the execution
0.00/0.01	c #vars 357
0.00/0.01	c #constraints 356
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 |      237      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      229 |      100 |      237      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      545 |      250 |      261      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |      962 |      475 |      288      0 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1447 |      813 |      317      1 |        0 |        0
0.09/0.17	c  0.2s |       5 |     2164 |     1320 |      349      4 |        0 |        0
0.19/0.29	c  0.3s |       6 |     3813 |     2081 |      423      8 |        0 |        0
0.39/0.44	c  0.4s |       7 |     6066 |     3223 |      466     12 |        0 |        0
0.59/0.68	c  0.7s |       8 |     8517 |     4936 |      513     17 |        0 |        0
0.99/1.00	c  1.0s |       9 |    12747 |     7506 |      565     25 |        0 |        0
1.29/1.35	c  1.3s |      10 |    19355 |    11361 |      622     34 |        0 |        0
1.79/1.86	c  1.8s |      11 |    27205 |    17144 |      685     48 |        0 |        0
2.69/2.73	c  2.7s |      12 |    39801 |    25819 |      754     67 |        0 |        0
3.89/3.99	c  4.0s |      13 |    58494 |    38832 |      830     95 |        0 |        0
5.89/5.91	c  5.9s |      14 |    84375 |    58352 |      914    131 |        0 |        0
7.89/7.92	c  7.9s |      14 |   110024 |    78052 |      914    167 |        0 |        0
8.80/8.89	c  8.9s |      15 |   122807 |    87632 |     1006    185 |        0 |        0
10.89/10.91	c 10.9s |      15 |   151893 |   107332 |     1006    218 |        0 |        0
12.89/12.91	c 12.9s |      15 |   179259 |   126832 |     1006    251 |        0 |        0
13.30/13.40	c 13.4s |      16 |   185871 |   131552 |     1107    258 |        0 |        0
15.29/15.40	c 15.4s |      16 |   211506 |   150352 |     1107    286 |        0 |        0
17.39/17.40	c 17.4s |      16 |   237890 |   169152 |     1107    314 |        0 |        0
19.39/19.40	c 19.4s |      16 |   263012 |   187852 |     1107    344 |        0 |        0
20.38/20.40	c 20.4s |      17 |   275461 |   197432 |     1218    358 |        0 |        0
22.38/22.41	c 22.4s |      17 |   297086 |   213632 |     1218    381 |        0 |        0
24.38/24.42	c 24.4s |      17 |   321040 |   231432 |     1218    407 |        0 |        0
26.39/26.42	c 26.4s |      17 |   344971 |   249332 |     1218    432 |        0 |        0
28.38/28.43	c 28.4s |      17 |   368188 |   266232 |     1218    456 |        0 |        0
30.38/30.43	c 30.4s |      17 |   392260 |   284532 |     1218    483 |        0 |        0
31.58/31.67	c 31.7s |      18 |   408123 |   296252 |     1340    499 |        0 |        0
33.58/33.68	c 33.7s |      18 |   432955 |   314752 |     1340    523 |        0 |        0
35.58/35.68	c 35.7s |      18 |   458780 |   333652 |     1340    548 |        0 |        0
37.59/37.69	c 37.7s |      18 |   482430 |   351352 |     1340    571 |        0 |        0
39.60/39.70	c 39.7s |      18 |   502673 |   367152 |     1340    592 |        0 |        0
41.69/41.70	c 41.7s |      18 |   523184 |   382752 |     1340    613 |        0 |        0
43.69/43.71	c 43.7s |      18 |   544665 |   399152 |     1340    634 |        0 |        0
45.69/45.72	c 45.7s |      18 |   567151 |   415952 |     1340    656 |        0 |        0
47.69/47.73	c 47.7s |      18 |   588809 |   432152 |     1340    678 |        0 |        0
49.09/49.19	c 49.2s |      19 |   605369 |   444482 |     1475    694 |        0 |        0
51.09/51.19	c 51.2s |      19 |   626581 |   460282 |     1475    712 |        0 |        0
53.18/53.20	c 53.2s |      19 |   647291 |   475982 |     1475    731 |        0 |        0
55.18/55.20	c 55.2s |      19 |   669652 |   492882 |     1475    751 |        0 |        0
57.19/57.21	c 57.2s |      19 |   690606 |   509082 |     1475    771 |        0 |        0
59.18/59.22	c 59.2s |      19 |   713012 |   525782 |     1475    791 |        0 |        0
61.18/61.22	c 61.2s |      19 |   734087 |   541882 |     1475    810 |        0 |        0
63.18/63.24	c 63.2s |      19 |   756068 |   558582 |     1475    830 |        0 |        0
65.18/65.25	c 65.2s |      19 |   776806 |   574482 |     1475    850 |        0 |        0
67.19/67.25	c 67.2s |      19 |   800244 |   591482 |     1475    870 |        0 |        0
69.18/69.25	c 69.2s |      19 |   821382 |   607882 |     1475    890 |        0 |        0
71.18/71.26	c 71.2s |      19 |   843043 |   624382 |     1475    910 |        0 |        0
73.18/73.27	c 73.2s |      19 |   865732 |   641582 |     1475    930 |        0 |        0
75.18/75.27	c 75.3s |      19 |   888595 |   658282 |     1475    950 |        0 |        0
76.28/76.35	c 76.3s |      20 |   899725 |   666827 |     1623    960 |        0 |        0
78.28/78.36	c 78.3s |      20 |   918658 |   682027 |     1623    977 |        0 |        0
80.29/80.36	c 80.3s |      20 |   939714 |   698027 |     1623    994 |        0 |        0
82.28/82.36	c 82.3s |      20 |   960505 |   714127 |     1623   1012 |        0 |        0
84.28/84.36	c 84.3s |      20 |   981205 |   729827 |     1623   1029 |        0 |        0
86.28/86.37	c 86.3s |      20 |  1002686 |   746027 |     1623   1047 |        0 |        0
88.28/88.37	c 88.4s |      20 |  1022819 |   760927 |     1623   1064 |        0 |        0
90.28/90.38	c 90.4s |      20 |  1042430 |   775727 |     1623   1080 |        0 |        0
92.28/92.38	c 92.4s |      20 |  1062985 |   790927 |     1623   1097 |        0 |        0
94.28/94.39	c 94.4s |      20 |  1083662 |   806527 |     1623   1114 |        0 |        0
96.38/96.40	c 96.4s |      20 |  1104505 |   822527 |     1623   1132 |        0 |        0
98.38/98.41	c 98.4s |      20 |  1124617 |   837927 |     1623   1149 |        0 |        0
100.37/100.41	c  100s |      20 |  1142740 |   852427 |     1623   1166 |        0 |        0
102.38/102.42	c  102s |      20 |  1161130 |   866927 |     1623   1182 |        0 |        0
104.37/104.43	c  104s |      20 |  1181840 |   882727 |     1623   1199 |        0 |        0
106.37/106.44	c  106s |      20 |  1202841 |   899127 |     1623   1218 |        0 |        0
108.37/108.44	c  108s |      20 |  1223485 |   914927 |     1623   1235 |        0 |        0
110.37/110.45	c  110s |      20 |  1243962 |   930527 |     1623   1253 |        0 |        0
112.37/112.46	c  112s |      20 |  1263721 |   945527 |     1623   1269 |        0 |        0
114.38/114.47	c  114s |      20 |  1284463 |   960927 |     1623   1286 |        0 |        0
116.37/116.47	c  116s |      20 |  1304798 |   975527 |     1623   1303 |        0 |        0
118.37/118.47	c  118s |      20 |  1324185 |   990827 |     1623   1320 |        0 |        0
119.57/119.69	c  119s |      21 |  1337658 |  1000345 |     1786   1330 |        0 |        0
121.67/121.70	c  121s |      21 |  1359218 |  1017245 |     1786   1346 |        0 |        0
123.67/123.71	c  123s |      21 |  1380316 |  1033445 |     1786   1363 |        0 |        0
125.67/125.71	c  125s |      21 |  1402636 |  1049845 |     1786   1379 |        0 |        0
127.67/127.72	c  127s |      21 |  1424400 |  1066345 |     1786   1396 |        0 |        0
129.67/129.72	c  129s |      21 |  1444078 |  1081445 |     1786   1411 |        0 |        0
131.68/131.73	c  131s |      21 |  1465492 |  1097545 |     1786   1427 |        0 |        0
133.67/133.74	c  133s |      21 |  1488015 |  1113645 |     1786   1443 |        0 |        0
135.67/135.74	c  135s |      21 |  1510677 |  1130045 |     1786   1460 |        0 |        0
137.67/137.75	c  137s |      21 |  1532458 |  1146145 |     1786   1476 |        0 |        0
139.68/139.75	c  139s |      21 |  1551052 |  1161145 |     1786   1491 |        0 |        0
141.67/141.76	c  141s |      21 |  1571241 |  1176345 |     1786   1506 |        0 |        0
143.67/143.76	c  143s |      21 |  1595085 |  1193245 |     1786   1524 |        0 |        0
145.67/145.77	c  145s |      21 |  1615521 |  1208845 |     1786   1539 |        0 |        0
147.67/147.78	c  147s |      21 |  1637641 |  1224945 |     1786   1556 |        0 |        0
149.68/149.79	c  149s |      21 |  1657943 |  1240545 |     1786   1571 |        0 |        0
151.78/151.81	c  151s |      21 |  1679142 |  1256545 |     1786   1587 |        0 |        0
153.77/153.81	c  153s |      21 |  1699978 |  1272045 |     1786   1603 |        0 |        0
155.77/155.81	c  155s |      21 |  1718402 |  1286045 |     1786   1617 |        0 |        0
157.77/157.82	c  157s |      21 |  1739103 |  1301645 |     1786   1633 |        0 |        0
159.77/159.83	c  159s |      21 |  1760158 |  1317145 |     1786   1649 |        0 |        0
161.78/161.85	c  161s |      21 |  1780260 |  1332245 |     1786   1664 |        0 |        0
163.77/163.85	c  163s |      21 |  1802380 |  1348645 |     1786   1681 |        0 |        0
165.77/165.86	c  165s |      21 |  1824429 |  1364845 |     1786   1697 |        0 |        0
167.76/167.86	c  167s |      21 |  1846575 |  1380845 |     1786   1714 |        0 |        0
169.76/169.87	c  169s |      21 |  1869666 |  1397445 |     1786   1730 |        0 |        0
171.76/171.88	c  171s |      21 |  1891380 |  1413445 |     1786   1747 |        0 |        0
173.77/173.88	c  173s |      21 |  1914348 |  1429945 |     1786   1764 |        0 |        0
175.76/175.88	c  175s |      21 |  1935484 |  1445345 |     1786   1780 |        0 |        0
177.76/177.89	c  177s |      21 |  1956346 |  1460545 |     1786   1795 |        0 |        0
179.76/179.89	c  179s |      21 |  1975387 |  1475245 |     1786   1811 |        0 |        0
181.86/181.90	c  181s |      21 |  1995943 |  1490445 |     1965   1827 |        0 |        0
183.06/183.19	c  183s |      22 |  2010448 |  1500622 |     1965   1837 |        0 |        0
185.16/185.20	c  185s |      22 |  2026375 |  1513722 |     1965   1848 |        0 |        0
187.16/187.20	c  187s |      22 |  2046350 |  1528522 |     1965   1862 |        0 |        0
189.17/189.21	c  189s |      22 |  2065447 |  1542922 |     1965   1875 |        0 |        0
191.17/191.21	c  191s |      22 |  2086924 |  1558822 |     1965   1890 |        0 |        0
193.17/193.22	c  193s |      22 |  2106966 |  1574322 |     1965   1904 |        0 |        0
195.17/195.22	c  195s |      22 |  2127857 |  1590422 |     1965   1919 |        0 |        0
197.17/197.23	c  197s |      22 |  2147486 |  1605922 |     1965   1934 |        0 |        0
199.17/199.24	c  199s |      22 |  2167423 |  1620822 |     1965   1947 |        0 |        0
201.16/201.24	c  201s |      22 |  2187688 |  1636122 |     1965   1962 |        0 |        0
203.16/203.25	c  203s |      22 |  2208227 |  1651722 |     1965   1976 |        0 |        0
205.16/205.25	c  205s |      22 |  2229545 |  1667422 |     1965   1990 |        0 |        0
207.16/207.26	c  207s |      22 |  2248741 |  1682022 |     1965   2004 |        0 |        0
209.16/209.27	c  209s |      22 |  2267992 |  1696922 |     1965   2018 |        0 |        0
211.16/211.28	c  211s |      22 |  2288581 |  1712122 |     1965   2032 |        0 |        0
213.16/213.28	c  213s |      22 |  2306323 |  1726222 |     1965   2045 |        0 |        0
215.16/215.29	c  215s |      22 |  2326189 |  1741022 |     1965   2059 |        0 |        0
217.25/217.30	c  217s |      22 |  2345978 |  1756222 |     1965   2073 |        0 |        0
219.26/219.31	c  219s |      22 |  2367257 |  1772122 |     1965   2088 |        0 |        0
221.26/221.31	c  221s |      22 |  2388427 |  1788222 |     1965   2103 |        0 |        0
223.27/223.32	c  223s |      22 |  2408823 |  1803522 |     1965   2117 |        0 |        0
225.26/225.33	c  225s |      22 |  2428216 |  1818422 |     1965   2131 |        0 |        0
227.26/227.34	c  227s |      22 |  2448107 |  1833622 |     1965   2145 |        0 |        0
229.26/229.35	c  229s |      22 |  2468182 |  1848822 |     1965   2159 |        0 |        0
231.26/231.36	c  231s |      22 |  2486888 |  1862822 |     1965   2172 |        0 |        0
233.26/233.37	c  233s |      22 |  2505688 |  1876822 |     1965   2185 |        0 |        0
235.26/235.37	c  235s |      22 |  2525270 |  1891522 |     1965   2199 |        0 |        0
237.25/237.37	c  237s |      22 |  2544846 |  1906322 |     1965   2213 |        0 |        0
239.25/239.38	c  239s |      22 |  2563069 |  1920322 |     1965   2226 |        0 |        0
241.25/241.38	c  241s |      22 |  2580705 |  1934022 |     1965   2239 |        0 |        0
243.25/243.39	c  243s |      22 |  2598906 |  1948022 |     1965   2252 |        0 |        0
245.26/245.39	c  245s |      22 |  2620366 |  1963722 |     1965   2266 |        0 |        0
247.35/247.40	c  247s |      22 |  2641759 |  1979622 |     1965   2281 |        0 |        0
249.35/249.41	c  249s |      22 |  2663136 |  1995422 |     1965   2296 |        0 |        0
251.35/251.42	c  251s |      22 |  2682974 |  2010322 |     1965   2310 |        0 |        0
253.35/253.42	c  253s |      22 |  2702948 |  2025222 |     1965   2324 |        0 |        0
255.35/255.43	c  255s |      22 |  2723625 |  2040622 |     1965   2338 |        0 |        0
257.36/257.44	c  257s |      22 |  2744083 |  2055322 |     1965   2352 |        0 |        0
259.35/259.45	c  259s |      22 |  2765238 |  2070522 |     1965   2366 |        0 |        0
261.35/261.45	c  261s |      22 |  2784710 |  2085522 |     1965   2380 |        0 |        0
263.35/263.46	c  263s |      22 |  2804789 |  2100822 |     1965   2394 |        0 |        0
265.36/265.47	c  265s |      22 |  2824736 |  2115822 |     1965   2408 |        0 |        0
267.36/267.48	c  267s |      22 |  2844283 |  2130622 |     1965   2422 |        0 |        0
269.36/269.48	c  269s |      22 |  2861480 |  2144022 |     1965   2434 |        0 |        0
271.35/271.49	c  271s |      22 |  2880836 |  2158722 |     1965   2448 |        0 |        0
273.45/273.50	c  273s |      22 |  2899608 |  2173122 |     1965   2461 |        0 |        0
275.45/275.51	c  275s |      22 |  2918297 |  2187522 |     1965   2474 |        0 |        0
277.45/277.52	c  277s |      22 |  2937821 |  2202522 |     1965   2488 |        0 |        0
279.46/279.53	c  279s |      22 |  2958135 |  2217622 |     1965   2502 |        0 |        0
281.45/281.53	c  281s |      22 |  2976762 |  2231922 |     1965   2516 |        0 |        0
283.45/283.55	c  283s |      22 |  2992448 |  2244822 |     2162   2527 |        0 |        0
284.55/284.67	c  284s |      23 |  2999876 |  2251038 |     2162   2532 |        0 |        0
286.55/286.67	c  286s |      23 |  3019803 |  2266638 |     2162   2545 |        0 |        0
288.55/288.68	c  288s |      23 |  3039383 |  2281938 |     2162   2558 |        0 |        0
290.55/290.68	c  290s |      23 |  3058053 |  2296938 |     2162   2570 |        0 |        0
292.55/292.69	c  292s |      23 |  3078824 |  2313238 |     2162   2584 |        0 |        0
294.65/294.70	c  294s |      23 |  3099696 |  2329138 |     2162   2598 |        0 |        0
296.65/296.71	c  296s |      23 |  3119679 |  2344938 |     2162   2611 |        0 |        0
298.65/298.71	c  298s |      23 |  3140460 |  2361038 |     2162   2624 |        0 |        0
300.64/300.71	c  300s |      23 |  3160097 |  2376238 |     2162   2637 |        0 |        0
302.64/302.72	c  302s |      23 |  3178948 |  2390938 |     2162   2650 |        0 |        0
304.65/304.73	c  304s |      23 |  3198635 |  2406038 |     2162   2662 |        0 |        0
306.64/306.74	c  306s |      23 |  3215035 |  2419438 |     2162   2674 |        0 |        0
308.64/308.74	c  308s |      23 |  3235964 |  2435538 |     2162   2687 |        0 |        0
310.64/310.75	c  310s |      23 |  3256269 |  2451238 |     2162   2700 |        0 |        0
312.64/312.77	c  312s |      23 |  3274143 |  2465738 |     2162   2713 |        0 |        0
314.65/314.78	c  314s |      23 |  3292449 |  2479838 |     2162   2724 |        0 |        0
316.64/316.79	c  316s |      23 |  3311102 |  2494038 |     2162   2736 |        0 |        0
318.75/318.80	c  318s |      23 |  3331291 |  2509138 |     2162   2749 |        0 |        0
320.75/320.81	c  320s |      23 |  3351121 |  2524138 |     2162   2762 |        0 |        0
322.75/322.81	c  322s |      23 |  3370317 |  2538738 |     2162   2774 |        0 |        0
324.75/324.83	c  324s |      23 |  3390033 |  2553838 |     2162   2787 |        0 |        0
326.75/326.83	c  326s |      23 |  3408689 |  2568438 |     2162   2799 |        0 |        0
328.74/328.84	c  328s |      23 |  3428273 |  2583638 |     2162   2812 |        0 |        0
330.74/330.85	c  330s |      23 |  3449339 |  2599538 |     2162   2825 |        0 |        0
332.74/332.87	c  332s |      23 |  3470237 |  2615638 |     2162   2839 |        0 |        0
334.74/334.87	c  334s |      23 |  3491089 |  2631538 |     2162   2852 |        0 |        0
336.74/336.87	c  336s |      23 |  3514783 |  2648238 |     2162   2867 |        0 |        0
338.75/338.87	c  338s |      23 |  3536013 |  2664338 |     2162   2880 |        0 |        0
340.74/340.87	c  340s |      23 |  3555829 |  2679438 |     2162   2893 |        0 |        0
342.74/342.88	c  342s |      23 |  3576476 |  2695138 |     2162   2906 |        0 |        0
344.74/344.88	c  344s |      23 |  3597315 |  2710538 |     2162   2919 |        0 |        0
346.74/346.89	c  346s |      23 |  3615049 |  2724738 |     2162   2931 |        0 |        0
348.84/348.90	c  348s |      23 |  3634931 |  2739738 |     2162   2944 |        0 |        0
350.84/350.91	c  350s |      23 |  3655580 |  2755238 |     2162   2957 |        0 |        0
352.84/352.92	c  352s |      23 |  3673329 |  2768838 |     2162   2969 |        0 |        0
354.83/354.93	c  354s |      23 |  3691398 |  2782538 |     2162   2980 |        0 |        0
356.83/356.94	c  356s |      23 |  3709721 |  2796038 |     2162   2992 |        0 |        0
358.83/358.94	c  358s |      23 |  3727032 |  2809538 |     2162   3003 |        0 |        0
360.84/360.95	c  360s |      23 |  3743599 |  2822138 |     2162   3014 |        0 |        0
362.83/362.96	c  362s |      23 |  3760477 |  2834738 |     2162   3024 |        0 |        0
364.84/364.96	c  364s |      23 |  3776829 |  2847538 |     2162   3035 |        0 |        0
366.84/366.97	c  366s |      23 |  3793906 |  2860338 |     2162   3046 |        0 |        0
368.84/368.98	c  368s |      23 |  3809697 |  2872738 |     2162   3057 |        0 |        0
370.84/370.99	c  370s |      23 |  3827371 |  2886538 |     2162   3068 |        0 |        0
372.84/373.00	c  372s |      23 |  3844323 |  2899738 |     2162   3080 |        0 |        0
374.94/375.00	c  374s |      23 |  3862234 |  2913438 |     2162   3091 |        0 |        0
376.93/377.02	c  376s |      23 |  3879369 |  2926838 |     2162   3103 |        0 |        0
378.93/379.03	c  379s |      23 |  3897564 |  2940838 |     2162   3115 |        0 |        0
380.93/381.03	c  381s |      23 |  3917645 |  2955838 |     2162   3128 |        0 |        0
382.93/383.05	c  383s |      23 |  3937783 |  2971238 |     2162   3141 |        0 |        0
384.94/385.07	c  385s |      23 |  3956637 |  2986338 |     2162   3153 |        0 |        0
386.93/387.08	c  387s |      23 |  3976758 |  3001438 |     2162   3166 |        0 |        0
388.93/389.08	c  389s |      23 |  3995632 |  3015138 |     2162   3178 |        0 |        0
391.03/391.10	c  391s |      23 |  4013556 |  3029038 |     2162   3189 |        0 |        0
393.03/393.11	c  393s |      23 |  4031383 |  3042438 |     2162   3201 |        0 |        0
395.03/395.11	c  395s |      23 |  4050917 |  3056938 |     2162   3213 |        0 |        0
397.04/397.12	c  397s |      23 |  4070482 |  3072038 |     2162   3226 |        0 |        0
399.03/399.13	c  399s |      23 |  4091417 |  3087838 |     2162   3239 |        0 |        0
401.03/401.15	c  401s |      23 |  4113128 |  3103238 |     2162   3253 |        0 |        0
403.03/403.16	c  403s |      23 |  4132267 |  3117338 |     2162   3265 |        0 |        0
405.03/405.17	c  405s |      23 |  4149633 |  3131238 |     2162   3276 |        0 |        0
407.03/407.18	c  407s |      23 |  4171366 |  3147538 |     2162   3290 |        0 |        0
409.03/409.19	c  409s |      23 |  4191519 |  3163238 |     2162   3304 |        0 |        0
411.03/411.19	c  411s |      23 |  4213460 |  3179938 |     2162   3318 |        0 |        0
413.03/413.19	c  413s |      23 |  4232438 |  3194938 |     2162   3330 |        0 |        0
415.02/415.19	c  415s |      23 |  4250578 |  3208838 |     2162   3342 |        0 |        0
417.02/417.19	c  417s |      23 |  4270070 |  3223538 |     2162   3355 |        0 |        0
419.03/419.20	c  419s |      23 |  4289487 |  3238338 |     2162   3367 |        0 |        0
421.12/421.20	c  421s |      23 |  4308108 |  3252838 |     2162   3379 |        0 |        0
423.12/423.21	c  423s |      23 |  4323279 |  3265538 |     2162   3390 |        0 |        0
425.13/425.22	c  425s |      23 |  4340807 |  3279538 |     2162   3402 |        0 |        0
427.13/427.24	c  427s |      23 |  4360885 |  3294338 |     2162   3415 |        0 |        0
429.13/429.25	c  429s |      23 |  4379764 |  3309138 |     2162   3427 |        0 |        0
431.14/431.25	c  431s |      23 |  4400098 |  3324338 |     2162   3440 |        0 |        0
433.13/433.26	c  433s |      23 |  4420180 |  3339638 |     2162   3453 |        0 |        0
435.13/435.26	c  435s |      23 |  4439694 |  3354538 |     2379   3465 |        0 |        0
437.13/437.27	c  437s |      23 |  4458249 |  3368938 |     2379   3477 |        0 |        0
438.22/438.37	c  438s |      24 |  4468027 |  3376662 |     2379   3483 |        0 |        0
440.22/440.38	c  440s |      24 |  4484487 |  3389162 |     2379   3492 |        0 |        0
442.23/442.38	c  442s |      24 |  4502099 |  3402362 |     2379   3503 |        0 |        0
444.22/444.40	c  444s |      24 |  4517978 |  3414762 |     2379   3512 |        0 |        0
446.32/446.41	c  446s |      24 |  4535069 |  3428262 |     2379   3523 |        0 |        0
448.32/448.41	c  448s |      24 |  4550077 |  3440262 |     2379   3532 |        0 |        0
450.32/450.41	c  450s |      24 |  4566953 |  3453362 |     2379   3542 |        0 |        0
452.32/452.42	c  452s |      24 |  4584479 |  3466662 |     2379   3552 |        0 |        0
454.33/454.44	c  454s |      24 |  4602959 |  3481062 |     2379   3564 |        0 |        0
456.32/456.44	c  456s |      24 |  4621014 |  3494662 |     2379   3574 |        0 |        0
458.32/458.45	c  458s |      24 |  4639009 |  3508562 |     2379   3585 |        0 |        0
460.32/460.45	c  460s |      24 |  4656268 |  3521762 |     2379   3595 |        0 |        0
462.32/462.46	c  462s |      24 |  4673638 |  3535162 |     2379   3606 |        0 |        0
464.32/464.46	c  464s |      24 |  4691333 |  3548262 |     2379   3616 |        0 |        0
466.33/466.47	c  466s |      24 |  4709126 |  3561762 |     2379   3627 |        0 |        0
468.32/468.47	c  468s |      24 |  4726698 |  3575462 |     2379   3637 |        0 |        0
470.32/470.47	c  470s |      24 |  4744823 |  3588962 |     2379   3648 |        0 |        0
472.32/472.48	c  472s |      24 |  4761770 |  3601262 |     2379   3657 |        0 |        0
474.31/474.49	c  474s |      24 |  4779278 |  3613862 |     2379   3667 |        0 |        0
476.32/476.49	c  476s |      24 |  4797020 |  3626862 |     2379   3677 |        0 |        0
478.31/478.50	c  478s |      24 |  4815406 |  3640962 |     2379   3688 |        0 |        0
480.41/480.51	c  480s |      24 |  4831674 |  3653562 |     2379   3698 |        0 |        0
482.42/482.52	c  482s |      24 |  4848299 |  3665862 |     2379   3708 |        0 |        0
484.42/484.53	c  484s |      24 |  4865236 |  3678762 |     2379   3718 |        0 |        0
486.42/486.53	c  486s |      24 |  4882299 |  3692162 |     2379   3728 |        0 |        0
488.43/488.54	c  488s |      24 |  4899989 |  3705262 |     2379   3738 |        0 |        0
490.42/490.54	c  490s |      24 |  4917533 |  3718962 |     2379   3749 |        0 |        0
492.42/492.54	c  492s |      24 |  4936364 |  3733262 |     2379   3760 |        0 |        0
494.42/494.56	c  494s |      24 |  4951907 |  3745262 |     2379   3770 |        0 |        0
496.42/496.56	c  496s |      24 |  4969669 |  3758962 |     2379   3780 |        0 |        0
498.42/498.57	c  498s |      24 |  4987262 |  3772562 |     2379   3791 |        0 |        0
500.42/500.58	c  500s |      24 |  5005481 |  3786162 |     2379   3801 |        0 |        0
502.42/502.58	c  502s |      24 |  5023889 |  3799462 |     2379   3812 |        0 |        0
504.42/504.58	c  504s |      24 |  5041520 |  3812662 |     2379   3822 |        0 |        0
506.42/506.59	c  506s |      24 |  5059557 |  3826762 |     2379   3833 |        0 |        0
508.41/508.60	c  508s |      24 |  5078577 |  3840662 |     2379   3844 |        0 |        0
510.51/510.60	c  510s |      24 |  5096425 |  3854562 |     2379   3854 |        0 |        0
512.41/512.60	c  512s |      24 |  5114930 |  3868462 |     2379   3865 |        0 |        0
514.51/514.61	c  514s |      24 |  5132509 |  3881862 |     2379   3876 |        0 |        0
516.51/516.61	c  516s |      24 |  5149951 |  3895362 |     2379   3886 |        0 |        0
518.51/518.62	c  518s |      24 |  5168090 |  3908962 |     2379   3897 |        0 |        0
520.51/520.63	c  520s |      24 |  5184183 |  3921462 |     2379   3906 |        0 |        0
522.52/522.64	c  522s |      24 |  5201252 |  3934562 |     2379   3916 |        0 |        0
524.51/524.66	c  524s |      24 |  5218490 |  3948062 |     2379   3927 |        0 |        0
526.51/526.67	c  526s |      24 |  5236480 |  3961962 |     2379   3938 |        0 |        0
528.51/528.67	c  528s |      24 |  5253858 |  3975062 |     2379   3948 |        0 |        0
530.51/530.69	c  530s |      24 |  5272901 |  3989162 |     2379   3959 |        0 |        0
532.51/532.69	c  532s |      24 |  5289789 |  4002562 |     2379   3969 |        0 |        0
534.51/534.70	c  534s |      24 |  5308245 |  4016662 |     2379   3980 |        0 |        0
536.61/536.71	c  536s |      24 |  5326743 |  4030762 |     2379   3991 |        0 |        0
538.61/538.72	c  538s |      24 |  5344378 |  4044262 |     2379   4002 |        0 |        0
540.61/540.73	c  540s |      24 |  5361685 |  4057462 |     2379   4012 |        0 |        0
542.61/542.73	c  542s |      24 |  5378250 |  4070762 |     2379   4022 |        0 |        0
544.61/544.74	c  544s |      24 |  5395061 |  4084162 |     2379   4033 |        0 |        0
546.61/546.75	c  546s |      24 |  5412534 |  4097662 |     2379   4043 |        0 |        0
548.60/548.75	c  548s |      24 |  5430491 |  4111262 |     2379   4054 |        0 |        0
550.60/550.77	c  550s |      24 |  5447804 |  4125162 |     2379   4065 |        0 |        0
552.60/552.78	c  552s |      24 |  5465086 |  4138562 |     2379   4075 |        0 |        0
554.60/554.78	c  554s |      24 |  5482426 |  4152062 |     2379   4085 |        0 |        0
556.61/556.79	c  556s |      24 |  5500474 |  4166262 |     2379   4097 |        0 |        0
558.60/558.79	c  558s |      24 |  5517031 |  4179262 |     2379   4107 |        0 |        0
560.70/560.80	c  560s |      24 |  5534312 |  4192562 |     2379   4117 |        0 |        0
562.70/562.80	c  562s |      24 |  5552106 |  4206362 |     2379   4128 |        0 |        0
564.70/564.81	c  564s |      24 |  5570453 |  4220462 |     2379   4139 |        0 |        0
566.70/566.82	c  566s |      24 |  5587611 |  4234162 |     2379   4150 |        0 |        0
568.71/568.83	c  568s |      24 |  5605259 |  4247562 |     2379   4160 |        0 |        0
570.71/570.84	c  570s |      24 |  5623067 |  4261262 |     2379   4171 |        0 |        0
572.70/572.84	c  572s |      24 |  5640456 |  4274562 |     2379   4181 |        0 |        0
574.70/574.84	c  574s |      24 |  5657886 |  4287962 |     2379   4192 |        0 |        0
576.70/576.85	c  576s |      24 |  5674154 |  4300662 |     2379   4202 |        0 |        0
578.70/578.86	c  578s |      24 |  5690037 |  4313262 |     2379   4211 |        0 |        0
580.70/580.87	c  580s |      24 |  5707172 |  4326762 |     2379   4222 |        0 |        0
582.69/582.88	c  582s |      24 |  5724997 |  4340062 |     2379   4232 |        0 |        0
584.79/584.90	c  584s |      24 |  5743541 |  4354462 |     2379   4244 |        0 |        0
586.79/586.91	c  586s |      24 |  5763212 |  4369162 |     2379   4255 |        0 |        0
588.79/588.92	c  588s |      24 |  5780370 |  4381962 |     2379   4265 |        0 |        0
590.79/590.94	c  590s |      24 |  5793771 |  4392662 |     2379   4273 |        0 |        0
592.79/592.96	c  592s |      24 |  5809466 |  4404362 |     2379   4283 |        0 |        0
594.78/594.97	c  594s |      24 |  5824241 |  4415962 |     2379   4292 |        0 |        0
596.78/596.99	c  596s |      24 |  5840298 |  4428562 |     2379   4302 |        0 |        0
598.78/598.99	c  598s |      24 |  5857623 |  4442462 |     2379   4312 |        0 |        0
600.88/601.00	c  600s |      24 |  5877783 |  4457462 |     2379   4324 |        0 |        0
602.88/603.01	c  602s |      24 |  5895551 |  4470962 |     2379   4335 |        0 |        0
604.89/605.03	c  605s |      24 |  5912652 |  4484462 |     2379   4345 |        0 |        0
606.88/607.03	c  607s |      24 |  5930281 |  4498362 |     2379   4356 |        0 |        0
608.88/609.04	c  609s |      24 |  5948206 |  4512262 |     2379   4367 |        0 |        0
610.88/611.04	c  611s |      24 |  5963963 |  4525162 |     2379   4377 |        0 |        0
612.87/613.04	c  613s |      24 |  5981822 |  4538862 |     2379   4388 |        0 |        0
614.88/615.05	c  615s |      24 |  6000066 |  4553062 |     2379   4399 |        0 |        0
616.87/617.05	c  617s |      24 |  6019038 |  4567262 |     2379   4410 |        0 |        0
618.87/619.06	c  619s |      24 |  6034843 |  4580062 |     2379   4420 |        0 |        0
620.87/621.07	c  621s |      24 |  6052164 |  4593162 |     2379   4430 |        0 |        0
622.87/623.09	c  623s |      24 |  6068667 |  4605762 |     2379   4440 |        0 |        0
624.97/625.10	c  625s |      24 |  6085408 |  4618562 |     2379   4450 |        0 |        0
626.87/627.10	c  627s |      24 |  6103722 |  4632362 |     2379   4461 |        0 |        0
628.97/629.11	c  629s |      24 |  6120414 |  4645462 |     2379   4471 |        0 |        0
630.97/631.11	c  631s |      24 |  6137128 |  4658362 |     2379   4481 |        0 |        0
632.96/633.11	c  633s |      24 |  6154344 |  4671862 |     2379   4492 |        0 |        0
634.96/635.12	c  635s |      24 |  6172441 |  4685462 |     2379   4502 |        0 |        0
636.96/637.12	c  637s |      24 |  6191099 |  4699662 |     2379   4513 |        0 |        0
638.97/639.12	c  639s |      24 |  6209125 |  4713462 |     2379   4524 |        0 |        0
640.96/641.13	c  641s |      24 |  6226993 |  4727462 |     2379   4535 |        0 |        0
642.96/643.14	c  643s |      24 |  6245994 |  4741862 |     2379   4546 |        0 |        0
644.96/645.15	c  645s |      24 |  6264664 |  4756162 |     2379   4557 |        0 |        0
646.96/647.16	c  647s |      24 |  6283780 |  4770562 |     2379   4569 |        0 |        0
648.96/649.17	c  649s |      24 |  6302539 |  4784762 |     2379   4580 |        0 |        0
650.95/651.18	c  651s |      24 |  6322404 |  4799662 |     2379   4591 |        0 |        0
653.05/653.20	c  653s |      24 |  6340877 |  4813862 |     2379   4602 |        0 |        0
655.05/655.20	c  655s |      24 |  6359636 |  4828062 |     2379   4613 |        0 |        0
657.05/657.22	c  657s |      24 |  6377717 |  4841862 |     2379   4624 |        0 |        0
659.05/659.22	c  659s |      24 |  6396035 |  4855662 |     2379   4635 |        0 |        0
661.05/661.23	c  661s |      24 |  6414817 |  4869962 |     2379   4646 |        0 |        0
663.04/663.23	c  663s |      24 |  6433675 |  4884162 |     2379   4657 |        0 |        0
665.04/665.23	c  665s |      24 |  6452382 |  4897562 |     2379   4667 |        0 |        0
667.04/667.24	c  667s |      24 |  6471703 |  4912262 |     2379   4679 |        0 |        0
669.04/669.24	c  669s |      24 |  6490767 |  4926862 |     2379   4690 |        0 |        0
671.05/671.24	c  671s |      24 |  6508649 |  4940262 |     2379   4701 |        0 |        0
673.05/673.24	c  673s |      24 |  6526551 |  4953762 |     2379   4711 |        0 |        0
675.04/675.25	c  675s |      24 |  6541948 |  4966162 |     2379   4721 |        0 |        0
677.04/677.26	c  677s |      24 |  6559367 |  4979862 |     2379   4732 |        0 |        0
679.04/679.26	c  679s |      24 |  6576917 |  4993462 |     2379   4742 |        0 |        0
681.04/681.27	c  681s |      24 |  6594562 |  5007062 |     2379   4753 |        0 |        0
683.04/683.28	c  683s |      24 |  6612083 |  5020762 |     2379   4764 |        0 |        0
685.03/685.29	c  685s |      24 |  6629583 |  5034162 |     2617   4774 |        0 |        0
687.13/687.30	c  687s |      24 |  6646330 |  5047162 |     2617   4783 |        0 |        0
689.13/689.30	c  689s |      24 |  6663457 |  5060362 |     2617   4793 |        0 |        0
689.73/689.96	c  689s |      25 |  6669675 |  5065098 |     2617   4796 |        0 |        0
691.73/691.98	c  691s |      25 |  6689309 |  5079898 |     2617   4807 |        0 |        0
693.72/693.99	c  693s |      25 |  6707809 |  5094298 |     2617   4817 |        0 |        0
695.72/695.99	c  695s |      25 |  6726071 |  5108398 |     2617   4827 |        0 |        0
697.72/697.99	c  697s |      25 |  6745325 |  5123198 |     2617   4837 |        0 |        0
699.82/700.00	c  699s |      25 |  6764732 |  5137798 |     2617   4848 |        0 |        0
701.82/702.01	c  701s |      25 |  6782435 |  5151398 |     2617   4858 |        0 |        0
703.83/704.02	c  703s |      25 |  6799886 |  5165098 |     2617   4867 |        0 |        0
705.82/706.02	c  705s |      25 |  6818355 |  5179498 |     2617   4878 |        0 |        0
707.82/708.03	c  708s |      25 |  6836950 |  5193998 |     2617   4888 |        0 |        0
709.82/710.04	c  710s |      25 |  6856693 |  5208598 |     2617   4898 |        0 |        0
711.81/712.05	c  712s |      25 |  6873820 |  5222398 |     2617   4908 |        0 |        0
713.82/714.06	c  714s |      25 |  6893050 |  5237098 |     2617   4919 |        0 |        0
715.81/716.06	c  716s |      25 |  6911418 |  5251298 |     2617   4929 |        0 |        0
717.81/718.06	c  718s |      25 |  6930399 |  5265898 |     2617   4939 |        0 |        0
719.81/720.07	c  720s |      25 |  6950504 |  5281198 |     2617   4950 |        0 |        0
721.81/722.09	c  722s |      25 |  6968833 |  5295498 |     2617   4960 |        0 |        0
723.81/724.09	c  724s |      25 |  6987794 |  5309998 |     2617   4971 |        0 |        0
725.81/726.09	c  726s |      25 |  7006621 |  5324498 |     2617   4981 |        0 |        0
727.91/728.10	c  728s |      25 |  7022050 |  5337398 |     2617   4990 |        0 |        0
729.91/730.11	c  730s |      25 |  7040018 |  5351398 |     2617   5000 |        0 |        0
731.90/732.11	c  732s |      25 |  7057850 |  5365198 |     2617   5010 |        0 |        0
733.90/734.12	c  734s |      25 |  7078760 |  5380498 |     2617   5021 |        0 |        0
735.90/736.12	c  736s |      25 |  7097228 |  5394398 |     2617   5031 |        0 |        0
737.91/738.13	c  738s |      25 |  7114108 |  5407698 |     2617   5041 |        0 |        0
739.90/740.13	c  740s |      25 |  7131959 |  5421498 |     2617   5050 |        0 |        0
741.90/742.14	c  742s |      25 |  7151322 |  5435998 |     2617   5061 |        0 |        0
743.89/744.15	c  744s |      25 |  7170273 |  5450198 |     2617   5071 |        0 |        0
745.89/746.15	c  746s |      25 |  7188255 |  5464198 |     2617   5081 |        0 |        0
747.90/748.16	c  748s |      25 |  7207240 |  5478698 |     2617   5091 |        0 |        0
749.89/750.17	c  750s |      25 |  7227479 |  5493598 |     2617   5102 |        0 |        0
751.89/752.17	c  752s |      25 |  7247127 |  5508198 |     2617   5112 |        0 |        0
753.89/754.18	c  754s |      25 |  7263582 |  5521398 |     2617   5122 |        0 |        0
755.89/756.19	c  756s |      25 |  7282991 |  5536298 |     2617   5132 |        0 |        0
757.99/758.20	c  758s |      25 |  7298263 |  5548698 |     2617   5141 |        0 |        0
760.01/760.21	c  760s |      25 |  7315922 |  5562298 |     2617   5151 |        0 |        0
762.00/762.22	c  762s |      25 |  7333215 |  5575598 |     2617   5160 |        0 |        0
763.99/764.23	c  764s |      25 |  7349897 |  5588198 |     2617   5169 |        0 |        0
765.99/766.23	c  766s |      25 |  7366345 |  5600698 |     2617   5178 |        0 |        0
767.99/768.24	c  768s |      25 |  7382288 |  5613098 |     2617   5186 |        0 |        0
769.99/770.25	c  770s |      25 |  7397734 |  5625398 |     2617   5195 |        0 |        0
772.00/772.26	c  772s |      25 |  7415022 |  5638498 |     2617   5204 |        0 |        0
773.99/774.28	c  774s |      25 |  7434194 |  5652898 |     2617   5215 |        0 |        0
775.99/776.29	c  776s |      25 |  7451642 |  5666398 |     2617   5224 |        0 |        0
777.99/778.29	c  778s |      25 |  7466479 |  5678598 |     2617   5233 |        0 |        0
779.99/780.29	c  780s |      25 |  7482151 |  5690798 |     2617   5241 |        0 |        0
782.08/782.30	c  782s |      25 |  7498543 |  5703598 |     2617   5251 |        0 |        0
784.09/784.30	c  784s |      25 |  7516628 |  5717398 |     2617   5260 |        0 |        0
786.08/786.31	c  786s |      25 |  7532921 |  5730198 |     2617   5270 |        0 |        0
788.08/788.32	c  788s |      25 |  7548998 |  5742698 |     2617   5278 |        0 |        0
790.08/790.33	c  790s |      25 |  7567842 |  5756698 |     2617   5288 |        0 |        0
792.07/792.35	c  792s |      25 |  7585404 |  5770198 |     2617   5298 |        0 |        0
794.08/794.36	c  794s |      25 |  7603400 |  5783698 |     2617   5308 |        0 |        0
796.07/796.36	c  796s |      25 |  7623045 |  5798098 |     2617   5318 |        0 |        0
798.07/798.37	c  798s |      25 |  7641512 |  5811998 |     2617   5328 |        0 |        0
800.07/800.38	c  800s |      25 |  7659437 |  5825498 |     2617   5337 |        0 |        0
802.07/802.38	c  802s |      25 |  7674808 |  5837298 |     2617   5346 |        0 |        0
804.06/804.39	c  804s |      25 |  7691703 |  5850498 |     2617   5355 |        0 |        0
806.07/806.39	c  806s |      25 |  7708896 |  5863598 |     2617   5365 |        0 |        0
808.16/808.40	c  808s |      25 |  7727378 |  5877498 |     2617   5375 |        0 |        0
810.16/810.40	c  810s |      25 |  7745235 |  5890998 |     2617   5384 |        0 |        0
812.16/812.41	c  812s |      25 |  7761321 |  5903798 |     2617   5393 |        0 |        0
814.16/814.43	c  814s |      25 |  7778246 |  5917298 |     2617   5403 |        0 |        0
816.16/816.43	c  816s |      25 |  7794104 |  5929498 |     2617   5412 |        0 |        0
818.16/818.44	c  818s |      25 |  7809842 |  5942098 |     2617   5421 |        0 |        0
820.16/820.45	c  820s |      25 |  7828146 |  5956198 |     2617   5431 |        0 |        0
822.16/822.46	c  822s |      25 |  7844865 |  5969698 |     2617   5440 |        0 |        0
824.16/824.46	c  824s |      25 |  7861934 |  5983398 |     2617   5450 |        0 |        0
826.16/826.47	c  826s |      25 |  7879642 |  5997598 |     2617   5460 |        0 |        0
828.16/828.49	c  828s |      25 |  7894321 |  6009098 |     2617   5468 |        0 |        0
830.16/830.49	c  830s |      25 |  7911761 |  6022398 |     2617   5478 |        0 |        0
832.15/832.49	c  832s |      25 |  7928491 |  6035098 |     2617   5487 |        0 |        0
834.15/834.50	c  834s |      25 |  7945045 |  6047998 |     2617   5496 |        0 |        0
836.24/836.50	c  836s |      25 |  7963507 |  6061798 |     2617   5506 |        0 |        0
838.24/838.51	c  838s |      25 |  7980625 |  6074898 |     2617   5515 |        0 |        0
840.25/840.52	c  840s |      25 |  7997412 |  6087798 |     2617   5524 |        0 |        0
842.24/842.53	c  842s |      25 |  8015685 |  6101398 |     2617   5534 |        0 |        0
844.24/844.54	c  844s |      25 |  8030586 |  6113498 |     2617   5542 |        0 |        0
846.24/846.54	c  846s |      25 |  8048379 |  6126998 |     2617   5552 |        0 |        0
848.24/848.55	c  848s |      25 |  8066684 |  6140898 |     2617   5562 |        0 |        0
850.24/850.56	c  850s |      25 |  8083475 |  6153898 |     2617   5571 |        0 |        0
852.24/852.57	c  852s |      25 |  8100442 |  6166998 |     2617   5580 |        0 |        0
854.23/854.58	c  854s |      25 |  8117519 |  6179998 |     2617   5590 |        0 |        0
856.23/856.58	c  856s |      25 |  8135600 |  6193698 |     2617   5599 |        0 |        0
858.24/858.59	c  858s |      25 |  8153399 |  6207298 |     2617   5609 |        0 |        0
860.34/860.60	c  860s |      25 |  8169256 |  6220298 |     2617   5618 |        0 |        0
862.33/862.60	c  862s |      25 |  8187563 |  6234598 |     2617   5628 |        0 |        0
864.34/864.61	c  864s |      25 |  8205886 |  6248498 |     2617   5638 |        0 |        0
866.33/866.63	c  866s |      25 |  8224678 |  6262798 |     2617   5648 |        0 |        0
868.33/868.63	c  868s |      25 |  8243812 |  6277498 |     2617   5659 |        0 |        0
870.33/870.64	c  870s |      25 |  8263064 |  6292298 |     2617   5670 |        0 |        0
872.32/872.65	c  872s |      25 |  8281572 |  6306498 |     2617   5680 |        0 |        0
874.33/874.65	c  874s |      25 |  8301891 |  6322098 |     2617   5691 |        0 |        0
876.32/876.66	c  876s |      25 |  8319758 |  6336298 |     2617   5701 |        0 |        0
878.32/878.66	c  878s |      25 |  8338205 |  6350498 |     2617   5711 |        0 |        0
880.32/880.67	c  880s |      25 |  8355752 |  6364098 |     2617   5721 |        0 |        0
882.32/882.68	c  882s |      25 |  8373299 |  6377598 |     2617   5730 |        0 |        0
884.32/884.68	c  884s |      25 |  8390872 |  6390998 |     2617   5740 |        0 |        0
886.33/886.68	c  886s |      25 |  8407470 |  6404098 |     2617   5749 |        0 |        0
888.32/888.69	c  888s |      25 |  8425772 |  6417798 |     2617   5759 |        0 |        0
890.32/890.69	c  890s |      25 |  8443251 |  6431298 |     2617   5769 |        0 |        0
892.41/892.71	c  892s |      25 |  8459542 |  6443798 |     2617   5778 |        0 |        0
894.41/894.71	c  894s |      25 |  8476194 |  6456698 |     2617   5787 |        0 |        0
896.41/896.72	c  896s |      25 |  8494509 |  6470698 |     2617   5797 |        0 |        0
898.42/898.73	c  898s |      25 |  8511902 |  6484198 |     2617   5807 |        0 |        0
900.41/900.74	c  900s |      25 |  8528841 |  6497298 |     2617   5816 |        0 |        0
902.40/902.75	c  902s |      25 |  8545791 |  6510298 |     2617   5825 |        0 |        0
904.40/904.76	c  904s |      25 |  8564350 |  6524298 |     2617   5835 |        0 |        0
906.40/906.77	c  906s |      25 |  8583887 |  6538998 |     2617   5846 |        0 |        0
908.41/908.78	c  908s |      25 |  8602258 |  6552998 |     2617   5856 |        0 |        0
910.40/910.79	c  910s |      25 |  8621029 |  6566498 |     2617   5865 |        0 |        0
912.50/912.81	c  912s |      25 |  8638938 |  6580098 |     2617   5875 |        0 |        0
914.50/914.82	c  914s |      25 |  8657551 |  6594198 |     2617   5885 |        0 |        0
916.50/916.82	c  916s |      25 |  8674596 |  6607698 |     2617   5895 |        0 |        0
918.50/918.82	c  918s |      25 |  8693344 |  6621898 |     2617   5905 |        0 |        0
920.50/920.82	c  920s |      25 |  8711988 |  6636198 |     2617   5915 |        0 |        0
922.49/922.84	c  922s |      25 |  8730102 |  6650198 |     2617   5925 |        0 |        0
924.49/924.85	c  924s |      25 |  8749515 |  6664998 |     2617   5935 |        0 |        0
926.49/926.87	c  926s |      25 |  8768030 |  6679298 |     2617   5946 |        0 |        0
928.49/928.87	c  928s |      25 |  8786033 |  6693198 |     2617   5955 |        0 |        0
930.49/930.88	c  930s |      25 |  8803766 |  6706798 |     2617   5965 |        0 |        0
932.49/932.88	c  932s |      25 |  8820398 |  6719898 |     2617   5974 |        0 |        0
934.48/934.89	c  934s |      25 |  8838013 |  6733698 |     2617   5984 |        0 |        0
936.48/936.89	c  936s |      25 |  8856233 |  6747898 |     2617   5994 |        0 |        0
938.49/938.89	c  938s |      25 |  8873727 |  6761298 |     2617   6004 |        0 |        0
940.59/940.90	c  940s |      25 |  8891774 |  6775298 |     2617   6013 |        0 |        0
942.58/942.91	c  942s |      25 |  8910430 |  6789598 |     2617   6024 |        0 |        0
944.58/944.92	c  944s |      25 |  8929731 |  6804398 |     2617   6034 |        0 |        0
946.57/946.93	c  946s |      25 |  8949423 |  6819298 |     2617   6045 |        0 |        0
948.57/948.94	c  948s |      25 |  8967493 |  6832898 |     2617   6054 |        0 |        0
950.58/950.95	c  950s |      25 |  8986053 |  6846898 |     2617   6064 |        0 |        0
952.57/952.96	c  952s |      25 |  9003404 |  6860198 |     2617   6074 |        0 |        0
954.58/954.97	c  954s |      25 |  9020884 |  6873698 |     2617   6083 |        0 |        0
956.57/956.98	c  956s |      25 |  9038253 |  6887198 |     2617   6093 |        0 |        0
958.57/958.99	c  958s |      25 |  9056932 |  6901498 |     2617   6103 |        0 |        0
960.57/961.00	c  960s |      25 |  9076413 |  6916198 |     2617   6114 |        0 |        0
962.66/963.01	c  962s |      25 |  9095648 |  6931398 |     2617   6124 |        0 |        0
964.66/965.02	c  965s |      25 |  9115460 |  6946398 |     2617   6135 |        0 |        0
966.67/967.03	c  967s |      25 |  9133466 |  6960498 |     2617   6145 |        0 |        0
968.66/969.03	c  969s |      25 |  9151560 |  6974598 |     2617   6155 |        0 |        0
970.66/971.04	c  971s |      25 |  9169744 |  6988698 |     2617   6165 |        0 |        0
972.65/973.06	c  973s |      25 |  9187224 |  7002698 |     2617   6175 |        0 |        0
974.65/975.06	c  975s |      25 |  9206330 |  7017198 |     2617   6186 |        0 |        0
976.65/977.07	c  977s |      25 |  9225967 |  7031998 |     2617   6196 |        0 |        0
978.66/979.08	c  979s |      25 |  9244489 |  7046398 |     2617   6207 |        0 |        0
980.65/981.10	c  981s |      25 |  9263890 |  7060998 |     2617   6217 |        0 |        0
982.75/983.11	c  983s |      25 |  9283003 |  7075398 |     2617   6227 |        0 |        0
984.75/985.13	c  985s |      25 |  9301720 |  7089098 |     2617   6237 |        0 |        0
986.75/987.14	c  987s |      25 |  9318941 |  7102398 |     2617   6247 |        0 |        0
988.75/989.14	c  989s |      25 |  9335675 |  7114998 |     2617   6256 |        0 |        0
990.75/991.15	c  991s |      25 |  9353367 |  7128798 |     2617   6265 |        0 |        0
992.74/993.15	c  993s |      25 |  9368094 |  7141198 |     2617   6274 |        0 |        0
994.74/995.17	c  995s |      25 |  9386958 |  7155398 |     2617   6284 |        0 |        0
996.74/997.18	c  997s |      25 |  9403799 |  7168798 |     2617   6294 |        0 |        0
998.74/999.18	c  999s |      25 |  9421022 |  7182298 |     2617   6304 |        0 |        0
1000.74/1001.19	c 1001s |      25 |  9439798 |  7196698 |     2617   6314 |        0 |        0
1002.84/1003.21	c 1003s |      25 |  9459290 |  7211498 |     2617   6325 |        0 |        0
1004.83/1005.22	c 1005s |      25 |  9477456 |  7225398 |     2617   6334 |        0 |        0
1006.84/1007.23	c 1007s |      25 |  9494814 |  7238998 |     2617   6344 |        0 |        0
1008.84/1009.24	c 1009s |      25 |  9511354 |  7251898 |     2617   6353 |        0 |        0
1010.84/1011.25	c 1011s |      25 |  9528830 |  7265398 |     2617   6363 |        0 |        0
1012.84/1013.26	c 1013s |      25 |  9547481 |  7279698 |     2617   6373 |        0 |        0
1014.83/1015.27	c 1015s |      25 |  9566648 |  7293898 |     2617   6383 |        0 |        0
1016.83/1017.28	c 1017s |      25 |  9581732 |  7305998 |     2617   6392 |        0 |        0
1018.83/1019.28	c 1019s |      25 |  9598722 |  7318898 |     2617   6401 |        0 |        0
1020.83/1021.29	c 1021s |      25 |  9616152 |  7332598 |     2617   6411 |        0 |        0
1022.92/1023.30	c 1023s |      25 |  9634178 |  7346398 |     2617   6421 |        0 |        0
1024.83/1025.30	c 1025s |      25 |  9652812 |  7360598 |     2617   6431 |        0 |        0
1026.92/1027.30	c 1027s |      25 |  9672212 |  7375098 |     2617   6441 |        0 |        0
1028.92/1029.30	c 1029s |      25 |  9689273 |  7388898 |     2617   6451 |        0 |        0
1030.92/1031.31	c 1031s |      25 |  9706876 |  7402698 |     2617   6461 |        0 |        0
1032.92/1033.32	c 1033s |      25 |  9724066 |  7416298 |     2617   6470 |        0 |        0
1034.92/1035.33	c 1035s |      25 |  9742464 |  7430298 |     2617   6480 |        0 |        0
1036.92/1037.33	c 1037s |      25 |  9759658 |  7443598 |     2617   6490 |        0 |        0
1038.92/1039.35	c 1039s |      25 |  9775268 |  7456198 |     2617   6499 |        0 |        0
1040.92/1041.35	c 1041s |      25 |  9793102 |  7469598 |     2617   6508 |        0 |        0
1042.91/1043.36	c 1043s |      25 |  9809775 |  7482498 |     2617   6517 |        0 |        0
1044.91/1045.37	c 1045s |      25 |  9828141 |  7496598 |     2617   6527 |        0 |        0
1046.92/1047.37	c 1047s |      25 |  9845479 |  7510198 |     2617   6537 |        0 |        0
1048.91/1049.38	c 1049s |      25 |  9862816 |  7523598 |     2617   6546 |        0 |        0
1050.91/1051.38	c 1051s |      25 |  9882238 |  7538298 |     2617   6557 |        0 |        0
1052.90/1053.39	c 1053s |      25 |  9901113 |  7552798 |     2879   6566 |        0 |        0
1055.00/1055.40	c 1055s |      25 |  9920618 |  7567098 |     2879   6576 |        0 |        0
1057.00/1057.41	c 1057s |      25 |  9937585 |  7580298 |     2879   6584 |        0 |        0
1059.01/1059.41	c 1059s |      25 |  9955773 |  7593598 |     2879   6593 |        0 |        0
1059.60/1060.00	c 1059s |      26 |  9961391 |  7597752 |     2879   6596 |        0 |        0
1061.59/1062.01	c 1061s |      26 |  9976116 |  7609252 |     2879   6603 |        0 |        0
1063.59/1064.03	c 1064s |      26 |  9989818 |  7620352 |     2879   6610 |        0 |        0
1065.60/1066.03	c 1066s |      26 | 10004248 |  7631452 |     2879   6617 |        0 |        0
1067.59/1068.05	c 1068s |      26 | 10018829 |  7642752 |     2879   6624 |        0 |        0
1069.59/1070.06	c 1070s |      26 | 10034607 |  7654752 |     2879   6632 |        0 |        0
1071.58/1072.06	c 1072s |      26 | 10050796 |  7667152 |     2879   6640 |        0 |        0
1073.58/1074.07	c 1074s |      26 | 10066678 |  7679452 |     2879   6648 |        0 |        0
1075.58/1076.09	c 1076s |      26 | 10082331 |  7691752 |     2879   6656 |        0 |        0
1077.59/1078.10	c 1078s |      26 | 10099320 |  7704452 |     2879   6664 |        0 |        0
1079.69/1080.11	c 1080s |      26 | 10115112 |  7716052 |     2879   6672 |        0 |        0
1081.68/1082.12	c 1082s |      26 | 10128374 |  7726252 |     2879   6679 |        0 |        0
1083.68/1084.12	c 1084s |      26 | 10143898 |  7738052 |     2879   6686 |        0 |        0
1085.68/1086.13	c 1086s |      26 | 10159478 |  7750052 |     2879   6694 |        0 |        0
1087.68/1088.13	c 1088s |      26 | 10174197 |  7761352 |     2879   6701 |        0 |        0
1089.69/1090.14	c 1090s |      26 | 10190313 |  7773552 |     2879   6709 |        0 |        0
1091.68/1092.15	c 1092s |      26 | 10205960 |  7785952 |     2879   6717 |        0 |        0
1093.68/1094.16	c 1094s |      26 | 10221261 |  7798052 |     2879   6725 |        0 |        0
1095.68/1096.16	c 1096s |      26 | 10236364 |  7809952 |     2879   6733 |        0 |        0
1097.68/1098.17	c 1098s |      26 | 10250565 |  7821452 |     2879   6740 |        0 |        0
1099.68/1100.18	c 1100s |      26 | 10262908 |  7831952 |     2879   6747 |        0 |        0
1101.67/1102.19	c 1102s |      26 | 10276887 |  7843152 |     2879   6754 |        0 |        0
1103.77/1104.20	c 1104s |      26 | 10291726 |  7854552 |     2879   6762 |        0 |        0
1105.77/1106.21	c 1106s |      26 | 10305908 |  7865652 |     2879   6769 |        0 |        0
1107.77/1108.22	c 1108s |      26 | 10320837 |  7877252 |     2879   6776 |        0 |        0
1109.77/1110.23	c 1110s |      26 | 10335255 |  7888252 |     2879   6783 |        0 |        0
1111.77/1112.24	c 1112s |      26 | 10350246 |  7899952 |     2879   6791 |        0 |        0
1113.76/1114.24	c 1114s |      26 | 10365149 |  7911552 |     2879   6799 |        0 |        0
1115.76/1116.24	c 1116s |      26 | 10380612 |  7923452 |     2879   6806 |        0 |        0
1117.76/1118.24	c 1118s |      26 | 10394846 |  7934952 |     2879   6814 |        0 |        0
1119.76/1120.24	c 1120s |      26 | 10410014 |  7946952 |     2879   6822 |        0 |        0
1121.75/1122.25	c 1122s |      26 | 10425872 |  7959452 |     2879   6830 |        0 |        0
1123.76/1124.26	c 1124s |      26 | 10440668 |  7970952 |     2879   6837 |        0 |        0
1125.75/1126.27	c 1126s |      26 | 10454639 |  7982052 |     2879   6845 |        0 |        0
1127.75/1128.28	c 1128s |      26 | 10470715 |  7994352 |     2879   6853 |        0 |        0
1129.75/1130.29	c 1130s |      26 | 10487392 |  8006952 |     2879   6861 |        0 |        0
1131.84/1132.30	c 1132s |      26 | 10502957 |  8018852 |     2879   6868 |        0 |        0
1133.84/1134.31	c 1134s |      26 | 10518868 |  8030952 |     2879   6876 |        0 |        0
1135.85/1136.31	c 1136s |      26 | 10534339 |  8042952 |     2879   6884 |        0 |        0
1137.84/1138.32	c 1138s |      26 | 10547906 |  8053752 |     2879   6891 |        0 |        0
1139.84/1140.33	c 1140s |      26 | 10562924 |  8065552 |     2879   6899 |        0 |        0
1141.83/1142.33	c 1142s |      26 | 10578907 |  8077752 |     2879   6907 |        0 |        0
1143.83/1144.33	c 1144s |      26 | 10592323 |  8088452 |     2879   6914 |        0 |        0
1145.84/1146.35	c 1146s |      26 | 10606724 |  8099552 |     2879   6921 |        0 |        0
1147.83/1148.36	c 1148s |      26 | 10620312 |  8110452 |     2879   6928 |        0 |        0
1149.83/1150.37	c 1150s |      26 | 10633865 |  8121152 |     2879   6935 |        0 |        0
1151.83/1152.38	c 1152s |      26 | 10648667 |  8132352 |     2879   6942 |        0 |        0
1153.93/1154.41	c 1154s |      26 | 10661850 |  8142952 |     2879   6949 |        0 |        0
1155.93/1156.43	c 1156s |      26 | 10676060 |  8153952 |     2879   6957 |        0 |        0
1157.93/1158.44	c 1158s |      26 | 10690818 |  8165052 |     2879   6964 |        0 |        0
1159.93/1160.46	c 1160s |      26 | 10705823 |  8176552 |     2879   6971 |        0 |        0
1161.92/1162.46	c 1162s |      26 | 10720632 |  8187852 |     2879   6979 |        0 |        0
1163.92/1164.48	c 1164s |      26 | 10735026 |  8199052 |     2879   6986 |        0 |        0
1166.03/1166.50	c 1166s |      26 | 10750225 |  8210552 |     2879   6993 |        0 |        0
1168.03/1168.51	c 1168s |      26 | 10765568 |  8221952 |     2879   7001 |        0 |        0
1170.03/1170.52	c 1170s |      26 | 10780641 |  8233252 |     2879   7008 |        0 |        0
1172.02/1172.53	c 1172s |      26 | 10794860 |  8244452 |     2879   7015 |        0 |        0
1174.02/1174.53	c 1174s |      26 | 10808107 |  8254952 |     2879   7022 |        0 |        0
1176.02/1176.55	c 1176s |      26 | 10821026 |  8265452 |     2879   7029 |        0 |        0
1178.02/1178.55	c 1178s |      26 | 10834774 |  8276052 |     2879   7036 |        0 |        0
1180.02/1180.56	c 1180s |      26 | 10847934 |  8286552 |     2879   7043 |        0 |        0
1182.02/1182.57	c 1182s |      26 | 10860088 |  8296452 |     2879   7049 |        0 |        0
1184.02/1184.58	c 1184s |      26 | 10873001 |  8306852 |     2879   7056 |        0 |        0
1186.02/1186.59	c 1186s |      26 | 10887378 |  8318052 |     2879   7063 |        0 |        0
1188.12/1188.60	c 1188s |      26 | 10901809 |  8329552 |     2879   7070 |        0 |        0
1190.12/1190.61	c 1190s |      26 | 10916614 |  8340752 |     2879   7077 |        0 |        0
1192.11/1192.62	c 1192s |      26 | 10932273 |  8352952 |     2879   7085 |        0 |        0
1194.12/1194.63	c 1194s |      26 | 10948707 |  8365352 |     2879   7093 |        0 |        0
1196.11/1196.64	c 1196s |      26 | 10964243 |  8377252 |     2879   7101 |        0 |        0
1198.11/1198.65	c 1198s |      26 | 10979017 |  8388752 |     2879   7108 |        0 |        0
1200.11/1200.66	c 1200s |      26 | 10993557 |  8400052 |     2879   7116 |        0 |        0
1202.10/1202.66	c 1202s |      26 | 11009213 |  8412052 |     2879   7123 |        0 |        0
1204.11/1204.68	c 1204s |      26 | 11023587 |  8423152 |     2879   7131 |        0 |        0
1206.10/1206.68	c 1206s |      26 | 11037789 |  8434152 |     2879   7138 |        0 |        0
1208.10/1208.69	c 1208s |      26 | 11053052 |  8445552 |     2879   7145 |        0 |        0
1210.20/1210.70	c 1210s |      26 | 11069319 |  8457952 |     2879   7153 |        0 |        0
1212.20/1212.72	c 1212s |      26 | 11082882 |  8468752 |     2879   7160 |        0 |        0
1214.20/1214.73	c 1214s |      26 | 11097943 |  8480152 |     2879   7167 |        0 |        0
1216.20/1216.73	c 1216s |      26 | 11110823 |  8490052 |     2879   7174 |        0 |        0
1218.19/1218.74	c 1218s |      26 | 11124408 |  8500852 |     2879   7181 |        0 |        0
1220.19/1220.74	c 1220s |      26 | 11139702 |  8512152 |     2879   7188 |        0 |        0
1222.19/1222.76	c 1222s |      26 | 11154496 |  8523452 |     2879   7195 |        0 |        0
1224.19/1224.76	c 1224s |      26 | 11168323 |  8534552 |     2879   7202 |        0 |        0
1226.19/1226.78	c 1226s |      26 | 11182614 |  8545652 |     2879   7210 |        0 |        0
1228.20/1228.78	c 1228s |      26 | 11196966 |  8556852 |     2879   7217 |        0 |        0
1230.20/1230.78	c 1230s |      26 | 11212544 |  8568952 |     2879   7225 |        0 |        0
1232.30/1232.80	c 1232s |      26 | 11227360 |  8580152 |     2879   7232 |        0 |        0
1234.30/1234.81	c 1234s |      26 | 11240657 |  8590352 |     2879   7239 |        0 |        0
1236.30/1236.81	c 1236s |      26 | 11256187 |  8602352 |     2879   7246 |        0 |        0
1238.30/1238.83	c 1238s |      26 | 11269556 |  8612752 |     2879   7253 |        0 |        0
1240.30/1240.83	c 1240s |      26 | 11282178 |  8622352 |     2879   7260 |        0 |        0
1242.30/1242.85	c 1242s |      26 | 11296160 |  8632952 |     2879   7267 |        0 |        0
1244.30/1244.86	c 1244s |      26 | 11308459 |  8642552 |     2879   7273 |        0 |        0
1246.29/1246.86	c 1246s |      26 | 11323481 |  8653752 |     2879   7280 |        0 |        0
1248.29/1248.86	c 1248s |      26 | 11339302 |  8665752 |     2879   7288 |        0 |        0
1250.30/1250.87	c 1250s |      26 | 11355413 |  8677752 |     2879   7296 |        0 |        0
1252.29/1252.87	c 1252s |      26 | 11370141 |  8689152 |     2879   7303 |        0 |        0
1254.29/1254.88	c 1254s |      26 | 11382873 |  8699552 |     2879   7310 |        0 |        0
1256.39/1256.90	c 1256s |      26 | 11398282 |  8711352 |     2879   7317 |        0 |        0
1258.39/1258.91	c 1258s |      26 | 11410896 |  8721752 |     2879   7324 |        0 |        0
1260.39/1260.92	c 1260s |      26 | 11424695 |  8732852 |     2879   7332 |        0 |        0
1262.40/1262.92	c 1262s |      26 | 11439160 |  8744152 |     2879   7339 |        0 |        0
1264.39/1264.93	c 1264s |      26 | 11451856 |  8754552 |     2879   7346 |        0 |        0
1266.39/1266.94	c 1266s |      26 | 11467430 |  8766552 |     2879   7353 |        0 |        0
1268.39/1268.95	c 1268s |      26 | 11483079 |  8778852 |     2879   7361 |        0 |        0
1270.39/1270.95	c 1270s |      26 | 11496845 |  8789752 |     2879   7368 |        0 |        0
1272.39/1272.96	c 1272s |      26 | 11511085 |  8801252 |     2879   7376 |        0 |        0
1274.40/1274.97	c 1274s |      26 | 11525030 |  8812052 |     2879   7383 |        0 |        0
1276.39/1276.97	c 1276s |      26 | 11539972 |  8823452 |     2879   7390 |        0 |        0
1278.39/1278.98	c 1278s |      26 | 11556747 |  8835952 |     2879   7398 |        0 |        0
1280.39/1280.99	c 1280s |      26 | 11571783 |  8847452 |     2879   7406 |        0 |        0
1282.39/1282.99	c 1282s |      26 | 11586076 |  8858652 |     2879   7413 |        0 |        0
1284.49/1285.00	c 1284s |      26 | 11600271 |  8869652 |     2879   7420 |        0 |        0
1286.50/1287.00	c 1286s |      26 | 11614100 |  8880552 |     2879   7427 |        0 |        0
1288.49/1289.01	c 1288s |      26 | 11627780 |  8891252 |     2879   7434 |        0 |        0
1290.49/1291.02	c 1291s |      26 | 11643321 |  8902952 |     2879   7441 |        0 |        0
1292.49/1293.04	c 1293s |      26 | 11658531 |  8914752 |     2879   7449 |        0 |        0
1294.49/1295.04	c 1295s |      26 | 11674663 |  8926752 |     2879   7457 |        0 |        0
1296.49/1297.04	c 1297s |      26 | 11690388 |  8938552 |     2879   7464 |        0 |        0
1298.49/1299.05	c 1299s |      26 | 11705603 |  8950252 |     2879   7472 |        0 |        0
1300.49/1301.06	c 1301s |      26 | 11721656 |  8962652 |     2879   7480 |        0 |        0
1302.49/1303.07	c 1303s |      26 | 11737535 |  8974752 |     2879   7488 |        0 |        0
1304.49/1305.09	c 1305s |      26 | 11751249 |  8985552 |     2879   7495 |        0 |        0
1306.49/1307.09	c 1307s |      26 | 11764909 |  8996052 |     2879   7501 |        0 |        0
1308.59/1309.10	c 1309s |      26 | 11779970 |  9007252 |     2879   7509 |        0 |        0
1310.58/1311.11	c 1311s |      26 | 11794667 |  9017952 |     2879   7515 |        0 |        0
1312.58/1313.12	c 1313s |      26 | 11809685 |  9028952 |     2879   7523 |        0 |        0
1314.58/1315.12	c 1315s |      26 | 11824105 |  9040252 |     2879   7530 |        0 |        0
1316.58/1317.13	c 1317s |      26 | 11838599 |  9051352 |     2879   7537 |        0 |        0
1318.58/1319.14	c 1319s |      26 | 11852691 |  9062452 |     2879   7544 |        0 |        0
1320.59/1321.14	c 1321s |      26 | 11867571 |  9074252 |     2879   7552 |        0 |        0
1322.58/1323.17	c 1323s |      26 | 11882693 |  9085852 |     2879   7560 |        0 |        0
1324.58/1325.18	c 1325s |      26 | 11897372 |  9097252 |     2879   7567 |        0 |        0
1326.58/1327.19	c 1327s |      26 | 11911630 |  9108652 |     2879   7574 |        0 |        0
1328.59/1329.20	c 1329s |      26 | 11926243 |  9119852 |     2879   7582 |        0 |        0
1330.69/1331.21	c 1331s |      26 | 11939681 |  9130652 |     2879   7589 |        0 |        0
1332.69/1333.22	c 1333s |      26 | 11954612 |  9141952 |     2879   7596 |        0 |        0
1334.68/1335.24	c 1335s |      26 | 11969137 |  9153252 |     2879   7603 |        0 |        0
1336.68/1337.26	c 1337s |      26 | 11983742 |  9164652 |     2879   7611 |        0 |        0
1338.68/1339.29	c 1339s |      26 | 11997638 |  9175452 |     2879   7618 |        0 |        0
1340.68/1341.29	c 1341s |      26 | 12011602 |  9186352 |     2879   7625 |        0 |        0
1342.78/1343.30	c 1343s |      26 | 12025362 |  9197552 |     2879   7632 |        0 |        0
1344.79/1345.31	c 1345s |      26 | 12040132 |  9208952 |     2879   7639 |        0 |        0
1346.78/1347.32	c 1347s |      26 | 12053874 |  9219952 |     2879   7647 |        0 |        0
1348.78/1349.33	c 1349s |      26 | 12067833 |  9231052 |     2879   7654 |        0 |        0
1350.78/1351.34	c 1351s |      26 | 12080853 |  9241952 |     2879   7661 |        0 |        0
1352.78/1353.35	c 1353s |      26 | 12095418 |  9253352 |     2879   7668 |        0 |        0
1354.79/1355.36	c 1355s |      26 | 12110449 |  9265052 |     2879   7676 |        0 |        0
1356.78/1357.36	c 1357s |      26 | 12124355 |  9276152 |     2879   7683 |        0 |        0
1358.78/1359.37	c 1359s |      26 | 12139073 |  9287452 |     2879   7691 |        0 |        0
1360.78/1361.37	c 1361s |      26 | 12154140 |  9299052 |     2879   7698 |        0 |        0
1362.78/1363.39	c 1363s |      26 | 12168809 |  9310652 |     2879   7706 |        0 |        0
1364.88/1365.40	c 1365s |      26 | 12182805 |  9321552 |     2879   7713 |        0 |        0
1366.89/1367.42	c 1367s |      26 | 12197148 |  9332952 |     2879   7720 |        0 |        0
1368.88/1369.42	c 1369s |      26 | 12211765 |  9344452 |     2879   7728 |        0 |        0
1370.88/1371.43	c 1371s |      26 | 12224999 |  9355152 |     2879   7735 |        0 |        0
1372.88/1373.43	c 1373s |      26 | 12238872 |  9366252 |     2879   7742 |        0 |        0
1374.88/1375.43	c 1375s |      26 | 12253826 |  9377752 |     2879   7750 |        0 |        0
1376.88/1377.44	c 1377s |      26 | 12267133 |  9388452 |     2879   7757 |        0 |        0
1378.88/1379.45	c 1379s |      26 | 12280737 |  9399252 |     2879   7764 |        0 |        0
1380.88/1381.46	c 1381s |      26 | 12295775 |  9410552 |     2879   7771 |        0 |        0
1382.87/1383.46	c 1383s |      26 | 12310601 |  9421852 |     2879   7778 |        0 |        0
1384.87/1385.48	c 1385s |      26 | 12325571 |  9433552 |     2879   7786 |        0 |        0
1386.97/1387.51	c 1387s |      26 | 12340487 |  9445152 |     2879   7794 |        0 |        0
1388.97/1389.51	c 1389s |      26 | 12354341 |  9456352 |     2879   7801 |        0 |        0
1390.98/1391.51	c 1391s |      26 | 12368894 |  9467952 |     2879   7808 |        0 |        0
1392.97/1393.51	c 1393s |      26 | 12383659 |  9479452 |     2879   7816 |        0 |        0
1394.97/1395.52	c 1395s |      26 | 12398841 |  9491252 |     2879   7823 |        0 |        0
1396.97/1397.53	c 1397s |      26 | 12414068 |  9502752 |     2879   7831 |        0 |        0
1398.97/1399.54	c 1399s |      26 | 12428705 |  9514252 |     2879   7838 |        0 |        0
1400.98/1401.54	c 1401s |      26 | 12442657 |  9524952 |     2879   7845 |        0 |        0
1402.97/1403.55	c 1403s |      26 | 12456641 |  9535752 |     2879   7853 |        0 |        0
1404.97/1405.57	c 1405s |      26 | 12470428 |  9546552 |     2879   7860 |        0 |        0
1406.97/1407.58	c 1407s |      26 | 12485777 |  9557952 |     2879   7867 |        0 |        0
1409.07/1409.60	c 1409s |      26 | 12500988 |  9569352 |     2879   7874 |        0 |        0
1411.07/1411.61	c 1411s |      26 | 12515840 |  9580652 |     2879   7882 |        0 |        0
1413.08/1413.63	c 1413s |      26 | 12531020 |  9592452 |     2879   7890 |        0 |        0
1415.07/1415.65	c 1415s |      26 | 12546644 |  9604652 |     2879   7897 |        0 |        0
1417.07/1417.65	c 1417s |      26 | 12562127 |  9616752 |     2879   7905 |        0 |        0
1419.07/1419.65	c 1419s |      26 | 12576204 |  9627852 |     2879   7913 |        0 |        0
1421.07/1421.65	c 1421s |      26 | 12588926 |  9638052 |     2879   7919 |        0 |        0
1423.07/1423.66	c 1423s |      26 | 12603271 |  9649152 |     2879   7926 |        0 |        0
1425.07/1425.66	c 1425s |      26 | 12615172 |  9658552 |     2879   7933 |        0 |        0
1427.07/1427.68	c 1427s |      26 | 12628996 |  9668952 |     2879   7939 |        0 |        0
1429.07/1429.68	c 1429s |      26 | 12642478 |  9679352 |     2879   7946 |        0 |        0
1431.06/1431.69	c 1431s |      26 | 12655417 |  9689652 |     2879   7953 |        0 |        0
1433.06/1433.69	c 1433s |      26 | 12668043 |  9699452 |     2879   7959 |        0 |        0
1435.16/1435.70	c 1435s |      26 | 12680745 |  9709252 |     2879   7966 |        0 |        0
1437.17/1437.72	c 1437s |      26 | 12694608 |  9719352 |     2879   7972 |        0 |        0
1439.16/1439.73	c 1439s |      26 | 12707412 |  9729052 |     2879   7979 |        0 |        0
1441.16/1441.74	c 1441s |      26 | 12718985 |  9737852 |     2879   7985 |        0 |        0
1443.17/1443.75	c 1443s |      26 | 12732062 |  9748252 |     2879   7991 |        0 |        0
1445.17/1445.76	c 1445s |      26 | 12746379 |  9759352 |     2879   7999 |        0 |        0
1447.17/1447.77	c 1447s |      26 | 12761179 |  9770452 |     2879   8006 |        0 |        0
1449.16/1449.78	c 1449s |      26 | 12773885 |  9780152 |     2879   8012 |        0 |        0
1451.16/1451.79	c 1451s |      26 | 12786935 |  9790352 |     2879   8019 |        0 |        0
1453.16/1453.79	c 1453s |      26 | 12799654 |  9800352 |     2879   8026 |        0 |        0
1455.26/1455.80	c 1455s |      26 | 12813408 |  9811152 |     2879   8033 |        0 |        0
1457.26/1457.81	c 1457s |      26 | 12827372 |  9822152 |     2879   8040 |        0 |        0
1459.27/1459.82	c 1459s |      26 | 12841726 |  9833152 |     2879   8047 |        0 |        0
1461.26/1461.82	c 1461s |      26 | 12854823 |  9842952 |     2879   8053 |        0 |        0
1463.26/1463.83	c 1463s |      26 | 12867035 |  9852452 |     2879   8060 |        0 |        0
1465.26/1465.84	c 1465s |      26 | 12880833 |  9862852 |     2879   8066 |        0 |        0
1467.26/1467.86	c 1467s |      26 | 12894282 |  9873452 |     2879   8073 |        0 |        0
1469.26/1469.86	c 1469s |      26 | 12907647 |  9883752 |     2879   8080 |        0 |        0
1471.26/1471.87	c 1471s |      26 | 12923505 |  9895552 |     2879   8088 |        0 |        0
1473.26/1473.88	c 1473s |      26 | 12938386 |  9907052 |     2879   8095 |        0 |        0
1475.26/1475.88	c 1475s |      26 | 12953720 |  9918752 |     2879   8103 |        0 |        0
1477.26/1477.89	c 1477s |      26 | 12966059 |  9928652 |     2879   8110 |        0 |        0
1479.36/1479.91	c 1479s |      26 | 12980407 |  9939652 |     2879   8117 |        0 |        0
1481.35/1481.91	c 1481s |      26 | 12994905 |  9950752 |     2879   8124 |        0 |        0
1483.36/1483.91	c 1483s |      26 | 13010878 |  9962952 |     2879   8132 |        0 |        0
1485.35/1485.92	c 1485s |      26 | 13026001 |  9974352 |     2879   8140 |        0 |        0
1487.36/1487.93	c 1487s |      26 | 13043038 |  9987352 |     2879   8148 |        0 |        0
1489.36/1489.93	c 1489s |      26 | 13061140 | 10000852 |     2879   8157 |        0 |        0
1491.36/1491.94	c 1491s |      26 | 13077055 | 10013452 |     2879   8165 |        0 |        0
1493.37/1493.94	c 1493s |      26 | 13092722 | 10025552 |     2879   8173 |        0 |        0
1495.36/1495.95	c 1495s |      26 | 13106195 | 10036452 |     2879   8180 |        0 |        0
1497.36/1497.98	c 1497s |      26 | 13120726 | 10047652 |     2879   8188 |        0 |        0
1499.36/1499.98	c 1499s |      26 | 13135138 | 10058552 |     2879   8195 |        0 |        0
1501.36/1501.98	c 1501s |      26 | 13150641 | 10070352 |     2879   8203 |        0 |        0
1503.36/1503.99	c 1503s |      26 | 13165843 | 10082152 |     2879   8210 |        0 |        0
1505.36/1506.00	c 1505s |      26 | 13182595 | 10094752 |     2879   8219 |        0 |        0
1507.45/1508.02	c 1507s |      26 | 13197480 | 10106352 |     2879   8226 |        0 |        0
1509.45/1510.02	c 1510s |      26 | 13212801 | 10117752 |     2879   8234 |        0 |        0
1511.45/1512.03	c 1512s |      26 | 13228119 | 10129552 |     2879   8242 |        0 |        0
1513.45/1514.04	c 1514s |      26 | 13244324 | 10141752 |     2879   8250 |        0 |        0
1515.45/1516.05	c 1516s |      26 | 13259209 | 10153452 |     2879   8257 |        0 |        0
1517.46/1518.05	c 1518s |      26 | 13272514 | 10164252 |     2879   8264 |        0 |        0
1519.46/1520.06	c 1520s |      26 | 13286969 | 10175452 |     2879   8272 |        0 |        0
1521.46/1522.06	c 1522s |      26 | 13302141 | 10186752 |     2879   8279 |        0 |        0
1523.46/1524.07	c 1524s |      26 | 13316594 | 10197652 |     2879   8286 |        0 |        0
1525.46/1526.08	c 1526s |      26 | 13330603 | 10208752 |     2879   8293 |        0 |        0
1527.46/1528.09	c 1528s |      26 | 13346680 | 10220852 |     2879   8301 |        0 |        0
1529.46/1530.09	c 1530s |      26 | 13362191 | 10232652 |     2879   8309 |        0 |        0
1531.56/1532.10	c 1532s |      26 | 13374515 | 10242352 |     2879   8315 |        0 |        0
1533.55/1534.10	c 1534s |      26 | 13388572 | 10253252 |     2879   8323 |        0 |        0
1535.55/1536.12	c 1536s |      26 | 13403084 | 10264052 |     2879   8330 |        0 |        0
1537.55/1538.13	c 1538s |      26 | 13416001 | 10274052 |     2879   8336 |        0 |        0
1539.56/1540.13	c 1540s |      26 | 13428826 | 10284152 |     2879   8343 |        0 |        0
1541.55/1542.15	c 1542s |      26 | 13441834 | 10294252 |     2879   8350 |        0 |        0
1543.55/1544.17	c 1544s |      26 | 13453717 | 10303852 |     2879   8356 |        0 |        0
1545.55/1546.18	c 1546s |      26 | 13465511 | 10313352 |     2879   8362 |        0 |        0
1547.55/1548.19	c 1548s |      26 | 13479264 | 10324052 |     2879   8369 |        0 |        0
1549.65/1550.20	c 1550s |      26 | 13494732 | 10335452 |     2879   8377 |        0 |        0
1551.66/1552.23	c 1552s |      26 | 13509001 | 10346052 |     2879   8384 |        0 |        0
1553.65/1554.24	c 1554s |      26 | 13523200 | 10357152 |     2879   8391 |        0 |        0
1555.65/1556.26	c 1556s |      26 | 13535523 | 10366752 |     2879   8397 |        0 |        0
1557.65/1558.26	c 1558s |      26 | 13548467 | 10376852 |     2879   8404 |        0 |        0
1559.64/1560.28	c 1560s |      26 | 13562122 | 10387452 |     2879   8411 |        0 |        0
1561.64/1562.28	c 1562s |      26 | 13575275 | 10397952 |     2879   8418 |        0 |        0
1563.65/1564.29	c 1564s |      26 | 13588684 | 10408052 |     2879   8424 |        0 |        0
1565.74/1566.30	c 1566s |      26 | 13602351 | 10418552 |     2879   8431 |        0 |        0
1567.74/1568.31	c 1568s |      26 | 13615854 | 10428952 |     2879   8438 |        0 |        0
1569.74/1570.33	c 1570s |      26 | 13629128 | 10439152 |     2879   8445 |        0 |        0
1571.74/1572.33	c 1572s |      26 | 13642813 | 10449652 |     2879   8452 |        0 |        0
1573.74/1574.34	c 1574s |      26 | 13655503 | 10459852 |     2879   8458 |        0 |        0
1575.75/1576.34	c 1576s |      26 | 13668527 | 10470052 |     2879   8465 |        0 |        0
1577.74/1578.35	c 1578s |      26 | 13682355 | 10480552 |     2879   8472 |        0 |        0
1579.74/1580.36	c 1580s |      26 | 13695269 | 10490852 |     2879   8479 |        0 |        0
1581.74/1582.37	c 1582s |      26 | 13709529 | 10501552 |     2879   8486 |        0 |        0
1583.74/1584.38	c 1584s |      26 | 13722617 | 10511852 |     2879   8492 |        0 |        0
1585.75/1586.39	c 1586s |      26 | 13737091 | 10522452 |     2879   8499 |        0 |        0
1587.84/1588.41	c 1588s |      26 | 13750910 | 10532952 |     2879   8506 |        0 |        0
1589.85/1590.42	c 1590s |      26 | 13764748 | 10544152 |     2879   8513 |        0 |        0
1591.85/1592.42	c 1592s |      26 | 13780052 | 10556052 |     2879   8521 |        0 |        0
1593.85/1594.45	c 1594s |      26 | 13794566 | 10567652 |     2879   8529 |        0 |        0
1595.85/1596.47	c 1596s |      26 | 13810246 | 10579852 |     2879   8536 |        0 |        0
1597.85/1598.47	c 1598s |      26 | 13825478 | 10591452 |     2879   8544 |        0 |        0
1599.84/1600.48	c 1600s |      26 | 13839594 | 10602352 |     2879   8551 |        0 |        0
1601.84/1602.48	c 1602s |      26 | 13854732 | 10613952 |     2879   8558 |        0 |        0
1603.84/1604.49	c 1604s |      26 | 13869955 | 10625752 |     2879   8566 |        0 |        0
1605.84/1606.49	c 1606s |      26 | 13885100 | 10637652 |     2879   8574 |        0 |        0
1607.94/1608.50	c 1608s |      26 | 13901210 | 10649852 |     2879   8582 |        0 |        0
1609.95/1610.51	c 1610s |      26 | 13916665 | 10661752 |     2879   8589 |        0 |        0
1611.94/1612.53	c 1612s |      26 | 13932409 | 10673852 |     2879   8597 |        0 |        0
1613.94/1614.53	c 1614s |      26 | 13948970 | 10686252 |     2879   8605 |        0 |        0
1615.94/1616.54	c 1616s |      26 | 13964856 | 10698452 |     2879   8613 |        0 |        0
1617.94/1618.54	c 1618s |      26 | 13981244 | 10710952 |     2879   8621 |        0 |        0
1619.94/1620.55	c 1620s |      26 | 13996780 | 10723252 |     2879   8629 |        0 |        0
1621.95/1622.56	c 1622s |      26 | 14012490 | 10735552 |     2879   8637 |        0 |        0
1623.94/1624.57	c 1624s |      26 | 14028622 | 10747952 |     2879   8645 |        0 |        0
1625.94/1626.58	c 1626s |      26 | 14043802 | 10759552 |     2879   8652 |        0 |        0
1627.94/1628.59	c 1628s |      26 | 14058959 | 10771352 |     2879   8660 |        0 |        0
1630.04/1630.60	c 1630s |      26 | 14073132 | 10782652 |     2879   8667 |        0 |        0
1632.04/1632.61	c 1632s |      26 | 14087209 | 10793752 |     2879   8675 |        0 |        0
1634.04/1634.63	c 1634s |      26 | 14103156 | 10805652 |     2879   8682 |        0 |        0
1636.04/1636.63	c 1636s |      26 | 14118748 | 10817852 |     2879   8690 |        0 |        0
1638.04/1638.63	c 1638s |      26 | 14134091 | 10829852 |     2879   8698 |        0 |        0
1640.04/1640.64	c 1640s |      26 | 14148850 | 10841552 |     2879   8706 |        0 |        0
1642.04/1642.65	c 1642s |      26 | 14163715 | 10853152 |     2879   8713 |        0 |        0
1644.04/1644.67	c 1644s |      26 | 14177548 | 10864152 |     2879   8720 |        0 |        0
1646.03/1646.67	c 1646s |      26 | 14192002 | 10875452 |     2879   8728 |        0 |        0
1648.03/1648.67	c 1648s |      26 | 14206810 | 10887052 |     2879   8735 |        0 |        0
1650.03/1650.69	c 1650s |      26 | 14222150 | 10898552 |     2879   8743 |        0 |        0
1652.13/1652.70	c 1652s |      26 | 14236084 | 10909452 |     2879   8750 |        0 |        0
1654.13/1654.71	c 1654s |      26 | 14251104 | 10921152 |     2879   8757 |        0 |        0
1656.14/1656.72	c 1656s |      26 | 14266157 | 10932752 |     2879   8765 |        0 |        0
1658.13/1658.72	c 1658s |      26 | 14280714 | 10944152 |     2879   8772 |        0 |        0
1660.13/1660.73	c 1660s |      26 | 14295531 | 10955852 |     2879   8780 |        0 |        0
1662.13/1662.74	c 1662s |      26 | 14310158 | 10967352 |     2879   8787 |        0 |        0
1664.13/1664.75	c 1664s |      26 | 14325485 | 10979352 |     2879   8795 |        0 |        0
1666.13/1666.76	c 1666s |      26 | 14341657 | 10991452 |     2879   8803 |        0 |        0
1668.13/1668.76	c 1668s |      26 | 14356279 | 11002852 |     2879   8810 |        0 |        0
1670.13/1670.77	c 1670s |      26 | 14372442 | 11014852 |     2879   8818 |        0 |        0
1672.13/1672.78	c 1672s |      26 | 14388795 | 11027152 |     2879   8826 |        0 |        0
1674.23/1674.80	c 1674s |      26 | 14403830 | 11038752 |     2879   8834 |        0 |        0
1676.23/1676.81	c 1676s |      26 | 14418405 | 11050252 |     2879   8841 |        0 |        0
1678.22/1678.81	c 1678s |      26 | 14432262 | 11061152 |     2879   8848 |        0 |        0
1680.23/1680.81	c 1680s |      26 | 14445988 | 11072152 |     2879   8855 |        0 |        0
1682.22/1682.81	c 1682s |      26 | 14459692 | 11082852 |     2879   8862 |        0 |        0
1684.22/1684.83	c 1684s |      26 | 14474644 | 11094252 |     2879   8870 |        0 |        0
1686.22/1686.84	c 1686s |      26 | 14490192 | 11106252 |     2879   8877 |        0 |        0
1688.22/1688.85	c 1688s |      26 | 14505041 | 11117652 |     2879   8885 |        0 |        0
1690.23/1690.85	c 1690s |      26 | 14518622 | 11128352 |     2879   8892 |        0 |        0
1692.22/1692.87	c 1692s |      26 | 14531992 | 11138652 |     2879   8898 |        0 |        0
1694.22/1694.88	c 1694s |      26 | 14545385 | 11149252 |     2879   8905 |        0 |        0
1696.23/1696.89	c 1696s |      26 | 14560344 | 11160352 |     2879   8913 |        0 |        0
1698.23/1698.89	c 1698s |      26 | 14575212 | 11171752 |     2879   8920 |        0 |        0
1700.33/1700.91	c 1700s |      26 | 14590100 | 11183152 |     2879   8928 |        0 |        0
1702.34/1702.91	c 1702s |      26 | 14605476 | 11194752 |     2879   8935 |        0 |        0
1704.33/1704.92	c 1704s |      26 | 14618789 | 11205152 |     2879   8942 |        0 |        0
1706.32/1706.94	c 1706s |      26 | 14633004 | 11215752 |     2879   8949 |        0 |        0
1708.32/1708.94	c 1708s |      26 | 14646993 | 11226452 |     2879   8956 |        0 |        0
1710.32/1710.94	c 1710s |      26 | 14660510 | 11236952 |     2879   8963 |        0 |        0
1712.32/1712.95	c 1712s |      26 | 14674576 | 11247852 |     2879   8970 |        0 |        0
1714.33/1714.96	c 1714s |      26 | 14687656 | 11258052 |     2879   8977 |        0 |        0
1716.32/1716.97	c 1716s |      26 | 14700786 | 11268052 |     2879   8983 |        0 |        0
1718.32/1718.98	c 1718s |      26 | 14715595 | 11279252 |     2879   8990 |        0 |        0
1720.42/1721.00	c 1720s |      26 | 14731298 | 11291352 |     2879   8998 |        0 |        0
1722.42/1723.03	c 1723s |      26 | 14745672 | 11302752 |     2879   9006 |        0 |        0
1724.42/1725.03	c 1725s |      26 | 14759424 | 11313752 |     2879   9013 |        0 |        0
1726.43/1727.06	c 1727s |      26 | 14773339 | 11324852 |     3167   9020 |        0 |        0
1728.42/1729.08	c 1729s |      26 | 14787063 | 11335852 |     3167   9026 |        0 |        0
1730.42/1731.08	c 1731s |      26 | 14802447 | 11347752 |     3167   9033 |        0 |        0
1732.42/1733.09	c 1733s |      26 | 14817084 | 11358952 |     3167   9040 |        0 |        0
1734.42/1735.09	c 1735s |      26 | 14832117 | 11370652 |     3167   9047 |        0 |        0
1736.52/1737.11	c 1737s |      26 | 14845698 | 11381252 |     3167   9053 |        0 |        0
1738.53/1739.12	c 1739s |      26 | 14860305 | 11392652 |     3167   9060 |        0 |        0
1739.22/1739.83	c 1739s |      27 | 14865820 | 11396733 |     3167   9063 |        0 |        0
1741.22/1741.83	c 1741s |      27 | 14882886 | 11409633 |     3167   9071 |        0 |        0
1743.22/1743.84	c 1743s |      27 | 14899384 | 11422333 |     3167   9079 |        0 |        0
1745.23/1745.84	c 1745s |      27 | 14916009 | 11435033 |     3167   9086 |        0 |        0
1747.22/1747.86	c 1747s |      27 | 14932927 | 11447933 |     3167   9095 |        0 |        0
1749.22/1749.89	c 1749s |      27 | 14949776 | 11460733 |     3167   9102 |        0 |        0
1751.32/1751.90	c 1751s |      27 | 14964094 | 11471733 |     3167   9109 |        0 |        0
1753.32/1753.91	c 1753s |      27 | 14978989 | 11483333 |     3167   9116 |        0 |        0
1755.32/1755.93	c 1755s |      27 | 14992249 | 11494133 |     3167   9122 |        0 |        0
1757.33/1757.94	c 1757s |      27 | 15007350 | 11505533 |     3167   9129 |        0 |        0
1759.32/1759.94	c 1759s |      27 | 15021402 | 11516433 |     3167   9135 |        0 |        0
1761.32/1761.95	c 1761s |      27 | 15035842 | 11527833 |     3167   9142 |        0 |        0
1763.32/1763.97	c 1763s |      27 | 15051532 | 11539833 |     3167   9149 |        0 |        0
1765.32/1765.97	c 1765s |      27 | 15065842 | 11550933 |     3167   9156 |        0 |        0
1767.31/1767.99	c 1767s |      27 | 15080745 | 11562333 |     3167   9162 |        0 |        0
1769.32/1770.00	c 1769s |      27 | 15097386 | 11574633 |     3167   9170 |        0 |        0
1771.41/1772.01	c 1771s |      27 | 15112956 | 11587033 |     3167   9177 |        0 |        0
1773.41/1774.02	c 1774s |      27 | 15125923 | 11597433 |     3167   9183 |        0 |        0
1775.41/1776.02	c 1776s |      27 | 15137970 | 11607533 |     3167   9189 |        0 |        0
1777.41/1778.03	c 1778s |      27 | 15151803 | 11618133 |     3167   9195 |        0 |        0
1779.41/1780.04	c 1780s |      27 | 15167682 | 11630433 |     3167   9203 |        0 |        0
1781.42/1782.05	c 1782s |      27 | 15182900 | 11642033 |     3167   9210 |        0 |        0
1783.41/1784.06	c 1784s |      27 | 15197500 | 11653233 |     3167   9216 |        0 |        0
1785.41/1786.08	c 1786s |      27 | 15212049 | 11664733 |     3167   9223 |        0 |        0
1787.42/1788.08	c 1788s |      27 | 15225975 | 11675333 |     3167   9229 |        0 |        0
1789.42/1790.09	c 1790s |      27 | 15240940 | 11686633 |     3167   9236 |        0 |        0
1791.52/1792.10	c 1792s |      27 | 15253549 | 11696833 |     3167   9242 |        0 |        0
1793.52/1794.10	c 1794s |      27 | 15267169 | 11707233 |     3167   9248 |        0 |        0
1795.51/1796.12	c 1796s |      27 | 15280693 | 11717733 |     3167   9254 |        0 |        0
1797.51/1798.13	c 1798s |      27 | 15294026 | 11728133 |     3167   9261 |        0 |        0
1799.51/1800.14	c 1800s |      27 | 15306892 | 11738533 |     3167   9267 |        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-4122458-1467316680/watcher-4122458-1467316680 -o /tmp/evaluation-result-4122458-1467316680/solver-4122458-1467316680 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16108 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122458-1467316680.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.23 2.18 3/179 18087
/proc/meminfo: memFree=28004260/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 2644 0 0 0 0 0 0 0 20 0 4 0 12628820 726069248 3005 33554432000 4194304 16246674 140735480555488 140735480554912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 178031 3013 441 2943 0 174925 0
[pid=18087/tid=18088] ppid=18084 vsize=727484 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 744943616 3074 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=731580 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 749137920 3091 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=735676 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12628820 753332224 3108 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.19 2.23 2.18 3/179 18087
/proc/meminfo: memFree=28004260/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 25069 0 0 0 6 3 0 0 20 0 4 0 12628820 1247350784 25418 33554432000 4194304 16246674 140735480555488 140735480554912 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 304529 25429 707 2943 0 301423 0
[pid=18087/tid=18088] ppid=18084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1247350784 25439 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1247350784 25448 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12628820 1247350784 25454 33554432000 4194304 16246674 140735480555488 139791345634480 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.200541 s]
/proc/loadavg: 2.19 2.23 2.18 3/179 18087
/proc/meminfo: memFree=28004260/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 47809 0 0 0 13 6 0 0 20 0 4 0 12628820 1247350784 48158 33554432000 4194304 16246674 140735480555488 140735480554912 12478189 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 304529 48170 707 2943 0 301423 0
[pid=18087/tid=18088] ppid=18084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1247350784 48175 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1247350784 48184 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12628820 1247350784 48192 33554432000 4194304 16246674 140735480555488 139791345634480 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.300487 s]
/proc/loadavg: 2.19 2.23 2.18 3/179 18087
/proc/meminfo: memFree=28004260/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 70225 0 0 0 20 9 0 0 20 0 4 0 12628820 1247350784 70574 33554432000 4194304 16246674 140735480555488 140735480554912 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 304529 70584 707 2943 0 301423 0
[pid=18087/tid=18088] ppid=18084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1247350784 70591 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1247350784 70598 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12628820 1247350784 70605 33554432000 4194304 16246674 140735480555488 139791345634480 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.700415 s]
/proc/loadavg: 2.19 2.23 2.18 3/179 18087
/proc/meminfo: memFree=28004260/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1218116 CPUtime=0.7 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 163059 0 0 0 48 22 0 0 20 0 4 0 12628820 1247350784 163408 33554432000 4194304 16246674 140735480555488 140735480537408 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 304529 163419 708 2943 0 301423 0
[pid=18087/tid=18088] ppid=18084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1247350784 163427 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1247350784 163436 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12628820 1247350784 163444 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 18091
/proc/meminfo: memFree=27021316/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 245651 0 0 0 116 33 0 0 20 0 4 0 12628820 1248399360 245980 33554432000 4194304 16246674 140735480555488 140735480537408 6021376 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 304785 245980 784 2943 0 301679 0
[pid=18087/tid=18088] ppid=18084 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1248399360 245980 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1248399360 245980 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1248399360 245980 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10043 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 18091
/proc/meminfo: memFree=26935004/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 267440 0 0 0 273 36 0 0 20 0 4 0 12628820 1337528320 267769 33554432000 4194304 16246674 140735480555488 140735480537408 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 326545 267769 784 2943 0 323439 0
[pid=18087/tid=18088] ppid=18084 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1337528320 267769 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1337528320 267769 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1337528320 267769 33554432000 4194304 16246674 140735480555488 139791345634480 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.30042 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 18091
/proc/meminfo: memFree=26933516/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 267607 0 0 0 593 36 0 0 20 0 4 0 12628820 1338576896 267936 33554432000 4194304 16246674 140735480555488 140735480538488 5523188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 326801 267936 784 2943 0 323695 0
[pid=18087/tid=18088] ppid=18084 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1338576896 267936 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1338576896 267936 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1338576896 267936 33554432000 4194304 16246674 140735480555488 139791345634480 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: 2.22 2.23 2.19 3/183 18091
/proc/meminfo: memFree=26932292/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 267923 0 0 0 1233 36 0 0 20 0 4 0 12628820 1339625472 268252 33554432000 4194304 16246674 140735480555488 140735480537408 5723632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 327057 268252 784 2943 0 323951 0
[pid=18087/tid=18088] ppid=18084 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1339625472 268252 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1339625472 268252 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1339625472 268252 33554432000 4194304 16246674 140735480555488 139791345634480 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) 1308228

[startup+25.5004 s]
/proc/loadavg: 2.26 2.24 2.19 3/183 18091
/proc/meminfo: memFree=26932176/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 268079 0 0 0 2512 36 0 0 20 0 4 0 12628820 1339625472 268408 33554432000 4194304 16246674 140735480555488 140735480538488 13191585 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 327057 268408 784 2943 0 323951 0
[pid=18087/tid=18088] ppid=18084 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1339625472 268408 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1339625472 268408 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1339625472 268408 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.17 2.22 2.18 3/183 18091
/proc/meminfo: memFree=26929792/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1311300 CPUtime=51.09 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 268728 0 0 0 5072 37 0 0 20 0 4 0 12628820 1342771200 269057 33554432000 4194304 16246674 140735480555488 140735480537408 5823182 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 327825 269057 784 2943 0 324719 0
[pid=18087/tid=18088] ppid=18084 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1342771200 269057 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1342771200 269057 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1342771200 269057 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1311300

[startup+102.301 s]
/proc/loadavg: 2.27 2.24 2.19 3/183 18092
/proc/meminfo: memFree=26928576/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1311300 CPUtime=102.28 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 268847 0 0 0 10190 38 0 0 20 0 4 0 12628820 1342771200 269176 33554432000 4194304 16246674 140735480555488 140735480537408 5677810 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 327825 269176 784 2943 0 324719 0
[pid=18087/tid=18088] ppid=18084 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1342771200 269176 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1342771200 269176 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1342771200 269176 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1311300


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

/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1345916928 269951 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 18145
/proc/meminfo: memFree=26923780/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1314372 CPUtime=1301.79 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 270087 0 0 0 130119 60 0 0 20 0 4 0 12628820 1345916928 269951 33554432000 4194304 16246674 140735480555488 140735480537408 5676626 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 328593 269951 788 2943 0 325487 0
[pid=18087/tid=18088] ppid=18084 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1345916928 269951 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1345916928 269951 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1345916928 269951 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/184 18149
/proc/meminfo: memFree=26923692/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1314372 CPUtime=1361.78 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 270087 0 0 0 136117 61 0 0 20 0 4 0 12628820 1345916928 269951 33554432000 4194304 16246674 140735480555488 140735480537408 5823611 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 328593 269951 788 2943 0 325487 0
[pid=18087/tid=18088] ppid=18084 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1345916928 269951 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1345916928 269951 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1345916928 269951 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/183 18150
/proc/meminfo: memFree=26922560/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1315396 CPUtime=1421.77 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 270343 0 0 0 142116 61 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 140735480537408 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 328849 270207 788 2943 0 325743 0
[pid=18087/tid=18088] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 1.69 2.06 2.13 3/173 18183
/proc/meminfo: memFree=28014824/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1315396 CPUtime=1481.75 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 270343 0 0 0 148113 62 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 140735480537408 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 328849 270207 788 2943 0 325743 0
[pid=18087/tid=18088] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 1.43 1.92 2.08 2/173 18184
/proc/meminfo: memFree=28015332/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1315396 CPUtime=1541.76 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 270343 0 0 0 154112 64 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 140735480537408 5672197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 328849 270207 788 2943 0 325743 0
[pid=18087/tid=18088] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 1.37 1.81 2.03 2/173 18185
/proc/meminfo: memFree=28015216/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1315396 CPUtime=1601.74 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 270343 0 0 0 160109 65 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 140735480538488 6022670 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 328849 270207 788 2943 0 325743 0
[pid=18087/tid=18088] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 1.20 1.68 1.97 2/173 18186
/proc/meminfo: memFree=28015352/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1315396 CPUtime=1661.73 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 270343 0 0 0 166108 65 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 140735480537408 5822938 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 328849 270207 788 2943 0 325743 0
[pid=18087/tid=18088] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 1.32 1.63 1.93 2/173 18187
/proc/meminfo: memFree=28015488/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1315396 CPUtime=1721.72 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 270343 0 0 0 172106 66 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 140735480537408 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 328849 270207 788 2943 0 325743 0
[pid=18087/tid=18088] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 1.36 1.57 1.89 2/172 18188
/proc/meminfo: memFree=28015256/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1315396 CPUtime=1781.71 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 270343 0 0 0 178104 67 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 140735480537408 5676095 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 328849 270207 788 2943 0 325743 0
[pid=18087/tid=18088] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.26 1.53 1.87 2/173 18189
/proc/meminfo: memFree=28015252/32872528 swapFree=1254912/1391860
[pid=18087] ppid=18084 vsize=1315396 CPUtime=1800.01 cores=1,3,5,7
/proc/18087/stat : 18087 (toysat) R 18084 18087 16091 0 -1 4202496 270343 0 0 0 179933 68 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 140735480537408 5708059 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18087/statm: 328849 270207 788 2943 0 325743 0
[pid=18087/tid=18088] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18088/stat : 18088 (toysat) S 18084 18087 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791366597872 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=18087/tid=18089] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18089/stat : 18089 (toysat) S 18084 18087 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791356108016 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=18087/tid=18090] ppid=18084 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/18087/task/18090/stat : 18090 (toysat) S 18084 18087 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12628820 1346965504 270207 33554432000 4194304 16246674 140735480555488 139791345634480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 18087 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.02
CPU user time (s): 1799.34
CPU system time (s): 0.681896
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.681896
maximum resident set size= 1080828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270343
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= 482
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6193 second user time and 6.90395 second system time

The end

Begin job on node119 at 2016-06-30 21:58:00
IDJOB=4122458
IDBENCH=111128
IDSOLVER=2542
FILE ID=node119/4122458-1467316680
RUNJOBID= node119-1467308805-16108
PBS_JOBID= 20005280
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= e2a6f1fd0f5ecbf17a39bb794a46d46c
RANDOM SEED=251229422

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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:        28004780 kB
Buffers:          205268 kB
Cached:          1432860 kB
SwapCached:            0 kB
Active:          1348016 kB
Inactive:        1378420 kB
Active(anon):    1084628 kB
Inactive(anon):     5936 kB
Active(file):     263388 kB
Inactive(file):  1372484 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       2553384 kB
Mapped:            17128 kB
Shmem:               204 kB
Slab:             612052 kB
SReclaimable:      56256 kB
SUnreclaim:       555796 kB
KernelStack:        1520 kB
PageTables:         8896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2613536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    405504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node119 at 2016-06-30 22:28:01