0.00/0.00	c 2016-06-15T21:32:31+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-4088938-1466019150.opb"]
0.00/0.01	c use --random-gen="3893959199 218726194 633151967 319617436 4050070954 2765746535 1258989661 2942657245 770746727 3610344785 3745079835 3703667970 3184164674 3628080161 4285138419 465822320 1942037104 2708752172 298383873 813195096 1586312553 2005810655 1750204867 3748161199 1985574448 4258767117 2546655128 2301922896 3840231954 2224043037 85898040 3593933620 3849008014 821111452 3438502520 2043587166 107659372 893596889 3037486428 2790502155 2654249615 2677268345 2760968639 1122987226 3932902916 2686632944 862765234 115046815 2362989970 1685236913 363925511 3808533071 151878758 1700004194 2986080654 1072120478 1447823069 200372380 3051469014 3430627115 3123949379 1777442346 2466893484 1983080470 881939971 1057206577 2874787112 335761891 370977402 765767333 842021055 4160567242 842707674 3612444147 3008403526 2392880500 3340072734 2233094627 3608019125 2595654630 1621602927 2190099203 2197753238 3082621670 103430710 3540869639 1079747493 2301094975 1873794846 2294145268 1774343358 2033988366 2772868804 3589391489 2129827107 854041470 1609854263 2911519012 1765238943 3625855120 726130829 246189971 1934923752 994172309 2315652901 1085647885 760507323 410962220 4054613799 2472143249 3951982047 676351638 3323185863 4108947742 2376299676 3818319403 1667373808 1539473825 1674197485 1416394744 74410269 3667646161 2587106402 232084383 121151025 1599817380 3427153340 2120919775 1746313296 1714025964 1287590842 2688381083 757013237 3398081822 2035643245 626811233 2647292868 554985509 2320706423 409721284 3642606668 2974465532 557481618 3762859114 2267713751 1243409486 1602985688 1930582215 2296748130 4163164380 2407665438 2364261366 835489713 2320712096 456260766 3696683291 1786097535 813926003 1299706914 3658453032 3967472821 1462116768 409924963 577353474 3268685449 1606069967 1602741471 745927594 2361583008 2435776385 3810669852 3377656041 1193309600 2791729330 4286486166 3875081982 490876226 1646836350 3661217108 2007677444 643142999 3644661463 2663564249 2808184935 371908446 3091270267 3769147342 3216736164 2517609248 667266299 3293017835 2137002813 277101905 1401084695 488626199 3636216109 4149398734 1053903408 1400668679 1362661976 3343325037 2446718751 3425343205 3373551463 3372742588 1980469700 2357940971 4058338289 3416689127 4200782394 884663518 1527292686 1466844377 4213426685 713198806 2355832053 3041401780 3051568508 538258768 1244573929 608026207 310865613 2192518875 3328704520 848986947 867703564 2224579078 1037884101 3479004761 3819440833 439209047 2772018964 3652636148 805357307 1925753438 1343011459 3935104357 436244354 2279725624 1594623714 1997717950 2633204070 2515847228 3235878179 3523241275 3725592587 876049523 1233435748 818268062 4003189599 661303581 1019873638 2212580883 2969830635 2293756945 2846048893 255 362436" option to reproduce the execution
0.00/0.01	c #vars 90
0.00/0.01	c #constraints 181
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       90      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      140 |      100 |       90      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      345 |      250 |      100      2 |        0 |        0
0.00/0.06	c  0.1s |       3 |      643 |      475 |      111      5 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1027 |      813 |      123      9 |        0 |        0
0.09/0.17	c  0.2s |       5 |     1570 |     1320 |      136     15 |        0 |        0
0.19/0.26	c  0.2s |       6 |     2375 |     2081 |      165     23 |        0 |        0
0.39/0.40	c  0.4s |       7 |     3570 |     3223 |      182     35 |        0 |        0
0.59/0.61	c  0.6s |       8 |     5321 |     4936 |      201     50 |        0 |        0
0.89/0.90	c  0.9s |       9 |     7971 |     7506 |      222     72 |        0 |        0
1.20/1.22	c  1.2s |      10 |    11875 |    11361 |      245    101 |        0 |        0
1.69/1.72	c  1.7s |      11 |    17775 |    17144 |      270    142 |        0 |        0
2.39/2.45	c  2.4s |      12 |    26704 |    25819 |      297    199 |        0 |        0
3.49/3.56	c  3.5s |      13 |    40206 |    38832 |      327    278 |        0 |        0
5.19/5.25	c  5.2s |      14 |    60312 |    58352 |      360    386 |        0 |        0
7.19/7.25	c  7.2s |      14 |    84103 |    81552 |      360    504 |        0 |        0
7.70/7.78	c  7.8s |      15 |    90467 |    87632 |      397    534 |        0 |        0
9.69/9.78	c  9.8s |      15 |   113692 |   110232 |      397    639 |        0 |        0
11.59/11.67	c 11.7s |      16 |   135639 |   131552 |      437    738 |        0 |        0
13.59/13.67	c 13.7s |      16 |   159003 |   154052 |      437    834 |        0 |        0
15.59/15.68	c 15.7s |      16 |   182450 |   176452 |      437    930 |        0 |        0
17.49/17.56	c 17.6s |      17 |   204390 |   197432 |      481   1018 |        0 |        0
19.49/19.57	c 19.6s |      17 |   227364 |   219432 |      481   1104 |        0 |        0
21.49/21.57	c 21.6s |      17 |   250354 |   241432 |      481   1190 |        0 |        0
23.49/23.57	c 23.6s |      17 |   273603 |   263632 |      481   1276 |        0 |        0
25.49/25.57	c 25.6s |      17 |   296506 |   285632 |      481   1362 |        0 |        0
26.49/26.53	c 26.5s |      18 |   307467 |   296252 |      530   1403 |        0 |        0
28.48/28.53	c 28.5s |      18 |   329745 |   317952 |      530   1480 |        0 |        0
30.48/30.54	c 30.5s |      18 |   352643 |   339652 |      530   1557 |        0 |        0
32.48/32.55	c 32.5s |      18 |   375169 |   361252 |      530   1634 |        0 |        0
34.48/34.55	c 34.5s |      18 |   397909 |   382952 |      530   1711 |        0 |        0
36.48/36.56	c 36.5s |      18 |   420467 |   404452 |      530   1787 |        0 |        0
38.49/38.56	c 38.5s |      18 |   443001 |   426052 |      530   1864 |        0 |        0
40.18/40.27	c 40.3s |      19 |   462118 |   444482 |      583   1928 |        0 |        0
42.18/42.28	c 42.3s |      19 |   484901 |   466182 |      583   1999 |        0 |        0
44.18/44.28	c 44.3s |      19 |   507455 |   487682 |      583   2069 |        0 |        0
46.19/46.29	c 46.3s |      19 |   529878 |   509082 |      583   2138 |        0 |        0
48.19/48.29	c 48.3s |      19 |   552485 |   530782 |      583   2209 |        0 |        0
50.19/50.29	c 50.3s |      19 |   574998 |   552382 |      583   2279 |        0 |        0
52.29/52.30	c 52.3s |      19 |   597549 |   574082 |      583   2350 |        0 |        0
54.29/54.30	c 54.3s |      19 |   620151 |   595682 |      583   2420 |        0 |        0
56.28/56.31	c 56.3s |      19 |   643345 |   617382 |      583   2491 |        0 |        0
58.29/58.31	c 58.3s |      19 |   666242 |   639082 |      583   2562 |        0 |        0
60.28/60.32	c 60.3s |      19 |   689324 |   660882 |      583   2633 |        0 |        0
60.78/60.89	c 60.9s |      20 |   695544 |   666827 |      642   2651 |        0 |        0
62.79/62.89	c 62.9s |      20 |   717519 |   687927 |      642   2713 |        0 |        0
64.78/64.90	c 64.9s |      20 |   739754 |   709027 |      642   2776 |        0 |        0
66.88/66.90	c 66.9s |      20 |   761594 |   730127 |      642   2838 |        0 |        0
68.88/68.90	c 68.9s |      20 |   783937 |   751527 |      642   2902 |        0 |        0
70.88/70.91	c 70.9s |      20 |   806134 |   772627 |      642   2965 |        0 |        0
72.88/72.91	c 72.9s |      20 |   828461 |   793827 |      642   3027 |        0 |        0
74.88/74.92	c 74.9s |      20 |   850842 |   815127 |      642   3091 |        0 |        0
76.88/76.93	c 76.9s |      20 |   872976 |   836427 |      642   3154 |        0 |        0
78.88/78.93	c 78.9s |      20 |   894887 |   857327 |      642   3216 |        0 |        0
80.88/80.94	c 80.9s |      20 |   916837 |   878527 |      642   3279 |        0 |        0
82.88/82.95	c 82.9s |      20 |   939177 |   899827 |      642   3343 |        0 |        0
84.88/84.95	c 84.9s |      20 |   961536 |   921227 |      642   3406 |        0 |        0
86.89/86.96	c 87.0s |      20 |   983962 |   942527 |      642   3470 |        0 |        0
88.88/88.97	c 89.0s |      20 |  1006679 |   964227 |      642   3535 |        0 |        0
90.88/90.97	c 91.0s |      20 |  1029100 |   985627 |      642   3598 |        0 |        0
92.28/92.36	c 92.4s |      21 |  1044434 |  1000345 |      707   3640 |        0 |        0
94.27/94.36	c 94.4s |      21 |  1066617 |  1021445 |      707   3697 |        0 |        0
96.27/96.37	c 96.4s |      21 |  1089049 |  1042445 |      707   3754 |        0 |        0
98.27/98.37	c 98.4s |      21 |  1111215 |  1063745 |      707   3812 |        0 |        0
100.27/100.38	c  100s |      21 |  1133288 |  1084845 |      707   3869 |        0 |        0
102.28/102.38	c  102s |      21 |  1155168 |  1105945 |      707   3926 |        0 |        0
104.27/104.39	c  104s |      21 |  1177471 |  1127345 |      707   3984 |        0 |        0
106.28/106.39	c  106s |      21 |  1199431 |  1148645 |      707   4042 |        0 |        0
108.38/108.40	c  108s |      21 |  1221376 |  1169745 |      707   4099 |        0 |        0
110.38/110.40	c  110s |      21 |  1244023 |  1191345 |      707   4158 |        0 |        0
112.37/112.40	c  112s |      21 |  1266467 |  1212745 |      707   4216 |        0 |        0
114.38/114.41	c  114s |      21 |  1288537 |  1233445 |      707   4272 |        0 |        0
116.37/116.42	c  116s |      21 |  1310590 |  1254345 |      707   4328 |        0 |        0
118.37/118.42	c  118s |      21 |  1332948 |  1275445 |      707   4385 |        0 |        0
120.37/120.42	c  120s |      21 |  1355467 |  1296845 |      707   4443 |        0 |        0
122.37/122.43	c  122s |      21 |  1378239 |  1318345 |      707   4502 |        0 |        0
124.38/124.43	c  124s |      21 |  1401186 |  1339545 |      707   4559 |        0 |        0
126.37/126.44	c  126s |      21 |  1423952 |  1361045 |      707   4617 |        0 |        0
128.37/128.44	c  128s |      21 |  1446241 |  1382445 |      707   4675 |        0 |        0
130.37/130.44	c  130s |      21 |  1468294 |  1403645 |      707   4733 |        0 |        0
132.37/132.45	c  132s |      21 |  1490804 |  1425545 |      707   4792 |        0 |        0
134.37/134.45	c  134s |      21 |  1513165 |  1447245 |      707   4851 |        0 |        0
136.37/136.45	c  136s |      21 |  1535832 |  1469045 |      707   4910 |        0 |        0
138.37/138.45	c  138s |      21 |  1558672 |  1491045 |      778   4970 |        0 |        0
139.26/139.37	c  139s |      22 |  1568602 |  1500622 |      778   4993 |        0 |        0
141.27/141.37	c  141s |      22 |  1590580 |  1521022 |      778   5044 |        0 |        0
143.27/143.38	c  143s |      22 |  1612647 |  1541322 |      778   5094 |        0 |        0
145.28/145.38	c  145s |      22 |  1634197 |  1561822 |      778   5144 |        0 |        0
147.27/147.39	c  147s |      22 |  1655371 |  1582322 |      778   5195 |        0 |        0
149.27/149.39	c  149s |      22 |  1677082 |  1602722 |      778   5246 |        0 |        0
151.27/151.39	c  151s |      22 |  1698994 |  1623222 |      778   5296 |        0 |        0
153.37/153.40	c  153s |      22 |  1720549 |  1643622 |      778   5347 |        0 |        0
155.37/155.41	c  155s |      22 |  1741811 |  1664022 |      778   5397 |        0 |        0
157.37/157.41	c  157s |      22 |  1763342 |  1684622 |      778   5448 |        0 |        0
159.37/159.42	c  159s |      22 |  1785228 |  1705222 |      778   5499 |        0 |        0
161.37/161.42	c  161s |      22 |  1806759 |  1725922 |      778   5550 |        0 |        0
163.36/163.43	c  163s |      22 |  1828171 |  1746422 |      778   5601 |        0 |        0
165.36/165.44	c  165s |      22 |  1849838 |  1767222 |      778   5652 |        0 |        0
167.36/167.45	c  167s |      22 |  1871501 |  1787822 |      778   5703 |        0 |        0
169.37/169.46	c  169s |      22 |  1893843 |  1809222 |      778   5756 |        0 |        0
171.36/171.46	c  171s |      22 |  1915211 |  1829822 |      778   5807 |        0 |        0
173.36/173.47	c  173s |      22 |  1936945 |  1850622 |      778   5859 |        0 |        0
175.36/175.47	c  175s |      22 |  1959067 |  1871822 |      778   5911 |        0 |        0
177.36/177.47	c  177s |      22 |  1981131 |  1892922 |      778   5964 |        0 |        0
179.37/179.48	c  179s |      22 |  2003876 |  1914322 |      778   6017 |        0 |        0
181.37/181.48	c  181s |      22 |  2025935 |  1935422 |      778   6069 |        0 |        0
183.37/183.48	c  183s |      22 |  2047200 |  1955922 |      778   6120 |        0 |        0
185.37/185.49	c  185s |      22 |  2068782 |  1976722 |      778   6171 |        0 |        0
187.47/187.50	c  187s |      22 |  2090564 |  1997722 |      778   6223 |        0 |        0
189.47/189.50	c  189s |      22 |  2112774 |  2018922 |      778   6275 |        0 |        0
191.47/191.50	c  191s |      22 |  2135164 |  2040122 |      778   6328 |        0 |        0
193.46/193.51	c  193s |      22 |  2156678 |  2060822 |      778   6379 |        0 |        0
195.46/195.51	c  195s |      22 |  2178876 |  2081922 |      778   6432 |        0 |        0
197.46/197.52	c  197s |      22 |  2201508 |  2103222 |      778   6485 |        0 |        0
199.46/199.52	c  199s |      22 |  2224000 |  2124622 |      778   6538 |        0 |        0
201.46/201.52	c  201s |      22 |  2246066 |  2145522 |      778   6590 |        0 |        0
203.47/203.53	c  203s |      22 |  2267997 |  2165922 |      778   6640 |        0 |        0
205.46/205.54	c  205s |      22 |  2289692 |  2186722 |      778   6692 |        0 |        0
207.46/207.54	c  207s |      22 |  2311755 |  2207922 |      778   6744 |        0 |        0
209.46/209.55	c  209s |      22 |  2334452 |  2229022 |      778   6797 |        0 |        0
211.46/211.56	c  211s |      22 |  2357135 |  2250122 |      856   6846 |        0 |        0
211.56/211.64	c  211s |      23 |  2358074 |  2251038 |      856   6848 |        0 |        0
213.56/213.65	c  213s |      23 |  2380765 |  2271638 |      856   6894 |        0 |        0
215.56/215.66	c  215s |      23 |  2403126 |  2292538 |      856   6941 |        0 |        0
217.55/217.66	c  217s |      23 |  2426286 |  2313738 |      856   6989 |        0 |        0
219.55/219.67	c  219s |      23 |  2447791 |  2334238 |      856   7035 |        0 |        0
221.55/221.67	c  221s |      23 |  2469566 |  2354738 |      856   7082 |        0 |        0
223.55/223.68	c  223s |      23 |  2491074 |  2375238 |      856   7128 |        0 |        0
225.56/225.68	c  225s |      23 |  2512341 |  2395538 |      856   7174 |        0 |        0
227.55/227.69	c  227s |      23 |  2534216 |  2416338 |      856   7221 |        0 |        0
229.56/229.69	c  229s |      23 |  2555670 |  2437338 |      856   7268 |        0 |        0
231.66/231.70	c  231s |      23 |  2577467 |  2458438 |      856   7315 |        0 |        0
233.66/233.70	c  233s |      23 |  2599414 |  2479538 |      856   7363 |        0 |        0
235.66/235.71	c  235s |      23 |  2621157 |  2500338 |      856   7410 |        0 |        0
237.66/237.71	c  237s |      23 |  2642019 |  2520338 |      856   7455 |        0 |        0
239.66/239.72	c  239s |      23 |  2663553 |  2540938 |      856   7501 |        0 |        0
241.66/241.73	c  241s |      23 |  2684945 |  2561438 |      856   7548 |        0 |        0
243.65/243.74	c  243s |      23 |  2706986 |  2582138 |      856   7594 |        0 |        0
245.65/245.75	c  245s |      23 |  2728901 |  2603038 |      856   7642 |        0 |        0
247.65/247.75	c  247s |      23 |  2750881 |  2624038 |      856   7689 |        0 |        0
249.66/249.76	c  249s |      23 |  2772722 |  2645138 |      856   7737 |        0 |        0
251.65/251.76	c  251s |      23 |  2794712 |  2666138 |      856   7784 |        0 |        0
253.65/253.77	c  253s |      23 |  2816988 |  2687438 |      856   7833 |        0 |        0
255.65/255.77	c  255s |      23 |  2839324 |  2708438 |      856   7880 |        0 |        0
257.66/257.78	c  257s |      23 |  2861952 |  2729638 |      856   7928 |        0 |        0
259.66/259.78	c  259s |      23 |  2884007 |  2750538 |      856   7975 |        0 |        0
261.65/261.78	c  261s |      23 |  2906331 |  2771838 |      856   8023 |        0 |        0
263.65/263.78	c  263s |      23 |  2928176 |  2792738 |      856   8071 |        0 |        0
265.65/265.79	c  265s |      23 |  2948756 |  2812438 |      856   8115 |        0 |        0
267.65/267.79	c  267s |      23 |  2969382 |  2832338 |      856   8160 |        0 |        0
269.65/269.79	c  269s |      23 |  2990391 |  2852338 |      856   8205 |        0 |        0
271.65/271.80	c  271s |      23 |  3011840 |  2872438 |      856   8250 |        0 |        0
273.75/273.81	c  273s |      23 |  3033212 |  2892538 |      856   8295 |        0 |        0
275.75/275.81	c  275s |      23 |  3054273 |  2912638 |      856   8341 |        0 |        0
277.75/277.82	c  277s |      23 |  3075244 |  2932438 |      856   8385 |        0 |        0
279.75/279.82	c  279s |      23 |  3096701 |  2952638 |      856   8431 |        0 |        0
281.75/281.83	c  281s |      23 |  3117515 |  2972638 |      856   8476 |        0 |        0
283.75/283.84	c  283s |      23 |  3138472 |  2992738 |      856   8521 |        0 |        0
285.74/285.85	c  285s |      23 |  3159779 |  3013138 |      856   8567 |        0 |        0
287.74/287.85	c  287s |      23 |  3181502 |  3033738 |      856   8614 |        0 |        0
289.74/289.85	c  289s |      23 |  3203091 |  3054138 |      856   8660 |        0 |        0
291.74/291.85	c  291s |      23 |  3224925 |  3075038 |      856   8707 |        0 |        0
293.75/293.86	c  293s |      23 |  3246801 |  3096138 |      856   8755 |        0 |        0
295.74/295.87	c  295s |      23 |  3268803 |  3117038 |      856   8802 |        0 |        0
297.74/297.88	c  297s |      23 |  3291037 |  3137938 |      856   8850 |        0 |        0
299.74/299.89	c  299s |      23 |  3313171 |  3158938 |      856   8897 |        0 |        0
301.74/301.89	c  301s |      23 |  3334941 |  3179738 |      856   8944 |        0 |        0
303.75/303.90	c  303s |      23 |  3356770 |  3200838 |      856   8992 |        0 |        0
305.75/305.90	c  305s |      23 |  3379145 |  3222238 |      856   9040 |        0 |        0
307.85/307.91	c  307s |      23 |  3400448 |  3242738 |      856   9087 |        0 |        0
309.85/309.91	c  309s |      23 |  3422145 |  3263338 |      856   9133 |        0 |        0
311.84/311.91	c  311s |      23 |  3444123 |  3284338 |      856   9181 |        0 |        0
313.84/313.92	c  313s |      23 |  3466798 |  3305638 |      856   9229 |        0 |        0
315.84/315.92	c  315s |      23 |  3489077 |  3326838 |      856   9277 |        0 |        0
317.85/317.92	c  317s |      23 |  3511503 |  3348238 |      856   9326 |        0 |        0
319.84/319.93	c  319s |      23 |  3533746 |  3369338 |      942   9370 |        0 |        0
320.54/320.63	c  320s |      24 |  3541379 |  3376662 |      942   9385 |        0 |        0
322.54/322.63	c  322s |      24 |  3561297 |  3395962 |      942   9425 |        0 |        0
324.55/324.64	c  324s |      24 |  3581481 |  3415262 |      942   9465 |        0 |        0
326.54/326.64	c  326s |      24 |  3602025 |  3435062 |      942   9505 |        0 |        0
328.54/328.65	c  328s |      24 |  3622845 |  3454962 |      942   9546 |        0 |        0
330.54/330.65	c  330s |      24 |  3643417 |  3474762 |      942   9587 |        0 |        0
332.54/332.66	c  332s |      24 |  3664307 |  3494562 |      942   9628 |        0 |        0
334.54/334.67	c  334s |      24 |  3685495 |  3514462 |      942   9669 |        0 |        0
336.54/336.67	c  336s |      24 |  3706034 |  3534062 |      942   9709 |        0 |        0
338.54/338.67	c  338s |      24 |  3726556 |  3553662 |      942   9750 |        0 |        0
340.54/340.68	c  340s |      24 |  3746971 |  3573162 |      942   9790 |        0 |        0
342.54/342.68	c  342s |      24 |  3768084 |  3593162 |      942   9831 |        0 |        0
344.54/344.69	c  344s |      24 |  3789561 |  3612862 |      942   9871 |        0 |        0
346.55/346.69	c  346s |      24 |  3809984 |  3632462 |      942   9912 |        0 |        0
348.54/348.70	c  348s |      24 |  3830747 |  3652362 |      942   9953 |        0 |        0
350.64/350.71	c  350s |      24 |  3851493 |  3672462 |      942   9994 |        0 |        0
352.64/352.71	c  352s |      24 |  3872005 |  3692362 |      942  10035 |        0 |        0
354.63/354.72	c  354s |      24 |  3892502 |  3712262 |      942  10076 |        0 |        0
356.63/356.72	c  356s |      24 |  3912760 |  3731662 |      942  10116 |        0 |        0
358.64/358.73	c  358s |      24 |  3933274 |  3751462 |      942  10156 |        0 |        0
360.63/360.73	c  360s |      24 |  3953936 |  3771562 |      942  10198 |        0 |        0
362.64/362.73	c  362s |      24 |  3974808 |  3791562 |      942  10239 |        0 |        0
364.64/364.74	c  364s |      24 |  3995808 |  3811862 |      942  10281 |        0 |        0
366.64/366.74	c  366s |      24 |  4016326 |  3831862 |      942  10322 |        0 |        0
368.64/368.74	c  368s |      24 |  4037550 |  3852062 |      942  10364 |        0 |        0
370.64/370.75	c  370s |      24 |  4059145 |  3872362 |      942  10406 |        0 |        0
372.64/372.76	c  372s |      24 |  4080799 |  3892362 |      942  10447 |        0 |        0
374.64/374.76	c  374s |      24 |  4101347 |  3911762 |      942  10487 |        0 |        0
376.63/376.76	c  376s |      24 |  4121840 |  3931162 |      942  10527 |        0 |        0
378.63/378.77	c  378s |      24 |  4142170 |  3950562 |      942  10566 |        0 |        0
380.64/380.77	c  380s |      24 |  4163204 |  3969962 |      942  10606 |        0 |        0
382.63/382.77	c  382s |      24 |  4183723 |  3989362 |      942  10646 |        0 |        0
384.63/384.79	c  384s |      24 |  4204400 |  4008962 |      942  10687 |        0 |        0
386.63/386.79	c  386s |      24 |  4224831 |  4028462 |      942  10727 |        0 |        0
388.73/388.80	c  388s |      24 |  4245790 |  4048262 |      942  10768 |        0 |        0
390.73/390.81	c  390s |      24 |  4266397 |  4067862 |      942  10808 |        0 |        0
392.74/392.81	c  392s |      24 |  4287690 |  4087862 |      942  10849 |        0 |        0
394.73/394.82	c  394s |      24 |  4308499 |  4107562 |      942  10890 |        0 |        0
396.73/396.83	c  396s |      24 |  4329666 |  4127262 |      942  10931 |        0 |        0
398.73/398.83	c  398s |      24 |  4350217 |  4146462 |      942  10970 |        0 |        0
400.73/400.83	c  400s |      24 |  4371096 |  4166162 |      942  11011 |        0 |        0
402.73/402.84	c  402s |      24 |  4392217 |  4186162 |      942  11052 |        0 |        0
404.74/404.84	c  404s |      24 |  4413244 |  4205662 |      942  11092 |        0 |        0
406.73/406.85	c  406s |      24 |  4434496 |  4225262 |      942  11133 |        0 |        0
408.73/408.85	c  408s |      24 |  4456373 |  4245362 |      942  11174 |        0 |        0
410.73/410.86	c  410s |      24 |  4478143 |  4265462 |      942  11215 |        0 |        0
412.73/412.87	c  412s |      24 |  4498819 |  4285262 |      942  11256 |        0 |        0
414.73/414.87	c  414s |      24 |  4519342 |  4304962 |      942  11297 |        0 |        0
416.72/416.88	c  416s |      24 |  4540403 |  4325262 |      942  11338 |        0 |        0
418.72/418.88	c  418s |      24 |  4561476 |  4345662 |      942  11380 |        0 |        0
420.72/420.89	c  420s |      24 |  4582474 |  4365862 |      942  11422 |        0 |        0
422.72/422.90	c  422s |      24 |  4603781 |  4386262 |      942  11464 |        0 |        0
424.82/424.90	c  424s |      24 |  4625215 |  4406862 |      942  11506 |        0 |        0
426.83/426.90	c  426s |      24 |  4645842 |  4426662 |      942  11547 |        0 |        0
428.82/428.91	c  428s |      24 |  4666488 |  4446462 |      942  11588 |        0 |        0
430.82/430.92	c  430s |      24 |  4687695 |  4466562 |      942  11629 |        0 |        0
432.82/432.93	c  432s |      24 |  4708639 |  4486262 |      942  11670 |        0 |        0
434.81/434.93	c  434s |      24 |  4729431 |  4506062 |      942  11710 |        0 |        0
436.81/436.93	c  436s |      24 |  4750663 |  4526062 |      942  11751 |        0 |        0
438.82/438.93	c  438s |      24 |  4771659 |  4545962 |      942  11792 |        0 |        0
440.82/440.93	c  440s |      24 |  4793443 |  4565962 |      942  11833 |        0 |        0
442.82/442.94	c  442s |      24 |  4815379 |  4586362 |      942  11876 |        0 |        0
444.81/444.94	c  444s |      24 |  4837666 |  4606762 |      942  11918 |        0 |        0
446.81/446.95	c  446s |      24 |  4859159 |  4627062 |      942  11959 |        0 |        0
448.82/448.95	c  448s |      24 |  4880227 |  4647062 |      942  12000 |        0 |        0
450.81/450.96	c  450s |      24 |  4901600 |  4667662 |      942  12043 |        0 |        0
452.81/452.97	c  452s |      24 |  4923340 |  4688362 |      942  12085 |        0 |        0
454.81/454.98	c  454s |      24 |  4944891 |  4708862 |      942  12128 |        0 |        0
456.81/456.98	c  456s |      24 |  4966401 |  4729462 |      942  12170 |        0 |        0
458.81/458.98	c  458s |      24 |  4987960 |  4750262 |      942  12213 |        0 |        0
460.81/460.98	c  460s |      24 |  5009436 |  4770762 |      942  12255 |        0 |        0
462.81/462.98	c  462s |      24 |  5031228 |  4791562 |      942  12298 |        0 |        0
464.80/464.99	c  464s |      24 |  5051522 |  4810962 |      942  12338 |        0 |        0
466.90/467.00	c  466s |      24 |  5072005 |  4830562 |      942  12378 |        0 |        0
468.90/469.00	c  468s |      24 |  5093054 |  4850362 |      942  12419 |        0 |        0
470.90/471.01	c  470s |      24 |  5114018 |  4870262 |      942  12460 |        0 |        0
472.91/473.02	c  473s |      24 |  5135123 |  4890162 |      942  12501 |        0 |        0
474.89/475.02	c  475s |      24 |  5156256 |  4910262 |      942  12542 |        0 |        0
476.89/477.02	c  477s |      24 |  5177431 |  4930762 |      942  12584 |        0 |        0
478.89/479.03	c  479s |      24 |  5198836 |  4951162 |      942  12627 |        0 |        0
480.89/481.04	c  481s |      24 |  5220136 |  4971562 |      942  12669 |        0 |        0
482.90/483.04	c  483s |      24 |  5241816 |  4992062 |      942  12711 |        0 |        0
484.90/485.05	c  485s |      24 |  5263456 |  5012762 |      942  12754 |        0 |        0
486.90/487.05	c  487s |      24 |  5284975 |  5033162 |     1037  12795 |        0 |        0
488.89/489.05	c  489s |      24 |  5306880 |  5053762 |     1037  12833 |        0 |        0
489.99/490.15	c  490s |      25 |  5318837 |  5065098 |     1037  12855 |        0 |        0
491.99/492.16	c  492s |      25 |  5338888 |  5084398 |     1037  12891 |        0 |        0
493.99/494.16	c  494s |      25 |  5359230 |  5103898 |     1037  12927 |        0 |        0
495.99/496.16	c  496s |      25 |  5379851 |  5123398 |     1037  12964 |        0 |        0
497.99/498.17	c  498s |      25 |  5400267 |  5143198 |     1037  13001 |        0 |        0
499.99/500.17	c  500s |      25 |  5420842 |  5162598 |     1037  13037 |        0 |        0
501.99/502.17	c  502s |      25 |  5441232 |  5182098 |     1037  13074 |        0 |        0
503.98/504.18	c  504s |      25 |  5461610 |  5201598 |     1037  13111 |        0 |        0
505.99/506.19	c  506s |      25 |  5482147 |  5221498 |     1037  13148 |        0 |        0
507.98/508.19	c  508s |      25 |  5501964 |  5240598 |     1037  13184 |        0 |        0
510.08/510.20	c  510s |      25 |  5522228 |  5259798 |     1037  13219 |        0 |        0
512.08/512.20	c  512s |      25 |  5542333 |  5278798 |     1037  13255 |        0 |        0
514.07/514.21	c  514s |      25 |  5562528 |  5298198 |     1037  13292 |        0 |        0
516.07/516.22	c  516s |      25 |  5583135 |  5317998 |     1037  13329 |        0 |        0
518.08/518.22	c  518s |      25 |  5603644 |  5337798 |     1037  13366 |        0 |        0
520.07/520.22	c  520s |      25 |  5624051 |  5357398 |     1037  13403 |        0 |        0
522.07/522.23	c  522s |      25 |  5644902 |  5377498 |     1037  13440 |        0 |        0
524.07/524.23	c  524s |      25 |  5665380 |  5397398 |     1037  13478 |        0 |        0
526.08/526.23	c  526s |      25 |  5685907 |  5417198 |     1037  13515 |        0 |        0
528.07/528.24	c  528s |      25 |  5706925 |  5437398 |     1037  13553 |        0 |        0
530.08/530.24	c  530s |      25 |  5727820 |  5457298 |     1037  13590 |        0 |        0
532.07/532.25	c  532s |      25 |  5748375 |  5476998 |     1037  13627 |        0 |        0
534.07/534.25	c  534s |      25 |  5768980 |  5496598 |     1037  13664 |        0 |        0
536.07/536.26	c  536s |      25 |  5789353 |  5516098 |     1037  13700 |        0 |        0
538.07/538.27	c  538s |      25 |  5810131 |  5536298 |     1037  13738 |        0 |        0
540.07/540.28	c  540s |      25 |  5831625 |  5556498 |     1037  13776 |        0 |        0
542.07/542.29	c  542s |      25 |  5852506 |  5576598 |     1037  13814 |        0 |        0
544.06/544.29	c  544s |      25 |  5874262 |  5597198 |     1037  13852 |        0 |        0
546.16/546.30	c  546s |      25 |  5895778 |  5617798 |     1037  13891 |        0 |        0
548.16/548.30	c  548s |      25 |  5916912 |  5637898 |     1037  13929 |        0 |        0
550.16/550.30	c  550s |      25 |  5938614 |  5658398 |     1037  13967 |        0 |        0
552.17/552.31	c  552s |      25 |  5958715 |  5677798 |     1037  14003 |        0 |        0
554.15/554.31	c  554s |      25 |  5978754 |  5696898 |     1037  14039 |        0 |        0
556.15/556.31	c  556s |      25 |  5998946 |  5716298 |     1037  14075 |        0 |        0
558.15/558.31	c  558s |      25 |  6019510 |  5736098 |     1037  14113 |        0 |        0
560.15/560.32	c  560s |      25 |  6040481 |  5756298 |     1037  14151 |        0 |        0
562.15/562.33	c  562s |      25 |  6061747 |  5776698 |     1037  14189 |        0 |        0
564.15/564.33	c  564s |      25 |  6082547 |  5796598 |     1037  14226 |        0 |        0
566.15/566.34	c  566s |      25 |  6103751 |  5817098 |     1037  14265 |        0 |        0
568.15/568.34	c  568s |      25 |  6124671 |  5837198 |     1037  14302 |        0 |        0
570.15/570.35	c  570s |      25 |  6145653 |  5857198 |     1037  14340 |        0 |        0
572.15/572.35	c  572s |      25 |  6166582 |  5877298 |     1037  14378 |        0 |        0
574.15/574.36	c  574s |      25 |  6188104 |  5897598 |     1037  14416 |        0 |        0
576.14/576.36	c  576s |      25 |  6209843 |  5918298 |     1037  14455 |        0 |        0
578.14/578.37	c  578s |      25 |  6230867 |  5938298 |     1037  14492 |        0 |        0
580.14/580.37	c  580s |      25 |  6252383 |  5958698 |     1037  14530 |        0 |        0
582.14/582.38	c  582s |      25 |  6274565 |  5979698 |     1037  14570 |        0 |        0
584.14/584.38	c  584s |      25 |  6296274 |  5999798 |     1037  14607 |        0 |        0
586.14/586.38	c  586s |      25 |  6317063 |  6019598 |     1037  14645 |        0 |        0
588.14/588.39	c  588s |      25 |  6338500 |  6039798 |     1037  14682 |        0 |        0
590.14/590.39	c  590s |      25 |  6359771 |  6059998 |     1037  14720 |        0 |        0
592.24/592.40	c  592s |      25 |  6381166 |  6080298 |     1037  14758 |        0 |        0
594.23/594.41	c  594s |      25 |  6402511 |  6100598 |     1037  14796 |        0 |        0
596.23/596.42	c  596s |      25 |  6424019 |  6120398 |     1037  14833 |        0 |        0
598.24/598.43	c  598s |      25 |  6445413 |  6140798 |     1037  14871 |        0 |        0
600.24/600.43	c  600s |      25 |  6466659 |  6161098 |     1037  14910 |        0 |        0
602.24/602.44	c  602s |      25 |  6488743 |  6182098 |     1037  14949 |        0 |        0
604.23/604.45	c  604s |      25 |  6510613 |  6203098 |     1037  14988 |        0 |        0
606.23/606.45	c  606s |      25 |  6531607 |  6223198 |     1037  15026 |        0 |        0
608.24/608.45	c  608s |      25 |  6553235 |  6243798 |     1037  15065 |        0 |        0
610.23/610.45	c  610s |      25 |  6575306 |  6264798 |     1037  15104 |        0 |        0
612.23/612.46	c  612s |      25 |  6597602 |  6285898 |     1037  15144 |        0 |        0
614.23/614.47	c  614s |      25 |  6620333 |  6306998 |     1037  15184 |        0 |        0
616.23/616.48	c  616s |      25 |  6641719 |  6327198 |     1037  15222 |        0 |        0
618.22/618.48	c  618s |      25 |  6663654 |  6347798 |     1037  15260 |        0 |        0
620.23/620.49	c  620s |      25 |  6685285 |  6368598 |     1037  15300 |        0 |        0
622.22/622.49	c  622s |      25 |  6707128 |  6389598 |     1037  15339 |        0 |        0
624.22/624.49	c  624s |      25 |  6730440 |  6410698 |     1037  15379 |        0 |        0
626.22/626.49	c  626s |      25 |  6752362 |  6431598 |     1037  15418 |        0 |        0
628.22/628.50	c  628s |      25 |  6774995 |  6452998 |     1037  15458 |        0 |        0
630.32/630.50	c  630s |      25 |  6796327 |  6473098 |     1037  15496 |        0 |        0
632.32/632.51	c  632s |      25 |  6816796 |  6492698 |     1037  15533 |        0 |        0
634.31/634.52	c  634s |      25 |  6837772 |  6512898 |     1037  15571 |        0 |        0
636.31/636.52	c  636s |      25 |  6858824 |  6532998 |     1037  15608 |        0 |        0
638.31/638.52	c  638s |      25 |  6879868 |  6553198 |     1037  15646 |        0 |        0
640.31/640.52	c  640s |      25 |  6900873 |  6573398 |     1037  15684 |        0 |        0
642.32/642.52	c  642s |      25 |  6922535 |  6593998 |     1037  15723 |        0 |        0
644.31/644.53	c  644s |      25 |  6944543 |  6614798 |     1037  15762 |        0 |        0
646.31/646.54	c  646s |      25 |  6965652 |  6634898 |     1037  15799 |        0 |        0
648.31/648.54	c  648s |      25 |  6987688 |  6655698 |     1037  15839 |        0 |        0
650.31/650.55	c  650s |      25 |  7009718 |  6676798 |     1037  15878 |        0 |        0
652.31/652.55	c  652s |      25 |  7031860 |  6697598 |     1037  15917 |        0 |        0
654.31/654.55	c  654s |      25 |  7054202 |  6718698 |     1037  15957 |        0 |        0
656.31/656.56	c  656s |      25 |  7076680 |  6739698 |     1037  15996 |        0 |        0
658.31/658.56	c  658s |      25 |  7098993 |  6760898 |     1037  16036 |        0 |        0
660.30/660.56	c  660s |      25 |  7121785 |  6782198 |     1037  16077 |        0 |        0
662.30/662.57	c  662s |      25 |  7144180 |  6803198 |     1037  16116 |        0 |        0
664.31/664.58	c  664s |      25 |  7166114 |  6823798 |     1037  16155 |        0 |        0
666.30/666.58	c  666s |      25 |  7188263 |  6844498 |     1037  16194 |        0 |        0
668.30/668.58	c  668s |      25 |  7210423 |  6865698 |     1037  16234 |        0 |        0
670.31/670.59	c  670s |      25 |  7232827 |  6886798 |     1037  16273 |        0 |        0
672.30/672.59	c  672s |      25 |  7255387 |  6908198 |     1037  16314 |        0 |        0
674.30/674.59	c  674s |      25 |  7278125 |  6929498 |     1037  16354 |        0 |        0
676.31/676.59	c  676s |      25 |  7300808 |  6950998 |     1037  16394 |        0 |        0
678.30/678.59	c  678s |      25 |  7324154 |  6972698 |     1037  16435 |        0 |        0
680.40/680.60	c  680s |      25 |  7346654 |  6993498 |     1037  16474 |        0 |        0
682.40/682.61	c  682s |      25 |  7369388 |  7014898 |     1037  16514 |        0 |        0
684.39/684.61	c  684s |      25 |  7391976 |  7036498 |     1037  16555 |        0 |        0
686.39/686.62	c  686s |      25 |  7415147 |  7058398 |     1037  16596 |        0 |        0
688.40/688.62	c  688s |      25 |  7437998 |  7080098 |     1037  16637 |        0 |        0
690.39/690.63	c  690s |      25 |  7461179 |  7102098 |     1037  16678 |        0 |        0
692.39/692.64	c  692s |      25 |  7483114 |  7122798 |     1037  16717 |        0 |        0
694.39/694.64	c  694s |      25 |  7503821 |  7142698 |     1037  16754 |        0 |        0
696.39/696.65	c  696s |      25 |  7525203 |  7162898 |     1037  16792 |        0 |        0
698.40/698.66	c  698s |      25 |  7546256 |  7182898 |     1037  16829 |        0 |        0
700.39/700.66	c  700s |      25 |  7567369 |  7202898 |     1037  16866 |        0 |        0
702.39/702.67	c  702s |      25 |  7588892 |  7223098 |     1037  16904 |        0 |        0
704.38/704.68	c  704s |      25 |  7609782 |  7242898 |     1037  16941 |        0 |        0
706.38/706.68	c  706s |      25 |  7630961 |  7263198 |     1037  16979 |        0 |        0
708.38/708.69	c  708s |      25 |  7652481 |  7283698 |     1037  17018 |        0 |        0
710.39/710.69	c  710s |      25 |  7674177 |  7304198 |     1037  17056 |        0 |        0
712.38/712.69	c  712s |      25 |  7696339 |  7325098 |     1037  17095 |        0 |        0
714.48/714.70	c  714s |      25 |  7718363 |  7346098 |     1037  17135 |        0 |        0
716.48/716.71	c  716s |      25 |  7740152 |  7366798 |     1037  17173 |        0 |        0
718.48/718.71	c  718s |      25 |  7762194 |  7387298 |     1037  17212 |        0 |        0
720.48/720.71	c  720s |      25 |  7784041 |  7407798 |     1037  17250 |        0 |        0
722.48/722.72	c  722s |      25 |  7806096 |  7428798 |     1037  17290 |        0 |        0
724.47/724.72	c  724s |      25 |  7828403 |  7449998 |     1037  17329 |        0 |        0
726.47/726.73	c  726s |      25 |  7850494 |  7471098 |     1037  17369 |        0 |        0
728.48/728.73	c  728s |      25 |  7872884 |  7492698 |     1037  17409 |        0 |        0
730.48/730.74	c  730s |      25 |  7896198 |  7514798 |     1037  17451 |        0 |        0
732.48/732.74	c  732s |      25 |  7918866 |  7536598 |     1037  17492 |        0 |        0
734.47/734.74	c  734s |      25 |  7940687 |  7557398 |     1141  17529 |        0 |        0
736.47/736.74	c  736s |      25 |  7962345 |  7577998 |     1141  17564 |        0 |        0
738.37/738.62	c  738s |      26 |  7982836 |  7597752 |     1141  17598 |        0 |        0
740.37/740.62	c  740s |      26 |  8002786 |  7616552 |     1141  17630 |        0 |        0
742.37/742.62	c  742s |      26 |  8022945 |  7635652 |     1141  17662 |        0 |        0
744.36/744.63	c  744s |      26 |  8043129 |  7654752 |     1141  17695 |        0 |        0
746.36/746.64	c  746s |      26 |  8063127 |  7673952 |     1141  17727 |        0 |        0
748.36/748.64	c  748s |      26 |  8083537 |  7693552 |     1141  17761 |        0 |        0
750.36/750.64	c  750s |      26 |  8104348 |  7713352 |     1141  17795 |        0 |        0
752.37/752.65	c  752s |      26 |  8124987 |  7732852 |     1141  17828 |        0 |        0
754.37/754.66	c  754s |      26 |  8145511 |  7752652 |     1141  17862 |        0 |        0
756.36/756.66	c  756s |      26 |  8166590 |  7772552 |     1141  17896 |        0 |        0
758.36/758.67	c  758s |      26 |  8187107 |  7792252 |     1141  17930 |        0 |        0
760.36/760.67	c  760s |      26 |  8207759 |  7812152 |     1141  17964 |        0 |        0
762.36/762.67	c  762s |      26 |  8228573 |  7831852 |     1141  17997 |        0 |        0
764.36/764.68	c  764s |      26 |  8249139 |  7851352 |     1141  18031 |        0 |        0
766.35/766.69	c  766s |      26 |  8269865 |  7870952 |     1141  18064 |        0 |        0
768.35/768.69	c  768s |      26 |  8290535 |  7890552 |     1141  18098 |        0 |        0
770.35/770.69	c  770s |      26 |  8311261 |  7910352 |     1141  18131 |        0 |        0
772.45/772.70	c  772s |      26 |  8332232 |  7930352 |     1141  18166 |        0 |        0
774.45/774.71	c  774s |      26 |  8353448 |  7950552 |     1141  18200 |        0 |        0
776.45/776.71	c  776s |      26 |  8374201 |  7970252 |     1141  18234 |        0 |        0
778.45/778.71	c  778s |      26 |  8395657 |  7990752 |     1141  18269 |        0 |        0
780.44/780.72	c  780s |      26 |  8416987 |  8011152 |     1141  18304 |        0 |        0
782.44/782.72	c  782s |      26 |  8437681 |  8031152 |     1141  18338 |        0 |        0
784.44/784.73	c  784s |      26 |  8458671 |  8051352 |     1141  18373 |        0 |        0
786.44/786.73	c  786s |      26 |  8480573 |  8071952 |     1141  18408 |        0 |        0
788.45/788.74	c  788s |      26 |  8501380 |  8091552 |     1141  18441 |        0 |        0
790.44/790.74	c  790s |      26 |  8522176 |  8111052 |     1141  18475 |        0 |        0
792.44/792.74	c  792s |      26 |  8543244 |  8130652 |     1141  18508 |        0 |        0
794.44/794.74	c  794s |      26 |  8564093 |  8150452 |     1141  18542 |        0 |        0
796.44/796.75	c  796s |      26 |  8585047 |  8170352 |     1141  18576 |        0 |        0
798.45/798.75	c  798s |      26 |  8606261 |  8190552 |     1141  18610 |        0 |        0
800.44/800.75	c  800s |      26 |  8627175 |  8210252 |     1141  18644 |        0 |        0
802.44/802.75	c  802s |      26 |  8648106 |  8230152 |     1141  18678 |        0 |        0
804.44/804.76	c  804s |      26 |  8669192 |  8250352 |     1141  18713 |        0 |        0
806.43/806.77	c  806s |      26 |  8690858 |  8270752 |     1141  18747 |        0 |        0
808.43/808.78	c  808s |      26 |  8712237 |  8290752 |     1141  18782 |        0 |        0
810.44/810.78	c  810s |      26 |  8733473 |  8310552 |     1141  18816 |        0 |        0
812.43/812.79	c  812s |      26 |  8754993 |  8331052 |     1141  18851 |        0 |        0
814.43/814.79	c  814s |      26 |  8776361 |  8351352 |     1141  18885 |        0 |        0
816.43/816.79	c  816s |      26 |  8798560 |  8372152 |     1141  18921 |        0 |        0
818.53/818.80	c  818s |      26 |  8820110 |  8392652 |     1141  18956 |        0 |        0
820.53/820.81	c  820s |      26 |  8841385 |  8412352 |     1141  18990 |        0 |        0
822.54/822.81	c  822s |      26 |  8863051 |  8432752 |     1141  19025 |        0 |        0
824.52/824.81	c  824s |      26 |  8884872 |  8453252 |     1141  19060 |        0 |        0
826.52/826.82	c  826s |      26 |  8906959 |  8474052 |     1141  19096 |        0 |        0
828.52/828.83	c  828s |      26 |  8928884 |  8494752 |     1141  19131 |        0 |        0
830.52/830.83	c  830s |      26 |  8949128 |  8514252 |     1141  19164 |        0 |        0
832.53/832.84	c  832s |      26 |  8969767 |  8533652 |     1141  19197 |        0 |        0
834.53/834.84	c  834s |      26 |  8990269 |  8553152 |     1141  19230 |        0 |        0
836.52/836.85	c  836s |      26 |  9010803 |  8572652 |     1141  19264 |        0 |        0
838.52/838.86	c  838s |      26 |  9031095 |  8592152 |     1141  19297 |        0 |        0
840.52/840.86	c  840s |      26 |  9051551 |  8611852 |     1141  19331 |        0 |        0
842.52/842.86	c  842s |      26 |  9072315 |  8631952 |     1141  19365 |        0 |        0
844.52/844.87	c  844s |      26 |  9092914 |  8651852 |     1141  19399 |        0 |        0
846.52/846.88	c  846s |      26 |  9113784 |  8672052 |     1141  19434 |        0 |        0
848.52/848.89	c  848s |      26 |  9134608 |  8692152 |     1141  19468 |        0 |        0
850.52/850.89	c  850s |      26 |  9155711 |  8712352 |     1141  19503 |        0 |        0
852.52/852.89	c  852s |      26 |  9176927 |  8732652 |     1141  19537 |        0 |        0
854.52/854.90	c  854s |      26 |  9197550 |  8752652 |     1141  19571 |        0 |        0
856.51/856.90	c  856s |      26 |  9218635 |  8773152 |     1141  19607 |        0 |        0
858.61/858.90	c  858s |      26 |  9239998 |  8793552 |     1141  19641 |        0 |        0
860.61/860.90	c  860s |      26 |  9261639 |  8814352 |     1141  19677 |        0 |        0
862.61/862.91	c  862s |      26 |  9282488 |  8834152 |     1141  19711 |        0 |        0
864.60/864.91	c  864s |      26 |  9303751 |  8854352 |     1141  19746 |        0 |        0
866.61/866.91	c  866s |      26 |  9325276 |  8874952 |     1141  19781 |        0 |        0
868.60/868.91	c  868s |      26 |  9347114 |  8895852 |     1141  19817 |        0 |        0
870.60/870.91	c  870s |      26 |  9368919 |  8916752 |     1141  19853 |        0 |        0
872.60/872.92	c  872s |      26 |  9390474 |  8937452 |     1141  19888 |        0 |        0
874.60/874.92	c  874s |      26 |  9411440 |  8957552 |     1141  19922 |        0 |        0
876.60/876.93	c  876s |      26 |  9432602 |  8977352 |     1141  19956 |        0 |        0
878.60/878.93	c  878s |      26 |  9454182 |  8997852 |     1141  19991 |        0 |        0
880.60/880.93	c  880s |      26 |  9476594 |  9018752 |     1141  20027 |        0 |        0
882.60/882.94	c  882s |      26 |  9498722 |  9039352 |     1141  20063 |        0 |        0
884.59/884.94	c  884s |      26 |  9520896 |  9060352 |     1141  20099 |        0 |        0
886.59/886.95	c  886s |      26 |  9543682 |  9081252 |     1141  20134 |        0 |        0
888.60/888.95	c  888s |      26 |  9566782 |  9102552 |     1141  20171 |        0 |        0
890.59/890.96	c  890s |      26 |  9587540 |  9122352 |     1141  20205 |        0 |        0
892.59/892.96	c  892s |      26 |  9607836 |  9141952 |     1141  20238 |        0 |        0
894.59/894.97	c  894s |      26 |  9628216 |  9161152 |     1141  20271 |        0 |        0
896.58/896.97	c  896s |      26 |  9649038 |  9180852 |     1141  20304 |        0 |        0
898.59/898.97	c  898s |      26 |  9669500 |  9200552 |     1141  20338 |        0 |        0
900.60/900.98	c  900s |      26 |  9690353 |  9220552 |     1141  20372 |        0 |        0
902.59/902.99	c  902s |      26 |  9712274 |  9241152 |     1141  20407 |        0 |        0
904.58/904.99	c  904s |      26 |  9733091 |  9261152 |     1141  20441 |        0 |        0
906.68/907.00	c  906s |      26 |  9754546 |  9281752 |     1141  20477 |        0 |        0
908.68/909.01	c  908s |      26 |  9775849 |  9302252 |     1141  20512 |        0 |        0
910.68/911.01	c  910s |      26 |  9797724 |  9323252 |     1141  20548 |        0 |        0
912.68/913.02	c  913s |      26 |  9819551 |  9344052 |     1141  20583 |        0 |        0
914.68/915.02	c  915s |      26 |  9840595 |  9364152 |     1141  20618 |        0 |        0
916.68/917.03	c  917s |      26 |  9862442 |  9385152 |     1141  20653 |        0 |        0
918.68/919.03	c  919s |      26 |  9884496 |  9406252 |     1141  20690 |        0 |        0
920.68/921.03	c  921s |      26 |  9906208 |  9427052 |     1141  20725 |        0 |        0
922.69/923.04	c  923s |      26 |  9928119 |  9447552 |     1141  20760 |        0 |        0
924.68/925.05	c  925s |      26 |  9950190 |  9468252 |     1141  20796 |        0 |        0
926.68/927.05	c  927s |      26 |  9972175 |  9488852 |     1141  20831 |        0 |        0
928.68/929.06	c  929s |      26 |  9994491 |  9509652 |     1141  20867 |        0 |        0
930.68/931.06	c  931s |      26 | 10017265 |  9530952 |     1141  20903 |        0 |        0
932.68/933.06	c  933s |      26 | 10038454 |  9551252 |     1141  20938 |        0 |        0
934.68/935.07	c  935s |      26 | 10059833 |  9571752 |     1141  20973 |        0 |        0
936.67/937.07	c  937s |      26 | 10081984 |  9592552 |     1141  21009 |        0 |        0
938.67/939.07	c  939s |      26 | 10104106 |  9613552 |     1141  21045 |        0 |        0
940.67/941.08	c  941s |      26 | 10126517 |  9634752 |     1141  21081 |        0 |        0
942.67/943.08	c  943s |      26 | 10148340 |  9655752 |     1141  21117 |        0 |        0
944.68/945.08	c  945s |      26 | 10170393 |  9676752 |     1141  21153 |        0 |        0
946.67/947.09	c  947s |      26 | 10193175 |  9698452 |     1141  21190 |        0 |        0
948.67/949.09	c  949s |      26 | 10215630 |  9719652 |     1141  21227 |        0 |        0
950.67/951.09	c  951s |      26 | 10238382 |  9741352 |     1141  21264 |        0 |        0
952.77/953.10	c  953s |      26 | 10259494 |  9761652 |     1141  21299 |        0 |        0
954.76/955.11	c  955s |      26 | 10280584 |  9781552 |     1141  21332 |        0 |        0
956.77/957.11	c  957s |      26 | 10300923 |  9801052 |     1141  21366 |        0 |        0
958.76/959.12	c  959s |      26 | 10321511 |  9820652 |     1141  21399 |        0 |        0
960.76/961.12	c  961s |      26 | 10342446 |  9840352 |     1141  21433 |        0 |        0
962.76/963.13	c  963s |      26 | 10363423 |  9860452 |     1141  21467 |        0 |        0
964.75/965.14	c  965s |      26 | 10384797 |  9880652 |     1141  21501 |        0 |        0
966.75/967.15	c  967s |      26 | 10405817 |  9900952 |     1141  21536 |        0 |        0
968.76/969.15	c  969s |      26 | 10427324 |  9921252 |     1141  21571 |        0 |        0
970.75/971.15	c  971s |      26 | 10448612 |  9941352 |     1141  21605 |        0 |        0
972.75/973.16	c  973s |      26 | 10470343 |  9962052 |     1141  21641 |        0 |        0
974.75/975.16	c  975s |      26 | 10492352 |  9982952 |     1141  21676 |        0 |        0
976.75/977.17	c  977s |      26 | 10514218 | 10003752 |     1141  21712 |        0 |        0
978.76/979.18	c  979s |      26 | 10536071 | 10024552 |     1141  21748 |        0 |        0
980.75/981.18	c  981s |      26 | 10557762 | 10045252 |     1141  21783 |        0 |        0
982.75/983.19	c  983s |      26 | 10579639 | 10066352 |     1141  21819 |        0 |        0
984.75/985.19	c  985s |      26 | 10602172 | 10087652 |     1141  21856 |        0 |        0
986.85/987.20	c  987s |      26 | 10623718 | 10108252 |     1141  21891 |        0 |        0
988.85/989.21	c  989s |      26 | 10645645 | 10129252 |     1141  21927 |        0 |        0
990.86/991.21	c  991s |      26 | 10667660 | 10150252 |     1141  21963 |        0 |        0
992.85/993.22	c  993s |      26 | 10689673 | 10171452 |     1141  21999 |        0 |        0
994.85/995.22	c  995s |      26 | 10712119 | 10192952 |     1141  22036 |        0 |        0
996.85/997.23	c  997s |      26 | 10734370 | 10214252 |     1141  22072 |        0 |        0
998.84/999.24	c  999s |      26 | 10755914 | 10234952 |     1141  22108 |        0 |        0
1000.84/1001.24	c 1001s |      26 | 10777647 | 10256052 |     1141  22144 |        0 |        0
1002.85/1003.25	c 1003s |      26 | 10799417 | 10276752 |     1141  22179 |        0 |        0
1004.84/1005.25	c 1005s |      26 | 10821163 | 10297752 |     1141  22215 |        0 |        0
1006.85/1007.26	c 1007s |      26 | 10843759 | 10319152 |     1141  22252 |        0 |        0
1008.85/1009.26	c 1009s |      26 | 10866036 | 10340452 |     1141  22288 |        0 |        0
1010.84/1011.26	c 1011s |      26 | 10888850 | 10361852 |     1141  22325 |        0 |        0
1012.85/1013.27	c 1013s |      26 | 10912138 | 10383952 |     1141  22363 |        0 |        0
1014.84/1015.27	c 1015s |      26 | 10935446 | 10405652 |     1141  22400 |        0 |        0
1016.84/1017.28	c 1017s |      26 | 10957080 | 10425952 |     1141  22435 |        0 |        0
1018.84/1019.28	c 1019s |      26 | 10978723 | 10446452 |     1141  22470 |        0 |        0
1020.84/1021.29	c 1021s |      26 | 11000890 | 10467552 |     1141  22506 |        0 |        0
1022.94/1023.30	c 1023s |      26 | 11023113 | 10488752 |     1141  22542 |        0 |        0
1024.84/1025.30	c 1025s |      26 | 11045631 | 10509752 |     1141  22578 |        0 |        0
1026.93/1027.31	c 1027s |      26 | 11068261 | 10531052 |     1141  22615 |        0 |        0
1028.93/1029.31	c 1029s |      26 | 11091197 | 10552352 |     1141  22651 |        0 |        0
1030.93/1031.31	c 1031s |      26 | 11114019 | 10573752 |     1141  22688 |        0 |        0
1032.93/1033.32	c 1033s |      26 | 11137351 | 10595752 |     1141  22725 |        0 |        0
1034.93/1035.32	c 1035s |      26 | 11160452 | 10617352 |     1141  22762 |        0 |        0
1036.93/1037.33	c 1037s |      26 | 11183745 | 10639252 |     1141  22800 |        0 |        0
1038.93/1039.34	c 1039s |      26 | 11204078 | 10658652 |     1141  22833 |        0 |        0
1040.93/1041.35	c 1041s |      26 | 11224652 | 10678252 |     1141  22866 |        0 |        0
1042.93/1043.35	c 1043s |      26 | 11245540 | 10698152 |     1141  22900 |        0 |        0
1044.93/1045.35	c 1045s |      26 | 11266230 | 10717952 |     1141  22934 |        0 |        0
1046.94/1047.36	c 1047s |      26 | 11287218 | 10737952 |     1141  22968 |        0 |        0
1048.93/1049.36	c 1049s |      26 | 11308606 | 10758352 |     1141  23002 |        0 |        0
1050.93/1051.37	c 1051s |      26 | 11329889 | 10779052 |     1141  23038 |        0 |        0
1052.93/1053.38	c 1053s |      26 | 11351297 | 10799652 |     1141  23073 |        0 |        0
1054.92/1055.38	c 1055s |      26 | 11372761 | 10820352 |     1141  23108 |        0 |        0
1056.92/1057.38	c 1057s |      26 | 11393530 | 10840152 |     1141  23142 |        0 |        0
1058.93/1059.39	c 1059s |      26 | 11414589 | 10860552 |     1141  23177 |        0 |        0
1060.92/1061.40	c 1061s |      26 | 11435957 | 10881252 |     1141  23213 |        0 |        0
1063.02/1063.40	c 1063s |      26 | 11457380 | 10901952 |     1141  23248 |        0 |        0
1065.02/1065.41	c 1065s |      26 | 11478986 | 10922852 |     1141  23284 |        0 |        0
1067.02/1067.41	c 1067s |      26 | 11500120 | 10943252 |     1141  23319 |        0 |        0
1069.02/1069.42	c 1069s |      26 | 11521802 | 10963552 |     1141  23353 |        0 |        0
1071.03/1071.43	c 1071s |      26 | 11543697 | 10984552 |     1141  23389 |        0 |        0
1073.02/1073.43	c 1073s |      26 | 11565326 | 11005352 |     1141  23425 |        0 |        0
1075.02/1075.43	c 1075s |      26 | 11587384 | 11026252 |     1141  23461 |        0 |        0
1077.02/1077.44	c 1077s |      26 | 11609692 | 11047352 |     1141  23497 |        0 |        0
1079.02/1079.45	c 1079s |      26 | 11631684 | 11068352 |     1141  23533 |        0 |        0
1081.02/1081.45	c 1081s |      26 | 11653184 | 11088552 |     1141  23567 |        0 |        0
1083.02/1083.46	c 1083s |      26 | 11674625 | 11109052 |     1141  23602 |        0 |        0
1085.02/1085.46	c 1085s |      26 | 11696370 | 11130152 |     1141  23639 |        0 |        0
1087.02/1087.47	c 1087s |      26 | 11717576 | 11150452 |     1141  23673 |        0 |        0
1089.02/1089.47	c 1089s |      26 | 11739355 | 11171152 |     1141  23709 |        0 |        0
1091.02/1091.48	c 1091s |      26 | 11761017 | 11191452 |     1141  23744 |        0 |        0
1093.02/1093.48	c 1093s |      26 | 11783369 | 11212452 |     1141  23779 |        0 |        0
1095.01/1095.49	c 1095s |      26 | 11805315 | 11233252 |     1141  23815 |        0 |        0
1097.01/1097.50	c 1097s |      26 | 11827339 | 11254352 |     1141  23851 |        0 |        0
1099.11/1099.50	c 1099s |      26 | 11849998 | 11276052 |     1141  23888 |        0 |        0
1101.11/1101.50	c 1101s |      26 | 11872546 | 11297352 |     1141  23925 |        0 |        0
1103.11/1103.51	c 1103s |      26 | 11894678 | 11318652 |     1256  23961 |        0 |        0
1105.12/1105.51	c 1105s |      26 | 11916925 | 11340152 |     1256  23994 |        0 |        0
1107.11/1107.52	c 1107s |      26 | 11939119 | 11361252 |     1256  24027 |        0 |        0
1109.11/1109.53	c 1109s |      26 | 11961609 | 11382452 |     1256  24060 |        0 |        0
1110.51/1110.95	c 1110s |      27 | 11976288 | 11396733 |     1256  24082 |        0 |        0
1112.51/1112.96	c 1112s |      27 | 11996992 | 11416133 |     1256  24113 |        0 |        0
1114.51/1114.96	c 1114s |      27 | 12017650 | 11435533 |     1256  24143 |        0 |        0
1116.51/1116.96	c 1116s |      27 | 12038137 | 11454933 |     1256  24173 |        0 |        0
1118.52/1118.96	c 1118s |      27 | 12059068 | 11474533 |     1256  24203 |        0 |        0
1120.52/1120.97	c 1120s |      27 | 12079883 | 11494033 |     1256  24234 |        0 |        0
1122.51/1122.97	c 1122s |      27 | 12100325 | 11513233 |     1256  24264 |        0 |        0
1124.51/1124.98	c 1124s |      27 | 12120204 | 11532233 |     1256  24293 |        0 |        0
1126.51/1126.98	c 1126s |      27 | 12140528 | 11551433 |     1256  24323 |        0 |        0
1128.51/1128.99	c 1128s |      27 | 12160718 | 11570733 |     1256  24353 |        0 |        0
1130.52/1130.99	c 1130s |      27 | 12180703 | 11589833 |     1256  24383 |        0 |        0
1132.51/1133.00	c 1132s |      27 | 12201144 | 11608933 |     1256  24413 |        0 |        0
1134.61/1135.01	c 1134s |      27 | 12221336 | 11628233 |     1256  24443 |        0 |        0
1136.61/1137.01	c 1136s |      27 | 12241864 | 11647633 |     1256  24473 |        0 |        0
1138.61/1139.01	c 1139s |      27 | 12262624 | 11667133 |     1256  24503 |        0 |        0
1140.61/1141.02	c 1141s |      27 | 12283598 | 11686333 |     1256  24533 |        0 |        0
1142.61/1143.03	c 1143s |      27 | 12304514 | 11705833 |     1256  24563 |        0 |        0
1144.60/1145.04	c 1145s |      27 | 12325337 | 11725333 |     1256  24594 |        0 |        0
1146.60/1147.04	c 1147s |      27 | 12346457 | 11744733 |     1256  24624 |        0 |        0
1148.60/1149.04	c 1149s |      27 | 12367196 | 11763833 |     1256  24653 |        0 |        0
1150.60/1151.04	c 1151s |      27 | 12388292 | 11783133 |     1256  24684 |        0 |        0
1152.60/1153.05	c 1153s |      27 | 12411087 | 11803033 |     1256  24715 |        0 |        0
1154.62/1155.06	c 1155s |      27 | 12433404 | 11822933 |     1256  24746 |        0 |        0
1156.61/1157.07	c 1157s |      27 | 12453683 | 11842433 |     1256  24776 |        0 |        0
1158.61/1159.07	c 1159s |      27 | 12473770 | 11861933 |     1256  24806 |        0 |        0
1160.61/1161.07	c 1161s |      27 | 12494527 | 11881833 |     1256  24837 |        0 |        0
1162.61/1163.08	c 1163s |      27 | 12514901 | 11901533 |     1256  24868 |        0 |        0
1164.62/1165.08	c 1165s |      27 | 12535376 | 11921333 |     1256  24899 |        0 |        0
1166.61/1167.08	c 1167s |      27 | 12555426 | 11940433 |     1256  24928 |        0 |        0
1168.61/1169.09	c 1169s |      27 | 12576163 | 11960333 |     1256  24959 |        0 |        0
1170.61/1171.09	c 1171s |      27 | 12596711 | 11980133 |     1256  24990 |        0 |        0
1172.70/1173.10	c 1173s |      27 | 12617467 | 11999933 |     1256  25021 |        0 |        0
1174.70/1175.10	c 1175s |      27 | 12638256 | 12019933 |     1256  25052 |        0 |        0
1176.71/1177.11	c 1177s |      27 | 12658786 | 12039633 |     1256  25083 |        0 |        0
1178.70/1179.11	c 1179s |      27 | 12678920 | 12059033 |     1256  25113 |        0 |        0
1180.70/1181.12	c 1181s |      27 | 12699343 | 12078633 |     1256  25144 |        0 |        0
1182.70/1183.12	c 1183s |      27 | 12720029 | 12098433 |     1256  25175 |        0 |        0
1184.70/1185.12	c 1185s |      27 | 12740717 | 12118433 |     1256  25206 |        0 |        0
1186.70/1187.13	c 1187s |      27 | 12761684 | 12138333 |     1256  25237 |        0 |        0
1188.71/1189.14	c 1189s |      27 | 12782464 | 12158233 |     1256  25268 |        0 |        0
1190.70/1191.14	c 1191s |      27 | 12803721 | 12178433 |     1256  25299 |        0 |        0
1192.70/1193.15	c 1193s |      27 | 12824367 | 12198133 |     1256  25330 |        0 |        0
1194.70/1195.15	c 1195s |      27 | 12845135 | 12217933 |     1256  25361 |        0 |        0
1196.70/1197.16	c 1197s |      27 | 12866241 | 12238133 |     1256  25392 |        0 |        0
1198.70/1199.16	c 1199s |      27 | 12887328 | 12258233 |     1256  25424 |        0 |        0
1200.70/1201.16	c 1201s |      27 | 12909045 | 12278533 |     1256  25455 |        0 |        0
1202.70/1203.17	c 1203s |      27 | 12930970 | 12298833 |     1256  25487 |        0 |        0
1204.69/1205.18	c 1205s |      27 | 12950707 | 12317833 |     1256  25516 |        0 |        0
1206.69/1207.18	c 1207s |      27 | 12971156 | 12337133 |     1256  25546 |        0 |        0
1208.69/1209.19	c 1209s |      27 | 12991632 | 12356533 |     1256  25576 |        0 |        0
1210.70/1211.19	c 1211s |      27 | 13012010 | 12376033 |     1256  25607 |        0 |        0
1212.70/1213.20	c 1213s |      27 | 13032931 | 12396033 |     1256  25638 |        0 |        0
1214.70/1215.20	c 1215s |      27 | 13053916 | 12416233 |     1256  25669 |        0 |        0
1216.80/1217.20	c 1217s |      27 | 13075088 | 12436133 |     1256  25700 |        0 |        0
1218.80/1219.21	c 1219s |      27 | 13095795 | 12456233 |     1256  25732 |        0 |        0
1220.80/1221.21	c 1221s |      27 | 13117323 | 12476833 |     1256  25764 |        0 |        0
1222.80/1223.21	c 1223s |      27 | 13138234 | 12496733 |     1256  25795 |        0 |        0
1224.80/1225.22	c 1225s |      27 | 13159327 | 12516933 |     1256  25826 |        0 |        0
1226.80/1227.22	c 1227s |      27 | 13180604 | 12537233 |     1256  25858 |        0 |        0
1228.80/1229.23	c 1229s |      27 | 13201875 | 12557733 |     1256  25890 |        0 |        0
1230.80/1231.24	c 1231s |      27 | 13223806 | 12578233 |     1256  25922 |        0 |        0
1232.80/1233.24	c 1233s |      27 | 13245669 | 12598733 |     1256  25954 |        0 |        0
1234.79/1235.25	c 1235s |      27 | 13265868 | 12618133 |     1256  25984 |        0 |        0
1236.79/1237.26	c 1237s |      27 | 13286059 | 12637633 |     1256  26014 |        0 |        0
1238.79/1239.26	c 1239s |      27 | 13306766 | 12657533 |     1256  26045 |        0 |        0
1240.79/1241.26	c 1241s |      27 | 13327285 | 12677433 |     1256  26076 |        0 |        0
1242.79/1243.27	c 1243s |      27 | 13348189 | 12697233 |     1256  26107 |        0 |        0
1244.79/1245.28	c 1245s |      27 | 13368787 | 12717233 |     1256  26138 |        0 |        0
1246.79/1247.29	c 1247s |      27 | 13389205 | 12736733 |     1256  26168 |        0 |        0
1248.79/1249.29	c 1249s |      27 | 13410073 | 12756633 |     1256  26199 |        0 |        0
1250.89/1251.30	c 1251s |      27 | 13430892 | 12776733 |     1256  26231 |        0 |        0
1252.89/1253.30	c 1253s |      27 | 13451981 | 12797033 |     1256  26263 |        0 |        0
1254.89/1255.31	c 1255s |      27 | 13472856 | 12817133 |     1256  26294 |        0 |        0
1256.89/1257.31	c 1257s |      27 | 13494134 | 12837533 |     1256  26326 |        0 |        0
1258.88/1259.32	c 1259s |      27 | 13515693 | 12858233 |     1256  26358 |        0 |        0
1260.88/1261.32	c 1261s |      27 | 13536833 | 12878633 |     1256  26390 |        0 |        0
1262.88/1263.33	c 1263s |      27 | 13558196 | 12898833 |     1256  26421 |        0 |        0
1264.88/1265.33	c 1265s |      27 | 13579841 | 12919633 |     1256  26453 |        0 |        0
1266.90/1267.34	c 1267s |      27 | 13601818 | 12940533 |     1256  26486 |        0 |        0
1268.89/1269.34	c 1269s |      27 | 13622759 | 12960433 |     1256  26517 |        0 |        0
1270.89/1271.35	c 1271s |      27 | 13644516 | 12980633 |     1256  26548 |        0 |        0
1272.89/1273.35	c 1273s |      27 | 13665838 | 13000933 |     1256  26580 |        0 |        0
1274.89/1275.36	c 1275s |      27 | 13687097 | 13021333 |     1256  26612 |        0 |        0
1276.89/1277.37	c 1277s |      27 | 13708419 | 13041833 |     1256  26644 |        0 |        0
1278.89/1279.37	c 1279s |      27 | 13730427 | 13062233 |     1256  26676 |        0 |        0
1280.89/1281.38	c 1281s |      27 | 13752267 | 13083133 |     1256  26708 |        0 |        0
1282.89/1283.39	c 1283s |      27 | 13774075 | 13103833 |     1256  26741 |        0 |        0
1284.88/1285.39	c 1285s |      27 | 13794023 | 13122933 |     1256  26770 |        0 |        0
1286.88/1287.40	c 1287s |      27 | 13814757 | 13142433 |     1256  26800 |        0 |        0
1288.98/1289.40	c 1289s |      27 | 13835735 | 13161933 |     1256  26831 |        0 |        0
1290.99/1291.41	c 1291s |      27 | 13856472 | 13181433 |     1256  26861 |        0 |        0
1292.98/1293.41	c 1293s |      27 | 13877744 | 13201233 |     1256  26892 |        0 |        0
1294.98/1295.42	c 1295s |      27 | 13898913 | 13220933 |     1256  26923 |        0 |        0
1296.98/1297.42	c 1297s |      27 | 13919859 | 13241033 |     1256  26954 |        0 |        0
1298.98/1299.43	c 1299s |      27 | 13941326 | 13261433 |     1256  26986 |        0 |        0
1300.99/1301.43	c 1301s |      27 | 13963298 | 13282233 |     1256  27018 |        0 |        0
1302.98/1303.43	c 1303s |      27 | 13983916 | 13302133 |     1256  27049 |        0 |        0
1304.98/1305.44	c 1305s |      27 | 14005493 | 13322433 |     1256  27081 |        0 |        0
1306.98/1307.45	c 1307s |      27 | 14026948 | 13342933 |     1256  27113 |        0 |        0
1308.98/1309.45	c 1309s |      27 | 14047905 | 13363033 |     1256  27144 |        0 |        0
1310.98/1311.46	c 1311s |      27 | 14068910 | 13383233 |     1256  27175 |        0 |        0
1312.98/1313.47	c 1313s |      27 | 14090693 | 13403733 |     1256  27207 |        0 |        0
1314.98/1315.47	c 1315s |      27 | 14112800 | 13424433 |     1256  27239 |        0 |        0
1316.98/1317.48	c 1317s |      27 | 14135077 | 13445033 |     1256  27272 |        0 |        0
1318.98/1319.49	c 1319s |      27 | 14156216 | 13465033 |     1256  27303 |        0 |        0
1320.98/1321.49	c 1321s |      27 | 14178385 | 13485533 |     1256  27335 |        0 |        0
1322.98/1323.49	c 1323s |      27 | 14200075 | 13506233 |     1256  27367 |        0 |        0
1324.98/1325.49	c 1325s |      27 | 14221943 | 13527133 |     1256  27399 |        0 |        0
1326.98/1327.49	c 1327s |      27 | 14243861 | 13548133 |     1256  27432 |        0 |        0
1328.98/1329.49	c 1329s |      27 | 14265909 | 13569333 |     1256  27465 |        0 |        0
1331.08/1331.51	c 1331s |      27 | 14287766 | 13590033 |     1256  27498 |        0 |        0
1333.08/1333.52	c 1333s |      27 | 14308292 | 13609533 |     1256  27528 |        0 |        0
1335.09/1335.52	c 1335s |      27 | 14328832 | 13629233 |     1256  27559 |        0 |        0
1337.08/1337.53	c 1337s |      27 | 14349856 | 13649233 |     1256  27590 |        0 |        0
1339.08/1339.54	c 1339s |      27 | 14371903 | 13670333 |     1256  27623 |        0 |        0
1341.08/1341.54	c 1341s |      27 | 14393935 | 13691633 |     1256  27656 |        0 |        0
1343.07/1343.54	c 1343s |      27 | 14416026 | 13712733 |     1256  27689 |        0 |        0
1345.07/1345.55	c 1345s |      27 | 14438434 | 13734133 |     1256  27722 |        0 |        0
1347.08/1347.55	c 1347s |      27 | 14460405 | 13755133 |     1256  27755 |        0 |        0
1349.07/1349.56	c 1349s |      27 | 14480613 | 13774533 |     1256  27785 |        0 |        0
1351.07/1351.57	c 1351s |      27 | 14501117 | 13794233 |     1256  27816 |        0 |        0
1353.07/1353.57	c 1353s |      27 | 14521692 | 13813933 |     1256  27846 |        0 |        0
1355.07/1355.57	c 1355s |      27 | 14542289 | 13833533 |     1256  27877 |        0 |        0
1357.08/1357.58	c 1357s |      27 | 14562824 | 13853333 |     1256  27907 |        0 |        0
1359.07/1359.58	c 1359s |      27 | 14583367 | 13872933 |     1256  27938 |        0 |        0
1361.08/1361.58	c 1361s |      27 | 14604294 | 13892733 |     1256  27969 |        0 |        0
1363.08/1363.59	c 1363s |      27 | 14625430 | 13912833 |     1256  28000 |        0 |        0
1365.18/1365.60	c 1365s |      27 | 14646799 | 13933233 |     1256  28032 |        0 |        0
1367.18/1367.61	c 1367s |      27 | 14667959 | 13953233 |     1256  28063 |        0 |        0
1369.18/1369.61	c 1369s |      27 | 14689043 | 13972833 |     1256  28093 |        0 |        0
1371.17/1371.61	c 1371s |      27 | 14710068 | 13993033 |     1256  28125 |        0 |        0
1373.17/1373.61	c 1373s |      27 | 14731478 | 14013533 |     1256  28157 |        0 |        0
1375.17/1375.62	c 1375s |      27 | 14752738 | 14033633 |     1256  28188 |        0 |        0
1377.17/1377.62	c 1377s |      27 | 14774096 | 14053933 |     1256  28220 |        0 |        0
1379.17/1379.62	c 1379s |      27 | 14796038 | 14074633 |     1256  28252 |        0 |        0
1381.18/1381.63	c 1381s |      27 | 14818149 | 14095333 |     1256  28284 |        0 |        0
1383.17/1383.64	c 1383s |      27 | 14839233 | 14115033 |     1256  28315 |        0 |        0
1385.17/1385.64	c 1385s |      27 | 14860756 | 14135433 |     1256  28347 |        0 |        0
1387.17/1387.65	c 1387s |      27 | 14882785 | 14156033 |     1256  28379 |        0 |        0
1389.17/1389.65	c 1389s |      27 | 14904818 | 14176733 |     1256  28411 |        0 |        0
1391.17/1391.65	c 1391s |      27 | 14926688 | 14197633 |     1256  28444 |        0 |        0
1393.17/1393.66	c 1393s |      27 | 14949182 | 14218433 |     1256  28476 |        0 |        0
1395.17/1395.67	c 1395s |      27 | 14971481 | 14239233 |     1256  28509 |        0 |        0
1397.16/1397.67	c 1397s |      27 | 14995027 | 14260333 |     1256  28542 |        0 |        0
1399.16/1399.67	c 1399s |      27 | 15017698 | 14280733 |     1256  28573 |        0 |        0
1401.16/1401.67	c 1401s |      27 | 15039488 | 14301133 |     1256  28605 |        0 |        0
1403.17/1403.68	c 1403s |      27 | 15061443 | 14321733 |     1256  28637 |        0 |        0
1405.16/1405.69	c 1405s |      27 | 15083397 | 14342733 |     1256  28670 |        0 |        0
1407.16/1407.69	c 1407s |      27 | 15105967 | 14364233 |     1256  28703 |        0 |        0
1409.26/1409.70	c 1409s |      27 | 15128193 | 14385433 |     1256  28736 |        0 |        0
1411.26/1411.70	c 1411s |      27 | 15150196 | 14406433 |     1256  28769 |        0 |        0
1413.26/1413.70	c 1413s |      27 | 15171449 | 14426233 |     1256  28799 |        0 |        0
1415.27/1415.71	c 1415s |      27 | 15192508 | 14446333 |     1256  28831 |        0 |        0
1417.26/1417.72	c 1417s |      27 | 15213853 | 14466533 |     1256  28862 |        0 |        0
1419.26/1419.72	c 1419s |      27 | 15235507 | 14487133 |     1256  28894 |        0 |        0
1421.26/1421.73	c 1421s |      27 | 15257893 | 14508333 |     1256  28927 |        0 |        0
1423.27/1423.73	c 1423s |      27 | 15280064 | 14528933 |     1256  28959 |        0 |        0
1425.27/1425.73	c 1425s |      27 | 15302711 | 14550433 |     1256  28993 |        0 |        0
1427.27/1427.74	c 1427s |      27 | 15325269 | 14571833 |     1256  29026 |        0 |        0
1429.27/1429.75	c 1429s |      27 | 15348037 | 14593133 |     1256  29060 |        0 |        0
1431.27/1431.76	c 1431s |      27 | 15370588 | 14614333 |     1256  29093 |        0 |        0
1433.27/1433.76	c 1433s |      27 | 15393686 | 14636133 |     1256  29127 |        0 |        0
1435.27/1435.76	c 1435s |      27 | 15416681 | 14657733 |     1256  29160 |        0 |        0
1437.27/1437.77	c 1437s |      27 | 15439092 | 14678433 |     1256  29193 |        0 |        0
1439.26/1439.77	c 1439s |      27 | 15461987 | 14700133 |     1256  29226 |        0 |        0
1441.26/1441.77	c 1441s |      27 | 15484974 | 14721833 |     1256  29260 |        0 |        0
1443.26/1443.78	c 1443s |      27 | 15508138 | 14742933 |     1256  29293 |        0 |        0
1445.26/1445.78	c 1445s |      27 | 15529829 | 14763233 |     1256  29325 |        0 |        0
1447.27/1447.78	c 1447s |      27 | 15550265 | 14782933 |     1256  29355 |        0 |        0
1449.26/1449.79	c 1449s |      27 | 15570726 | 14802533 |     1256  29385 |        0 |        0
1451.26/1451.79	c 1451s |      27 | 15591282 | 14822433 |     1256  29416 |        0 |        0
1453.36/1453.80	c 1453s |      27 | 15612286 | 14842833 |     1256  29448 |        0 |        0
1455.36/1455.80	c 1455s |      27 | 15633129 | 14863033 |     1256  29480 |        0 |        0
1457.36/1457.80	c 1457s |      27 | 15654326 | 14883333 |     1256  29511 |        0 |        0
1459.36/1459.81	c 1459s |      27 | 15674963 | 14903233 |     1256  29542 |        0 |        0
1461.36/1461.82	c 1461s |      27 | 15696097 | 14923633 |     1256  29574 |        0 |        0
1463.35/1463.82	c 1463s |      27 | 15717040 | 14943633 |     1256  29605 |        0 |        0
1465.35/1465.83	c 1465s |      27 | 15738030 | 14963533 |     1256  29636 |        0 |        0
1467.35/1467.84	c 1467s |      27 | 15758677 | 14983433 |     1256  29667 |        0 |        0
1469.35/1469.85	c 1469s |      27 | 15780237 | 15003733 |     1256  29699 |        0 |        0
1471.36/1471.85	c 1471s |      27 | 15801517 | 15024133 |     1256  29730 |        0 |        0
1473.35/1473.85	c 1473s |      27 | 15822702 | 15044433 |     1256  29762 |        0 |        0
1475.36/1475.86	c 1475s |      27 | 15844365 | 15065033 |     1256  29794 |        0 |        0
1477.36/1477.87	c 1477s |      27 | 15866084 | 15085533 |     1256  29826 |        0 |        0
1479.36/1479.87	c 1479s |      27 | 15887625 | 15106033 |     1256  29858 |        0 |        0
1481.36/1481.88	c 1481s |      27 | 15909088 | 15126333 |     1256  29889 |        0 |        0
1483.36/1483.88	c 1483s |      27 | 15931306 | 15147233 |     1256  29922 |        0 |        0
1485.36/1485.89	c 1485s |      27 | 15953316 | 15168433 |     1256  29955 |        0 |        0
1487.46/1487.90	c 1487s |      27 | 15975900 | 15190133 |     1256  29989 |        0 |        0
1489.46/1489.90	c 1489s |      27 | 15997749 | 15210833 |     1256  30021 |        0 |        0
1491.45/1491.91	c 1491s |      27 | 16019394 | 15231533 |     1256  30053 |        0 |        0
1493.46/1493.91	c 1493s |      27 | 16041607 | 15252833 |     1256  30086 |        0 |        0
1495.45/1495.92	c 1495s |      27 | 16063442 | 15274033 |     1256  30119 |        0 |        0
1497.45/1497.92	c 1497s |      27 | 16085105 | 15295133 |     1256  30152 |        0 |        0
1499.45/1499.92	c 1499s |      27 | 16107091 | 15316233 |     1256  30185 |        0 |        0
1501.45/1501.92	c 1501s |      27 | 16129738 | 15338133 |     1256  30220 |        0 |        0
1503.45/1503.93	c 1503s |      27 | 16151276 | 15358433 |     1256  30251 |        0 |        0
1505.45/1505.93	c 1505s |      27 | 16173425 | 15378733 |     1256  30283 |        0 |        0
1507.45/1507.94	c 1507s |      27 | 16195574 | 15399633 |     1256  30315 |        0 |        0
1509.46/1509.94	c 1509s |      27 | 16218184 | 15421233 |     1256  30349 |        0 |        0
1511.46/1511.94	c 1511s |      27 | 16240570 | 15442533 |     1256  30382 |        0 |        0
1513.45/1513.95	c 1513s |      27 | 16262940 | 15463933 |     1256  30416 |        0 |        0
1515.46/1515.96	c 1515s |      27 | 16285451 | 15485233 |     1256  30449 |        0 |        0
1517.45/1517.96	c 1517s |      27 | 16308848 | 15506833 |     1256  30482 |        0 |        0
1519.45/1519.97	c 1519s |      27 | 16331796 | 15528433 |     1256  30516 |        0 |        0
1521.45/1521.98	c 1521s |      27 | 16355695 | 15550833 |     1256  30551 |        0 |        0
1523.45/1523.98	c 1523s |      27 | 16377205 | 15571333 |     1256  30583 |        0 |        0
1525.45/1525.99	c 1525s |      27 | 16399373 | 15592433 |     1256  30616 |        0 |        0
1527.46/1528.00	c 1527s |      27 | 16421197 | 15613133 |     1256  30648 |        0 |        0
1529.55/1530.00	c 1529s |      27 | 16443218 | 15634033 |     1256  30681 |        0 |        0
1531.55/1532.00	c 1531s |      27 | 16466133 | 15655533 |     1256  30714 |        0 |        0
1533.55/1534.01	c 1533s |      27 | 16488887 | 15677233 |     1256  30748 |        0 |        0
1535.55/1536.01	c 1536s |      27 | 16511625 | 15699033 |     1256  30782 |        0 |        0
1537.55/1538.02	c 1538s |      27 | 16534713 | 15720733 |     1256  30816 |        0 |        0
1539.55/1540.02	c 1540s |      27 | 16558010 | 15742933 |     1256  30851 |        0 |        0
1541.55/1542.03	c 1542s |      27 | 16581238 | 15764933 |     1256  30885 |        0 |        0
1543.55/1544.03	c 1544s |      27 | 16603454 | 15786233 |     1256  30918 |        0 |        0
1545.55/1546.04	c 1546s |      27 | 16625962 | 15807833 |     1256  30952 |        0 |        0
1547.54/1548.04	c 1548s |      27 | 16648854 | 15829733 |     1256  30986 |        0 |        0
1549.55/1550.05	c 1550s |      27 | 16673000 | 15852533 |     1256  31022 |        0 |        0
1551.54/1552.05	c 1552s |      27 | 16695773 | 15874133 |     1256  31056 |        0 |        0
1553.54/1554.05	c 1554s |      27 | 16719480 | 15896633 |     1256  31091 |        0 |        0
1555.54/1556.06	c 1556s |      27 | 16743496 | 15919133 |     1256  31126 |        0 |        0
1557.54/1558.06	c 1558s |      27 | 16766933 | 15940833 |     1256  31160 |        0 |        0
1559.55/1560.07	c 1560s |      27 | 16788025 | 15960433 |     1256  31191 |        0 |        0
1561.55/1562.08	c 1562s |      27 | 16809500 | 15980333 |     1256  31221 |        0 |        0
1563.55/1564.09	c 1564s |      27 | 16831031 | 15999933 |     1256  31252 |        0 |        0
1565.55/1566.09	c 1566s |      27 | 16852514 | 16020133 |     1256  31283 |        0 |        0
1567.64/1568.10	c 1568s |      27 | 16873658 | 16040233 |     1256  31315 |        0 |        0
1569.64/1570.11	c 1570s |      27 | 16895028 | 16060633 |     1256  31346 |        0 |        0
1571.64/1572.12	c 1572s |      27 | 16916133 | 16080733 |     1256  31378 |        0 |        0
1573.65/1574.13	c 1574s |      27 | 16938062 | 16101433 |     1256  31410 |        0 |        0
1575.64/1576.13	c 1576s |      27 | 16960254 | 16122033 |     1256  31442 |        0 |        0
1577.64/1578.14	c 1578s |      27 | 16981926 | 16142933 |     1256  31474 |        0 |        0
1579.64/1580.14	c 1580s |      27 | 17003852 | 16163833 |     1256  31507 |        0 |        0
1581.64/1582.14	c 1582s |      27 | 17025344 | 16184633 |     1256  31539 |        0 |        0
1583.65/1584.15	c 1584s |      27 | 17046573 | 16205233 |     1256  31571 |        0 |        0
1585.64/1586.15	c 1586s |      27 | 17068429 | 16226133 |     1256  31604 |        0 |        0
1587.64/1588.15	c 1588s |      27 | 17090387 | 16247133 |     1256  31637 |        0 |        0
1589.64/1590.16	c 1590s |      27 | 17111620 | 16267633 |     1256  31668 |        0 |        0
1591.64/1592.16	c 1592s |      27 | 17133398 | 16288533 |     1256  31701 |        0 |        0
1593.64/1594.16	c 1594s |      27 | 17155582 | 16309633 |     1256  31734 |        0 |        0
1595.64/1596.17	c 1596s |      27 | 17177587 | 16330633 |     1256  31766 |        0 |        0
1597.63/1598.18	c 1598s |      27 | 17200715 | 16352433 |     1256  31800 |        0 |        0
1599.63/1600.18	c 1600s |      27 | 17222104 | 16372933 |     1256  31832 |        0 |        0
1601.63/1602.18	c 1602s |      27 | 17243628 | 16393533 |     1256  31864 |        0 |        0
1603.63/1604.19	c 1604s |      27 | 17265418 | 16414133 |     1256  31896 |        0 |        0
1605.65/1606.19	c 1606s |      27 | 17287176 | 16434533 |     1256  31928 |        0 |        0
1607.64/1608.19	c 1608s |      27 | 17309620 | 16455933 |     1256  31962 |        0 |        0
1609.64/1610.19	c 1610s |      27 | 17331765 | 16477233 |     1256  31995 |        0 |        0
1611.64/1612.20	c 1612s |      27 | 17353861 | 16498433 |     1256  32028 |        0 |        0
1613.74/1614.20	c 1614s |      27 | 17376343 | 16519933 |     1256  32061 |        0 |        0
1615.73/1616.20	c 1616s |      27 | 17398399 | 16541033 |     1256  32094 |        0 |        0
1617.74/1618.21	c 1618s |      27 | 17420057 | 16561933 |     1256  32127 |        0 |        0
1619.73/1620.22	c 1620s |      27 | 17442104 | 16583033 |     1256  32160 |        0 |        0
1621.73/1622.23	c 1622s |      27 | 17464442 | 16604533 |     1256  32193 |        0 |        0
1623.73/1624.24	c 1624s |      27 | 17486905 | 16626033 |     1256  32226 |        0 |        0
1625.74/1626.24	c 1626s |      27 | 17509359 | 16647533 |     1256  32260 |        0 |        0
1627.74/1628.25	c 1628s |      27 | 17531377 | 16668733 |     1256  32293 |        0 |        0
1629.74/1630.25	c 1630s |      27 | 17553963 | 16690433 |     1256  32327 |        0 |        0
1631.74/1632.26	c 1632s |      27 | 17576948 | 16712233 |     1256  32361 |        0 |        0
1633.73/1634.26	c 1634s |      27 | 17600088 | 16734033 |     1256  32395 |        0 |        0
1635.73/1636.27	c 1636s |      27 | 17622744 | 16755733 |     1256  32429 |        0 |        0
1637.73/1638.27	c 1638s |      27 | 17645904 | 16777833 |     1256  32463 |        0 |        0
1639.74/1640.28	c 1640s |      27 | 17669000 | 16799833 |     1256  32497 |        0 |        0
1641.73/1642.28	c 1642s |      27 | 17692148 | 16821133 |     1256  32531 |        0 |        0
1643.73/1644.29	c 1644s |      27 | 17713649 | 16841733 |     1256  32563 |        0 |        0
1645.73/1646.30	c 1646s |      27 | 17735617 | 16862333 |     1256  32595 |        0 |        0
1647.83/1648.30	c 1648s |      27 | 17757579 | 16883433 |     1256  32628 |        0 |        0
1649.83/1650.30	c 1650s |      27 | 17779894 | 16904733 |     1256  32661 |        0 |        0
1651.73/1652.30	c 1652s |      27 | 17801942 | 16925733 |     1256  32693 |        0 |        0
1653.82/1654.31	c 1654s |      27 | 17824339 | 16947333 |     1256  32727 |        0 |        0
1655.83/1656.32	c 1656s |      27 | 17846746 | 16968933 |     1256  32761 |        0 |        0
1657.83/1658.32	c 1658s |      27 | 17869319 | 16990833 |     1382  32792 |        0 |        0
1659.83/1660.32	c 1660s |      27 | 17891561 | 17012133 |     1382  32822 |        0 |        0
1661.83/1662.33	c 1662s |      27 | 17914365 | 17033733 |     1382  32853 |        0 |        0
1663.84/1664.34	c 1664s |      27 | 17937555 | 17055733 |     1382  32884 |        0 |        0
1665.83/1666.34	c 1666s |      27 | 17960110 | 17077433 |     1382  32915 |        0 |        0
1667.43/1667.96	c 1667s |      28 | 17978684 | 17095205 |     1382  32940 |        0 |        0
1669.43/1669.97	c 1669s |      28 | 17998622 | 17114005 |     1382  32967 |        0 |        0
1671.43/1671.98	c 1671s |      28 | 18018492 | 17132905 |     1382  32993 |        0 |        0
1673.43/1673.98	c 1673s |      28 | 18038742 | 17152305 |     1382  33021 |        0 |        0
1675.43/1675.99	c 1675s |      28 | 18058977 | 17171405 |     1382  33048 |        0 |        0
1677.53/1678.00	c 1677s |      28 | 18079309 | 17190805 |     1382  33075 |        0 |        0
1679.52/1680.00	c 1679s |      28 | 18099847 | 17210505 |     1382  33103 |        0 |        0
1681.53/1682.01	c 1681s |      28 | 18120423 | 17230205 |     1382  33131 |        0 |        0
1683.52/1684.01	c 1684s |      28 | 18140842 | 17249805 |     1382  33159 |        0 |        0
1685.52/1686.02	c 1686s |      28 | 18161631 | 17269505 |     1382  33187 |        0 |        0
1687.52/1688.02	c 1688s |      28 | 18181475 | 17288405 |     1382  33213 |        0 |        0
1689.52/1690.02	c 1690s |      28 | 18201580 | 17307705 |     1382  33241 |        0 |        0
1691.52/1692.02	c 1692s |      28 | 18221747 | 17327005 |     1382  33268 |        0 |        0
1693.53/1694.03	c 1694s |      28 | 18241989 | 17346605 |     1382  33296 |        0 |        0
1695.53/1696.04	c 1696s |      28 | 18262299 | 17366105 |     1382  33323 |        0 |        0
1697.53/1698.04	c 1698s |      28 | 18282797 | 17385405 |     1382  33351 |        0 |        0
1699.52/1700.05	c 1700s |      28 | 18303241 | 17405005 |     1382  33379 |        0 |        0
1701.52/1702.05	c 1702s |      28 | 18324137 | 17425005 |     1382  33407 |        0 |        0
1703.53/1704.06	c 1704s |      28 | 18345066 | 17445005 |     1382  33435 |        0 |        0
1705.52/1706.06	c 1706s |      28 | 18366053 | 17464705 |     1382  33463 |        0 |        0
1707.52/1708.06	c 1708s |      28 | 18386582 | 17484305 |     1382  33491 |        0 |        0
1709.52/1710.06	c 1710s |      28 | 18407376 | 17503905 |     1382  33519 |        0 |        0
1711.52/1712.07	c 1712s |      28 | 18428434 | 17523905 |     1382  33547 |        0 |        0
1713.52/1714.09	c 1714s |      28 | 18449663 | 17543905 |     1382  33576 |        0 |        0
1715.52/1716.09	c 1716s |      28 | 18470400 | 17563605 |     1382  33603 |        0 |        0
1717.52/1718.09	c 1718s |      28 | 18490877 | 17582905 |     1382  33631 |        0 |        0
1719.62/1720.10	c 1720s |      28 | 18511431 | 17602305 |     1382  33658 |        0 |        0
1721.62/1722.10	c 1722s |      28 | 18532027 | 17622105 |     1382  33686 |        0 |        0
1723.62/1724.10	c 1724s |      28 | 18553447 | 17642405 |     1382  33715 |        0 |        0
1725.61/1726.11	c 1726s |      28 | 18573964 | 17662105 |     1382  33743 |        0 |        0
1727.62/1728.12	c 1728s |      28 | 18594911 | 17682205 |     1382  33771 |        0 |        0
1729.61/1730.12	c 1730s |      28 | 18616118 | 17702705 |     1382  33800 |        0 |        0
1731.61/1732.13	c 1732s |      28 | 18637404 | 17723205 |     1382  33829 |        0 |        0
1733.62/1734.13	c 1734s |      28 | 18658872 | 17743905 |     1382  33859 |        0 |        0
1735.62/1736.14	c 1736s |      28 | 18680873 | 17764905 |     1382  33888 |        0 |        0
1737.63/1738.15	c 1738s |      28 | 18702408 | 17785405 |     1382  33918 |        0 |        0
1739.62/1740.16	c 1740s |      28 | 18722587 | 17804605 |     1382  33945 |        0 |        0
1741.62/1742.16	c 1742s |      28 | 18743326 | 17824205 |     1382  33972 |        0 |        0
1743.62/1744.16	c 1744s |      28 | 18763881 | 17843705 |     1382  34000 |        0 |        0
1745.62/1746.16	c 1746s |      28 | 18784412 | 17863105 |     1382  34027 |        0 |        0
1747.62/1748.17	c 1748s |      28 | 18805043 | 17882705 |     1382  34055 |        0 |        0
1749.62/1750.18	c 1750s |      28 | 18825490 | 17901605 |     1382  34082 |        0 |        0
1751.62/1752.18	c 1752s |      28 | 18845889 | 17921105 |     1382  34109 |        0 |        0
1753.62/1754.18	c 1754s |      28 | 18866727 | 17941105 |     1382  34137 |        0 |        0
1755.62/1756.19	c 1756s |      28 | 18887646 | 17961205 |     1382  34166 |        0 |        0
1757.61/1758.19	c 1758s |      28 | 18908689 | 17981305 |     1382  34194 |        0 |        0
1759.62/1760.19	c 1760s |      28 | 18929548 | 18001005 |     1382  34222 |        0 |        0
1761.61/1762.20	c 1762s |      28 | 18950557 | 18021005 |     1382  34251 |        0 |        0
1763.71/1764.20	c 1764s |      28 | 18972085 | 18041305 |     1382  34279 |        0 |        0
1765.71/1766.21	c 1766s |      28 | 18993067 | 18061305 |     1382  34308 |        0 |        0
1767.71/1768.21	c 1768s |      28 | 19013574 | 18081005 |     1382  34336 |        0 |        0
1769.71/1770.22	c 1770s |      28 | 19034964 | 18101405 |     1382  34365 |        0 |        0
1771.71/1772.23	c 1772s |      28 | 19056831 | 18122205 |     1382  34394 |        0 |        0
1773.71/1774.23	c 1774s |      28 | 19077898 | 18142205 |     1382  34422 |        0 |        0
1775.71/1776.24	c 1776s |      28 | 19099756 | 18163105 |     1382  34452 |        0 |        0
1777.71/1778.24	c 1778s |      28 | 19121174 | 18183705 |     1382  34481 |        0 |        0
1779.71/1780.25	c 1780s |      28 | 19142819 | 18204405 |     1382  34511 |        0 |        0
1781.71/1782.25	c 1782s |      28 | 19164607 | 18225205 |     1382  34540 |        0 |        0
1783.71/1784.26	c 1784s |      28 | 19186790 | 18246205 |     1382  34570 |        0 |        0
1785.71/1786.26	c 1786s |      28 | 19208613 | 18266405 |     1382  34599 |        0 |        0
1787.71/1788.26	c 1788s |      28 | 19230196 | 18286605 |     1382  34627 |        0 |        0
1789.71/1790.27	c 1790s |      28 | 19251942 | 18307505 |     1382  34657 |        0 |        0
1791.70/1792.27	c 1792s |      28 | 19273987 | 18328605 |     1382  34687 |        0 |        0
1793.71/1794.27	c 1794s |      28 | 19295937 | 18349705 |     1382  34717 |        0 |        0
1795.70/1796.28	c 1796s |      28 | 19318507 | 18370605 |     1382  34746 |        0 |        0
1797.70/1798.28	c 1798s |      28 | 19339891 | 18390705 |     1382  34775 |        0 |        0
1799.71/1800.29	c 1800s |      28 | 19362369 | 18412105 |     1382  34805 |        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-4088938-1466019150/watcher-4088938-1466019150 -o /tmp/evaluation-result-4088938-1466019150/solver-4088938-1466019150 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088938-1466019150.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.08 2.08 3/179 7378
/proc/meminfo: memFree=30412340/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=795204 CPUtime=0 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 2983 0 0 0 0 0 0 0 20 0 4 0 3960482 814288896 3343 33554432000 4194304 16246674 140735447080576 140735447080000 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 199569 3352 442 2943 0 196463 0
[pid=7378/tid=7379] ppid=7375 vsize=813636 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 833163264 3414 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=818756 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 838406144 3432 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=822852 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 842600448 3450 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.01 2.08 2.08 3/179 7378
/proc/meminfo: memFree=30412340/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 29348 0 0 0 5 4 0 0 20 0 4 0 3960482 1247350784 29698 33554432000 4194304 16246674 140735447080576 140735447080000 5589685 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 304529 29707 712 2943 0 301423 0
[pid=7378/tid=7379] ppid=7375 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1247350784 29713 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1247350784 29723 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1247350784 29734 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200545 s]
/proc/loadavg: 2.01 2.08 2.08 3/179 7378
/proc/meminfo: memFree=30412340/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 57328 0 0 0 10 9 0 0 20 0 4 0 3960482 1247350784 57677 33554432000 4194304 16246674 140735447080576 140735447080000 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 304529 57691 713 2943 0 301423 0
[pid=7378/tid=7379] ppid=7375 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1247350784 57702 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1247350784 57709 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1247350784 57714 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300518 s]
/proc/loadavg: 2.01 2.08 2.08 3/179 7378
/proc/meminfo: memFree=30412340/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 85587 0 0 0 17 12 0 0 20 0 4 0 3960482 1247350784 85936 33554432000 4194304 16246674 140735447080576 140735447080000 5669490 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 304529 85951 713 2943 0 301423 0
[pid=7378/tid=7379] ppid=7375 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1247350784 85960 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1247350784 85967 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1247350784 85974 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 2.01 2.08 2.08 3/179 7378
/proc/meminfo: memFree=30412340/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 199305 0 0 0 43 26 0 0 20 0 4 0 3960482 1247350784 199655 33554432000 4194304 16246674 140735447080576 140735447080000 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 304529 199666 713 2943 0 301423 0
[pid=7378/tid=7379] ppid=7375 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1247350784 199672 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1247350784 199682 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1247350784 199692 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.01 2.08 2.08 3/183 7382
/proc/meminfo: memFree=29430040/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 267305 0 0 0 114 35 0 0 20 0 4 0 3960482 1336479744 267634 33554432000 4194304 16246674 140735447080576 140735447063576 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 326289 267634 790 2943 0 323183 0
[pid=7378/tid=7379] ppid=7375 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1336479744 267634 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1336479744 267634 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1336479744 267634 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.01 2.08 2.08 3/183 7382
/proc/meminfo: memFree=29341052/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 267402 0 0 0 274 35 0 0 20 0 4 0 3960482 1337528320 267731 33554432000 4194304 16246674 140735447080576 140735447063576 5722956 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 326545 267731 790 2943 0 323439 0
[pid=7378/tid=7379] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267731 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267731 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267731 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.01 2.07 2.08 3/183 7382
/proc/meminfo: memFree=29341372/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 267432 0 0 0 593 36 0 0 20 0 4 0 3960482 1337528320 267761 33554432000 4194304 16246674 140735447080576 140735447062464 5545796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 326545 267761 790 2943 0 323439 0
[pid=7378/tid=7379] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267761 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267761 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267761 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.01 2.07 2.08 3/183 7382
/proc/meminfo: memFree=29341568/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 267500 0 0 0 1233 36 0 0 20 0 4 0 3960482 1337528320 267829 33554432000 4194304 16246674 140735447080576 140735447063576 13198352 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 326545 267829 792 2943 0 323439 0
[pid=7378/tid=7379] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267829 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267829 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267829 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5006 s]
/proc/loadavg: 2.01 2.07 2.08 3/184 7383
/proc/meminfo: memFree=29340908/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 267573 0 0 0 2513 36 0 0 20 0 4 0 3960482 1337528320 267902 33554432000 4194304 16246674 140735447080576 140735447062464 7252943 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 326545 267902 792 2943 0 323439 0
[pid=7378/tid=7379] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267902 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267902 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267902 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.15 2.09 2.08 3/184 7383
/proc/meminfo: memFree=29341012/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 267574 0 0 0 5072 37 0 0 20 0 4 0 3960482 1337528320 267903 33554432000 4194304 16246674 140735447080576 140735447062464 5823723 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 326545 267903 792 2943 0 323439 0
[pid=7378/tid=7379] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267903 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267903 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1337528320 267903 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.06 2.08 2.08 3/183 7384
/proc/meminfo: memFree=29340540/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 267683 0 0 0 10190 38 0 0 20 0 4 0 3960482 1338576896 268012 33554432000 4194304 16246674 140735447080576 140735447062464 12478342 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 326801 268012 793 2943 0 323695 0
[pid=7378/tid=7379] ppid=7375 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1338576896 268012 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1338576896 268012 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1338576896 268012 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269126 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1310276

[startup+1362.3 s]
/proc/loadavg: 2.28 2.14 2.10 4/183 7415
/proc/meminfo: memFree=28915568/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1310276 CPUtime=1361.88 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 268975 0 0 0 136118 70 0 0 20 0 4 0 3960482 1341722624 269126 33554432000 4194304 16246674 140735447080576 140735447063576 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 327569 269126 794 2943 0 324463 0
[pid=7378/tid=7379] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269126 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269126 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269126 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1310276

[startup+1422.3 s]
/proc/loadavg: 2.18 2.13 2.09 3/183 7416
/proc/meminfo: memFree=28914988/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1310276 CPUtime=1421.87 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 268975 0 0 0 142117 70 0 0 20 0 4 0 3960482 1341722624 269126 33554432000 4194304 16246674 140735447080576 140735447063576 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 327569 269126 794 2943 0 324463 0
[pid=7378/tid=7379] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269126 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269126 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269126 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1310276

[startup+1482.3 s]
/proc/loadavg: 2.22 2.14 2.10 3/183 7514
/proc/meminfo: memFree=29383496/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1310276 CPUtime=1481.86 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 268975 0 0 0 148114 72 0 0 20 0 4 0 3960482 1341722624 269126 33554432000 4194304 16246674 140735447080576 140735447063576 5754764 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 327569 269126 794 2943 0 324463 0
[pid=7378/tid=7379] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269126 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269126 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269126 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1310276

[startup+1542.31 s]
/proc/loadavg: 2.20 2.14 2.10 3/183 7516
/proc/meminfo: memFree=29383060/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1310276 CPUtime=1541.85 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 269035 0 0 0 154112 73 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140735447063576 6075531 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 327569 269186 794 2943 0 324463 0
[pid=7378/tid=7379] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1310276

[startup+1602.3 s]
/proc/loadavg: 2.12 2.13 2.09 3/183 7517
/proc/meminfo: memFree=29383292/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1310276 CPUtime=1601.83 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 269035 0 0 0 160109 74 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140735447063576 12483332 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 327569 269186 794 2943 0 324463 0
[pid=7378/tid=7379] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1310276

[startup+1662.3 s]
/proc/loadavg: 2.24 2.15 2.10 3/184 7619
/proc/meminfo: memFree=29383684/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1310276 CPUtime=1661.83 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 269035 0 0 0 166106 77 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140735447063576 13191840 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 327569 269186 794 2943 0 324463 0
[pid=7378/tid=7379] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1310276

[startup+1722.3 s]
/proc/loadavg: 2.18 2.15 2.10 4/184 7643
/proc/meminfo: memFree=29382256/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1310276 CPUtime=1721.82 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 269035 0 0 0 172104 78 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140735447063576 5723776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 327569 269186 794 2943 0 324463 0
[pid=7378/tid=7379] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1310276

[startup+1782.3 s]
/proc/loadavg: 2.15 2.14 2.09 3/183 7644
/proc/meminfo: memFree=29382700/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1310276 CPUtime=1781.81 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 269035 0 0 0 178102 79 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140735447063576 6020491 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 327569 269186 794 2943 0 324463 0
[pid=7378/tid=7379] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1310276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.10 2.13 2.09 3/183 7645
/proc/meminfo: memFree=29382212/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1310276 CPUtime=1800.01 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 269035 0 0 0 179921 80 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140735447062464 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 327569 269186 794 2943 0 324463 0
[pid=7378/tid=7379] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1310276

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

[startup+1800.5 s]
/proc/loadavg: 2.10 2.13 2.09 3/183 7645
/proc/meminfo: memFree=29382212/32872528 swapFree=496356/529060
[pid=7378] ppid=7375 vsize=1310276 CPUtime=1800.01 cores=0,2,4,6
/proc/7378/stat : 7378 (toysat) R 7375 7378 5955 0 -1 4202496 269035 0 0 0 179921 80 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140735447062464 5661532 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7378/statm: 327569 269186 794 2943 0 324463 0
[pid=7378/tid=7379] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7379/stat : 7379 (toysat) S 7375 7378 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539841195248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7378/tid=7380] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7380/stat : 7380 (toysat) S 7375 7378 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539830705392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7378/tid=7381] ppid=7375 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/7378/task/7381/stat : 7381 (toysat) S 7375 7378 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3960482 1341722624 269186 33554432000 4194304 16246674 140735447080576 140539718528176 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1310276

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.22
CPU system time (s): 0.800878
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.800878
maximum resident set size= 1076744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269035
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= 447
involuntary context switches= 1985

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.13661 second user time and 19.3241 second system time

The end

Begin job on node141 at 2016-06-15 21:32:30
IDJOB=4088938
IDBENCH=107335
IDSOLVER=2542
FILE ID=node141/4088938-1466019150
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid6x15.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088938-1466019150/watcher-4088938-1466019150 -o /tmp/evaluation-result-4088938-1466019150/solver-4088938-1466019150 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088938-1466019150.opb

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

MD5SUM BENCH= 9ed76da7022a3a6503a2709d161add97
RANDOM SEED=1220415890

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30413248 kB
Buffers:           19680 kB
Cached:            75676 kB
SwapCached:        13072 kB
Active:          1185300 kB
Inactive:          45152 kB
Active(anon):    1125356 kB
Inactive(anon):    12008 kB
Active(file):      59944 kB
Inactive(file):    33144 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       1652300 kB
Mapped:            10680 kB
Shmem:                 0 kB
Slab:             566716 kB
SReclaimable:      10404 kB
SUnreclaim:       556312 kB
KernelStack:        1448 kB
PageTables:         7240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1795852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    595968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-15 22:02:31