0.00/0.00	c 2016-06-30T19:47:58+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-4120050-1467308878.opb"]
0.00/0.01	c use --random-gen="1626260817 2594134723 2236283774 3856521929 1334846603 1818444477 340142399 3558427935 888775383 2512618278 3023511289 311333755 1343909674 3585217044 2960800357 752177680 124620148 3215808529 3755675730 3680641152 2552326475 4190919629 1976323729 1868040283 258079760 4144905468 271285123 1163840599 3371251062 3033686802 3018305057 2179830419 397877244 3013069862 4202987178 3451384401 4130633140 10222143 3758023543 771249535 630693154 3454125966 1877461016 2194001545 993461228 3492170875 1985916414 3996141437 2629356678 2884804941 3202885044 1949114743 1615115343 690700463 3009810833 4192031783 156710936 3874103996 823106341 3161093481 2868949901 1247606894 3654002454 2830899424 2622098655 3433063354 3421423190 2648101337 2999249695 2522247509 3252148150 494490111 870091577 2109198286 1915877006 1692093712 4162723304 2439932103 1624693828 4027152101 2049576691 2147513788 363108390 3726129987 1693106417 260236954 5797436 2948669819 398318313 3773297664 51677577 4207674977 3367214160 1968414701 3361626304 3780662688 1437985283 1529097004 3995175043 1367308721 3013214406 1910194203 2168052010 405500836 1289513469 485063813 1046271126 49678994 3969752659 3684494707 2530828470 1847475842 2598409272 3098189798 1836164508 1389372088 2144435544 3074262237 816942562 2093959954 2174152063 673416302 1560296005 677134793 2499976801 1781071569 1022932103 1573190250 1456494781 2692395225 3808127410 3969907508 844818865 1419041578 1361871048 849531885 3066378239 604508101 1681156070 3522141785 4254174572 3306592084 2487873274 4070070068 4166370871 621539113 2141011668 2157507052 4108421428 1279470356 3007515847 1902251144 259058712 2070006368 2447089678 3057651578 3600084100 709476901 32733228 2811616711 3103529179 2200948763 4271935311 2505989050 1930711377 3392570605 2028510295 4153800503 2578242526 882351230 418751224 2352237911 2705765931 3368664683 733235353 89717800 3262416018 844335144 1576247633 2896838172 994277351 492754117 200466277 4106837339 2521324334 3082872173 2563342886 1504061903 2432613785 1844446209 3999643405 701654888 541656051 2274382488 3420752710 1483025237 983504618 3937132613 3777611558 3629922644 4011871299 1351090144 3116263897 3996001127 3038591754 1447679690 2378169288 448973493 3758773316 331234769 3450458459 193758239 2745446745 3368287023 1538108026 2595348199 3946473548 882044875 1119282924 2917548882 714985291 555270145 1918883166 2448640282 2720401037 1111996743 3374099750 2522544733 992674854 2438671348 1523451984 1346453180 948141743 2832153411 452177082 153232468 2173521037 4292486927 2835528898 1017656507 1717134187 139959801 3990234828 3175096244 495664577 3770161286 3316540926 1524955413 2521784403 2910016797 4107703976 3274499042 3123370162 3159294597 845536899 911501103 255 362436" option to reproduce the execution
0.00/0.02	c #vars 265
0.00/0.02	c #constraints 264
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 |      176      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      167 |      100 |      176      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      379 |      250 |      194      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |     1050 |      475 |      214      3 |        0 |        0
0.09/0.12	c  0.1s |       4 |     2136 |      813 |      236      4 |        0 |        0
0.09/0.18	c  0.2s |       5 |     2930 |     1320 |      260      6 |        0 |        0
0.19/0.26	c  0.2s |       6 |     4075 |     2081 |      315     10 |        0 |        0
0.39/0.42	c  0.4s |       7 |     6082 |     3223 |      347     15 |        0 |        0
0.59/0.68	c  0.7s |       8 |     9205 |     4936 |      382     23 |        0 |        0
0.98/1.10	c  1.1s |       9 |    12959 |     7506 |      421     33 |        0 |        0
1.38/1.42	c  1.4s |      10 |    18989 |    11361 |      464     47 |        0 |        0
1.89/1.91	c  1.9s |      11 |    26931 |    17144 |      511     66 |        0 |        0
2.69/2.74	c  2.7s |      12 |    38194 |    25819 |      563     92 |        0 |        0
3.79/3.88	c  3.9s |      13 |    55158 |    38832 |      620    129 |        0 |        0
5.68/5.77	c  5.7s |      14 |    80944 |    58352 |      682    179 |        0 |        0
7.69/7.78	c  7.8s |      14 |   108724 |    80052 |      682    234 |        0 |        0
8.38/8.49	c  8.5s |      15 |   118605 |    87632 |      751    252 |        0 |        0
10.38/10.49	c 10.5s |      15 |   142964 |   106932 |      751    294 |        0 |        0
12.48/12.50	c 12.5s |      15 |   169412 |   127032 |      751    338 |        0 |        0
12.88/12.96	c 12.9s |      16 |   175408 |   131552 |      827    348 |        0 |        0
14.88/14.96	c 14.9s |      16 |   201957 |   151852 |      827    390 |        0 |        0
16.88/16.97	c 16.9s |      16 |   228437 |   171552 |      827    432 |        0 |        0
18.89/18.97	c 19.0s |      16 |   256877 |   192752 |      827    477 |        0 |        0
19.39/19.43	c 19.4s |      17 |   263205 |   197432 |      910    487 |        0 |        0
21.38/21.44	c 21.4s |      17 |   286934 |   215532 |      910    521 |        0 |        0
23.38/23.44	c 23.4s |      17 |   310209 |   233732 |      910    555 |        0 |        0
25.39/25.45	c 25.4s |      17 |   335382 |   253232 |      910    592 |        0 |        0
27.38/27.46	c 27.4s |      17 |   360618 |   272232 |      910    627 |        0 |        0
29.38/29.47	c 29.4s |      17 |   387748 |   292332 |      910    665 |        0 |        0
29.79/29.87	c 29.8s |      18 |   393108 |   296252 |     1002    672 |        0 |        0
31.78/31.87	c 31.9s |      18 |   418615 |   315952 |     1002    706 |        0 |        0
33.78/33.88	c 33.9s |      18 |   443491 |   335152 |     1002    739 |        0 |        0
35.78/35.88	c 35.9s |      18 |   467468 |   353452 |     1002    771 |        0 |        0
37.78/37.89	c 37.9s |      18 |   494117 |   373252 |     1002    806 |        0 |        0
39.88/39.90	c 39.9s |      18 |   519544 |   392552 |     1002    840 |        0 |        0
41.78/41.90	c 41.9s |      18 |   545453 |   412352 |     1002    875 |        0 |        0
43.88/43.90	c 43.9s |      18 |   570560 |   430852 |     1002    908 |        0 |        0
45.28/45.33	c 45.3s |      19 |   589256 |   444482 |     1103    932 |        0 |        0
47.28/47.34	c 47.3s |      19 |   613972 |   463282 |     1103    961 |        0 |        0
49.27/49.34	c 49.3s |      19 |   639309 |   482182 |     1103    991 |        0 |        0
51.27/51.35	c 51.3s |      19 |   665201 |   501582 |     1103   1022 |        0 |        0
53.27/53.36	c 53.3s |      19 |   692490 |   521782 |     1103   1054 |        0 |        0
55.27/55.36	c 55.3s |      19 |   719358 |   541882 |     1103   1086 |        0 |        0
57.28/57.36	c 57.3s |      19 |   743658 |   560782 |     1103   1116 |        0 |        0
59.27/59.38	c 59.4s |      19 |   767432 |   578582 |     1103   1144 |        0 |        0
61.27/61.38	c 61.4s |      19 |   790840 |   596782 |     1103   1173 |        0 |        0
63.27/63.39	c 63.4s |      19 |   816042 |   616182 |     1103   1205 |        0 |        0
65.37/65.40	c 65.4s |      19 |   839153 |   634082 |     1103   1235 |        0 |        0
67.37/67.41	c 67.4s |      19 |   862657 |   652582 |     1103   1265 |        0 |        0
68.87/68.98	c 69.0s |      20 |   880807 |   666827 |     1214   1287 |        0 |        0
70.87/70.98	c 71.0s |      20 |   904205 |   685127 |     1214   1314 |        0 |        0
72.87/72.98	c 73.0s |      20 |   927779 |   703327 |     1214   1341 |        0 |        0
74.87/74.99	c 75.0s |      20 |   952794 |   722327 |     1214   1369 |        0 |        0
76.87/76.99	c 77.0s |      20 |   975367 |   740427 |     1214   1396 |        0 |        0
78.97/79.00	c 79.0s |      20 |  1000641 |   759327 |     1214   1424 |        0 |        0
80.97/81.00	c 81.0s |      20 |  1025171 |   778127 |     1214   1451 |        0 |        0
82.97/83.01	c 83.0s |      20 |  1048849 |   796527 |     1214   1479 |        0 |        0
84.97/85.01	c 85.0s |      20 |  1072560 |   815127 |     1214   1506 |        0 |        0
86.98/87.02	c 87.0s |      20 |  1095660 |   832927 |     1214   1533 |        0 |        0
88.97/89.03	c 89.0s |      20 |  1118955 |   850927 |     1214   1560 |        0 |        0
90.97/91.03	c 91.0s |      20 |  1141427 |   868527 |     1214   1586 |        0 |        0
92.97/93.04	c 93.0s |      20 |  1164190 |   886427 |     1214   1613 |        0 |        0
94.97/95.05	c 95.0s |      20 |  1188257 |   904527 |     1214   1640 |        0 |        0
96.97/97.06	c 97.0s |      20 |  1209607 |   921227 |     1214   1664 |        0 |        0
98.97/99.06	c 99.0s |      20 |  1229815 |   937727 |     1214   1689 |        0 |        0
100.97/101.07	c  101s |      20 |  1251939 |   955027 |     1214   1715 |        0 |        0
102.97/103.07	c  103s |      20 |  1274251 |   972427 |     1214   1740 |        0 |        0
104.97/105.07	c  105s |      20 |  1297628 |   990327 |     1214   1767 |        0 |        0
106.16/106.24	c  106s |      21 |  1310263 |  1000345 |     1336   1781 |        0 |        0
108.16/108.24	c  108s |      21 |  1333826 |  1017345 |     1336   1805 |        0 |        0
110.16/110.24	c  110s |      21 |  1356834 |  1034545 |     1336   1829 |        0 |        0
112.17/112.25	c  112s |      21 |  1381248 |  1051745 |     1336   1854 |        0 |        0
114.16/114.27	c  114s |      21 |  1405018 |  1068945 |     1336   1878 |        0 |        0
116.16/116.27	c  116s |      21 |  1429092 |  1086445 |     1336   1902 |        0 |        0
118.16/118.28	c  118s |      21 |  1454343 |  1104445 |     1336   1928 |        0 |        0
120.16/120.28	c  120s |      21 |  1481156 |  1123445 |     1336   1955 |        0 |        0
122.17/122.28	c  122s |      21 |  1506760 |  1142045 |     1336   1981 |        0 |        0
124.16/124.29	c  124s |      21 |  1533890 |  1161645 |     1336   2009 |        0 |        0
126.26/126.30	c  126s |      21 |  1559754 |  1180345 |     1336   2035 |        0 |        0
128.26/128.30	c  128s |      21 |  1584169 |  1198545 |     1336   2061 |        0 |        0
130.26/130.31	c  130s |      21 |  1608356 |  1216645 |     1336   2087 |        0 |        0
132.26/132.31	c  132s |      21 |  1632053 |  1234745 |     1336   2113 |        0 |        0
134.26/134.32	c  134s |      21 |  1658111 |  1253445 |     1336   2139 |        0 |        0
136.26/136.32	c  136s |      21 |  1682608 |  1271845 |     1336   2165 |        0 |        0
138.26/138.33	c  138s |      21 |  1706574 |  1289345 |     1336   2190 |        0 |        0
140.26/140.33	c  140s |      21 |  1731801 |  1307545 |     1336   2216 |        0 |        0
142.26/142.34	c  142s |      21 |  1756275 |  1325445 |     1336   2242 |        0 |        0
144.26/144.35	c  144s |      21 |  1780224 |  1343245 |     1336   2268 |        0 |        0
146.27/146.36	c  146s |      21 |  1804400 |  1361045 |     1336   2293 |        0 |        0
148.26/148.36	c  148s |      21 |  1830510 |  1379445 |     1336   2320 |        0 |        0
150.26/150.36	c  150s |      21 |  1852745 |  1396445 |     1336   2344 |        0 |        0
152.26/152.37	c  152s |      21 |  1878096 |  1414745 |     1336   2370 |        0 |        0
154.26/154.37	c  154s |      21 |  1903222 |  1432945 |     1336   2396 |        0 |        0
156.27/156.38	c  156s |      21 |  1928383 |  1451445 |     1336   2423 |        0 |        0
158.26/158.38	c  158s |      21 |  1952772 |  1469445 |     1336   2449 |        0 |        0
160.26/160.38	c  160s |      21 |  1978649 |  1488445 |     1336   2476 |        0 |        0
161.56/161.70	c  161s |      22 |  1994984 |  1500622 |     1470   2492 |        0 |        0
163.66/163.71	c  163s |      22 |  2020317 |  1518522 |     1470   2514 |        0 |        0
165.66/165.71	c  165s |      22 |  2043523 |  1535222 |     1470   2535 |        0 |        0
167.66/167.72	c  167s |      22 |  2067767 |  1551822 |     1470   2556 |        0 |        0
169.66/169.73	c  169s |      22 |  2092551 |  1568122 |     1470   2578 |        0 |        0
171.66/171.74	c  171s |      22 |  2118351 |  1586022 |     1470   2600 |        0 |        0
173.65/173.75	c  173s |      22 |  2143563 |  1602622 |     1470   2622 |        0 |        0
175.65/175.76	c  175s |      22 |  2169462 |  1620022 |     1470   2644 |        0 |        0
177.65/177.77	c  177s |      22 |  2193811 |  1636922 |     1470   2666 |        0 |        0
179.65/179.78	c  179s |      22 |  2217968 |  1653922 |     1470   2688 |        0 |        0
181.65/181.79	c  181s |      22 |  2244530 |  1671522 |     1470   2711 |        0 |        0
183.66/183.79	c  183s |      22 |  2269047 |  1688422 |     1470   2732 |        0 |        0
185.65/185.79	c  185s |      22 |  2294536 |  1706122 |     1470   2755 |        0 |        0
187.75/187.80	c  187s |      22 |  2319568 |  1723522 |     1470   2777 |        0 |        0
189.75/189.80	c  189s |      22 |  2343604 |  1740622 |     1470   2799 |        0 |        0
191.76/191.80	c  191s |      22 |  2366783 |  1757422 |     1470   2821 |        0 |        0
193.76/193.81	c  193s |      22 |  2391712 |  1774622 |     1470   2843 |        0 |        0
195.76/195.82	c  195s |      22 |  2415894 |  1791422 |     1470   2864 |        0 |        0
197.75/197.83	c  197s |      22 |  2443246 |  1809822 |     1470   2888 |        0 |        0
199.75/199.84	c  199s |      22 |  2467026 |  1826822 |     1470   2909 |        0 |        0
201.75/201.84	c  201s |      22 |  2491284 |  1843822 |     1470   2931 |        0 |        0
203.75/203.84	c  203s |      22 |  2515889 |  1860922 |     1470   2952 |        0 |        0
205.76/205.86	c  205s |      22 |  2540717 |  1877822 |     1470   2974 |        0 |        0
207.75/207.87	c  207s |      22 |  2562501 |  1893922 |     1470   2995 |        0 |        0
209.75/209.87	c  209s |      22 |  2586570 |  1911422 |     1470   3017 |        0 |        0
211.75/211.87	c  211s |      22 |  2609954 |  1928022 |     1470   3038 |        0 |        0
213.75/213.88	c  213s |      22 |  2633133 |  1944422 |     1470   3059 |        0 |        0
215.75/215.89	c  215s |      22 |  2657515 |  1961122 |     1470   3080 |        0 |        0
217.75/217.89	c  217s |      22 |  2682108 |  1978222 |     1470   3103 |        0 |        0
219.75/219.89	c  219s |      22 |  2707694 |  1995422 |     1470   3125 |        0 |        0
221.85/221.90	c  221s |      22 |  2733546 |  2012622 |     1470   3147 |        0 |        0
223.85/223.91	c  223s |      22 |  2758300 |  2029722 |     1470   3169 |        0 |        0
225.85/225.91	c  225s |      22 |  2786568 |  2047822 |     1470   3192 |        0 |        0
227.85/227.92	c  227s |      22 |  2812057 |  2065422 |     1470   3215 |        0 |        0
229.85/229.93	c  229s |      22 |  2837231 |  2082922 |     1470   3238 |        0 |        0
231.84/231.94	c  231s |      22 |  2860041 |  2099322 |     1470   3259 |        0 |        0
233.84/233.95	c  233s |      22 |  2883715 |  2116122 |     1470   3280 |        0 |        0
235.84/235.96	c  235s |      22 |  2908814 |  2133522 |     1470   3303 |        0 |        0
237.84/237.97	c  237s |      22 |  2932752 |  2150522 |     1470   3325 |        0 |        0
239.86/239.97	c  239s |      22 |  2957504 |  2168222 |     1470   3347 |        0 |        0
241.85/241.98	c  241s |      22 |  2983530 |  2185222 |     1470   3369 |        0 |        0
243.85/243.99	c  243s |      22 |  3007481 |  2202222 |     1470   3391 |        0 |        0
245.85/245.99	c  245s |      22 |  3032079 |  2219322 |     1470   3413 |        0 |        0
247.84/247.99	c  247s |      22 |  3054263 |  2235122 |     1618   3433 |        0 |        0
249.75/249.86	c  249s |      23 |  3077401 |  2251038 |     1618   3452 |        0 |        0
251.74/251.87	c  251s |      23 |  3097674 |  2267138 |     1618   3470 |        0 |        0
253.74/253.87	c  253s |      23 |  3121808 |  2284338 |     1618   3490 |        0 |        0
255.74/255.88	c  255s |      23 |  3144347 |  2300338 |     1618   3508 |        0 |        0
257.74/257.89	c  257s |      23 |  3168079 |  2317838 |     1618   3528 |        0 |        0
259.84/259.90	c  259s |      23 |  3192067 |  2335138 |     1618   3548 |        0 |        0
261.84/261.90	c  261s |      23 |  3212299 |  2349638 |     1618   3565 |        0 |        0
263.85/263.91	c  263s |      23 |  3232526 |  2364438 |     1618   3582 |        0 |        0
265.85/265.91	c  265s |      23 |  3253456 |  2379238 |     1618   3599 |        0 |        0
267.84/267.92	c  267s |      23 |  3272428 |  2393538 |     1618   3616 |        0 |        0
269.84/269.94	c  269s |      23 |  3295505 |  2409538 |     1618   3635 |        0 |        0
271.84/271.94	c  271s |      23 |  3317476 |  2425438 |     1618   3653 |        0 |        0
273.85/273.94	c  273s |      23 |  3337564 |  2440438 |     1618   3670 |        0 |        0
275.84/275.95	c  275s |      23 |  3356616 |  2455538 |     1618   3688 |        0 |        0
277.84/277.96	c  277s |      23 |  3378631 |  2471038 |     1618   3706 |        0 |        0
279.84/279.97	c  279s |      23 |  3398188 |  2485438 |     1618   3722 |        0 |        0
281.84/281.98	c  281s |      23 |  3420380 |  2500938 |     1618   3740 |        0 |        0
283.85/283.98	c  283s |      23 |  3443043 |  2516638 |     1618   3758 |        0 |        0
285.84/285.99	c  285s |      23 |  3463750 |  2531638 |     1618   3776 |        0 |        0
287.94/288.00	c  287s |      23 |  3485173 |  2546938 |     1618   3793 |        0 |        0
289.94/290.01	c  289s |      23 |  3505327 |  2561638 |     1618   3810 |        0 |        0
291.94/292.01	c  291s |      23 |  3527400 |  2577138 |     1618   3828 |        0 |        0
293.94/294.01	c  293s |      23 |  3549405 |  2593238 |     1618   3847 |        0 |        0
295.94/296.02	c  295s |      23 |  3571910 |  2608538 |     1618   3865 |        0 |        0
297.93/298.02	c  298s |      23 |  3595455 |  2624938 |     1618   3884 |        0 |        0
299.93/300.03	c  300s |      23 |  3618473 |  2641238 |     1618   3903 |        0 |        0
301.93/302.03	c  302s |      23 |  3640522 |  2657238 |     1618   3921 |        0 |        0
303.93/304.04	c  304s |      23 |  3663778 |  2673838 |     1618   3940 |        0 |        0
305.93/306.04	c  306s |      23 |  3687433 |  2690038 |     1618   3959 |        0 |        0
307.94/308.05	c  308s |      23 |  3710692 |  2706338 |     1618   3978 |        0 |        0
309.94/310.06	c  310s |      23 |  3730954 |  2720238 |     1618   3994 |        0 |        0
311.94/312.06	c  312s |      23 |  3755000 |  2737238 |     1618   4014 |        0 |        0
313.94/314.07	c  314s |      23 |  3779252 |  2753838 |     1618   4033 |        0 |        0
315.94/316.07	c  316s |      23 |  3802263 |  2770238 |     1618   4052 |        0 |        0
317.94/318.08	c  318s |      23 |  3826246 |  2787038 |     1618   4072 |        0 |        0
319.93/320.10	c  320s |      23 |  3849769 |  2803938 |     1618   4092 |        0 |        0
322.03/322.10	c  322s |      23 |  3871018 |  2819638 |     1618   4110 |        0 |        0
324.03/324.11	c  324s |      23 |  3891832 |  2835038 |     1618   4127 |        0 |        0
326.03/326.11	c  326s |      23 |  3914588 |  2851238 |     1618   4146 |        0 |        0
328.03/328.13	c  328s |      23 |  3937903 |  2867738 |     1618   4165 |        0 |        0
330.04/330.13	c  330s |      23 |  3959861 |  2884138 |     1618   4184 |        0 |        0
332.03/332.13	c  332s |      23 |  3982086 |  2900138 |     1618   4202 |        0 |        0
334.03/334.13	c  334s |      23 |  4005112 |  2916238 |     1618   4221 |        0 |        0
336.03/336.14	c  336s |      23 |  4027013 |  2931638 |     1618   4239 |        0 |        0
338.03/338.15	c  338s |      23 |  4047073 |  2946238 |     1618   4256 |        0 |        0
340.03/340.16	c  340s |      23 |  4069676 |  2962338 |     1618   4275 |        0 |        0
342.03/342.16	c  342s |      23 |  4092848 |  2978938 |     1618   4294 |        0 |        0
344.03/344.17	c  344s |      23 |  4116022 |  2994938 |     1618   4312 |        0 |        0
346.03/346.18	c  346s |      23 |  4139556 |  3011338 |     1618   4331 |        0 |        0
348.03/348.18	c  348s |      23 |  4163069 |  3028738 |     1618   4351 |        0 |        0
350.03/350.19	c  350s |      23 |  4187601 |  3047238 |     1618   4372 |        0 |        0
352.12/352.20	c  352s |      23 |  4210791 |  3064438 |     1618   4392 |        0 |        0
354.14/354.20	c  354s |      23 |  4234970 |  3082338 |     1618   4412 |        0 |        0
356.13/356.22	c  356s |      23 |  4259099 |  3100138 |     1618   4432 |        0 |        0
358.13/358.23	c  358s |      23 |  4282890 |  3117538 |     1618   4452 |        0 |        0
360.13/360.23	c  360s |      23 |  4307290 |  3135438 |     1618   4473 |        0 |        0
362.13/362.23	c  362s |      23 |  4331075 |  3153138 |     1618   4493 |        0 |        0
364.13/364.23	c  364s |      23 |  4356148 |  3171238 |     1618   4514 |        0 |        0
366.13/366.24	c  366s |      23 |  4380120 |  3188838 |     1618   4534 |        0 |        0
368.13/368.25	c  368s |      23 |  4403380 |  3206238 |     1618   4554 |        0 |        0
370.12/370.25	c  370s |      23 |  4426643 |  3222938 |     1618   4574 |        0 |        0
372.12/372.26	c  372s |      23 |  4449948 |  3240438 |     1618   4594 |        0 |        0
374.12/374.26	c  374s |      23 |  4474273 |  3258338 |     1618   4615 |        0 |        0
376.13/376.27	c  376s |      23 |  4497170 |  3275238 |     1618   4634 |        0 |        0
378.12/378.27	c  378s |      23 |  4519863 |  3292038 |     1618   4654 |        0 |        0
380.12/380.28	c  380s |      23 |  4543995 |  3309438 |     1618   4674 |        0 |        0
382.12/382.28	c  382s |      23 |  4567842 |  3326738 |     1618   4694 |        0 |        0
384.12/384.29	c  384s |      23 |  4590115 |  3343638 |     1618   4713 |        0 |        0
386.13/386.29	c  386s |      23 |  4614859 |  3361238 |     1780   4732 |        0 |        0
388.02/388.16	c  388s |      24 |  4636800 |  3376662 |     1780   4749 |        0 |        0
390.02/390.17	c  390s |      24 |  4655866 |  3391362 |     1780   4764 |        0 |        0
392.02/392.17	c  392s |      24 |  4676337 |  3407062 |     1780   4780 |        0 |        0
394.02/394.18	c  394s |      24 |  4695807 |  3422562 |     1780   4796 |        0 |        0
396.03/396.19	c  396s |      24 |  4715984 |  3438162 |     1780   4812 |        0 |        0
398.02/398.20	c  398s |      24 |  4736786 |  3453462 |     1780   4828 |        0 |        0
400.12/400.20	c  400s |      24 |  4756854 |  3468862 |     1780   4844 |        0 |        0
402.12/402.21	c  402s |      24 |  4776802 |  3484262 |     1780   4860 |        0 |        0
404.12/404.22	c  404s |      24 |  4798579 |  3501062 |     1780   4878 |        0 |        0
406.12/406.22	c  406s |      24 |  4822298 |  3518162 |     1780   4895 |        0 |        0
408.13/408.23	c  408s |      24 |  4843476 |  3534262 |     1780   4912 |        0 |        0
410.12/410.24	c  410s |      24 |  4866269 |  3551062 |     1780   4930 |        0 |        0
412.12/412.24	c  412s |      24 |  4886395 |  3566762 |     1780   4946 |        0 |        0
414.12/414.25	c  414s |      24 |  4907155 |  3582862 |     1780   4963 |        0 |        0
416.12/416.27	c  416s |      24 |  4929510 |  3599662 |     1780   4981 |        0 |        0
418.12/418.27	c  418s |      24 |  4951580 |  3616262 |     1780   4998 |        0 |        0
420.13/420.28	c  420s |      24 |  4972786 |  3632062 |     1780   5014 |        0 |        0
422.12/422.29	c  422s |      24 |  4993205 |  3647362 |     1780   5030 |        0 |        0
424.12/424.29	c  424s |      24 |  5012897 |  3662762 |     1780   5046 |        0 |        0
426.12/426.29	c  426s |      24 |  5032946 |  3678262 |     1780   5063 |        0 |        0
428.22/428.30	c  428s |      24 |  5054200 |  3694462 |     1780   5079 |        0 |        0
430.22/430.31	c  430s |      24 |  5074780 |  3710562 |     1780   5096 |        0 |        0
432.22/432.31	c  432s |      24 |  5095155 |  3726562 |     1780   5113 |        0 |        0
434.22/434.33	c  434s |      24 |  5114031 |  3741562 |     1780   5129 |        0 |        0
436.22/436.34	c  436s |      24 |  5133903 |  3757062 |     1780   5145 |        0 |        0
438.22/438.34	c  438s |      24 |  5153853 |  3772562 |     1780   5161 |        0 |        0
440.22/440.34	c  440s |      24 |  5174204 |  3788062 |     1780   5177 |        0 |        0
442.22/442.35	c  442s |      24 |  5195368 |  3804162 |     1780   5194 |        0 |        0
444.21/444.35	c  444s |      24 |  5214803 |  3819262 |     1780   5210 |        0 |        0
446.21/446.35	c  446s |      24 |  5235416 |  3835062 |     1780   5226 |        0 |        0
448.21/448.36	c  448s |      24 |  5255969 |  3850762 |     1780   5243 |        0 |        0
450.21/450.37	c  450s |      24 |  5276414 |  3866362 |     1780   5259 |        0 |        0
452.21/452.38	c  452s |      24 |  5297664 |  3882362 |     1780   5275 |        0 |        0
454.22/454.38	c  454s |      24 |  5320759 |  3899462 |     1780   5293 |        0 |        0
456.21/456.39	c  456s |      24 |  5341754 |  3915662 |     1780   5310 |        0 |        0
458.21/458.39	c  458s |      24 |  5362633 |  3931362 |     1780   5327 |        0 |        0
460.31/460.41	c  460s |      24 |  5381802 |  3946562 |     1780   5343 |        0 |        0
462.31/462.42	c  462s |      24 |  5401968 |  3962062 |     1780   5359 |        0 |        0
464.31/464.43	c  464s |      24 |  5422071 |  3977662 |     1780   5375 |        0 |        0
466.31/466.43	c  466s |      24 |  5440902 |  3992662 |     1780   5391 |        0 |        0
468.31/468.45	c  468s |      24 |  5460869 |  4007862 |     1780   5407 |        0 |        0
470.31/470.45	c  470s |      24 |  5480055 |  4022862 |     1780   5422 |        0 |        0
472.31/472.46	c  472s |      24 |  5500539 |  4038362 |     1780   5438 |        0 |        0
474.30/474.47	c  474s |      24 |  5519152 |  4052862 |     1780   5454 |        0 |        0
476.31/476.47	c  476s |      24 |  5537813 |  4067462 |     1780   5469 |        0 |        0
478.30/478.47	c  478s |      24 |  5554892 |  4081462 |     1780   5483 |        0 |        0
480.30/480.48	c  480s |      24 |  5576697 |  4097562 |     1780   5500 |        0 |        0
482.30/482.48	c  482s |      24 |  5596729 |  4113262 |     1780   5517 |        0 |        0
484.30/484.49	c  484s |      24 |  5618406 |  4129862 |     1780   5534 |        0 |        0
486.30/486.49	c  486s |      24 |  5640841 |  4147262 |     1780   5552 |        0 |        0
488.31/488.50	c  488s |      24 |  5663686 |  4164662 |     1780   5570 |        0 |        0
490.41/490.51	c  490s |      24 |  5684137 |  4180462 |     1780   5587 |        0 |        0
492.41/492.51	c  492s |      24 |  5701572 |  4194962 |     1780   5602 |        0 |        0
494.41/494.52	c  494s |      24 |  5721242 |  4210862 |     1780   5618 |        0 |        0
496.41/496.52	c  496s |      24 |  5741524 |  4227062 |     1780   5635 |        0 |        0
498.40/498.53	c  498s |      24 |  5764089 |  4244162 |     1780   5653 |        0 |        0
500.41/500.53	c  500s |      24 |  5786335 |  4261262 |     1780   5671 |        0 |        0
502.40/502.53	c  502s |      24 |  5809424 |  4278762 |     1780   5689 |        0 |        0
504.40/504.53	c  504s |      24 |  5830081 |  4295062 |     1780   5706 |        0 |        0
506.40/506.54	c  506s |      24 |  5852341 |  4311762 |     1780   5724 |        0 |        0
508.40/508.55	c  508s |      24 |  5874208 |  4328662 |     1780   5741 |        0 |        0
510.40/510.55	c  510s |      24 |  5895990 |  4344962 |     1780   5758 |        0 |        0
512.40/512.56	c  512s |      24 |  5918830 |  4362062 |     1780   5776 |        0 |        0
514.39/514.56	c  514s |      24 |  5940429 |  4378362 |     1780   5793 |        0 |        0
516.39/516.57	c  516s |      24 |  5961160 |  4394262 |     1780   5810 |        0 |        0
518.39/518.57	c  518s |      24 |  5980010 |  4408762 |     1780   5825 |        0 |        0
520.39/520.58	c  520s |      24 |  5997536 |  4423262 |     1780   5840 |        0 |        0
522.40/522.59	c  522s |      24 |  6018848 |  4439662 |     1780   5858 |        0 |        0
524.50/524.60	c  524s |      24 |  6039704 |  4455762 |     1780   5875 |        0 |        0
526.50/526.60	c  526s |      24 |  6063181 |  4473362 |     1780   5893 |        0 |        0
528.49/528.61	c  528s |      24 |  6086122 |  4490962 |     1780   5912 |        0 |        0
530.49/530.61	c  530s |      24 |  6110233 |  4508762 |     1780   5930 |        0 |        0
532.49/532.62	c  532s |      24 |  6133490 |  4526362 |     1780   5949 |        0 |        0
534.50/534.62	c  534s |      24 |  6155569 |  4542962 |     1780   5966 |        0 |        0
536.49/536.62	c  536s |      24 |  6177876 |  4560062 |     1780   5984 |        0 |        0
538.49/538.63	c  538s |      24 |  6200802 |  4577362 |     1780   6003 |        0 |        0
540.48/540.64	c  540s |      24 |  6221983 |  4593462 |     1780   6019 |        0 |        0
542.48/542.64	c  542s |      24 |  6241035 |  4608262 |     1780   6035 |        0 |        0
544.49/544.65	c  544s |      24 |  6259808 |  4622962 |     1780   6050 |        0 |        0
546.48/546.66	c  546s |      24 |  6279695 |  4638262 |     1780   6066 |        0 |        0
548.48/548.66	c  548s |      24 |  6301657 |  4654662 |     1780   6083 |        0 |        0
550.48/550.67	c  550s |      24 |  6323074 |  4670662 |     1780   6100 |        0 |        0
552.48/552.67	c  552s |      24 |  6344630 |  4687162 |     1780   6118 |        0 |        0
554.48/554.68	c  554s |      24 |  6365095 |  4702762 |     1780   6134 |        0 |        0
556.48/556.68	c  556s |      24 |  6385019 |  4717862 |     1780   6150 |        0 |        0
558.48/558.69	c  558s |      24 |  6405517 |  4733262 |     1780   6166 |        0 |        0
560.58/560.70	c  560s |      24 |  6425245 |  4748562 |     1780   6182 |        0 |        0
562.58/562.71	c  562s |      24 |  6445266 |  4763762 |     1780   6198 |        0 |        0
564.58/564.71	c  564s |      24 |  6465324 |  4779162 |     1780   6214 |        0 |        0
566.57/566.72	c  566s |      24 |  6486294 |  4795262 |     1780   6231 |        0 |        0
568.57/568.72	c  568s |      24 |  6506764 |  4810962 |     1780   6248 |        0 |        0
570.57/570.72	c  570s |      24 |  6526073 |  4826162 |     1780   6263 |        0 |        0
572.57/572.74	c  572s |      24 |  6545637 |  4841562 |     1780   6280 |        0 |        0
574.57/574.75	c  574s |      24 |  6566552 |  4857662 |     1780   6296 |        0 |        0
576.57/576.75	c  576s |      24 |  6587794 |  4873862 |     1780   6313 |        0 |        0
578.57/578.77	c  578s |      24 |  6608311 |  4889362 |     1780   6330 |        0 |        0
580.56/580.77	c  580s |      24 |  6628161 |  4904662 |     1780   6345 |        0 |        0
582.56/582.78	c  582s |      24 |  6647549 |  4919962 |     1780   6361 |        0 |        0
584.56/584.79	c  584s |      24 |  6667218 |  4935262 |     1780   6377 |        0 |        0
586.66/586.80	c  586s |      24 |  6688378 |  4951262 |     1780   6394 |        0 |        0
588.66/588.80	c  588s |      24 |  6708818 |  4966862 |     1780   6410 |        0 |        0
590.67/590.81	c  590s |      24 |  6729891 |  4983162 |     1780   6427 |        0 |        0
592.66/592.82	c  592s |      24 |  6748205 |  4998062 |     1780   6443 |        0 |        0
594.66/594.83	c  594s |      24 |  6768230 |  5013462 |     1780   6459 |        0 |        0
596.66/596.83	c  596s |      24 |  6790140 |  5030062 |     1959   6476 |        0 |        0
598.66/598.84	c  598s |      24 |  6811416 |  5046062 |     1959   6491 |        0 |        0
600.65/600.85	c  600s |      24 |  6834440 |  5063162 |     1959   6508 |        0 |        0
600.95/601.11	c  601s |      25 |  6836949 |  5065098 |     1959   6510 |        0 |        0
602.96/603.12	c  603s |      25 |  6855571 |  5079798 |     1959   6523 |        0 |        0
604.97/605.12	c  605s |      25 |  6874040 |  5094598 |     1959   6537 |        0 |        0
606.96/607.12	c  607s |      25 |  6895022 |  5110698 |     1959   6553 |        0 |        0
608.96/609.13	c  609s |      25 |  6914585 |  5125598 |     1959   6567 |        0 |        0
610.96/611.14	c  611s |      25 |  6933249 |  5140498 |     1959   6581 |        0 |        0
612.96/613.14	c  613s |      25 |  6953337 |  5155398 |     1959   6595 |        0 |        0
614.96/615.15	c  615s |      25 |  6973902 |  5171298 |     1959   6610 |        0 |        0
616.96/617.16	c  617s |      25 |  6994844 |  5186898 |     1959   6625 |        0 |        0
618.95/619.17	c  619s |      25 |  7014165 |  5201698 |     1959   6639 |        0 |        0
620.95/621.18	c  621s |      25 |  7033381 |  5216598 |     1959   6654 |        0 |        0
622.95/623.19	c  623s |      25 |  7052253 |  5231298 |     1959   6668 |        0 |        0
624.95/625.19	c  625s |      25 |  7073627 |  5246798 |     1959   6683 |        0 |        0
627.05/627.20	c  627s |      25 |  7095101 |  5262598 |     1959   6698 |        0 |        0
629.05/629.21	c  629s |      25 |  7116798 |  5278398 |     1959   6713 |        0 |        0
631.04/631.22	c  631s |      25 |  7139084 |  5294398 |     1959   6728 |        0 |        0
633.04/633.23	c  633s |      25 |  7159011 |  5309498 |     1959   6743 |        0 |        0
635.05/635.23	c  635s |      25 |  7178698 |  5324098 |     1959   6757 |        0 |        0
637.05/637.23	c  637s |      25 |  7198342 |  5338698 |     1959   6771 |        0 |        0
639.05/639.24	c  639s |      25 |  7218911 |  5354098 |     1959   6785 |        0 |        0
641.05/641.24	c  641s |      25 |  7238779 |  5368898 |     1959   6800 |        0 |        0
643.05/643.25	c  643s |      25 |  7262044 |  5385498 |     1959   6816 |        0 |        0
645.05/645.26	c  645s |      25 |  7283238 |  5400798 |     1959   6830 |        0 |        0
647.04/647.27	c  647s |      25 |  7303420 |  5416598 |     1959   6845 |        0 |        0
649.04/649.27	c  649s |      25 |  7322825 |  5431698 |     1959   6860 |        0 |        0
651.04/651.29	c  651s |      25 |  7342552 |  5447098 |     1959   6875 |        0 |        0
653.13/653.30	c  653s |      25 |  7363245 |  5462798 |     1959   6890 |        0 |        0
655.13/655.31	c  655s |      25 |  7382867 |  5477598 |     1959   6904 |        0 |        0
657.13/657.31	c  657s |      25 |  7403121 |  5492998 |     1959   6919 |        0 |        0
659.13/659.32	c  659s |      25 |  7423046 |  5507798 |     1959   6933 |        0 |        0
661.13/661.33	c  661s |      25 |  7444045 |  5523398 |     1959   6948 |        0 |        0
663.13/663.33	c  663s |      25 |  7466127 |  5539098 |     1959   6963 |        0 |        0
665.13/665.33	c  665s |      25 |  7486264 |  5554098 |     1959   6977 |        0 |        0
667.13/667.34	c  667s |      25 |  7507587 |  5569398 |     1959   6992 |        0 |        0
669.12/669.35	c  669s |      25 |  7527189 |  5583698 |     1959   7006 |        0 |        0
671.12/671.35	c  671s |      25 |  7547620 |  5598798 |     1959   7020 |        0 |        0
673.14/673.36	c  673s |      25 |  7565891 |  5612698 |     1959   7033 |        0 |        0
675.13/675.37	c  675s |      25 |  7583704 |  5626498 |     1959   7047 |        0 |        0
677.13/677.38	c  677s |      25 |  7601359 |  5639998 |     1959   7060 |        0 |        0
679.13/679.38	c  679s |      25 |  7621150 |  5654798 |     1959   7074 |        0 |        0
681.13/681.38	c  681s |      25 |  7643608 |  5670898 |     1959   7089 |        0 |        0
683.13/683.39	c  683s |      25 |  7666736 |  5687198 |     1959   7105 |        0 |        0
685.13/685.40	c  685s |      25 |  7688408 |  5703198 |     1959   7120 |        0 |        0
687.22/687.41	c  687s |      25 |  7708303 |  5718698 |     1959   7135 |        0 |        0
689.22/689.42	c  689s |      25 |  7729391 |  5734398 |     1959   7151 |        0 |        0
691.22/691.43	c  691s |      25 |  7751856 |  5750798 |     1959   7166 |        0 |        0
693.22/693.43	c  693s |      25 |  7771735 |  5765798 |     1959   7181 |        0 |        0
695.22/695.44	c  695s |      25 |  7789901 |  5779798 |     1959   7194 |        0 |        0
697.22/697.45	c  697s |      25 |  7808928 |  5793798 |     1959   7208 |        0 |        0
699.21/699.46	c  699s |      25 |  7829619 |  5808798 |     1959   7222 |        0 |        0
701.21/701.48	c  701s |      25 |  7852558 |  5825198 |     1959   7238 |        0 |        0
703.21/703.48	c  703s |      25 |  7875251 |  5841598 |     1959   7254 |        0 |        0
705.21/705.49	c  705s |      25 |  7898288 |  5859198 |     1959   7270 |        0 |        0
707.22/707.49	c  707s |      25 |  7917397 |  5874798 |     1959   7286 |        0 |        0
709.20/709.49	c  709s |      25 |  7939804 |  5891898 |     1959   7302 |        0 |        0
711.30/711.50	c  711s |      25 |  7962606 |  5909298 |     1959   7319 |        0 |        0
713.30/713.50	c  713s |      25 |  7986232 |  5926898 |     1959   7336 |        0 |        0
715.30/715.51	c  715s |      25 |  8007826 |  5943298 |     1959   7352 |        0 |        0
717.30/717.51	c  717s |      25 |  8028848 |  5959198 |     1959   7368 |        0 |        0
719.31/719.52	c  719s |      25 |  8051251 |  5975698 |     1959   7384 |        0 |        0
721.30/721.53	c  721s |      25 |  8073210 |  5992598 |     1959   7400 |        0 |        0
723.30/723.54	c  723s |      25 |  8094286 |  6009098 |     1959   7417 |        0 |        0
725.30/725.54	c  725s |      25 |  8115933 |  6025298 |     1959   7432 |        0 |        0
727.31/727.54	c  727s |      25 |  8138606 |  6041698 |     1959   7448 |        0 |        0
729.30/729.55	c  729s |      25 |  8158732 |  6057198 |     1959   7463 |        0 |        0
731.31/731.56	c  731s |      25 |  8181414 |  6073598 |     1959   7479 |        0 |        0
733.30/733.57	c  733s |      25 |  8203097 |  6089498 |     1959   7495 |        0 |        0
735.30/735.58	c  735s |      25 |  8225579 |  6105898 |     1959   7511 |        0 |        0
737.30/737.58	c  737s |      25 |  8249040 |  6122898 |     1959   7527 |        0 |        0
739.29/739.58	c  739s |      25 |  8271559 |  6139698 |     1959   7544 |        0 |        0
741.30/741.60	c  741s |      25 |  8294290 |  6156298 |     1959   7560 |        0 |        0
743.29/743.60	c  743s |      25 |  8317114 |  6172698 |     1959   7576 |        0 |        0
745.39/745.60	c  745s |      25 |  8340018 |  6189498 |     1959   7593 |        0 |        0
747.39/747.61	c  747s |      25 |  8363439 |  6206698 |     1959   7609 |        0 |        0
749.39/749.61	c  749s |      25 |  8385434 |  6222798 |     1959   7625 |        0 |        0
751.38/751.62	c  751s |      25 |  8405822 |  6238698 |     1959   7641 |        0 |        0
753.39/753.62	c  753s |      25 |  8428228 |  6255098 |     1959   7657 |        0 |        0
755.38/755.63	c  755s |      25 |  8451099 |  6272098 |     1959   7673 |        0 |        0
757.38/757.63	c  757s |      25 |  8472366 |  6288098 |     1959   7689 |        0 |        0
759.38/759.64	c  759s |      25 |  8494466 |  6304598 |     1959   7705 |        0 |        0
761.38/761.65	c  761s |      25 |  8517860 |  6321898 |     1959   7722 |        0 |        0
763.38/763.66	c  763s |      25 |  8541456 |  6338898 |     1959   7739 |        0 |        0
765.38/765.66	c  765s |      25 |  8564658 |  6355898 |     1959   7756 |        0 |        0
767.38/767.66	c  767s |      25 |  8586147 |  6372298 |     1959   7772 |        0 |        0
769.37/769.67	c  769s |      25 |  8609321 |  6389898 |     1959   7789 |        0 |        0
771.37/771.67	c  771s |      25 |  8631545 |  6406498 |     1959   7805 |        0 |        0
773.37/773.67	c  773s |      25 |  8653311 |  6422598 |     1959   7821 |        0 |        0
775.38/775.68	c  775s |      25 |  8675877 |  6439298 |     1959   7837 |        0 |        0
777.37/777.68	c  777s |      25 |  8697266 |  6455398 |     1959   7853 |        0 |        0
779.37/779.69	c  779s |      25 |  8718744 |  6471198 |     1959   7868 |        0 |        0
781.47/781.70	c  781s |      25 |  8740906 |  6487698 |     1959   7884 |        0 |        0
783.46/783.71	c  783s |      25 |  8763957 |  6505098 |     1959   7901 |        0 |        0
785.46/785.71	c  785s |      25 |  8788235 |  6522998 |     1959   7919 |        0 |        0
787.48/787.72	c  787s |      25 |  8811269 |  6540198 |     1959   7936 |        0 |        0
789.47/789.72	c  789s |      25 |  8834103 |  6557298 |     1959   7952 |        0 |        0
791.46/791.72	c  791s |      25 |  8856987 |  6573398 |     1959   7968 |        0 |        0
793.46/793.73	c  793s |      25 |  8878986 |  6589698 |     1959   7984 |        0 |        0
795.46/795.74	c  795s |      25 |  8900289 |  6605698 |     1959   7999 |        0 |        0
797.46/797.75	c  797s |      25 |  8922323 |  6621798 |     1959   8015 |        0 |        0
799.46/799.76	c  799s |      25 |  8944601 |  6638198 |     1959   8031 |        0 |        0
801.46/801.76	c  801s |      25 |  8966095 |  6653798 |     1959   8046 |        0 |        0
803.46/803.77	c  803s |      25 |  8987228 |  6669098 |     1959   8061 |        0 |        0
805.46/805.78	c  805s |      25 |  9007690 |  6684198 |     1959   8076 |        0 |        0
807.45/807.78	c  807s |      25 |  9028718 |  6699698 |     1959   8091 |        0 |        0
809.46/809.79	c  809s |      25 |  9049477 |  6714998 |     1959   8106 |        0 |        0
811.45/811.79	c  811s |      25 |  9070732 |  6730698 |     1959   8121 |        0 |        0
813.55/813.80	c  813s |      25 |  9093327 |  6747198 |     1959   8138 |        0 |        0
815.55/815.81	c  815s |      25 |  9115713 |  6763498 |     1959   8153 |        0 |        0
817.55/817.82	c  817s |      25 |  9138634 |  6780198 |     1959   8170 |        0 |        0
819.54/819.82	c  819s |      25 |  9161869 |  6797098 |     1959   8186 |        0 |        0
821.55/821.83	c  821s |      25 |  9182911 |  6813298 |     1959   8202 |        0 |        0
823.54/823.84	c  823s |      25 |  9202975 |  6828798 |     1959   8217 |        0 |        0
825.54/825.85	c  825s |      25 |  9225411 |  6845298 |     1959   8233 |        0 |        0
827.54/827.86	c  827s |      25 |  9247391 |  6861498 |     1959   8249 |        0 |        0
829.55/829.86	c  829s |      25 |  9268144 |  6877498 |     1959   8265 |        0 |        0
831.55/831.86	c  831s |      25 |  9288446 |  6893398 |     1959   8280 |        0 |        0
833.55/833.87	c  833s |      25 |  9310934 |  6910398 |     1959   8297 |        0 |        0
835.54/835.88	c  835s |      25 |  9333654 |  6927398 |     1959   8314 |        0 |        0
837.54/837.88	c  837s |      25 |  9356885 |  6944498 |     1959   8330 |        0 |        0
839.54/839.89	c  839s |      25 |  9377911 |  6960998 |     1959   8346 |        0 |        0
841.54/841.89	c  841s |      25 |  9399654 |  6977398 |     1959   8362 |        0 |        0
843.64/843.90	c  843s |      25 |  9420401 |  6993298 |     1959   8378 |        0 |        0
845.64/845.91	c  845s |      25 |  9441760 |  7009498 |     1959   8394 |        0 |        0
847.64/847.92	c  847s |      25 |  9462615 |  7024998 |     1959   8409 |        0 |        0
849.63/849.93	c  849s |      25 |  9483634 |  7040198 |     1959   8424 |        0 |        0
851.63/851.93	c  851s |      25 |  9507647 |  7057598 |     1959   8440 |        0 |        0
853.63/853.93	c  853s |      25 |  9528359 |  7073698 |     1959   8456 |        0 |        0
855.63/855.94	c  855s |      25 |  9549188 |  7089998 |     1959   8472 |        0 |        0
857.63/857.95	c  857s |      25 |  9570088 |  7105898 |     1959   8487 |        0 |        0
859.62/859.96	c  859s |      25 |  9591736 |  7121498 |     1959   8503 |        0 |        0
861.62/861.97	c  861s |      25 |  9611812 |  7136898 |     1959   8518 |        0 |        0
863.62/863.98	c  863s |      25 |  9633804 |  7153098 |     1959   8534 |        0 |        0
865.62/865.99	c  865s |      25 |  9654721 |  7168598 |     1959   8549 |        0 |        0
867.63/868.00	c  867s |      25 |  9675115 |  7184198 |     1959   8564 |        0 |        0
869.72/870.00	c  869s |      25 |  9695317 |  7200098 |     1959   8579 |        0 |        0
871.72/872.02	c  871s |      25 |  9716850 |  7216598 |     1959   8595 |        0 |        0
873.72/874.02	c  874s |      25 |  9738434 |  7232898 |     1959   8611 |        0 |        0
875.72/876.02	c  876s |      25 |  9761879 |  7249898 |     1959   8628 |        0 |        0
877.72/878.03	c  878s |      25 |  9784307 |  7266598 |     1959   8644 |        0 |        0
879.72/880.04	c  880s |      25 |  9805959 |  7282698 |     1959   8660 |        0 |        0
881.71/882.05	c  882s |      25 |  9828920 |  7299398 |     1959   8676 |        0 |        0
883.71/884.05	c  884s |      25 |  9850849 |  7315798 |     1959   8693 |        0 |        0
885.71/886.05	c  886s |      25 |  9873972 |  7333098 |     1959   8709 |        0 |        0
887.71/888.06	c  888s |      25 |  9897513 |  7350098 |     1959   8726 |        0 |        0
889.72/890.07	c  890s |      25 |  9919660 |  7367098 |     1959   8743 |        0 |        0
891.71/892.08	c  892s |      25 |  9942973 |  7384398 |     1959   8760 |        0 |        0
893.71/894.08	c  894s |      25 |  9964768 |  7400798 |     1959   8775 |        0 |        0
895.71/896.09	c  896s |      25 |  9983278 |  7415698 |     1959   8790 |        0 |        0
897.71/898.09	c  898s |      25 | 10006501 |  7432898 |     1959   8807 |        0 |        0
899.81/900.10	c  900s |      25 | 10027779 |  7449298 |     1959   8823 |        0 |        0
901.82/902.10	c  902s |      25 | 10048993 |  7465398 |     1959   8838 |        0 |        0
903.81/904.11	c  904s |      25 | 10071178 |  7481698 |     1959   8854 |        0 |        0
905.81/906.11	c  906s |      25 | 10092841 |  7497798 |     1959   8870 |        0 |        0
907.81/908.12	c  908s |      25 | 10114842 |  7514098 |     1959   8885 |        0 |        0
909.80/910.12	c  910s |      25 | 10136703 |  7530798 |     1959   8902 |        0 |        0
911.80/912.13	c  912s |      25 | 10158976 |  7547298 |     2155   8917 |        0 |        0
913.81/914.14	c  914s |      25 | 10179618 |  7562498 |     2155   8931 |        0 |        0
915.80/916.15	c  916s |      25 | 10201523 |  7579098 |     2155   8946 |        0 |        0
917.80/918.16	c  918s |      25 | 10224662 |  7595498 |     2155   8960 |        0 |        0
918.10/918.43	c  918s |      26 | 10227638 |  7597752 |     2155   8962 |        0 |        0
920.09/920.44	c  920s |      26 | 10247050 |  7612852 |     2155   8976 |        0 |        0
922.09/922.44	c  922s |      26 | 10266093 |  7627852 |     2155   8989 |        0 |        0
924.09/924.44	c  924s |      26 | 10286810 |  7643052 |     2155   9002 |        0 |        0
926.09/926.44	c  926s |      26 | 10308542 |  7659052 |     2155   9016 |        0 |        0
928.10/928.44	c  928s |      26 | 10330599 |  7675252 |     2155   9030 |        0 |        0
930.09/930.45	c  930s |      26 | 10352023 |  7691252 |     2155   9044 |        0 |        0
932.09/932.45	c  932s |      26 | 10370789 |  7705752 |     2155   9057 |        0 |        0
934.08/934.45	c  934s |      26 | 10391727 |  7721452 |     2155   9070 |        0 |        0
936.08/936.48	c  936s |      26 | 10410902 |  7736552 |     2155   9084 |        0 |        0
938.10/938.49	c  938s |      26 | 10429190 |  7751352 |     2155   9097 |        0 |        0
940.19/940.50	c  940s |      26 | 10451478 |  7768352 |     2155   9111 |        0 |        0
942.19/942.51	c  942s |      26 | 10473805 |  7784652 |     2155   9126 |        0 |        0
944.19/944.52	c  944s |      26 | 10496642 |  7801252 |     2155   9140 |        0 |        0
946.19/946.52	c  946s |      26 | 10517552 |  7817052 |     2155   9154 |        0 |        0
948.19/948.53	c  948s |      26 | 10538761 |  7832652 |     2155   9168 |        0 |        0
950.19/950.53	c  950s |      26 | 10559812 |  7848552 |     2155   9181 |        0 |        0
952.18/952.53	c  952s |      26 | 10580256 |  7863952 |     2155   9195 |        0 |        0
954.18/954.54	c  954s |      26 | 10601167 |  7879652 |     2155   9209 |        0 |        0
956.18/956.55	c  956s |      26 | 10623184 |  7895952 |     2155   9223 |        0 |        0
958.18/958.56	c  958s |      26 | 10645269 |  7912052 |     2155   9237 |        0 |        0
960.17/960.57	c  960s |      26 | 10664848 |  7927252 |     2155   9250 |        0 |        0
962.18/962.57	c  962s |      26 | 10683564 |  7941952 |     2155   9263 |        0 |        0
964.17/964.59	c  964s |      26 | 10703262 |  7956552 |     2155   9276 |        0 |        0
966.17/966.59	c  966s |      26 | 10723122 |  7971452 |     2155   9289 |        0 |        0
968.27/968.60	c  968s |      26 | 10742135 |  7985852 |     2155   9302 |        0 |        0
970.26/970.60	c  970s |      26 | 10761210 |  8000052 |     2155   9314 |        0 |        0
972.26/972.61	c  972s |      26 | 10781372 |  8015152 |     2155   9327 |        0 |        0
974.27/974.62	c  974s |      26 | 10802525 |  8030952 |     2155   9341 |        0 |        0
976.26/976.63	c  976s |      26 | 10823919 |  8046952 |     2155   9355 |        0 |        0
978.26/978.64	c  978s |      26 | 10845759 |  8062752 |     2155   9369 |        0 |        0
980.26/980.65	c  980s |      26 | 10867667 |  8078652 |     2155   9383 |        0 |        0
982.26/982.66	c  982s |      26 | 10889401 |  8094652 |     2155   9397 |        0 |        0
984.27/984.66	c  984s |      26 | 10911547 |  8110852 |     2155   9411 |        0 |        0
986.26/986.67	c  986s |      26 | 10932488 |  8126452 |     2155   9425 |        0 |        0
988.26/988.67	c  988s |      26 | 10954484 |  8142352 |     2155   9439 |        0 |        0
990.25/990.67	c  990s |      26 | 10975928 |  8158352 |     2155   9453 |        0 |        0
992.25/992.68	c  992s |      26 | 10996222 |  8173452 |     2155   9466 |        0 |        0
994.25/994.69	c  994s |      26 | 11018688 |  8189552 |     2155   9480 |        0 |        0
996.26/996.69	c  996s |      26 | 11038826 |  8205552 |     2155   9494 |        0 |        0
998.35/998.71	c  998s |      26 | 11058765 |  8221052 |     2155   9508 |        0 |        0
1000.35/1000.72	c 1000s |      26 | 11080749 |  8237452 |     2155   9523 |        0 |        0
1002.35/1002.73	c 1002s |      26 | 11101644 |  8253252 |     2155   9536 |        0 |        0
1004.35/1004.74	c 1004s |      26 | 11124054 |  8270052 |     2155   9551 |        0 |        0
1006.35/1006.75	c 1006s |      26 | 11147024 |  8287352 |     2155   9566 |        0 |        0
1008.36/1008.76	c 1008s |      26 | 11169582 |  8303952 |     2155   9581 |        0 |        0
1010.35/1010.76	c 1010s |      26 | 11193123 |  8321152 |     2155   9596 |        0 |        0
1012.35/1012.77	c 1012s |      26 | 11213932 |  8336552 |     2155   9610 |        0 |        0
1014.35/1014.77	c 1014s |      26 | 11234599 |  8351352 |     2155   9623 |        0 |        0
1016.35/1016.77	c 1016s |      26 | 11256204 |  8367452 |     2155   9637 |        0 |        0
1018.35/1018.78	c 1018s |      26 | 11276965 |  8383152 |     2155   9651 |        0 |        0
1020.34/1020.79	c 1020s |      26 | 11294988 |  8396852 |     2155   9663 |        0 |        0
1022.44/1022.80	c 1022s |      26 | 11314798 |  8411652 |     2155   9676 |        0 |        0
1024.44/1024.81	c 1024s |      26 | 11334245 |  8426252 |     2155   9688 |        0 |        0
1026.44/1026.82	c 1026s |      26 | 11353871 |  8440752 |     2155   9701 |        0 |        0
1028.44/1028.84	c 1028s |      26 | 11374675 |  8455752 |     2155   9714 |        0 |        0
1030.45/1030.84	c 1030s |      26 | 11397101 |  8472152 |     2155   9729 |        0 |        0
1032.44/1032.85	c 1032s |      26 | 11418030 |  8487752 |     2155   9742 |        0 |        0
1034.44/1034.85	c 1034s |      26 | 11440791 |  8503552 |     2155   9756 |        0 |        0
1036.44/1036.85	c 1036s |      26 | 11460612 |  8518652 |     2155   9770 |        0 |        0
1038.43/1038.86	c 1038s |      26 | 11478848 |  8533052 |     2155   9782 |        0 |        0
1040.43/1040.87	c 1040s |      26 | 11501606 |  8549352 |     2155   9797 |        0 |        0
1042.43/1042.88	c 1042s |      26 | 11520832 |  8564452 |     2155   9810 |        0 |        0
1044.53/1044.90	c 1044s |      26 | 11541346 |  8579352 |     2155   9823 |        0 |        0
1046.53/1046.91	c 1046s |      26 | 11561219 |  8593652 |     2155   9836 |        0 |        0
1048.52/1048.92	c 1048s |      26 | 11582337 |  8609152 |     2155   9849 |        0 |        0
1050.52/1050.92	c 1050s |      26 | 11601438 |  8623952 |     2155   9862 |        0 |        0
1052.52/1052.93	c 1052s |      26 | 11619769 |  8637952 |     2155   9875 |        0 |        0
1054.53/1054.94	c 1054s |      26 | 11638065 |  8652252 |     2155   9887 |        0 |        0
1056.52/1056.95	c 1056s |      26 | 11657395 |  8666452 |     2155   9900 |        0 |        0
1058.52/1058.95	c 1058s |      26 | 11677352 |  8681152 |     2155   9913 |        0 |        0
1060.52/1060.96	c 1060s |      26 | 11698402 |  8696152 |     2155   9926 |        0 |        0
1062.52/1062.97	c 1062s |      26 | 11715573 |  8709552 |     2155   9938 |        0 |        0
1064.52/1064.98	c 1064s |      26 | 11736746 |  8724652 |     2155   9951 |        0 |        0
1066.51/1066.99	c 1066s |      26 | 11757062 |  8740052 |     2155   9964 |        0 |        0
1068.61/1069.00	c 1068s |      26 | 11777400 |  8755052 |     2155   9978 |        0 |        0
1070.61/1071.01	c 1070s |      26 | 11798570 |  8770652 |     2155   9991 |        0 |        0
1072.62/1073.01	c 1072s |      26 | 11817508 |  8784752 |     2155  10004 |        0 |        0
1074.62/1075.01	c 1074s |      26 | 11837841 |  8799552 |     2155  10017 |        0 |        0
1076.62/1077.02	c 1077s |      26 | 11859204 |  8815152 |     2155  10031 |        0 |        0
1078.61/1079.03	c 1079s |      26 | 11879210 |  8830852 |     2155  10044 |        0 |        0
1080.61/1081.04	c 1081s |      26 | 11900619 |  8846252 |     2155  10058 |        0 |        0
1082.61/1083.05	c 1083s |      26 | 11922576 |  8862252 |     2155  10072 |        0 |        0
1084.61/1085.05	c 1085s |      26 | 11943915 |  8877852 |     2155  10087 |        0 |        0
1086.61/1087.06	c 1087s |      26 | 11963257 |  8892452 |     2155  10100 |        0 |        0
1088.61/1089.07	c 1089s |      26 | 11982052 |  8906952 |     2155  10112 |        0 |        0
1090.60/1091.08	c 1091s |      26 | 12001134 |  8921352 |     2155  10125 |        0 |        0
1092.60/1093.08	c 1093s |      26 | 12020075 |  8936052 |     2155  10138 |        0 |        0
1094.60/1095.08	c 1095s |      26 | 12039724 |  8951052 |     2155  10151 |        0 |        0
1096.60/1097.09	c 1097s |      26 | 12059070 |  8965652 |     2155  10164 |        0 |        0
1098.70/1099.10	c 1099s |      26 | 12079865 |  8980952 |     2155  10178 |        0 |        0
1100.70/1101.11	c 1101s |      26 | 12100341 |  8996352 |     2155  10191 |        0 |        0
1102.69/1103.12	c 1103s |      26 | 12119668 |  9011252 |     2155  10205 |        0 |        0
1104.69/1105.13	c 1105s |      26 | 12139572 |  9026652 |     2155  10218 |        0 |        0
1106.69/1107.13	c 1107s |      26 | 12161365 |  9042752 |     2155  10232 |        0 |        0
1108.69/1109.13	c 1109s |      26 | 12182120 |  9058752 |     2155  10247 |        0 |        0
1110.70/1111.14	c 1111s |      26 | 12199597 |  9072052 |     2155  10258 |        0 |        0
1112.69/1113.16	c 1113s |      26 | 12218026 |  9086052 |     2155  10271 |        0 |        0
1114.69/1115.16	c 1115s |      26 | 12235876 |  9099652 |     2155  10283 |        0 |        0
1116.69/1117.17	c 1117s |      26 | 12257612 |  9115352 |     2155  10297 |        0 |        0
1118.68/1119.17	c 1119s |      26 | 12279161 |  9130952 |     2155  10311 |        0 |        0
1120.68/1121.18	c 1121s |      26 | 12300592 |  9146952 |     2155  10325 |        0 |        0
1122.69/1123.18	c 1123s |      26 | 12323333 |  9163352 |     2155  10340 |        0 |        0
1124.68/1125.18	c 1125s |      26 | 12343568 |  9178852 |     2155  10353 |        0 |        0
1126.69/1127.19	c 1127s |      26 | 12366429 |  9194652 |     2155  10367 |        0 |        0
1128.79/1129.20	c 1129s |      26 | 12388104 |  9209952 |     2155  10381 |        0 |        0
1130.79/1131.20	c 1131s |      26 | 12408206 |  9225452 |     2155  10395 |        0 |        0
1132.78/1133.21	c 1133s |      26 | 12431155 |  9241852 |     2155  10410 |        0 |        0
1134.79/1135.21	c 1135s |      26 | 12453610 |  9257952 |     2155  10424 |        0 |        0
1136.78/1137.22	c 1137s |      26 | 12476256 |  9274352 |     2155  10439 |        0 |        0
1138.78/1139.22	c 1139s |      26 | 12499925 |  9291152 |     2155  10454 |        0 |        0
1140.78/1141.22	c 1141s |      26 | 12522856 |  9306952 |     2155  10468 |        0 |        0
1142.78/1143.22	c 1143s |      26 | 12543785 |  9322652 |     2155  10482 |        0 |        0
1144.79/1145.22	c 1145s |      26 | 12566101 |  9338652 |     2155  10496 |        0 |        0
1146.78/1147.23	c 1147s |      26 | 12586614 |  9353452 |     2155  10509 |        0 |        0
1148.78/1149.23	c 1149s |      26 | 12606232 |  9367852 |     2155  10522 |        0 |        0
1150.78/1151.24	c 1151s |      26 | 12626602 |  9382652 |     2155  10535 |        0 |        0
1152.78/1153.24	c 1153s |      26 | 12646077 |  9397452 |     2155  10548 |        0 |        0
1154.78/1155.25	c 1155s |      26 | 12667316 |  9413352 |     2155  10562 |        0 |        0
1156.79/1157.25	c 1157s |      26 | 12687791 |  9428652 |     2155  10576 |        0 |        0
1158.78/1159.26	c 1159s |      26 | 12708068 |  9444252 |     2155  10590 |        0 |        0
1160.78/1161.27	c 1161s |      26 | 12729514 |  9459452 |     2155  10604 |        0 |        0
1162.78/1163.28	c 1163s |      26 | 12747730 |  9474052 |     2155  10616 |        0 |        0
1164.78/1165.29	c 1165s |      26 | 12767913 |  9489052 |     2155  10630 |        0 |        0
1166.78/1167.29	c 1167s |      26 | 12790206 |  9504752 |     2155  10644 |        0 |        0
1168.88/1169.31	c 1169s |      26 | 12810637 |  9519952 |     2155  10657 |        0 |        0
1170.87/1171.32	c 1171s |      26 | 12832366 |  9535752 |     2155  10672 |        0 |        0
1172.87/1173.32	c 1173s |      26 | 12853769 |  9550952 |     2155  10685 |        0 |        0
1174.87/1175.32	c 1175s |      26 | 12874205 |  9565952 |     2155  10699 |        0 |        0
1176.87/1177.33	c 1177s |      26 | 12895181 |  9581352 |     2155  10713 |        0 |        0
1178.88/1179.33	c 1179s |      26 | 12915622 |  9596552 |     2155  10726 |        0 |        0
1180.88/1181.35	c 1181s |      26 | 12935773 |  9611752 |     2155  10740 |        0 |        0
1182.88/1183.35	c 1183s |      26 | 12955729 |  9626652 |     2155  10753 |        0 |        0
1184.88/1185.36	c 1185s |      26 | 12974405 |  9641052 |     2155  10766 |        0 |        0
1186.88/1187.37	c 1187s |      26 | 12993695 |  9655752 |     2155  10779 |        0 |        0
1188.88/1189.38	c 1189s |      26 | 13014503 |  9670652 |     2155  10792 |        0 |        0
1190.88/1191.38	c 1191s |      26 | 13033772 |  9684852 |     2155  10805 |        0 |        0
1192.88/1193.39	c 1193s |      26 | 13051526 |  9698352 |     2155  10817 |        0 |        0
1194.87/1195.39	c 1195s |      26 | 13069963 |  9712352 |     2155  10830 |        0 |        0
1196.97/1197.40	c 1197s |      26 | 13088929 |  9726752 |     2155  10843 |        0 |        0
1198.97/1199.41	c 1199s |      26 | 13107566 |  9740952 |     2155  10856 |        0 |        0
1200.97/1201.42	c 1201s |      26 | 13126035 |  9754752 |     2155  10868 |        0 |        0
1202.98/1203.42	c 1203s |      26 | 13146694 |  9769852 |     2155  10882 |        0 |        0
1204.97/1205.42	c 1205s |      26 | 13165053 |  9784052 |     2155  10895 |        0 |        0
1206.97/1207.43	c 1207s |      26 | 13184457 |  9798752 |     2155  10908 |        0 |        0
1208.97/1209.44	c 1209s |      26 | 13205607 |  9814252 |     2155  10922 |        0 |        0
1210.97/1211.45	c 1211s |      26 | 13226495 |  9829752 |     2155  10936 |        0 |        0
1212.98/1213.45	c 1213s |      26 | 13247931 |  9845652 |     2155  10951 |        0 |        0
1214.97/1215.46	c 1215s |      26 | 13270021 |  9861652 |     2155  10965 |        0 |        0
1216.97/1217.47	c 1217s |      26 | 13292009 |  9877552 |     2155  10979 |        0 |        0
1218.97/1219.47	c 1219s |      26 | 13313645 |  9892852 |     2155  10993 |        0 |        0
1220.97/1221.47	c 1221s |      26 | 13334670 |  9908552 |     2155  11007 |        0 |        0
1222.97/1223.48	c 1223s |      26 | 13355377 |  9924052 |     2155  11021 |        0 |        0
1224.97/1225.48	c 1225s |      26 | 13374057 |  9938752 |     2155  11034 |        0 |        0
1226.97/1227.49	c 1227s |      26 | 13393605 |  9953852 |     2155  11048 |        0 |        0
1228.97/1229.49	c 1229s |      26 | 13413962 |  9969252 |     2155  11062 |        0 |        0
1231.07/1231.50	c 1231s |      26 | 13434744 |  9984652 |     2155  11076 |        0 |        0
1233.07/1233.50	c 1233s |      26 | 13456018 | 10000652 |     2155  11090 |        0 |        0
1235.07/1235.51	c 1235s |      26 | 13477756 | 10016952 |     2155  11105 |        0 |        0
1237.07/1237.52	c 1237s |      26 | 13497865 | 10031852 |     2155  11118 |        0 |        0
1239.06/1239.52	c 1239s |      26 | 13519299 | 10047652 |     2155  11132 |        0 |        0
1241.06/1241.53	c 1241s |      26 | 13541471 | 10063552 |     2155  11146 |        0 |        0
1243.06/1243.54	c 1243s |      26 | 13565018 | 10080152 |     2155  11161 |        0 |        0
1245.06/1245.55	c 1245s |      26 | 13586984 | 10096352 |     2155  11176 |        0 |        0
1247.07/1247.55	c 1247s |      26 | 13609580 | 10112152 |     2155  11190 |        0 |        0
1249.06/1249.56	c 1249s |      26 | 13631219 | 10127552 |     2155  11204 |        0 |        0
1251.06/1251.57	c 1251s |      26 | 13652660 | 10143652 |     2155  11219 |        0 |        0
1253.06/1253.58	c 1253s |      26 | 13673100 | 10158752 |     2155  11232 |        0 |        0
1255.06/1255.58	c 1255s |      26 | 13695013 | 10174752 |     2155  11247 |        0 |        0
1257.06/1257.59	c 1257s |      26 | 13714035 | 10189352 |     2155  11260 |        0 |        0
1259.06/1259.59	c 1259s |      26 | 13735841 | 10204852 |     2155  11274 |        0 |        0
1261.16/1261.61	c 1261s |      26 | 13755123 | 10219552 |     2155  11287 |        0 |        0
1263.16/1263.61	c 1263s |      26 | 13774070 | 10234252 |     2155  11300 |        0 |        0
1265.16/1265.62	c 1265s |      26 | 13795678 | 10250452 |     2155  11315 |        0 |        0
1267.16/1267.63	c 1267s |      26 | 13817103 | 10266352 |     2155  11329 |        0 |        0
1269.16/1269.63	c 1269s |      26 | 13840022 | 10282752 |     2155  11344 |        0 |        0
1271.16/1271.64	c 1271s |      26 | 13858799 | 10297252 |     2155  11357 |        0 |        0
1273.15/1273.64	c 1273s |      26 | 13879714 | 10312052 |     2155  11370 |        0 |        0
1275.15/1275.66	c 1275s |      26 | 13899955 | 10327152 |     2155  11384 |        0 |        0
1277.15/1277.66	c 1277s |      26 | 13921271 | 10342952 |     2155  11398 |        0 |        0
1279.16/1279.66	c 1279s |      26 | 13942914 | 10358852 |     2155  11412 |        0 |        0
1281.17/1281.68	c 1281s |      26 | 13963780 | 10374052 |     2155  11426 |        0 |        0
1283.16/1283.69	c 1283s |      26 | 13985117 | 10389552 |     2155  11440 |        0 |        0
1285.16/1285.69	c 1285s |      26 | 14004627 | 10404252 |     2155  11453 |        0 |        0
1287.26/1287.70	c 1287s |      26 | 14023796 | 10419352 |     2155  11466 |        0 |        0
1289.26/1289.71	c 1289s |      26 | 14043853 | 10434352 |     2155  11480 |        0 |        0
1291.26/1291.72	c 1291s |      26 | 14064300 | 10449852 |     2155  11494 |        0 |        0
1293.27/1293.73	c 1293s |      26 | 14085338 | 10465252 |     2155  11508 |        0 |        0
1295.26/1295.73	c 1295s |      26 | 14106322 | 10479952 |     2155  11521 |        0 |        0
1297.26/1297.75	c 1297s |      26 | 14127908 | 10494952 |     2155  11534 |        0 |        0
1299.26/1299.76	c 1299s |      26 | 14146433 | 10509452 |     2155  11547 |        0 |        0
1301.26/1301.77	c 1301s |      26 | 14168211 | 10525552 |     2155  11562 |        0 |        0
1303.25/1303.77	c 1303s |      26 | 14190819 | 10541652 |     2155  11576 |        0 |        0
1305.26/1305.77	c 1305s |      26 | 14212762 | 10557652 |     2155  11591 |        0 |        0
1307.25/1307.78	c 1307s |      26 | 14236706 | 10574352 |     2155  11606 |        0 |        0
1309.25/1309.79	c 1309s |      26 | 14260018 | 10590352 |     2155  11620 |        0 |        0
1311.35/1311.80	c 1311s |      26 | 14282854 | 10606752 |     2155  11635 |        0 |        0
1313.35/1313.81	c 1313s |      26 | 14305077 | 10622852 |     2155  11649 |        0 |        0
1315.35/1315.81	c 1315s |      26 | 14328848 | 10639952 |     2155  11665 |        0 |        0
1317.36/1317.81	c 1317s |      26 | 14350943 | 10655952 |     2155  11679 |        0 |        0
1319.35/1319.82	c 1319s |      26 | 14371413 | 10671552 |     2155  11693 |        0 |        0
1321.35/1321.83	c 1321s |      26 | 14394792 | 10688652 |     2155  11709 |        0 |        0
1323.35/1323.84	c 1323s |      26 | 14418176 | 10705252 |     2155  11723 |        0 |        0
1325.35/1325.85	c 1325s |      26 | 14439598 | 10721052 |     2155  11738 |        0 |        0
1327.35/1327.86	c 1327s |      26 | 14460854 | 10736752 |     2155  11752 |        0 |        0
1329.35/1329.87	c 1329s |      26 | 14483069 | 10753252 |     2155  11767 |        0 |        0
1331.35/1331.88	c 1331s |      26 | 14504336 | 10769252 |     2155  11781 |        0 |        0
1333.35/1333.89	c 1333s |      26 | 14525698 | 10785052 |     2155  11795 |        0 |        0
1335.45/1335.90	c 1335s |      26 | 14548152 | 10801652 |     2155  11810 |        0 |        0
1337.44/1337.90	c 1337s |      26 | 14569917 | 10817752 |     2155  11825 |        0 |        0
1339.45/1339.90	c 1339s |      26 | 14592914 | 10834152 |     2155  11839 |        0 |        0
1341.44/1341.92	c 1341s |      26 | 14614256 | 10850052 |     2155  11854 |        0 |        0
1343.44/1343.92	c 1343s |      26 | 14636885 | 10866552 |     2155  11868 |        0 |        0
1345.44/1345.92	c 1345s |      26 | 14657470 | 10882552 |     2155  11883 |        0 |        0
1347.44/1347.93	c 1347s |      26 | 14678381 | 10898452 |     2155  11897 |        0 |        0
1349.44/1349.93	c 1349s |      26 | 14699720 | 10914452 |     2155  11911 |        0 |        0
1351.45/1351.94	c 1351s |      26 | 14720970 | 10930352 |     2155  11926 |        0 |        0
1353.45/1353.95	c 1353s |      26 | 14742202 | 10946052 |     2155  11940 |        0 |        0
1355.45/1355.95	c 1355s |      26 | 14762204 | 10960752 |     2155  11953 |        0 |        0
1357.45/1357.95	c 1357s |      26 | 14780068 | 10974452 |     2155  11965 |        0 |        0
1359.44/1359.96	c 1359s |      26 | 14798661 | 10988152 |     2155  11977 |        0 |        0
1361.45/1361.96	c 1361s |      26 | 14816222 | 11001852 |     2155  11989 |        0 |        0
1363.44/1363.98	c 1363s |      26 | 14834892 | 11015452 |     2155  12001 |        0 |        0
1365.44/1365.98	c 1365s |      26 | 14855402 | 11030552 |     2155  12015 |        0 |        0
1367.44/1367.99	c 1367s |      26 | 14874423 | 11044852 |     2155  12028 |        0 |        0
1369.54/1370.00	c 1369s |      26 | 14893986 | 11059852 |     2155  12041 |        0 |        0
1371.54/1372.01	c 1371s |      26 | 14914661 | 11074752 |     2155  12054 |        0 |        0
1373.55/1374.02	c 1373s |      26 | 14932626 | 11088052 |     2155  12066 |        0 |        0
1375.54/1376.03	c 1376s |      26 | 14949304 | 11101152 |     2155  12078 |        0 |        0
1377.54/1378.03	c 1378s |      26 | 14968452 | 11115452 |     2155  12091 |        0 |        0
1379.54/1380.04	c 1380s |      26 | 14987670 | 11129952 |     2155  12104 |        0 |        0
1381.54/1382.04	c 1382s |      26 | 15002856 | 11142352 |     2155  12115 |        0 |        0
1383.54/1384.05	c 1384s |      26 | 15022084 | 11156652 |     2155  12128 |        0 |        0
1385.54/1386.05	c 1386s |      26 | 15040523 | 11170052 |     2155  12140 |        0 |        0
1387.54/1388.07	c 1388s |      26 | 15056142 | 11182452 |     2155  12151 |        0 |        0
1389.54/1390.08	c 1390s |      26 | 15072535 | 11194852 |     2155  12162 |        0 |        0
1391.54/1392.08	c 1392s |      26 | 15091285 | 11209252 |     2155  12175 |        0 |        0
1393.54/1394.09	c 1394s |      26 | 15111346 | 11223852 |     2155  12188 |        0 |        0
1395.63/1396.11	c 1396s |      26 | 15130254 | 11238152 |     2155  12201 |        0 |        0
1397.64/1398.11	c 1398s |      26 | 15149843 | 11252552 |     2155  12214 |        0 |        0
1399.63/1400.12	c 1400s |      26 | 15168530 | 11266952 |     2155  12227 |        0 |        0
1401.63/1402.13	c 1402s |      26 | 15187070 | 11281252 |     2155  12240 |        0 |        0
1403.63/1404.15	c 1404s |      26 | 15207511 | 11296152 |     2155  12254 |        0 |        0
1405.63/1406.15	c 1406s |      26 | 15226442 | 11310752 |     2155  12267 |        0 |        0
1407.64/1408.15	c 1408s |      26 | 15246608 | 11325052 |     2371  12279 |        0 |        0
1409.63/1410.16	c 1410s |      26 | 15266013 | 11339552 |     2371  12291 |        0 |        0
1411.63/1412.16	c 1412s |      26 | 15285582 | 11353952 |     2371  12303 |        0 |        0
1413.63/1414.17	c 1414s |      26 | 15304406 | 11367952 |     2371  12314 |        0 |        0
1415.63/1416.17	c 1416s |      26 | 15326442 | 11383052 |     2371  12326 |        0 |        0
1417.63/1418.14	c 1418s |      27 | 15344013 | 11396733 |     2371  12338 |        0 |        0
1419.64/1420.15	c 1420s |      27 | 15363174 | 11411333 |     2371  12349 |        0 |        0
1421.64/1422.16	c 1422s |      27 | 15383753 | 11426333 |     2371  12361 |        0 |        0
1423.64/1424.16	c 1424s |      27 | 15404402 | 11441033 |     2371  12373 |        0 |        0
1425.64/1426.17	c 1426s |      27 | 15423879 | 11455533 |     2371  12385 |        0 |        0
1427.64/1428.18	c 1428s |      27 | 15442982 | 11470433 |     2371  12396 |        0 |        0
1429.64/1430.19	c 1430s |      27 | 15462162 | 11485333 |     2371  12408 |        0 |        0
1431.64/1432.20	c 1432s |      27 | 15481224 | 11499733 |     2371  12420 |        0 |        0
1433.74/1434.21	c 1434s |      27 | 15498577 | 11512833 |     2371  12430 |        0 |        0
1435.73/1436.22	c 1436s |      27 | 15518596 | 11526833 |     2371  12442 |        0 |        0
1437.73/1438.22	c 1438s |      27 | 15536620 | 11540733 |     2371  12453 |        0 |        0
1439.73/1440.23	c 1440s |      27 | 15553341 | 11554233 |     2371  12464 |        0 |        0
1441.74/1442.23	c 1442s |      27 | 15572205 | 11568933 |     2371  12476 |        0 |        0
1443.73/1444.24	c 1444s |      27 | 15591168 | 11583833 |     2371  12488 |        0 |        0
1445.73/1446.25	c 1446s |      27 | 15609295 | 11597933 |     2371  12499 |        0 |        0
1447.73/1448.26	c 1448s |      27 | 15628842 | 11612933 |     2371  12511 |        0 |        0
1449.73/1450.27	c 1450s |      27 | 15647601 | 11627033 |     2371  12522 |        0 |        0
1451.73/1452.28	c 1452s |      27 | 15665509 | 11640733 |     2371  12533 |        0 |        0
1453.74/1454.28	c 1454s |      27 | 15685303 | 11655833 |     2371  12545 |        0 |        0
1455.73/1456.28	c 1456s |      27 | 15703191 | 11669833 |     2371  12557 |        0 |        0
1457.83/1458.30	c 1458s |      27 | 15723669 | 11684633 |     2371  12569 |        0 |        0
1459.83/1460.31	c 1460s |      27 | 15744627 | 11700033 |     2371  12581 |        0 |        0
1461.83/1462.32	c 1462s |      27 | 15764165 | 11714733 |     2371  12593 |        0 |        0
1463.83/1464.34	c 1464s |      27 | 15781486 | 11728133 |     2371  12603 |        0 |        0
1465.83/1466.34	c 1466s |      27 | 15800389 | 11742533 |     2371  12615 |        0 |        0
1467.82/1468.35	c 1468s |      27 | 15820180 | 11756933 |     2371  12627 |        0 |        0
1469.82/1470.35	c 1470s |      27 | 15839032 | 11771433 |     2371  12638 |        0 |        0
1471.82/1472.36	c 1472s |      27 | 15858797 | 11786433 |     2371  12650 |        0 |        0
1473.82/1474.37	c 1474s |      27 | 15878090 | 11801233 |     2371  12662 |        0 |        0
1475.83/1476.38	c 1476s |      27 | 15900258 | 11816633 |     2371  12675 |        0 |        0
1477.82/1478.38	c 1478s |      27 | 15920254 | 11831833 |     2371  12687 |        0 |        0
1479.82/1480.39	c 1480s |      27 | 15939547 | 11846433 |     2371  12698 |        0 |        0
1481.92/1482.40	c 1482s |      27 | 15959407 | 11861533 |     2371  12711 |        0 |        0
1483.92/1484.41	c 1484s |      27 | 15977804 | 11876033 |     2371  12722 |        0 |        0
1485.92/1486.42	c 1486s |      27 | 15997974 | 11891333 |     2371  12734 |        0 |        0
1487.92/1488.43	c 1488s |      27 | 16017461 | 11906333 |     2371  12746 |        0 |        0
1489.92/1490.44	c 1490s |      27 | 16034810 | 11920033 |     2371  12757 |        0 |        0
1491.92/1492.45	c 1492s |      27 | 16053281 | 11934633 |     2371  12769 |        0 |        0
1493.91/1494.45	c 1494s |      27 | 16072585 | 11949333 |     2371  12781 |        0 |        0
1495.92/1496.47	c 1496s |      27 | 16089467 | 11962833 |     2371  12792 |        0 |        0
1497.92/1498.48	c 1498s |      27 | 16106572 | 11976033 |     2371  12802 |        0 |        0
1499.93/1500.48	c 1500s |      27 | 16125317 | 11990233 |     2371  12814 |        0 |        0
1501.92/1502.49	c 1502s |      27 | 16142944 | 12004233 |     2371  12825 |        0 |        0
1503.92/1504.50	c 1504s |      27 | 16159330 | 12017533 |     2371  12836 |        0 |        0
1506.02/1506.50	c 1506s |      27 | 16176115 | 12030633 |     2371  12846 |        0 |        0
1508.02/1508.51	c 1508s |      27 | 16193938 | 12044833 |     2371  12857 |        0 |        0
1510.02/1510.52	c 1510s |      27 | 16214701 | 12060633 |     2371  12870 |        0 |        0
1512.03/1512.52	c 1512s |      27 | 16232711 | 12075133 |     2371  12882 |        0 |        0
1514.02/1514.52	c 1514s |      27 | 16250660 | 12088833 |     2371  12893 |        0 |        0
1516.02/1516.53	c 1516s |      27 | 16269671 | 12103133 |     2371  12904 |        0 |        0
1518.02/1518.54	c 1518s |      27 | 16288996 | 12117533 |     2371  12916 |        0 |        0
1520.02/1520.54	c 1520s |      27 | 16307719 | 12131833 |     2371  12927 |        0 |        0
1522.02/1522.54	c 1522s |      27 | 16326085 | 12145433 |     2371  12938 |        0 |        0
1524.02/1524.55	c 1524s |      27 | 16344545 | 12159633 |     2371  12949 |        0 |        0
1526.02/1526.57	c 1526s |      27 | 16364250 | 12174533 |     2371  12961 |        0 |        0
1528.02/1528.57	c 1528s |      27 | 16384256 | 12189233 |     2371  12973 |        0 |        0
1530.01/1530.59	c 1530s |      27 | 16403807 | 12203833 |     2371  12985 |        0 |        0
1532.01/1532.60	c 1532s |      27 | 16423591 | 12219033 |     2371  12997 |        0 |        0
1534.12/1534.60	c 1534s |      27 | 16441778 | 12233033 |     2371  13008 |        0 |        0
1536.11/1536.62	c 1536s |      27 | 16460335 | 12247333 |     2371  13020 |        0 |        0
1538.11/1538.63	c 1538s |      27 | 16479880 | 12261933 |     2371  13031 |        0 |        0
1540.11/1540.64	c 1540s |      27 | 16499477 | 12276433 |     2371  13043 |        0 |        0
1542.11/1542.66	c 1542s |      27 | 16518664 | 12290833 |     2371  13055 |        0 |        0
1544.11/1544.67	c 1544s |      27 | 16535892 | 12304433 |     2371  13065 |        0 |        0
1546.12/1546.68	c 1546s |      27 | 16554535 | 12318333 |     2371  13077 |        0 |        0
1548.11/1548.68	c 1548s |      27 | 16573650 | 12332633 |     2371  13088 |        0 |        0
1550.11/1550.68	c 1550s |      27 | 16590060 | 12344933 |     2371  13098 |        0 |        0
1552.11/1552.69	c 1552s |      27 | 16607885 | 12358733 |     2371  13109 |        0 |        0
1554.11/1554.69	c 1554s |      27 | 16625224 | 12372433 |     2371  13120 |        0 |        0
1556.21/1556.70	c 1556s |      27 | 16645777 | 12387933 |     2371  13132 |        0 |        0
1558.21/1558.71	c 1558s |      27 | 16665644 | 12403033 |     2371  13145 |        0 |        0
1560.20/1560.73	c 1560s |      27 | 16683930 | 12417333 |     2371  13156 |        0 |        0
1562.20/1562.74	c 1562s |      27 | 16702366 | 12431033 |     2371  13167 |        0 |        0
1564.20/1564.75	c 1564s |      27 | 16721128 | 12445633 |     2371  13179 |        0 |        0
1566.20/1566.75	c 1566s |      27 | 16739947 | 12460033 |     2371  13190 |        0 |        0
1568.21/1568.76	c 1568s |      27 | 16757333 | 12474133 |     2371  13202 |        0 |        0
1570.21/1570.76	c 1570s |      27 | 16775799 | 12488333 |     2371  13213 |        0 |        0
1572.21/1572.76	c 1572s |      27 | 16793437 | 12501933 |     2371  13224 |        0 |        0
1574.21/1574.76	c 1574s |      27 | 16811252 | 12515433 |     2371  13235 |        0 |        0
1576.21/1576.77	c 1576s |      27 | 16830144 | 12529733 |     2371  13246 |        0 |        0
1578.21/1578.78	c 1578s |      27 | 16850413 | 12545133 |     2371  13259 |        0 |        0
1580.22/1580.79	c 1580s |      27 | 16869958 | 12559933 |     2371  13270 |        0 |        0
1582.21/1582.79	c 1582s |      27 | 16888705 | 12574133 |     2371  13282 |        0 |        0
1584.21/1584.79	c 1584s |      27 | 16907027 | 12587633 |     2371  13293 |        0 |        0
1586.21/1586.79	c 1586s |      27 | 16921304 | 12599533 |     2371  13302 |        0 |        0
1588.31/1588.81	c 1588s |      27 | 16939000 | 12613533 |     2371  13313 |        0 |        0
1590.31/1590.81	c 1590s |      27 | 16955742 | 12626433 |     2371  13324 |        0 |        0
1592.31/1592.82	c 1592s |      27 | 16973552 | 12640033 |     2371  13335 |        0 |        0
1594.30/1594.83	c 1594s |      27 | 16989795 | 12652833 |     2371  13345 |        0 |        0
1596.30/1596.83	c 1596s |      27 | 17007132 | 12665533 |     2371  13355 |        0 |        0
1598.30/1598.83	c 1598s |      27 | 17026634 | 12680133 |     2371  13367 |        0 |        0
1600.30/1600.84	c 1600s |      27 | 17045328 | 12694433 |     2371  13378 |        0 |        0
1602.31/1602.84	c 1602s |      27 | 17064348 | 12708833 |     2371  13390 |        0 |        0
1604.30/1604.85	c 1604s |      27 | 17081059 | 12722333 |     2371  13401 |        0 |        0
1606.30/1606.85	c 1606s |      27 | 17098807 | 12736233 |     2371  13412 |        0 |        0
1608.30/1608.85	c 1608s |      27 | 17116889 | 12750633 |     2371  13423 |        0 |        0
1610.30/1610.85	c 1610s |      27 | 17136056 | 12765333 |     2371  13435 |        0 |        0
1612.30/1612.85	c 1612s |      27 | 17153281 | 12779133 |     2371  13446 |        0 |        0
1614.31/1614.86	c 1614s |      27 | 17171627 | 12793233 |     2371  13458 |        0 |        0
1616.30/1616.88	c 1616s |      27 | 17191307 | 12807733 |     2371  13469 |        0 |        0
1618.30/1618.89	c 1618s |      27 | 17209305 | 12821733 |     2371  13481 |        0 |        0
1620.40/1620.90	c 1620s |      27 | 17227153 | 12835533 |     2371  13492 |        0 |        0
1622.40/1622.90	c 1622s |      27 | 17243897 | 12848733 |     2371  13502 |        0 |        0
1624.40/1624.90	c 1624s |      27 | 17261325 | 12862533 |     2371  13513 |        0 |        0
1626.40/1626.91	c 1626s |      27 | 17277838 | 12875833 |     2371  13524 |        0 |        0
1628.40/1628.91	c 1628s |      27 | 17293931 | 12888833 |     2371  13534 |        0 |        0
1630.40/1630.93	c 1630s |      27 | 17311831 | 12902333 |     2371  13545 |        0 |        0
1632.40/1632.93	c 1632s |      27 | 17330183 | 12916133 |     2371  13556 |        0 |        0
1634.39/1634.95	c 1634s |      27 | 17348319 | 12929733 |     2371  13567 |        0 |        0
1636.40/1636.96	c 1636s |      27 | 17367678 | 12944533 |     2371  13579 |        0 |        0
1638.39/1638.97	c 1638s |      27 | 17386045 | 12958933 |     2371  13590 |        0 |        0
1640.39/1640.98	c 1640s |      27 | 17404274 | 12972933 |     2371  13602 |        0 |        0
1642.39/1642.99	c 1642s |      27 | 17421766 | 12986733 |     2371  13613 |        0 |        0
1644.49/1645.00	c 1644s |      27 | 17439677 | 13000533 |     2371  13624 |        0 |        0
1646.49/1647.01	c 1646s |      27 | 17457362 | 13013933 |     2371  13634 |        0 |        0
1648.50/1649.02	c 1648s |      27 | 17475453 | 13027633 |     2371  13645 |        0 |        0
1650.49/1651.02	c 1650s |      27 | 17494755 | 13041933 |     2371  13657 |        0 |        0
1652.49/1653.03	c 1653s |      27 | 17514511 | 13056233 |     2371  13668 |        0 |        0
1654.49/1655.03	c 1655s |      27 | 17529881 | 13068533 |     2371  13678 |        0 |        0
1656.49/1657.04	c 1657s |      27 | 17546110 | 13080733 |     2371  13688 |        0 |        0
1658.49/1659.04	c 1659s |      27 | 17563682 | 13093933 |     2371  13699 |        0 |        0
1660.50/1661.06	c 1661s |      27 | 17582014 | 13107733 |     2371  13710 |        0 |        0
1662.49/1663.07	c 1663s |      27 | 17602124 | 13122233 |     2371  13721 |        0 |        0
1664.49/1665.08	c 1665s |      27 | 17620507 | 13136033 |     2371  13733 |        0 |        0
1666.49/1667.09	c 1667s |      27 | 17638608 | 13149933 |     2371  13744 |        0 |        0
1668.59/1669.10	c 1669s |      27 | 17656766 | 13163933 |     2371  13755 |        0 |        0
1670.59/1671.11	c 1671s |      27 | 17674921 | 13177833 |     2371  13766 |        0 |        0
1672.59/1673.12	c 1673s |      27 | 17693355 | 13191833 |     2371  13777 |        0 |        0
1674.59/1675.12	c 1675s |      27 | 17712515 | 13205933 |     2371  13789 |        0 |        0
1676.59/1677.14	c 1677s |      27 | 17728665 | 13218733 |     2371  13799 |        0 |        0
1678.59/1679.14	c 1679s |      27 | 17744807 | 13231333 |     2371  13809 |        0 |        0
1680.59/1681.15	c 1681s |      27 | 17764467 | 13245833 |     2371  13821 |        0 |        0
1682.60/1683.16	c 1683s |      27 | 17784239 | 13260533 |     2371  13833 |        0 |        0
1684.59/1685.17	c 1685s |      27 | 17803919 | 13275133 |     2371  13844 |        0 |        0
1686.59/1687.18	c 1687s |      27 | 17823966 | 13290333 |     2371  13857 |        0 |        0
1688.59/1689.18	c 1689s |      27 | 17844418 | 13305933 |     2371  13869 |        0 |        0
1690.59/1691.18	c 1691s |      27 | 17865137 | 13322033 |     2371  13882 |        0 |        0
1692.59/1693.20	c 1693s |      27 | 17886186 | 13337633 |     2371  13895 |        0 |        0
1694.59/1695.20	c 1695s |      27 | 17903854 | 13351533 |     2371  13906 |        0 |        0
1696.69/1697.20	c 1697s |      27 | 17924010 | 13366133 |     2371  13918 |        0 |        0
1698.69/1699.23	c 1699s |      27 | 17942127 | 13380633 |     2371  13930 |        0 |        0
1700.69/1701.24	c 1701s |      27 | 17959687 | 13394233 |     2371  13941 |        0 |        0
1702.69/1703.25	c 1703s |      27 | 17978421 | 13408933 |     2371  13952 |        0 |        0
1704.69/1705.25	c 1705s |      27 | 17997358 | 13423333 |     2371  13964 |        0 |        0
1706.69/1707.25	c 1707s |      27 | 18015456 | 13437533 |     2371  13975 |        0 |        0
1708.68/1709.27	c 1709s |      27 | 18033137 | 13451433 |     2371  13987 |        0 |        0
1710.68/1711.27	c 1711s |      27 | 18053129 | 13466433 |     2371  13999 |        0 |        0
1712.68/1713.27	c 1713s |      27 | 18073867 | 13481933 |     2371  14011 |        0 |        0
1714.68/1715.28	c 1715s |      27 | 18094702 | 13497633 |     2371  14024 |        0 |        0
1716.69/1717.29	c 1717s |      27 | 18111652 | 13511233 |     2371  14035 |        0 |        0
1718.68/1719.30	c 1719s |      27 | 18131439 | 13526033 |     2371  14046 |        0 |        0
1720.78/1721.30	c 1721s |      27 | 18150618 | 13539933 |     2371  14058 |        0 |        0
1722.78/1723.31	c 1723s |      27 | 18169446 | 13554833 |     2371  14069 |        0 |        0
1724.78/1725.31	c 1725s |      27 | 18187010 | 13568233 |     2371  14080 |        0 |        0
1726.78/1727.31	c 1727s |      27 | 18205748 | 13582533 |     2371  14092 |        0 |        0
1728.79/1729.32	c 1729s |      27 | 18225959 | 13597333 |     2371  14104 |        0 |        0
1730.78/1731.33	c 1731s |      27 | 18243873 | 13610533 |     2371  14114 |        0 |        0
1732.78/1733.34	c 1733s |      27 | 18260683 | 13623333 |     2371  14125 |        0 |        0
1734.78/1735.35	c 1735s |      27 | 18278563 | 13637033 |     2371  14136 |        0 |        0
1736.78/1737.35	c 1737s |      27 | 18297394 | 13651433 |     2371  14147 |        0 |        0
1738.78/1739.36	c 1739s |      27 | 18318710 | 13667233 |     2371  14160 |        0 |        0
1740.78/1741.37	c 1741s |      27 | 18338108 | 13682133 |     2371  14172 |        0 |        0
1742.78/1743.38	c 1743s |      27 | 18356237 | 13696433 |     2371  14184 |        0 |        0
1744.88/1745.40	c 1745s |      27 | 18376606 | 13712133 |     2371  14197 |        0 |        0
1746.88/1747.40	c 1747s |      27 | 18395533 | 13726833 |     2371  14208 |        0 |        0
1748.88/1749.40	c 1749s |      27 | 18413546 | 13740233 |     2371  14219 |        0 |        0
1750.87/1751.43	c 1751s |      27 | 18432964 | 13754033 |     2371  14231 |        0 |        0
1752.88/1753.43	c 1753s |      27 | 18453943 | 13769033 |     2371  14243 |        0 |        0
1754.87/1755.44	c 1755s |      27 | 18473086 | 13783433 |     2371  14254 |        0 |        0
1756.87/1757.44	c 1757s |      27 | 18492712 | 13798133 |     2371  14266 |        0 |        0
1758.87/1759.45	c 1759s |      27 | 18511408 | 13812133 |     2371  14278 |        0 |        0
1760.87/1761.46	c 1761s |      27 | 18528719 | 13825833 |     2371  14289 |        0 |        0
1762.88/1763.47	c 1763s |      27 | 18548616 | 13840433 |     2371  14300 |        0 |        0
1764.87/1765.49	c 1765s |      27 | 18568108 | 13855333 |     2371  14312 |        0 |        0
1766.97/1767.50	c 1767s |      27 | 18586298 | 13869433 |     2371  14324 |        0 |        0
1768.97/1769.50	c 1769s |      27 | 18603979 | 13883233 |     2371  14335 |        0 |        0
1770.97/1771.51	c 1771s |      27 | 18623216 | 13897733 |     2371  14346 |        0 |        0
1772.97/1773.52	c 1773s |      27 | 18641653 | 13911733 |     2371  14358 |        0 |        0
1774.97/1775.52	c 1775s |      27 | 18659477 | 13925333 |     2371  14369 |        0 |        0
1776.97/1777.53	c 1777s |      27 | 18678575 | 13939533 |     2371  14380 |        0 |        0
1778.97/1779.54	c 1779s |      27 | 18699146 | 13954533 |     2371  14393 |        0 |        0
1780.97/1781.54	c 1781s |      27 | 18717655 | 13968733 |     2371  14404 |        0 |        0
1782.97/1783.56	c 1783s |      27 | 18735933 | 13982533 |     2371  14416 |        0 |        0
1784.97/1785.56	c 1785s |      27 | 18754125 | 13996333 |     2371  14427 |        0 |        0
1786.97/1787.57	c 1787s |      27 | 18773175 | 14009933 |     2371  14438 |        0 |        0
1788.97/1789.57	c 1789s |      27 | 18793061 | 14024133 |     2371  14449 |        0 |        0
1790.97/1791.58	c 1791s |      27 | 18810965 | 14038233 |     2371  14461 |        0 |        0
1792.97/1793.59	c 1793s |      27 | 18829076 | 14052233 |     2371  14472 |        0 |        0
1795.07/1795.60	c 1795s |      27 | 18846684 | 14066333 |     2371  14484 |        0 |        0
1797.07/1797.61	c 1797s |      27 | 18866665 | 14081733 |     2371  14496 |        0 |        0
1799.08/1799.61	c 1799s |      27 | 18886834 | 14096933 |     2371  14509 |        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-4120050-1467308878/watcher-4120050-1467308878 -o /tmp/evaluation-result-4120050-1467308878/solver-4120050-1467308878 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16107 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120050-1467308878.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.88 1.56 1.49 3/179 16239
/proc/meminfo: memFree=28020240/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=363964 CPUtime=0 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 1292 0 0 0 0 0 0 0 20 0 4 0 11848631 372699136 1143 33554432000 4194304 16246674 140734442511072 140734442510496 15002730 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16239/statm: 91503 1154 441 2943 0 88397 0
[pid=16239/tid=16240] ppid=16236 vsize=380348 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 389476352 1208 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=384444 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 393670656 1226 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=389564 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11848632 398913536 1243 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 1.88 1.56 1.49 3/179 16239
/proc/meminfo: memFree=28020240/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 22698 0 0 0 6 3 0 0 20 0 4 0 11848631 1247350784 22537 33554432000 4194304 16246674 140734442511072 140734442510496 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16239/statm: 304529 22544 708 2943 0 301423 0
[pid=16239/tid=16240] ppid=16236 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1247350784 22550 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1247350784 22557 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11848632 1247350784 22564 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200476 s]
/proc/loadavg: 1.88 1.56 1.49 3/179 16239
/proc/meminfo: memFree=28020240/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 43692 0 0 0 13 6 0 0 20 0 4 0 11848631 1247350784 43531 33554432000 4194304 16246674 140734442511072 140734442492992 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16239/statm: 304529 43542 708 2943 0 301423 0
[pid=16239/tid=16240] ppid=16236 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1247350784 43549 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1247350784 43555 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11848632 1247350784 43562 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300462 s]
/proc/loadavg: 1.88 1.56 1.49 3/179 16239
/proc/meminfo: memFree=28020240/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 64930 0 0 0 20 9 0 0 20 0 4 0 11848631 1247350784 64769 33554432000 4194304 16246674 140734442511072 140734442492992 5677277 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16239/statm: 304529 64778 708 2943 0 301423 0
[pid=16239/tid=16240] ppid=16236 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1247350784 64785 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1247350784 64791 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11848632 1247350784 64801 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700481 s]
/proc/loadavg: 1.88 1.56 1.49 3/179 16239
/proc/meminfo: memFree=28020240/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 155275 0 0 0 46 22 0 0 20 0 4 0 11848631 1247350784 155114 33554432000 4194304 16246674 140734442511072 140734442492992 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16239/statm: 304529 155128 709 2943 0 301423 0
[pid=16239/tid=16240] ppid=16236 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1247350784 155134 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1247350784 155142 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11848632 1247350784 155148 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 1.88 1.56 1.49 3/183 16243
/proc/meminfo: memFree=27039208/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 245592 0 0 0 113 35 0 0 20 0 4 0 11848631 1248399360 245411 33554432000 4194304 16246674 140734442511072 140734442492992 5661532 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16239/statm: 304785 245411 785 2943 0 301679 0
[pid=16239/tid=16240] ppid=16236 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1248399360 245411 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1248399360 245411 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1248399360 245411 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10036 s]
/proc/loadavg: 1.88 1.56 1.49 3/183 16243
/proc/meminfo: memFree=26952160/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 267419 0 0 0 271 38 0 0 20 0 4 0 11848631 1337528320 267238 33554432000 4194304 16246674 140734442511072 140734442492992 5674844 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16239/statm: 326545 267238 785 2943 0 323439 0
[pid=16239/tid=16240] ppid=16236 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1337528320 267238 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1337528320 267238 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1337528320 267238 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30036 s]
/proc/loadavg: 1.89 1.57 1.50 4/183 16243
/proc/meminfo: memFree=26950432/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 267589 0 0 0 590 38 0 0 20 0 4 0 11848631 1338576896 267408 33554432000 4194304 16246674 140734442511072 140734442492992 12474540 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16239/statm: 326801 267408 785 2943 0 323695 0
[pid=16239/tid=16240] ppid=16236 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1338576896 267408 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1338576896 267408 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1338576896 267408 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 1.90 1.58 1.50 3/183 16243
/proc/meminfo: memFree=26949476/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 267824 0 0 0 1230 38 0 0 20 0 4 0 11848631 1338576896 267643 33554432000 4194304 16246674 140734442511072 140734442492992 5721388 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16239/statm: 326801 267643 785 2943 0 323695 0
[pid=16239/tid=16240] ppid=16236 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1338576896 267643 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1338576896 267643 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1338576896 267643 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.06 1.63 1.52 3/183 16243
/proc/meminfo: memFree=26949756/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 267842 0 0 0 2509 39 0 0 20 0 4 0 11848631 1339625472 267661 33554432000 4194304 16246674 140734442511072 140734442494072 5822488 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16239/statm: 327057 267661 787 2943 0 323951 0
[pid=16239/tid=16240] ppid=16236 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1339625472 267661 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1339625472 267661 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1339625472 267661 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.10 1.67 1.53 3/183 16243
/proc/meminfo: memFree=26949148/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1308228 CPUtime=51.07 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 268065 0 0 0 5068 39 0 0 20 0 4 0 11848631 1339625472 267884 33554432000 4194304 16246674 140734442511072 140734442494072 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16239/statm: 327057 267884 787 2943 0 323951 0
[pid=16239/tid=16240] ppid=16236 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1339625472 267884 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1339625472 267884 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1339625472 267884 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.30 1.79 1.58 3/183 16244
/proc/meminfo: memFree=26949024/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1308228 CPUtime=102.27 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 268065 0 0 0 10187 40 0 0 20 0 4 0 11848631 1339625472 267884 33554432000 4194304 16246674 140734442511072 140734442494072 5824144 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16239/statm: 327057 267884 787 2943 0 323951 0
[pid=16239/tid=16240] ppid=16236 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1339625472 267884 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1339625472 267884 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1339625472 267884 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1308228


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

/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1311300

[startup+1302.3 s]
/proc/loadavg: 2.28 2.27 2.05 4/183 16588
/proc/meminfo: memFree=26941072/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1311300 CPUtime=1301.86 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 269270 0 0 0 130123 63 0 0 20 0 4 0 11848631 1342771200 268926 33554432000 4194304 16246674 140734442511072 140734442492992 5672213 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16239/statm: 327825 268926 788 2943 0 324719 0
[pid=16239/tid=16240] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.20 2.25 2.05 3/184 16593
/proc/meminfo: memFree=26939796/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1311300 CPUtime=1361.84 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 269270 0 0 0 136120 64 0 0 20 0 4 0 11848631 1342771200 268926 33554432000 4194304 16246674 140734442511072 140734442494064 5667343 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16239/statm: 327825 268926 788 2943 0 324719 0
[pid=16239/tid=16240] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.15 2.22 2.05 3/183 16594
/proc/meminfo: memFree=26939564/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1311300 CPUtime=1421.84 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 269270 0 0 0 142119 65 0 0 20 0 4 0 11848631 1342771200 268926 33554432000 4194304 16246674 140734442511072 140734442494064 5823989 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16239/statm: 327825 268926 788 2943 0 324719 0
[pid=16239/tid=16240] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.25 2.22 2.06 3/183 16595
/proc/meminfo: memFree=26939016/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1311300 CPUtime=1481.82 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 269270 0 0 0 148117 65 0 0 20 0 4 0 11848631 1342771200 268926 33554432000 4194304 16246674 140734442511072 140734442492992 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16239/statm: 327825 268926 788 2943 0 324719 0
[pid=16239/tid=16240] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.21 2.21 2.07 3/182 16596
/proc/meminfo: memFree=26939688/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1311300 CPUtime=1541.82 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 269270 0 0 0 154116 66 0 0 20 0 4 0 11848631 1342771200 268926 33554432000 4194304 16246674 140734442511072 140734442494072 12478261 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16239/statm: 327825 268926 788 2943 0 324719 0
[pid=16239/tid=16240] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.20 2.21 2.08 3/183 16598
/proc/meminfo: memFree=26938884/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1311300 CPUtime=1601.8 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 269270 0 0 0 160113 67 0 0 20 0 4 0 11848631 1342771200 268926 33554432000 4194304 16246674 140734442511072 140734442494072 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16239/statm: 327825 268926 788 2943 0 324719 0
[pid=16239/tid=16240] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1311300

[startup+1662.3 s]
/proc/loadavg: 2.17 2.20 2.08 3/183 16600
/proc/meminfo: memFree=26938884/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1311300 CPUtime=1661.79 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 269270 0 0 0 166112 67 0 0 20 0 4 0 11848631 1342771200 268926 33554432000 4194304 16246674 140734442511072 140734442492992 5523536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16239/statm: 327825 268926 788 2943 0 324719 0
[pid=16239/tid=16240] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1311300

[startup+1722.3 s]
/proc/loadavg: 2.11 2.18 2.08 3/183 16601
/proc/meminfo: memFree=26938784/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1311300 CPUtime=1721.78 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 269270 0 0 0 172110 68 0 0 20 0 4 0 11848631 1342771200 268926 33554432000 4194304 16246674 140734442511072 140734442494072 5677656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16239/statm: 327825 268926 788 2943 0 324719 0
[pid=16239/tid=16240] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1311300

[startup+1782.3 s]
/proc/loadavg: 2.25 2.20 2.09 3/183 16602
/proc/meminfo: memFree=26938808/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1311300 CPUtime=1781.77 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 269270 0 0 0 178109 68 0 0 20 0 4 0 11848631 1342771200 268926 33554432000 4194304 16246674 140734442511072 140734442494064 5589602 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16239/statm: 327825 268926 788 2943 0 324719 0
[pid=16239/tid=16240] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1311300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.18 2.19 2.09 4/183 16602
/proc/meminfo: memFree=26939152/32872528 swapFree=1254912/1391860
[pid=16239] ppid=16236 vsize=1311300 CPUtime=1800.07 cores=0,2,4,6
/proc/16239/stat : 16239 (toysat) R 16236 16239 16091 0 -1 4202496 269270 0 0 0 179938 69 0 0 20 0 4 0 11848631 1342771200 268926 33554432000 4194304 16246674 140734442511072 140734442494072 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16239/statm: 327825 268926 788 2943 0 324719 0
[pid=16239/tid=16240] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16240/stat : 16240 (toysat) S 16236 16239 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058255404272 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16239/tid=16241] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16241/stat : 16241 (toysat) S 16236 16239 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058244914416 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16239/tid=16242] ppid=16236 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/16239/task/16242/stat : 16242 (toysat) S 16236 16239 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11848632 1342771200 268926 33554432000 4194304 16246674 140734442511072 140058234440880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1311300

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 16239 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.08
CPU user time (s): 1799.39
CPU system time (s): 0.691894
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1311300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.691894
maximum resident set size= 1075704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269270
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= 431
involuntary context switches= 2362

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56085 second user time and 8.43572 second system time

The end

Begin job on node119 at 2016-06-30 19:47:58
IDJOB=4120050
IDBENCH=109684
IDSOLVER=2542
FILE ID=node119/4120050-1467308878
RUNJOBID= node119-1467308805-16107
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-66.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-4120050-1467308878/watcher-4120050-1467308878 -o /tmp/evaluation-result-4120050-1467308878/solver-4120050-1467308878 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16107 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120050-1467308878.opb

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

MD5SUM BENCH= 93aa80962d5d3efcc6dbb439d625d06c
RANDOM SEED=778886817

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:        28020620 kB
Buffers:          196464 kB
Cached:          1430196 kB
SwapCached:            0 kB
Active:          1340396 kB
Inactive:        1372824 kB
Active(anon):    1083448 kB
Inactive(anon):     5936 kB
Active(file):     256948 kB
Inactive(file):  1366888 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       2478016 kB
Mapped:            17112 kB
Shmem:               204 kB
Slab:             611356 kB
SReclaimable:      55564 kB
SUnreclaim:       555792 kB
KernelStack:        1520 kB
PageTables:         8892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2613468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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= 71700 MiB
End job on node119 at 2016-06-30 20:17:59